groups.lib
constant
splitS1
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
splitS
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
finalSplit
type
type
list
→
(
list
→
returntype
)
constant
noSolution
type
type
ideal
→
returntype
constant
changeOrdTest
type
type
ideal
→
returntype
constant
trivialSplit
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
trivialSimplify
type
type
ideal
→
(
ideal
→
returntype
)
constant
simpliFy
type
type
list
→
(
ideal
→
returntype
)
constant
squarefreeP
type
type
number
→
returntype
constant
contentS
type
type
ideal
→
returntype
constant
shortid_L
type
type
int
→
(
ideal
→
returntype
)