Syntax changes:
- renamed poly.lib to polylib.lib ( polylib_lib)
New libraries:
- interval.lib: interval arithmetic ( interval_lib)
- maxlike.lib: algebraic statistics ( maxlike_lib)
- nchilbert.lib: Hilbert series for LetterPlace algebras ( nchilbert_lib)
- polyclass.lib: class of polynomials ( polyclass_lib)
- recover.lib: Hybrid numerical/symbolical algorithms ( recover_lib)
- redcgs.lib: Reduced Comprehensive Groebner Systems ( redcgs_lib)
- ringgb.lib: coefficient rings ( ringgb_lib)
- sets.lib: Sets ( sets_lib)
- stanleyreisner.lib: T1 and T2 for a general Stanley-Reiser ring ( stanleyreisner_lib
- systhreads.lib: multi-threaded objects ( systhreads_lib)
Changed libraries:
- classify_aeq.lib: new procedure
classSpaceCurve( classify_aeq_lib) - grobcov.lib: new version ( grobcov_lib)
- modular.lib: parallel version for verification via
system("verifyGB",I)
New commands:
system("verifyGB",I): test, if I is a Groebner basis (using parallel processes)- Letterplace: modulo,syz,lift,liftstd, rightStd ( LETTERPLACE)
Changes in the kernel/build system:
- update for using FLINT 2.6.x and for FLINT 2.7.0
- Singular can be build with NTL or FLINT or both (if non is availabel,
factroizeandgcdwill not work.)
