Package edu.jas.gbufd

Interface SolvablePseudoReduction<C extends RingElem<C>>

Type Parameters:
C - coefficient type.
All Superinterfaces:
Serializable, SolvableReduction<C>
All Known Implementing Classes:
SolvablePseudoReductionSeq

public interface SolvablePseudoReduction<C extends RingElem<C>> extends SolvableReduction<C>
Polynomial pseudo reduction interface. Defines additionally normalformFactor and normalformRecursive.