Package edu.jas.gb

Interface DReduction<C extends RingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Reduction<C>, 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.
  • Method Details

    • 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(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.