Class IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational>

  • All Implemented Interfaces:
    java.io.Serializable

    public class IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational>
    extends IdealWithUniv<D>
    Container for Ideals together with univariate polynomials and real algebraic roots.
    See Also:
    Serialized Form
    • Field Detail

      • droots

        protected java.util.List<java.util.List<BigDecimal>> droots
        The list of decimal approximations of the real algebraic roots.
    • Constructor Detail

      • IdealWithRealAlgebraicRoots

        protected IdealWithRealAlgebraicRoots()
        Constructor not for use.
      • IdealWithRealAlgebraicRoots

        public IdealWithRealAlgebraicRoots​(Ideal<D> id,
                                           java.util.List<GenPolynomial<D>> up,
                                           java.util.List<java.util.List<RealAlgebraicNumber<D>>> rr)
        Constructor.
        Parameters:
        id - the ideal
        up - the list of univaraite polynomials
        rr - the list of real algebraic roots
      • IdealWithRealAlgebraicRoots

        public IdealWithRealAlgebraicRoots​(IdealWithUniv<D> iu,
                                           java.util.List<java.util.List<RealAlgebraicNumber<D>>> rr)
        Constructor.
        Parameters:
        iu - the ideal with univariate polynomials
        rr - the list of real algebraic roots
    • Method Detail

      • decimalApproximation

        public java.util.List<java.util.List<BigDecimal>> decimalApproximation()
        Get decimal approximation of the real root tuples.
      • doDecimalApproximation

        public void doDecimalApproximation()
        compute decimal approximation of the real root tuples.
      • isDecimalApproximation

        public boolean isDecimalApproximation()
        Is decimal approximation of the real roots.
        Returns:
        true, if the decimal real roots approximate the real roots.