Package edu.jas.gbufd
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 edu.jas.gbufd.PseudoReduction
normalformFactor, normalformRecursive
Methods inherited from interface edu.jas.gb.Reduction
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial
Methods inherited from interface edu.jas.gbufd.RReduction
booleanClosure, booleanRemainder, isBooleanClosed, isBooleanClosed, isStrongTopReducible, reducedBooleanClosure, reducedBooleanClosure