edu.jas.gbufd

Interface RPseudoReduction<C extends RegularRingElem<C>>

Type Parameters:

C - coefficient type

All Superinterfaces:

PseudoReduction<C>, Reduction<C>, RReduction<C>, java.io.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.RReduction

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

Methods inherited from interface edu.jas.gbufd.PseudoReduction

normalformFactor

Methods inherited from interface edu.jas.gb.Reduction

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