teachstd.lib
constant ecart
typedefreturntype
constant leadmonomial
typedefreturntype
constant tail
typedefreturntype
constant sameComponent
typedef(defreturntype)
constant monomialLcm
typedef(defreturntype)
constant spoly
typelist(def(defreturntype))
constant minEcart
typedef(defreturntype)
constant NFMora
typelist(def(defreturntype))
constant prodcrit
typelist(def(defreturntype))
constant chaincrit
typedef(def(defreturntype))
constant pairset
typedefreturntype
constant updatePairs
typedef(def(defreturntype))
constant standard
typelist(defreturntype)
constant localstd
typedefreturntype