sagbi.lib
constant assumeQring
typereturntype
constant uniqueVariableName
typestringreturntype
constant extendRing
typeint(ideal(defreturntype))
constant stdKernPhi
typeint(ideal(ideal(idealreturntype)))
constant spolynomialsGB
typeint(def(idealreturntype))
constant spolynomialsToric
typeidealreturntype
constant reductionGB
typeint(int(int(def(ideal(idealreturntype)))))
constant reduceByMonomials
typeidealreturntype
constant sagbiConstruction
typeint(int(int(int(idealreturntype))))
constant sagbiSPoly
typelist(idealreturntype)
constant sagbiReduce
typelist(ideal(defreturntype))
constant sagbi
typelist(idealreturntype)
constant sagbiPart
typelist(int(idealreturntype))
constant algebraicDependence
typeint(idealreturntype)
constant interreduced
typeidealreturntype
constant sagbiReduction
typelist(ideal(polyreturntype))
constant canonicalform
typeidealreturntype
constant canonicalform_poly
typepolyreturntype