groups.lib
constant splitS1
typelist(int(idealreturntype))
constant splitS
typelist(int(idealreturntype))
constant finalSplit
typelist(listreturntype)
constant noSolution
typeidealreturntype
constant changeOrdTest
typeidealreturntype
constant trivialSplit
typelist(int(listreturntype))
constant trivialSimplify
typeideal(idealreturntype)
constant simpliFy
typelist(idealreturntype)
constant squarefreeP
typenumberreturntype
constant contentS
typeidealreturntype
constant shortid_L
typeint(idealreturntype)