Package edu.jas.gbufd
Class RGroebnerBasePseudoSeq<C extends RegularRingElem<C>>
java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gbufd.RGroebnerBaseSeq<C>
edu.jas.gbufd.RGroebnerBasePseudoSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,Serializable
Regular ring Groebner Base with pseudo reduction sequential algorithm.
Implements R-Groebner bases and GB test.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Coefficient ring factory.private static final boolean
protected final GreatestCommonDivisorAbstract
<C> Greatest common divisor engine for coefficient content and primitive parts.private static final org.apache.logging.log4j.Logger
protected final RPseudoReduction
<C> Pseudo reduction engine.Fields inherited from class edu.jas.gbufd.RGroebnerBaseSeq
rred
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionRGroebnerBasePseudoSeq
(RPseudoReduction<C> red, RingFactory<C> rf) Constructor.Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGB
(int modv, List<GenPolynomial<C>> F) R-Groebner base using pairlist class.minimalGB
(List<GenPolynomial<C>> Gp) Minimal ordered Groebner basis.(package private) List
<GenPolynomial<C>> minimalGBtesting
(List<GenPolynomial<C>> Gp) Methods inherited from class edu.jas.gbufd.RGroebnerBaseSeq
isGB
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 -
engine
Greatest common divisor engine for coefficient content and primitive parts. -
red
Pseudo reduction engine. -
cofac
Coefficient ring factory.
-
-
Constructor Details
-
RGroebnerBasePseudoSeq
Constructor.- Parameters:
rf
- coefficient ring factory.
-
RGroebnerBasePseudoSeq
Constructor.- Parameters:
red
- R-pseudo-Reduction enginerf
- coefficient ring factory.
-
-
Method Details
-
GB
R-Groebner base using pairlist class.- Specified by:
GB
in interfaceGroebnerBase<C extends RegularRingElem<C>>
- Overrides:
GB
in classRGroebnerBaseSeq<C extends RegularRingElem<C>>
- 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 classRGroebnerBaseSeq<C extends RegularRingElem<C>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
minimalGBtesting
-