edu.jas.ufd
Class PolyUfdUtil

java.lang.Object
  edu.jas.ufd.PolyUfdUtil

public class PolyUfdUtil
extends java.lang.Object

Polynomial udf utilities, e.g. conversion between different representations.

Author:

Heinz Kredel

Constructor Summary

PolyUfdUtil()

Method Summary

static <C extends RingElem<C>> GenPolynomial<GenPolynomial<C>>	fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, GenPolynomial<GenPolynomial<BigInteger>> A) From BigInteger coefficients.
static <C extends RingElem<C>> java.util.List<GenPolynomial<GenPolynomial<C>>>	fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, java.util.List<GenPolynomial<GenPolynomial<BigInteger>>> L) From BigInteger coefficients.
static <C extends GcdRingElem<C>> java.util.List<GenPolynomial<GenPolynomial<C>>>	integralFromQuotientCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, java.util.Collection<GenPolynomial<Quotient<C>>> L) Integral polynomial from rational function coefficients.
static <C extends GcdRingElem<C>> GenPolynomial<GenPolynomial<C>>	integralFromQuotientCoefficients(GenPolynomialRing<GenPolynomial<C>> fac, GenPolynomial<Quotient<C>> A) Integral polynomial from rational function coefficients.
static <C extends GcdRingElem<C>> java.util.List<GenPolynomial<Quotient<C>>>	quotientFromIntegralCoefficients(GenPolynomialRing<Quotient<C>> fac, java.util.Collection<GenPolynomial<GenPolynomial<C>>> L) Rational function from integral polynomial coefficients.
static <C extends GcdRingElem<C>> GenPolynomial<Quotient<C>>	quotientFromIntegralCoefficients(GenPolynomialRing<Quotient<C>> fac, GenPolynomial<GenPolynomial<C>> A) Rational function from integral polynomial coefficients.

Methods inherited from class java.lang.Object

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

Constructor Detail

PolyUfdUtil

public PolyUfdUtil()

Method Detail

integralFromQuotientCoefficients

public static <C extends GcdRingElem<C>> GenPolynomial<GenPolynomial<C>> integralFromQuotientCoefficients(GenPolynomialRing<GenPolynomial<C>> fac,
                                                                                                          GenPolynomial<Quotient<C>> A)

Integral polynomial from rational function coefficients. Represent as polynomial with integral polynomial coefficients by multiplication with the lcm of the numerators of the rational function coefficients.

Parameters:

fac - result polynomial factory.

A - polynomial with rational function coefficients to be converted.

Returns:

polynomial with integral polynomial coefficients.

integralFromQuotientCoefficients

public static <C extends GcdRingElem<C>> java.util.List<GenPolynomial<GenPolynomial<C>>> integralFromQuotientCoefficients(GenPolynomialRing<GenPolynomial<C>> fac,
                                                                                                                          java.util.Collection<GenPolynomial<Quotient<C>>> L)

Integral polynomial from rational function coefficients. Represent as polynomial with integral polynomial coefficients by multiplication with the lcm of the numerators of the rational function coefficients.

Parameters:

fac - result polynomial factory.

L - list of polynomial with rational function coefficients to be converted.

Returns:

list of polynomials with integral polynomial coefficients.

quotientFromIntegralCoefficients

public static <C extends GcdRingElem<C>> GenPolynomial<Quotient<C>> quotientFromIntegralCoefficients(GenPolynomialRing<Quotient<C>> fac,
                                                                                                     GenPolynomial<GenPolynomial<C>> A)

Rational function from integral polynomial coefficients. Represent as polynomial with type Quotient coefficients.

Parameters:

fac - result polynomial factory.

A - polynomial with integral polynomial coefficients to be converted.

Returns:

polynomial with type Quotient coefficients.

quotientFromIntegralCoefficients

public static <C extends GcdRingElem<C>> java.util.List<GenPolynomial<Quotient<C>>> quotientFromIntegralCoefficients(GenPolynomialRing<Quotient<C>> fac,
                                                                                                                     java.util.Collection<GenPolynomial<GenPolynomial<C>>> L)

Rational function from integral polynomial coefficients. Represent as polynomial with type Quotient coefficients.

Parameters:

fac - result polynomial factory.

L - list of polynomials with integral polynomial coefficients to be converted.

Returns:

list of polynomials with type Quotient coefficients.

fromIntegerCoefficients

public static <C extends RingElem<C>> GenPolynomial<GenPolynomial<C>> fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac,
                                                                                              GenPolynomial<GenPolynomial<BigInteger>> A)

From BigInteger coefficients. Represent as polynomial with type GenPolynomial<C> coefficients, e.g. ModInteger or BigRational.

Parameters:

fac - result polynomial factory.

A - polynomial with GenPolynomial<BigInteger> coefficients to be converted.

Returns:

polynomial with type GenPolynomial<C> coefficients.

fromIntegerCoefficients

public static <C extends RingElem<C>> java.util.List<GenPolynomial<GenPolynomial<C>>> fromIntegerCoefficients(GenPolynomialRing<GenPolynomial<C>> fac,
                                                                                                              java.util.List<GenPolynomial<GenPolynomial<BigInteger>>> L)

From BigInteger coefficients. Represent as polynomial with type GenPolynomial<C> coefficients, e.g. ModInteger or BigRational.

Parameters:

fac - result polynomial factory.

L - polynomial list with GenPolynomial<BigInteger> coefficients to be converted.

Returns:

polynomial list with polynomials with type GenPolynomial<C> coefficients.