edu.jas.application

Class RootFactory

java.lang.Object

edu.jas.application.RootFactory

public class RootFactory
extends java.lang.Object

Roots factory.

Constructor Summary

Constructors

Constructor and Description
RootFactory()

Method Summary

Modifier and Type	Method and Description
static <C extends GcdRingElem<C> & Rational> java.util.List<Complex<RealAlgebraicNumber<C>>>	complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f) Complex algebraic number roots.
static <C extends GcdRingElem<C> & Rational> java.util.List<Complex<RealAlgebraicNumber<C>>>	complexAlgebraicNumbersSquarefree(GenPolynomial<Complex<C>> f) Complex algebraic number roots.
static <C extends GcdRingElem<C> & Rational> boolean	isRoot(GenPolynomial<Complex<C>> f, Complex<RealAlgebraicNumber<C>> r) Is complex algebraic number a root of a polynomial.
static <C extends GcdRingElem<C> & Rational> boolean	isRoot(GenPolynomial<Complex<C>> f, java.util.List<Complex<RealAlgebraicNumber<C>>> R) Is complex algebraic number a root of a polynomial.
static <C extends GcdRingElem<C> & Rational> boolean	isRootRealCoeff(GenPolynomial<C> f, Complex<RealAlgebraicNumber<C>> r) Is complex algebraic number a root of a polynomial.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RootFactory

public RootFactory()

Method Detail

isRootRealCoeff

public static <C extends GcdRingElem<C> & Rational> boolean isRootRealCoeff(GenPolynomial<C> f,
                                                                            Complex<RealAlgebraicNumber<C>> r)

Is complex algebraic number a root of a polynomial.

Parameters:

f - univariate polynomial.

r - complex algebraic number.

Returns:

true, if f(r) == 0, else false;

isRoot

public static <C extends GcdRingElem<C> & Rational> boolean isRoot(GenPolynomial<Complex<C>> f,
                                                                   Complex<RealAlgebraicNumber<C>> r)

Is complex algebraic number a root of a polynomial.

Parameters:

f - univariate polynomial.

r - complex algebraic number.

Returns:

true, if f(r) == 0, else false;

isRoot

public static <C extends GcdRingElem<C> & Rational> boolean isRoot(GenPolynomial<Complex<C>> f,
                                                                   java.util.List<Complex<RealAlgebraicNumber<C>>> R)

Is complex algebraic number a root of a polynomial.

Parameters:

f - univariate polynomial.

R - list of complex algebraic numbers.

Returns:

true, if f(r) == 0 for all r in R, else false;

complexAlgebraicNumbersComplex

public static <C extends GcdRingElem<C> & Rational> java.util.List<Complex<RealAlgebraicNumber<C>>> complexAlgebraicNumbersComplex(GenPolynomial<Complex<C>> f)

Complex algebraic number roots.

Parameters:

f - univariate polynomial.

Returns:

a list of different complex algebraic numbers, with f(c) == 0 for c in roots.

complexAlgebraicNumbersSquarefree

public static <C extends GcdRingElem<C> & Rational> java.util.List<Complex<RealAlgebraicNumber<C>>> complexAlgebraicNumbersSquarefree(GenPolynomial<Complex<C>> f)

Complex algebraic number roots.

Parameters:

f - univariate squarefree polynomial.

Returns:

a list of different complex algebraic numbers, with f(c) == 0 for c in roots.