Package edu.jas.application
Class FactorRealReal<C extends GcdRingElem<C> & Rational>
- java.lang.Object
-
- edu.jas.ufd.FactorAbstract<RealAlgebraicNumber<C>>
-
- edu.jas.application.FactorRealReal<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Factorization<RealAlgebraicNumber<C>>
,java.io.Serializable
public class FactorRealReal<C extends GcdRingElem<C> & Rational> extends FactorAbstract<RealAlgebraicNumber<C>>
Real algebraic number coefficients factorization algorithms. This class implements factorization methods for polynomials over bi-variate real algebraic numbers from packageedu.jas.application
.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description FactorAbstract<RealAlgebraicNumber<C>>
factorAlgebraic
Factorization engine for base coefficients.-
Fields inherited from class edu.jas.ufd.FactorAbstract
engine, sengine
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
FactorRealReal()
No argument constructor.FactorRealReal(RealAlgebraicRing<C> fac)
Constructor.FactorRealReal(RealAlgebraicRing<C> fac, FactorAbstract<RealAlgebraicNumber<C>> factorAlgebraic)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenPolynomial<RealAlgebraicNumber<C>>>
baseFactorsSquarefree(GenPolynomial<RealAlgebraicNumber<C>> P)
GenPolynomial base factorization of a squarefree polynomial.-
Methods inherited from class edu.jas.ufd.FactorAbstract
baseFactors, baseFactorsRadical, basePrimitivePart, factors, factorsDegree, factorsRadical, factorsRadical, factorsSquarefree, factorsSquarefreeKronecker, factorsSquarefreeOptimize, isFactorization, isFactorization, isIrreducible, isRecursiveFactorization, isReducible, isSquarefree, normalizeFactorization, primitivePart, recursiveFactors, recursiveFactorsSquarefree, squarefreeFactors, squarefreePart, toString
-
-
-
-
Field Detail
-
factorAlgebraic
public final FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> factorAlgebraic
Factorization engine for base coefficients.
-
-
Constructor Detail
-
FactorRealReal
protected FactorRealReal()
No argument constructor. Note: can't use this constructor.
-
FactorRealReal
public FactorRealReal(RealAlgebraicRing<C> fac)
Constructor.- Parameters:
fac
- algebraic number factory.
-
FactorRealReal
public FactorRealReal(RealAlgebraicRing<C> fac, FactorAbstract<RealAlgebraicNumber<C>> factorAlgebraic)
Constructor.- Parameters:
fac
- algebraic number factory.factorAlgebraic
- factorization engine for polynomials over base coefficients.
-
-
Method Detail
-
baseFactorsSquarefree
public java.util.List<GenPolynomial<RealAlgebraicNumber<C>>> baseFactorsSquarefree(GenPolynomial<RealAlgebraicNumber<C>> P)
GenPolynomial base factorization of a squarefree polynomial.- Specified by:
baseFactorsSquarefree
in classFactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>>
- Parameters:
P
- squarefree GenPolynomial<RealAlgebraicNumber<C>>.- Returns:
- [p_1,...,p_k] with P = prod_{i=1, ..., k} p_i.
-
-