Package edu.jas.gb
Class OrderedSyzPairlist<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.OrderedPairlist<C>
edu.jas.gb.OrderedSyzPairlist<C>
- All Implemented Interfaces:
PairList<C>
,Serializable
Pair list management. For the Buchberger algorithm following the syzygy
criterions by Gebauer & Möller. Implemented using GenPolynomial,
TreeMap and BitSet.
- See Also:
-
Field Summary
FieldsFields inherited from class edu.jas.gb.OrderedPairlist
moduleVars, oneInGB, P, pairlist, putCount, red, reduction, remCount, ring, useCriterion4
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.OrderedSyzPairlist
(int m, GenPolynomialRing<C> r) Constructor.Constructor. -
Method Summary
Modifier and TypeMethodDescriptioncreate
(int m, GenPolynomialRing<C> r) Create a new PairList.create
(GenPolynomialRing<C> r) Create a new PairList.boolean
criterion3
(int i, int j, ExpVector eij) GB criterium 3.int
put
(GenPolynomial<C> p) Put one Polynomial to the pairlist and reduction matrix.Remove the next required pair from the pairlist and reduction matrix.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger
-
-
Constructor Details
-
OrderedSyzPairlist
public OrderedSyzPairlist()Constructor. -
OrderedSyzPairlist
Constructor.- Parameters:
r
- polynomial factory.
-
OrderedSyzPairlist
Constructor.- Parameters:
m
- number of module variables.r
- polynomial factory.
-
-
Method Details
-
create
Create a new PairList. -
create
Create a new PairList. -
put
Put one Polynomial to the pairlist and reduction matrix. Removes all unnecessary pairs identified by the syzygy criterion and criterion 4. -
removeNext
Remove the next required pair from the pairlist and reduction matrix. Apply the criterions 3 and 4 to see if the S-polynomial is required.- Specified by:
removeNext
in interfacePairList<C extends RingElem<C>>
- Overrides:
removeNext
in classOrderedPairlist<C extends RingElem<C>>
- Returns:
- the next pair if one exists, otherwise null.
-
criterion3
GB criterium 3.- Specified by:
criterion3
in interfacePairList<C extends RingElem<C>>
- Overrides:
criterion3
in classOrderedPairlist<C extends RingElem<C>>
- Returns:
- true if the S-polynomial(i,j) is required.
-