C
- coefficient typepublic class CReductionSeq<C extends GcdRingElem<C>> extends java.lang.Object implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
protected RingFactory<C> |
cofac
Polynomial coefficient ring factory.
|
protected GreatestCommonDivisor<C> |
engine
Greatest common divisor engine.
|
protected boolean |
top
Flag if top-reduction only should be used.
|
Constructor and Description |
---|
CReductionSeq(RingFactory<C> rf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Condition<C>> |
caseDistinction(Condition<C> cond,
GenPolynomial<GenPolynomial<C>> A)
Case distinction conditions of parametric polynomial list.
|
java.util.List<Condition<C>> |
caseDistinction(java.util.List<Condition<C>> cd,
GenPolynomial<GenPolynomial<C>> A)
Case distinction conditions of parametric polynomial list.
|
java.util.List<Condition<C>> |
caseDistinction(java.util.List<GenPolynomial<GenPolynomial<C>>> L)
Case distinction conditions of parametric polynomial list.
|
java.util.List<ColoredSystem<C>> |
determine(java.util.List<Condition<C>> cd,
java.util.List<GenPolynomial<GenPolynomial<C>>> H)
Determine polynomial list.
|
java.util.List<ColoredSystem<C>> |
determine(java.util.List<GenPolynomial<GenPolynomial<C>>> H)
Determine polynomial list.
|
boolean |
isNormalform(java.util.List<ColorPolynomial<C>> Pp)
Is in Normalform.
|
boolean |
isNormalform(java.util.List<ColorPolynomial<C>> Pp,
ColorPolynomial<C> Ap)
Is in Normalform.
|
boolean |
isReducible(java.util.List<ColorPolynomial<C>> Pp,
ColorPolynomial<C> Ap)
Is reducible.
|
boolean |
isTopReducible(java.util.List<ColorPolynomial<C>> P,
ColorPolynomial<C> A)
Is top reducible.
|
ColorPolynomial<C> |
normalform(Condition<C> cond,
java.util.List<ColorPolynomial<C>> Pp,
ColorPolynomial<C> Ap)
Normalform.
|
ColorPolynomial<C> |
SPolynomial(ColorPolynomial<C> Ap,
ColorPolynomial<C> Bp)
S-Polynomial.
|
protected final GreatestCommonDivisor<C extends GcdRingElem<C>> engine
protected final RingFactory<C extends GcdRingElem<C>> cofac
protected boolean top
public CReductionSeq(RingFactory<C> rf)
rf
- coefficient factory.public ColorPolynomial<C> SPolynomial(ColorPolynomial<C> Ap, ColorPolynomial<C> Bp)
Ap
- polynomial.Bp
- polynomial.public boolean isTopReducible(java.util.List<ColorPolynomial<C>> P, ColorPolynomial<C> A)
A
- polynomial.P
- polynomial list.public boolean isReducible(java.util.List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap)
Ap
- polynomial.Pp
- polynomial list.public boolean isNormalform(java.util.List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap)
Ap
- polynomial.Pp
- polynomial list.public boolean isNormalform(java.util.List<ColorPolynomial<C>> Pp)
Pp
- polynomial list.public ColorPolynomial<C> normalform(Condition<C> cond, java.util.List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap)
Ap
- polynomial.Pp
- polynomial list.cond
- condition for these polynomials.public java.util.List<Condition<C>> caseDistinction(java.util.List<GenPolynomial<GenPolynomial<C>>> L)
L
- list of parametric polynomials.public java.util.List<Condition<C>> caseDistinction(java.util.List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A)
cd
- a list of conditions.A
- a parametric polynomial.public java.util.List<Condition<C>> caseDistinction(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A)
A
- a parametric polynomial.cond
- a condition.public java.util.List<ColoredSystem<C>> determine(java.util.List<GenPolynomial<GenPolynomial<C>>> H)
H
- polynomial list.public java.util.List<ColoredSystem<C>> determine(java.util.List<Condition<C>> cd, java.util.List<GenPolynomial<GenPolynomial<C>>> H)
H
- polynomial list.cd
- case distiction, a condition list.