Class SquarefreeRingChar0<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.ufd.SquarefreeAbstract<C>

edu.jas.ufd.SquarefreeRingChar0<C>

All Implemented Interfaces:

Squarefree<C>, Serializable

public class SquarefreeRingChar0<C extends GcdRingElem<C>>
extends SquarefreeAbstract<C>

Squarefree decomposition for coefficient rings of characteristic 0.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final RingFactory<C>	coFac	Factory for ring of characteristic 0 coefficients.
private static final boolean	debug
private static final org.apache.logging.log4j.Logger	logger

Fields inherited from class SquarefreeAbstract

engine

Constructor Summary

Constructors

Constructor	Description
SquarefreeRingChar0(RingFactory<C> fac)	Constructor.

Method Summary

Modifier and Type	Method	Description
SortedMap<GenPolynomial<C>, Long>	baseSquarefreeFactors(GenPolynomial<C> A)	GenPolynomial polynomial squarefree factorization.
GenPolynomial<C>	baseSquarefreePart(GenPolynomial<C> P)	GenPolynomial polynomial greatest squarefree divisor.
SortedMap<GenPolynomial<GenPolynomial<C>>, Long>	recursiveUnivariateSquarefreeFactors(GenPolynomial<GenPolynomial<C>> P)	GenPolynomial recursive univariate polynomial squarefree factorization.
GenPolynomial<GenPolynomial<C>>	recursiveUnivariateSquarefreePart(GenPolynomial<GenPolynomial<C>> P)	GenPolynomial recursive univariate polynomial greatest squarefree divisor.
SortedMap<C,Long>	squarefreeFactors(C P)	Coefficients squarefree factorization.
SortedMap<GenPolynomial<C>, Long>	squarefreeFactors(GenPolynomial<C> P)	GenPolynomial squarefree factorization.
GenPolynomial<C>	squarefreePart(GenPolynomial<C> P)	GenPolynomial greatest squarefree divisor.
String	toString()	Get the String representation.

Methods inherited from class SquarefreeAbstract

basePartialFraction, coPrimeSquarefree, coPrimeSquarefree, factorCount, isBasePartialFraction, isCoPrimeSquarefree, isFactorization, isFactorization, isRecursiveFactorization, isRecursiveSquarefree, isSquarefree, isSquarefree, isSquarefreeAlternative, normalizeFactorization, recursiveSquarefreeFactors, recursiveSquarefreePart, squarefreePart

Methods inherited from class Object

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

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

debug

private static final boolean debug

coFac

protected final RingFactory<C extends GcdRingElem<C>> coFac

Factory for ring of characteristic 0 coefficients.

Constructor Details

SquarefreeRingChar0

public SquarefreeRingChar0(RingFactory<C> fac)

Constructor.

Method Details

toString

public String toString()

Get the String representation.

Overrides:

toString in class Object

See Also:

• Object.toString()

baseSquarefreePart

public GenPolynomial<C> baseSquarefreePart(GenPolynomial<C> P)

GenPolynomial polynomial greatest squarefree divisor.

Specified by:

baseSquarefreePart in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - GenPolynomial.

Returns:

squarefree(pp(P)).

baseSquarefreeFactors

public SortedMap<GenPolynomial<C>, Long> baseSquarefreeFactors(GenPolynomial<C> A)

GenPolynomial polynomial squarefree factorization.

Specified by:

baseSquarefreeFactors in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

A - GenPolynomial.

Returns:

[p_1 -> e_1, ..., p_k -> e_k] with A = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.

recursiveUnivariateSquarefreePart

public GenPolynomial<GenPolynomial<C>> recursiveUnivariateSquarefreePart(GenPolynomial<GenPolynomial<C>> P)

GenPolynomial recursive univariate polynomial greatest squarefree divisor.

Specified by:

recursiveUnivariateSquarefreePart in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - recursive univariate GenPolynomial.

Returns:

squarefree(P).

recursiveUnivariateSquarefreeFactors

public SortedMap<GenPolynomial<GenPolynomial<C>>, Long> recursiveUnivariateSquarefreeFactors(GenPolynomial<GenPolynomial<C>> P)

GenPolynomial recursive univariate polynomial squarefree factorization.

Specified by:

recursiveUnivariateSquarefreeFactors in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - recursive univariate GenPolynomial.

Returns:

[p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.

squarefreePart

public GenPolynomial<C> squarefreePart(GenPolynomial<C> P)

GenPolynomial greatest squarefree divisor.

Specified by:

squarefreePart in interface Squarefree<C extends GcdRingElem<C>>

Specified by:

squarefreePart in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - GenPolynomial.

Returns:

squarefree(P).

squarefreeFactors

public SortedMap<GenPolynomial<C>, Long> squarefreeFactors(GenPolynomial<C> P)

GenPolynomial squarefree factorization.

Specified by:

squarefreeFactors in interface Squarefree<C extends GcdRingElem<C>>

Specified by:

squarefreeFactors in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - GenPolynomial.

Returns:

[p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.

squarefreeFactors

public SortedMap<C,Long> squarefreeFactors(C P)

Coefficients squarefree factorization.

Specified by:

squarefreeFactors in class SquarefreeAbstract<C extends GcdRingElem<C>>

Parameters:

P - coefficient.

Returns:

[p_1 -> e_1, ..., p_k -> e_k] with P = prod_{i=1,...,k} p_i^{e_i} and p_i squarefree and gcd(p_i, p_j) = 1, for i != j.