Singular Manual: Computing Groebner and Standard Bases

> | ## A.2 Computing Groebner and Standard Bases
> A.2.1 groebner and std |  |
> A.2.2 Groebner basis conversion |  |
> A.2.3 slim Groebner bases |  |
Several operations with ideals resp. modules uses Groebner bases to compute their result. Most allow an optional string argument to select the algorithm. The possible arguments for the algorithm are `default` `std` see std `slimgb` see slimgb `sba` see sba; not for module operations `singmatic` Requires `singmatic.so` `groebner` see groebner `modstd` see modStd. Requires modstd_lib `ffmod` see ffmodStd, Requires ffmodstd_lib `nfmod` see nfmodStd. Requires nfmodstd_lib `std:sat` Uses `satstd` instead of `std`, see satstd. Requires customstd_lib Functions with such a choice of the algorithm: eliminate intersect modulo liftstd syz

User manual for Singular version 4.3.2, 2023, generated by texi2html.