classify_aeq.lib
constant planeCur
constant spaceCur
constant sagbiAlg
constant reducedSagbiAlg
constant classifyAEQunimodal
constant computeModulus
constant n_thRoot
constant bino
constant sagbiMod
constant cleanI
constant semiGroup
constant semiMod
constant sagbiNF
constant sagbiSP
constant sortSagbi
constant insertOne
constant interReduceSagbi
constant correctBound
constant sortMinord
constant inversP
constant ConductorBound
constant sortMOD
constant SpolyMOD
constant sagbiNFMODO
constant specialSubst
constant sagbiNFMOD
constant createP
constant enlargeP
constant sortIntvec
constant findConductor
constant cutAfterConductor
constant CompareList
constant Guess
constant inVar
constant ivec
constant normalMap
constant reduc
constant HHnormalForm
constant findTrafo
constant specialInterred
constant specialReduce