Class Factors<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.ufd.Factors<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

Serializable, Comparable<Factors<C>>

public class Factors<C extends GcdRingElem<C>>
extends Object
implements Comparable<Factors<C>>, Serializable

Container for the factors of absolute factorization.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final AlgebraicNumberRing<C>	afac	Algebraic field extension over C.
final List<GenPolynomial<AlgebraicNumber<C>>>	afactors	List of factors with coefficients from AlgebraicNumberRing<C>.
final GenPolynomial<AlgebraicNumber<C>>	apoly	Original polynomial to be factored with coefficients from AlgebraicNumberRing<C>.
final List<Factors<AlgebraicNumber<C>>>	arfactors	List of factors with coefficients from AlgebraicNumberRing<AlgebraicNumber<C>>.
final GenPolynomial<C>	poly	Original (irreducible) polynomial to be factored with coefficients from C.

Constructor Summary

Constructors

Constructor	Description
Factors(GenPolynomial<C> p)	Constructor.
Factors(GenPolynomial<C> p, AlgebraicNumberRing<C> af, GenPolynomial<AlgebraicNumber<C>> ap, List<GenPolynomial<AlgebraicNumber<C>>> afact)	Constructor.
Factors(GenPolynomial<C> p, AlgebraicNumberRing<C> af, GenPolynomial<AlgebraicNumber<C>> ap, List<GenPolynomial<AlgebraicNumber<C>>> afact, List<Factors<AlgebraicNumber<C>>> arfact)	Constructor.

Method Summary

Modifier and Type	Method	Description
int	compareTo(Factors<C> facs)	Comparison.
boolean	equals(Object B)	Comparison with any other object.
AlgebraicNumberRing<C>	findExtensionField()	Find largest extension field.
Factors<AlgebraicNumber<C>>	getFactor(GenPolynomial<AlgebraicNumber<C>> p)	Get the factor for polynomial.
List<GenPolynomial<AlgebraicNumber<C>>>	getFactors()	Get the list of factors at one level.
int	hashCode()	Hash code for this Factors.
int	length()	Length.
String	toScript()	Get a scripting compatible string representation.
String	toString()	Get the String representation.

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

poly

public final GenPolynomial<C extends GcdRingElem<C>> poly

Original (irreducible) polynomial to be factored with coefficients from C.

afac

public final AlgebraicNumberRing<C extends GcdRingElem<C>> afac

Algebraic field extension over C. Should be null, if p is absolutely irreducible.

apoly

public final GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>> apoly

Original polynomial to be factored with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.

afactors

public final List<GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>>> afactors

List of factors with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.

arfactors

public final List<Factors<AlgebraicNumber<C extends GcdRingElem<C>>>> arfactors

List of factors with coefficients from AlgebraicNumberRing<AlgebraicNumber<C>>. Should be null, if p is absolutely irreducible.

Constructor Details

Factors

public Factors(GenPolynomial<C> p)

Constructor.

Parameters:

p - absolute irreducible GenPolynomial.

Factors

public Factors(GenPolynomial<C> p,
 AlgebraicNumberRing<C> af,
 GenPolynomial<AlgebraicNumber<C>> ap,
 List<GenPolynomial<AlgebraicNumber<C>>> afact)

Constructor.

Parameters:

p - irreducible GenPolynomial over C.

af - algebraic extension field of C where p has factors from afact.

ap - GenPolynomial p represented with coefficients from af.

afact - absolute irreducible factors of p with coefficients from af.

Factors

public Factors(GenPolynomial<C> p,
 AlgebraicNumberRing<C> af,
 GenPolynomial<AlgebraicNumber<C>> ap,
 List<GenPolynomial<AlgebraicNumber<C>>> afact,
 List<Factors<AlgebraicNumber<C>>> arfact)

Constructor.

Parameters:

p - irreducible GenPolynomial over C.

af - algebraic extension field of C where p has factors from afact.

ap - GenPolynomial p represented with coefficients from af.

afact - absolute irreducible factors of p with coefficients from af.

arfact - further absolute irreducible factors of p with coefficients from extensions of af.

Method Details

toString

public String toString()

Get the String representation.

Overrides:

toString in class Object

See Also:

• Object.toString()

toScript

public String toScript()

Get a scripting compatible string representation.

Returns:

script compatible representation for this container.

See Also:

• ElemFactory.toScript()

length

public int length()

Length. Number of factors.

Returns:

number of factors.

hashCode

public int hashCode()

Hash code for this Factors.

Overrides:

hashCode in class Object

See Also:

• Object.hashCode()

equals

public boolean equals(Object B)

Comparison with any other object.

Overrides:

equals in class Object

See Also:

• Object.equals(java.lang.Object)

compareTo

public int compareTo(Factors<C> facs)

Comparison.

Specified by:

compareTo in interface Comparable<C extends GcdRingElem<C>>

Parameters:

facs - factors container.

Returns:

sign(this.poly-facs.poly) lexicographic > sign(afac.modul-facs.afac.modul) lexicographic > afactors.compareTo(facs.afactors) lexicographic > arfactors[i].compareTo(facs.arfactors[i])

findExtensionField

public AlgebraicNumberRing<C> findExtensionField()

Find largest extension field.

Returns:

largest extension field or null if no extension field

getFactors

public List<GenPolynomial<AlgebraicNumber<C>>> getFactors()

Get the list of factors at one level.

Returns:

list of algebraic factors

getFactor

public Factors<AlgebraicNumber<C>> getFactor(GenPolynomial<AlgebraicNumber<C>> p)

Get the factor for polynomial.

Returns:

algebraic factor