groups.lib
constant splitS1
constant splitS
constant finalSplit
constant noSolution
constant changeOrdTest
constant trivialSplit
constant trivialSimplify
constant simpliFy
constant squarefreeP
constant contentS
constant shortid_L