Class IdealWithUniv<C extends GcdRingElem<C>>

    • Field Detail

      • upolys

        public final java.util.List<GenPolynomial<C extends GcdRingElem<C>>> upolys
        The list of univariate polynomials. Contains polynomials from several rings, depending on the stage of the decomposition. 1) polynomials in a ring of one variable, 2) polynomials depending on only one variable but in a ring with multiple variables, 3) after contraction to a non-zero dimensional ring multivariate polynomials depending on one significant variable and multiple variables from the quotient coefficients.
      • others

        public final java.util.List<GenPolynomial<C extends GcdRingElem<C>>> others
        A list of other useful polynomials. 1) field extension polynomials, 2) generators for infinite quotients.
    • Constructor Detail

      • IdealWithUniv

        protected IdealWithUniv()
        Constructor not for use.
      • IdealWithUniv

        protected IdealWithUniv​(Ideal<C> id,
                                java.util.List<GenPolynomial<C>> up)
        Constructor.
        Parameters:
        id - the ideal
        up - the list of univariate polynomials
      • IdealWithUniv

        protected IdealWithUniv​(Ideal<C> id,
                                java.util.List<GenPolynomial<C>> up,
                                java.util.List<GenPolynomial<C>> og)
        Constructor.
        Parameters:
        id - the ideal
        up - the list of univariate polynomials
        og - the list of other polynomials
    • Method Detail

      • toString

        public java.lang.String toString()
        String representation of the ideal.
        Overrides:
        toString in class java.lang.Object
        See Also:
        Object.toString()
      • toScript

        public java.lang.String toScript()
        Get a scripting compatible string representation.
        Returns:
        script compatible representation for this Element.
        See Also:
        Element.toScript()
      • asListOfIdeals

        public static <C extends GcdRingElem<C>> java.util.List<Ideal<C>> asListOfIdeals​(java.util.List<IdealWithUniv<C>> Bl)
        Get list of ideals from list of ideals with univariates.
        Parameters:
        Bl - list of ideals with univariate polynomials
        Returns:
        list of ideals