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

  • All Implemented Interfaces:
    java.io.Serializable

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

      • IdealWithComplexAlgebraicRoots

        protected IdealWithComplexAlgebraicRoots()
        Constructor not for use.
      • IdealWithComplexAlgebraicRoots

        public IdealWithComplexAlgebraicRoots​(Ideal<D> id,
                                              java.util.List<GenPolynomial<D>> up,
                                              java.util.List<java.util.List<Complex<RealAlgebraicNumber<D>>>> cr)
        Constructor.
        Parameters:
        id - the ideal
        up - the list of univariate polynomials
        cr - the list of complex algebraic roots
      • IdealWithComplexAlgebraicRoots

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

      • decimalApproximation

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

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

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