constant partialDegree
constant belongTo
constant variableWithSmallestPositiveDegree
constant smallestProperSimpleFactor
constant smallestProperFactor
constant extensionContainingSmoothPoint
constant RothsteinTragerResultant
constant RothsteinTrager
constant absFactorizeIrreducible
constant absFactorize
constant absFactorizeBCG