C
- coefficient typepublic interface RPseudoReduction<C extends RegularRingElem<C>> extends RReduction<C>, PseudoReduction<C>
booleanClosure, booleanRemainder, isBooleanClosed, isBooleanClosed, isStrongTopReducible, reducedBooleanClosure, reducedBooleanClosure
normalformFactor
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial