Package edu.jas.gb
Class GroebnerBaseGGVSigSeqIter<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.GroebnerBaseAbstract<C>
-
- edu.jas.gb.GroebnerBaseSigSeqIter<C>
-
- edu.jas.gb.GroebnerBaseGGVSigSeqIter<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,java.io.Serializable
public class GroebnerBaseGGVSigSeqIter<C extends RingElem<C>> extends GroebnerBaseSigSeqIter<C>
Groebner Base GGV signature based sequential iterative algorithm. Implements Groebner bases.- See Also:
GBAlgorithmBuilder
,GBFactory
, Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description private static org.apache.logging.log4j.Logger
logger
-
Fields inherited from class edu.jas.gb.GroebnerBaseSigSeqIter
sred
-
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
-
Constructor Summary
Constructors Constructor Description GroebnerBaseGGVSigSeqIter()
Constructor.GroebnerBaseGGVSigSeqIter(SigReductionSeq<C> red)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) java.util.List<ExpVector>
initializeSyz(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G)
Initializes syzygy list.(package private) java.util.List<SigPair<C>>
pruneP(java.util.List<SigPair<C>> P, java.util.List<ExpVector> syz)
Prune total pair list P.(package private) java.util.List<SigPair<C>>
pruneS(java.util.List<SigPair<C>> S, java.util.List<ExpVector> syz, java.util.List<SigPoly<C>> done, java.util.List<SigPoly<C>> G)
Prune pair list of degree d.(package private) GenPolynomial<C>
SPolynomial(SigPoly<C> A, SigPoly<C> B)
S-Polynomial.(package private) void
updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)
Update syzygy list.-
Methods inherited from class edu.jas.gb.GroebnerBaseSigSeqIter
GB, GB, newPair, newPair, sigNormalform, SPolynomial, SPolynomialFactors
-
Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, criterion3, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees
-
-
-
-
Constructor Detail
-
GroebnerBaseGGVSigSeqIter
public GroebnerBaseGGVSigSeqIter()
Constructor.
-
GroebnerBaseGGVSigSeqIter
public GroebnerBaseGGVSigSeqIter(SigReductionSeq<C> red)
Constructor.- Parameters:
red
- Reduction engine
-
-
Method Detail
-
SPolynomial
GenPolynomial<C> SPolynomial(SigPoly<C> A, SigPoly<C> B)
S-Polynomial.- Overrides:
SPolynomial
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
A
- polynomial.B
- polynomial.- Returns:
- spol(A,B) the S-polynomial of A and B.
-
pruneP
java.util.List<SigPair<C>> pruneP(java.util.List<SigPair<C>> P, java.util.List<ExpVector> syz)
Prune total pair list P.- Overrides:
pruneP
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
P
- pair list.syz
- list of exponent vectors representing syzygies.- Returns:
- updated pair list.
-
pruneS
java.util.List<SigPair<C>> pruneS(java.util.List<SigPair<C>> S, java.util.List<ExpVector> syz, java.util.List<SigPoly<C>> done, java.util.List<SigPoly<C>> G)
Prune pair list of degree d.- Overrides:
pruneS
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
S
- pair list.syz
- list of exponent vectors representing syzygies.done
- list of treated polynomials.G
- polynomial with signature list.- Returns:
- updated pair list.
-
initializeSyz
java.util.List<ExpVector> initializeSyz(java.util.List<GenPolynomial<C>> F, java.util.List<SigPoly<C>> G)
Initializes syzygy list.- Overrides:
initializeSyz
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
F
- polynomial list.G
- polynomial with signature list.- Returns:
- list of exponent vectors representing syzygies.
-
updateSyz
void updateSyz(java.util.List<ExpVector> syz, SigPoly<C> r)
Update syzygy list.- Overrides:
updateSyz
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
syz
- list of exponent vectors representing syzygies.r
- polynomial. Note: szy is modified to represent updated list of exponent vectors.
-
-