ainvar.lib
constant sortier
typedefreturntype
constant derivate
typedef(matrixreturntype)
constant actionIsProper
typematrixreturntype
constant reduction
typelist(ideal(polyreturntype))
constant completeReduction
typelist(ideal(polyreturntype))
constant completeReductionnew
typelist(ideal(polyreturntype))
constant localInvar
typepoly(poly(poly(matrixreturntype)))
constant furtherInvar
typelist(poly(ideal(ideal(matrixreturntype))))
constant invariantRing
typelist(int(poly(poly(matrixreturntype))))