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.
    • Method Detail

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