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>
,Serializable
Groebner Base GGV signature based sequential iterative algorithm. Implements
Groebner bases.
- See Also:
-
Field Summary
FieldsFields inherited from class edu.jas.gb.GroebnerBaseSigSeqIter
sred
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.Constructor. -
Method Summary
Modifier and TypeMethodDescriptioninitializeSyz
(List<GenPolynomial<C>> F, List<SigPoly<C>> G) Initializes syzygy list.Prune total pair list P.Prune pair list of degree d.(package private) GenPolynomial
<C> SPolynomial
(SigPoly<C> A, SigPoly<C> B) S-Polynomial.(package private) void
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
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger
-
-
Constructor Details
-
GroebnerBaseGGVSigSeqIter
public GroebnerBaseGGVSigSeqIter()Constructor. -
GroebnerBaseGGVSigSeqIter
Constructor.- Parameters:
red
- Reduction engine
-
-
Method Details
-
SPolynomial
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
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
List<SigPair<C>> pruneS(List<SigPair<C>> S, List<ExpVector> syz, List<SigPoly<C>> done, 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
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
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.
-