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>
,java.io.Serializable
- Direct Known Subclasses:
RGroebnerBasePseudoSeq
public class RGroebnerBaseSeq<C extends RegularRingElem<C>> extends GroebnerBaseAbstract<C>
Regular ring Groebner Base 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 RReduction<C>
rred
Reduction engine.-
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
-
Constructor Summary
Constructors Constructor Description RGroebnerBaseSeq()
Constructor.RGroebnerBaseSeq(RReduction<C> rred)
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.boolean
isGB(int modv, java.util.List<GenPolynomial<C>> F)
R-Groebner base test.java.util.List<GenPolynomial<C>>
minimalGB(java.util.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 Detail
-
rred
protected RReduction<C extends RegularRingElem<C>> rred
Reduction engine.
-
-
Constructor Detail
-
RGroebnerBaseSeq
public RGroebnerBaseSeq()
Constructor.
-
RGroebnerBaseSeq
public RGroebnerBaseSeq(RReduction<C> rred)
Constructor.- Parameters:
rred
- R-Reduction engine
-
-
Method Detail
-
isGB
public boolean isGB(int modv, java.util.List<GenPolynomial<C>> F)
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
public java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> F)
R-Groebner base using pairlist class.- 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 classGroebnerBaseAbstract<C extends RegularRingElem<C>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
-