## 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.4.1, 2025, generated by texi2html.