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>
,java.io.Serializable
public class RGroebnerBasePseudoSeq<C extends RegularRingElem<C>> extends RGroebnerBaseSeq<C>
Regular ring Groebner Base with pseudo reduction sequential algorithm. Implements R-Groebner bases and GB test.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected RingFactory<C>
cofac
Coefficient ring factory.protected GreatestCommonDivisorAbstract<C>
engine
Greatest common divisor engine for coefficient content and primitive parts.protected RPseudoReduction<C>
red
Pseudo reduction engine.-
Fields inherited from class edu.jas.gbufd.RGroebnerBaseSeq
rred
-
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, strategy
-
-
Constructor Summary
Constructors Constructor Description RGroebnerBasePseudoSeq(RPseudoReduction<C> red, RingFactory<C> rf)
Constructor.RGroebnerBasePseudoSeq(RingFactory<C> rf)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenPolynomial<C>>
GB(int modv, java.util.List<GenPolynomial<C>> F)
R-Groebner base using pairlist class.java.util.List<GenPolynomial<C>>
minimalGB(java.util.List<GenPolynomial<C>> Gp)
Minimal ordered Groebner basis.-
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 Detail
-
engine
protected final GreatestCommonDivisorAbstract<C extends RegularRingElem<C>> engine
Greatest common divisor engine for coefficient content and primitive parts.
-
red
protected final RPseudoReduction<C extends RegularRingElem<C>> red
Pseudo reduction engine.
-
cofac
protected final RingFactory<C extends RegularRingElem<C>> cofac
Coefficient ring factory.
-
-
Constructor Detail
-
RGroebnerBasePseudoSeq
public RGroebnerBasePseudoSeq(RingFactory<C> rf)
Constructor.- Parameters:
rf
- coefficient ring factory.
-
RGroebnerBasePseudoSeq
public RGroebnerBasePseudoSeq(RPseudoReduction<C> red, RingFactory<C> rf)
Constructor.- Parameters:
red
- R-pseudo-Reduction enginerf
- coefficient ring factory.
-
-
Method Detail
-
GB
public java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> F)
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
public java.util.List<GenPolynomial<C>> minimalGB(java.util.List<GenPolynomial<C>> Gp)
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.
-
-