Package edu.jas.gbufd
Class RGroebnerBaseSeq<C extends RegularRingElem<C>>
java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gbufd.RGroebnerBaseSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,Serializable
- Direct Known Subclasses:
RGroebnerBasePseudoSeq
Regular ring Groebner Base sequential algorithm. Implements R-Groebner bases
and GB test.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
protected RReduction
<C> Reduction engine.Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGB
(int modv, List<GenPolynomial<C>> F) R-Groebner base using pairlist class.boolean
isGB
(int modv, List<GenPolynomial<C>> F) R-Groebner base test.minimalGB
(List<GenPolynomial<C>> Gp) Minimal ordered Groebner basis.Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
rred
Reduction engine.
-
-
Constructor Details
-
RGroebnerBaseSeq
public RGroebnerBaseSeq()Constructor. -
RGroebnerBaseSeq
Constructor.- Parameters:
rred
- R-Reduction engine
-
-
Method Details
-
isGB
R-Groebner base test.- Specified by:
isGB
in interfaceGroebnerBase<C extends RegularRingElem<C>>
- Overrides:
isGB
in classGroebnerBaseAbstract<C extends RegularRingElem<C>>
- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- true, if F is a R-Groebner base, else false.
-
GB
R-Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a R-Groebner base of F.
-
minimalGB
Minimal ordered Groebner basis.- Specified by:
minimalGB
in interfaceGroebnerBase<C extends RegularRingElem<C>>
- Overrides:
minimalGB
in classGroebnerBaseAbstract<C extends RegularRingElem<C>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-