Package edu.jas.gb
Interface DReduction<C extends RingElem<C>>
-
- Type Parameters:
C
- coefficient type
- All Superinterfaces:
Reduction<C>
,java.io.Serializable
- All Known Subinterfaces:
EReduction<C>
- All Known Implementing Classes:
DReductionSeq
,EReductionSeq
public interface DReduction<C extends RingElem<C>> extends Reduction<C>
Polynomial D Reduction interface. Defines additionally G-Polynomial.- Author:
- Heinz Kredel
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description GenPolynomial<C>
GPolynomial(GenPolynomial<C> Ap, GenPolynomial<C> Bp)
G-Polynomial.GenPolynomial<C>
GPolynomial(java.util.List<GenPolynomial<C>> S, int i, GenPolynomial<C> Ap, int j, GenPolynomial<C> Bp)
G-Polynomial with recording.-
Methods inherited from interface edu.jas.gb.Reduction
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial
-
-
-
-
Method Detail
-
GPolynomial
GenPolynomial<C> GPolynomial(GenPolynomial<C> Ap, GenPolynomial<C> Bp)
G-Polynomial.- Parameters:
Ap
- polynomial.Bp
- polynomial.- Returns:
- gpol(Ap,Bp) the g-polynomial of Ap and Bp.
-
GPolynomial
GenPolynomial<C> GPolynomial(java.util.List<GenPolynomial<C>> S, int i, GenPolynomial<C> Ap, int j, GenPolynomial<C> Bp)
G-Polynomial with recording.- Parameters:
S
- recording matrix, is modified.i
- index of Ap in basis list.Ap
- a polynomial.j
- index of Bp in basis list.Bp
- a polynomial.- Returns:
- gpol(Ap, Bp), the g-Polynomial for Ap and Bp.
-
-