Package edu.jas.application
Class CReductionSeq<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.application.CReductionSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Serializable
Polynomial parametric ring reduction sequential use algorithm. Implements
normalform, condition construction and polynomial determination.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Polynomial coefficient ring factory.protected final GreatestCommonDivisor
<C> Greatest common divisor engine.private final boolean
private static final org.apache.logging.log4j.Logger
protected boolean
Flag if top-reduction only should be used. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncaseDistinction
(Condition<C> cond, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.caseDistinction
(List<Condition<C>> cd, GenPolynomial<GenPolynomial<C>> A) Case distinction conditions of parametric polynomial list.Case distinction conditions of parametric polynomial list.determine
(List<Condition<C>> cd, List<GenPolynomial<GenPolynomial<C>>> H) Determine polynomial list.determine
(List<GenPolynomial<GenPolynomial<C>>> H) Determine polynomial list.boolean
isNormalform
(List<ColorPolynomial<C>> Pp) Is in Normalform.boolean
isNormalform
(List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap) Is in Normalform.boolean
isReducible
(List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap) Is reducible.boolean
isTopReducible
(List<ColorPolynomial<C>> P, ColorPolynomial<C> A) Is top reducible.normalform
(Condition<C> cond, List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap) Normalform.SPolynomial
(ColorPolynomial<C> Ap, ColorPolynomial<C> Bp) S-Polynomial.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
info
private final boolean info -
engine
Greatest common divisor engine. -
cofac
Polynomial coefficient ring factory. -
top
protected boolean topFlag if top-reduction only should be used.
-
-
Constructor Details
-
CReductionSeq
Constructor.- Parameters:
rf
- coefficient factory.
-
-
Method Details
-
SPolynomial
S-Polynomial.- Parameters:
Ap
- polynomial.Bp
- polynomial.- Returns:
- spol(Ap,Bp) the S-polynomial of Ap and Bp.
-
isTopReducible
Is top reducible.- Parameters:
P
- polynomial list.A
- polynomial.- Returns:
- true if A is top reducible with respect to P.
-
isReducible
Is reducible.- Parameters:
Pp
- polynomial list.Ap
- polynomial.- Returns:
- true if Ap is reducible with respect to Pp.
-
isNormalform
Is in Normalform.- Parameters:
Pp
- polynomial list.Ap
- polynomial.- Returns:
- true if Ap is in normalform with respect to Pp.
-
isNormalform
Is in Normalform.- Parameters:
Pp
- polynomial list.- Returns:
- true if each Ap in Pp is in normalform with respect to Pp\{Ap}.
-
normalform
public ColorPolynomial<C> normalform(Condition<C> cond, List<ColorPolynomial<C>> Pp, ColorPolynomial<C> Ap) Normalform.- Parameters:
cond
- condition for these polynomials.Pp
- polynomial list.Ap
- polynomial.- Returns:
- nf(Ap) with respect to Pp.
-
caseDistinction
Case distinction conditions of parametric polynomial list. The returned condition determines the polynomial list.- Parameters:
L
- list of parametric polynomials.- Returns:
- list of conditions as case distinction.
-
caseDistinction
Case distinction conditions of parametric polynomial list.- Parameters:
cd
- a list of conditions.A
- a parametric polynomial.- Returns:
- list of conditions as case distinction extending the conditions in cd.
-
caseDistinction
Case distinction conditions of parametric polynomial list.- Parameters:
cond
- a condition.A
- a parametric polynomial.- Returns:
- list of case distinction conditions.
-
determine
Determine polynomial list.- Parameters:
H
- polynomial list.- Returns:
- new determined list of colored systems.
-
determine
public List<ColoredSystem<C>> determine(List<Condition<C>> cd, List<GenPolynomial<GenPolynomial<C>>> H) Determine polynomial list.- Parameters:
cd
- case distinction, a condition list.H
- polynomial list.- Returns:
- new determined list of colored systems.
-