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