QEtaGroebnerBasisToolsΒΆ
qetagroebnertool.spad line 71 [edit on github]
QEtaGroebnerBasisTools is a wrapper around the QEtaGroebnerPackage and the groebner functions in SageMathTools. It select Sage or FriCAS for doing a degrevlex (in blocks) Groebner basis computation and elimination of variables. The computation is done with rational number coefficients.
- groebnerBasis: (List Polynomial Integer, List Symbol) -> List Polynomial Integer
- groebnerBasis(pols, vars)assumes that- polsare in the variables vars and computes a Groebner basis of- polswith respect to the degrevlex order in vars.
- groebnerEliminate: (List Polynomial Integer, List Symbol, List Symbol) -> List Polynomial Integer
- groebnerEliminate(pols,elimvars,vars)assumes that- polsare in the variables concat(- elimvars,- vars), computes a Groebner basis of- polswith respect to a block order that is degrevlex in- elimvarsfollowed by degrevlex in- vars. Only the part of the Groebner basis that have no variables in- elimvarsis returned.