ainvar.lib
constant sortier
constant derivate
constant actionIsProper
constant reduction
constant completeReduction
constant completeReductionnew
constant localInvar
constant furtherInvar
constant invariantRing