Package edu.jas.gb
Class OrderedMinPairlist<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.OrderedPairlist<C>
-
- edu.jas.gb.OrderedMinPairlist<C>
-
- All Implemented Interfaces:
PairList<C>
,java.io.Serializable
public class OrderedMinPairlist<C extends RingElem<C>> extends OrderedPairlist<C>
Pair list management. The original Buchberger algorithm with criterions using early pair exclusion. Implemented using GenPolynomial, TreeMap and BitSet.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class edu.jas.gb.OrderedPairlist
moduleVars, oneInGB, P, pairlist, putCount, red, reduction, remCount, ring, useCriterion4
-
-
Constructor Summary
Constructors Constructor Description OrderedMinPairlist()
Constructor.OrderedMinPairlist(int m, GenPolynomialRing<C> r)
Constructor.OrderedMinPairlist(GenPolynomialRing<C> r)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PairList<C>
create(int m, GenPolynomialRing<C> r)
Create a new PairList.PairList<C>
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.Pair<C>
removeNext()
Remove the next required pair from the pairlist and reduction matrix.
-
-
-
Constructor Detail
-
OrderedMinPairlist
public OrderedMinPairlist()
Constructor.
-
OrderedMinPairlist
public OrderedMinPairlist(GenPolynomialRing<C> r)
Constructor.- Parameters:
r
- polynomial factory.
-
OrderedMinPairlist
public OrderedMinPairlist(int m, GenPolynomialRing<C> r)
Constructor.- Parameters:
m
- number of module variables.r
- polynomial factory.
-
-
Method Detail
-
create
public PairList<C> create(GenPolynomialRing<C> r)
Create a new PairList.
-
create
public PairList<C> create(int m, GenPolynomialRing<C> r)
Create a new PairList.
-
put
public int put(GenPolynomial<C> p)
Put one Polynomial to the pairlist and reduction matrix.
-
removeNext
public Pair<C> 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
public boolean criterion3(int i, int j, ExpVector eij)
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.
-
-