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 pols are in the variables vars and computes a Groebner basis of pols with respect to the degrevlex order in vars.

groebnerEliminate: (List Polynomial Integer, List Symbol, List Symbol) -> List Polynomial Integer

groebnerEliminate(pols,elimvars,vars) assumes that pols are in the variables concat(elimvars,vars), computes a Groebner basis of pols with respect to a block order that is degrevlex in elimvars followed by degrevlex in vars. Only the part of the Groebner basis that have no variables in elimvars is returned.