Package edu.jas.poly

Interface Polynomial<C extends RingElem<C>>

    • Method Detail

      • trailingBaseCoefficient

        C trailingBaseCoefficient()
        Trailing base coefficient.
        Returns:
        coefficient of constant term.
      • extend

        Polynomial<Cextend​(PolynomialRing<C> pfac,
                             int j,
                             long k)
        Extend variables. Used e.g. in module embedding. Extend all ExpVectors by i elements and multiply by x_j^k.
        Parameters:
        pfac - extended polynomial ring factory (by i variables).
        j - index of variable to be used for multiplication.
        k - exponent for x_j.
        Returns:
        extended polynomial.
      • contract

        java.util.Map<ExpVector,​Polynomial<C>> contract​(PolynomialRing<C> pfac)
        Contract variables. Used e.g. in module embedding. remove i elements of each ExpVector.
        Parameters:
        pfac - contracted polynomial ring factory (by i variables).
        Returns:
        Map of exponents and contracted polynomials. Note: could return SortedMap
      • coefficientIterator

        java.util.Iterator<CcoefficientIterator()
        Iterator over coefficients.
        Returns:
        val.values().iterator().
      • exponentIterator

        java.util.Iterator<ExpVectorexponentIterator()
        Iterator over exponents.
        Returns:
        val.keySet().iterator().