modnormal.lib
constant pTestNormal
typeideal(int(list(idealreturntype)))
constant modpNormal
typelist(int(poly(int(idealreturntype))))
constant modNormal
typelist(int(idealreturntype))
constant jacobIdOne
typeint(idealreturntype)
constant norComp
typeint(idealreturntype)
constant outComp
typeideal(poly(poly(ideal(idealreturntype))))
constant polyHomogenize
typepoly(intvec(int(polyreturntype)))
constant normalCheck
typeint(ideal(idealreturntype))