Interface RPseudoReduction<C extends RegularRingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

PseudoReduction<C>, Reduction<C>, RReduction<C>, Serializable

All Known Implementing Classes:

RPseudoReductionSeq

public interface RPseudoReduction<C extends RegularRingElem<C>>
extends RReduction<C>, PseudoReduction<C>

Polynomial R pseudo reduction interface. Combines RReduction and PseudoReduction.

Method Summary

Methods inherited from interface PseudoReduction

normalformFactor, normalformRecursive

Methods inherited from interface Reduction

criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial

Methods inherited from interface RReduction

booleanClosure, booleanRemainder, isBooleanClosed, isBooleanClosed, isStrongTopReducible, reducedBooleanClosure, reducedBooleanClosure