classify_aeq.lib
constant planeCur
typeidealreturntype
constant spaceCur
typeidealreturntype
constant sagbiAlg
typelist(idealreturntype)
constant reducedSagbiAlg
typelist(idealreturntype)
constant classifyAEQunimodal
typeidealreturntype
constant computeModulus
typepolyreturntype
constant n_thRoot
typeint(int(polyreturntype))
constant bino
typeint(numberreturntype)
constant sagbiMod
typeideal(idealreturntype)
constant cleanI
typeint(ideal(idealreturntype))
constant semiGroup
typeidealreturntype
constant semiMod
typeideal(idealreturntype)
constant sagbiNF
typeint(ideal(polyreturntype))
constant sagbiSP
typeidealreturntype
constant sortSagbi
typeidealreturntype
constant insertOne
typeint(ideal(polyreturntype))
constant interReduceSagbi
typeint(idealreturntype)
constant correctBound
typeint(idealreturntype)
constant sortMinord
typeidealreturntype
constant inversP
typeint(polyreturntype)
constant ConductorBound
typeidealreturntype
constant sortMOD
typeidealreturntype
constant SpolyMOD
typeideal(idealreturntype)
constant sagbiNFMODO
typeint(ideal(ideal(polyreturntype)))
constant specialSubst
typeint(ideal(polyreturntype))
constant sagbiNFMOD
typeint(ideal(ideal(polyreturntype)))
constant createP
typeidealreturntype
constant enlargeP
typeideal(list(polyreturntype))
constant sortIntvec
typeintvecreturntype
constant findConductor
typeintvecreturntype
constant cutAfterConductor
typeintvecreturntype
constant CompareList
typeint(list(listreturntype))
constant Guess
typeidealreturntype
constant inVar
typeidealreturntype
constant ivec
typeintvec(intreturntype)
constant normalMap
typeint(idealreturntype)
constant reduc
typeint(ideal(polyreturntype))
constant HHnormalForm
typelist(idealreturntype)
constant findTrafo
typeint(idealreturntype)
constant specialInterred
typeidealreturntype
constant specialReduce
typeideal(polyreturntype)