Package 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.

Author:

Heinz Kredel

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