Package edu.jas.gb

Interface SolvableReduction<C extends RingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Serializable
All Known Subinterfaces:
SolvablePseudoReduction<C>
All Known Implementing Classes:
SolvablePseudoReductionSeq, SolvableReductionAbstract, SolvableReductionPar, SolvableReductionSeq

public interface SolvableReduction<C extends RingElem<C>> extends Serializable
Solvable polynomial Reduction interface. Defines S-Polynomial, normalform and irreducible set.