cc.redberry.rings.poly.multivar

Class MultivariateFactorization

java.lang.Object

cc.redberry.rings.poly.multivar.MultivariateFactorization

public final class MultivariateFactorization
extends Object

Factorization of multivariate polynomials.

Since:

1.0

Method Summary

Modifier and Type	Method and Description
static <Poly extends AMultivariatePolynomial<?,Poly>> PolynomialFactorDecomposition<Poly>	Factor(Poly poly) Factors multivariate polynomial
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> PolynomialFactorDecomposition<Poly>	FactorInGF(Poly polynomial) Factors multivariate polynomial over finite field
static PolynomialFactorDecomposition<MultivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>>>	FactorInNumberField(MultivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> polynomial) Factors multivariate polynomial over simple number field via Trager's algorithm
static <E> PolynomialFactorDecomposition<MultivariatePolynomial<Rational<E>>>	FactorInQ(MultivariatePolynomial<Rational<E>> polynomial) Factors multivariate polynomial over Q
static PolynomialFactorDecomposition<MultivariatePolynomial<BigInteger>>	FactorInZ(MultivariatePolynomial<BigInteger> polynomial) Factors multivariate polynomial over Z

Methods inherited from class java.lang.Object

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

Method Detail

Factor

public static <Poly extends AMultivariatePolynomial<?,Poly>> PolynomialFactorDecomposition<Poly> Factor(Poly poly)

Factors multivariate polynomial

Parameters:

poly - the polynomial

Returns:

factor decomposition

FactorInQ

public static <E> PolynomialFactorDecomposition<MultivariatePolynomial<Rational<E>>> FactorInQ(MultivariatePolynomial<Rational<E>> polynomial)

Factors multivariate polynomial over Q

Parameters:

polynomial - the polynomial

Returns:

factor decomposition

FactorInZ

public static PolynomialFactorDecomposition<MultivariatePolynomial<BigInteger>> FactorInZ(MultivariatePolynomial<BigInteger> polynomial)

Factors multivariate polynomial over Z

Parameters:

polynomial - the polynomial

Returns:

factor decomposition

FactorInNumberField

public static PolynomialFactorDecomposition<MultivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>>> FactorInNumberField(MultivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> polynomial)

Factors multivariate polynomial over simple number field via Trager's algorithm

Parameters:

polynomial - the polynomial

Returns:

factor decomposition

FactorInGF

public static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> PolynomialFactorDecomposition<Poly> FactorInGF(Poly polynomial)

Factors multivariate polynomial over finite field

Parameters:

polynomial - the polynomial

Returns:

factor decomposition