public class RootFactory extends java.lang.Object
Constructor and Description |
---|
RootFactory() |
Modifier and Type | Method and Description |
---|---|
static <C extends GcdRingElem<C> & Rational> |
complexAlgebraicNumbers(GenPolynomial<C> f)
Complex algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
complexAlgebraicNumbers(GenPolynomial<C> f,
BigRational eps)
Complex algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f)
Complex algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f,
BigRational eps)
Complex algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
isRoot(GenPolynomial<C> f,
ComplexAlgebraicNumber<C> r)
Is complex algebraic number a root of a polynomial.
|
static <C extends GcdRingElem<C> & Rational> |
isRoot(GenPolynomial<C> f,
RealAlgebraicNumber<C> r)
Is real algebraic number a root of a polynomial.
|
static <C extends GcdRingElem<C> & Rational> |
isRootComplex(GenPolynomial<Complex<C>> f,
ComplexAlgebraicNumber<C> r)
Is complex algebraic number a root of a complex polynomial.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbers(GenPolynomial<C> f)
Real algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbers(GenPolynomial<C> f,
BigRational eps)
Real algebraic numbers.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbersField(GenPolynomial<C> f)
Real algebraic numbers from a field.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbersField(GenPolynomial<C> f,
BigRational eps)
Real algebraic numbers from a field.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbersIrred(GenPolynomial<C> f)
Real algebraic numbers from a irreducible polynomial.
|
static <C extends GcdRingElem<C> & Rational> |
realAlgebraicNumbersIrred(GenPolynomial<C> f,
BigRational eps)
Real algebraic numbers from a irreducible polynomial.
|
public RootFactory()
public static <C extends GcdRingElem<C> & Rational> boolean isRoot(GenPolynomial<C> f, RealAlgebraicNumber<C> r)
f
- univariate polynomial.r
- real algebraic number.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbers(GenPolynomial<C> f)
f
- univariate polynomial.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbers(GenPolynomial<C> f, BigRational eps)
f
- univariate polynomial.eps
- rational precision.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbersField(GenPolynomial<C> f)
f
- univariate polynomial.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbersField(GenPolynomial<C> f, BigRational eps)
f
- univariate polynomial.eps
- rational precision.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbersIrred(GenPolynomial<C> f)
f
- univariate irreducible polynomial.public static <C extends GcdRingElem<C> & Rational> java.util.List<RealAlgebraicNumber<C>> realAlgebraicNumbersIrred(GenPolynomial<C> f, BigRational eps)
f
- univariate irreducible polynomial.eps
- rational precision.public static <C extends GcdRingElem<C> & Rational> boolean isRoot(GenPolynomial<C> f, ComplexAlgebraicNumber<C> r)
f
- univariate polynomial.r
- complex algebraic number.public static <C extends GcdRingElem<C> & Rational> boolean isRootComplex(GenPolynomial<Complex<C>> f, ComplexAlgebraicNumber<C> r)
f
- univariate complex polynomial.r
- complex algebraic number.public static <C extends GcdRingElem<C> & Rational> java.util.List<ComplexAlgebraicNumber<C>> complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f)
f
- univariate polynomial.public static <C extends GcdRingElem<C> & Rational> java.util.List<ComplexAlgebraicNumber<C>> complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f, BigRational eps)
f
- univariate polynomial.eps
- rational precision.public static <C extends GcdRingElem<C> & Rational> java.util.List<ComplexAlgebraicNumber<C>> complexAlgebraicNumbers(GenPolynomial<C> f)
f
- univariate (rational) polynomial.public static <C extends GcdRingElem<C> & Rational> java.util.List<ComplexAlgebraicNumber<C>> complexAlgebraicNumbers(GenPolynomial<C> f, BigRational eps)
f
- univariate (rational) polynomial.eps
- rational precision.