Package edu.jas.gb
Class GroebnerBaseF5zSigSeqIter<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gb.GroebnerBaseSigSeqIter<C>
edu.jas.gb.GroebnerBaseF5zSigSeqIter<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,Serializable
Groebner Base F5z 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.sigNormalform
(List<GenPolynomial<C>> F, List<SigPoly<C>> G, SigPoly<C> A) Top normalform.(package private) void
Update syzygy list.Methods inherited from class edu.jas.gb.GroebnerBaseSigSeqIter
GB, GB, newPair, newPair, SPolynomial, 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
-
GroebnerBaseF5zSigSeqIter
public GroebnerBaseF5zSigSeqIter()Constructor. -
GroebnerBaseF5zSigSeqIter
Constructor.- Parameters:
red
- Reduction engine
-
-
Method Details
-
sigNormalform
Top normalform.- Overrides:
sigNormalform
in classGroebnerBaseSigSeqIter<C extends RingElem<C>>
- Parameters:
F
- polynomial list.G
- polynomial list.A
- polynomial.- Returns:
- nf(A) with respect to F and G.
-
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. Note: stores polynomials not only indices.
-
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.
-