Package edu.jas.gb
Interface PairList<C extends RingElem<C>>
- All Superinterfaces:
Serializable
- All Known Implementing Classes:
CriticalPairList
,OrderedDPairlist
,OrderedMinPairlist
,OrderedPairlist
,OrderedRPairlist
,OrderedSyzPairlist
Pair list management interface.
-
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.getList()
Get the list of polynomials.getRing()
Get polynomial ring.boolean
hasNext()
Test if there is possibly a pair in the list.int
put
(GenPolynomial<C> p) Put one Polynomial to the pairlist and reduction matrix.int
put
(List<GenPolynomial<C>> F) Put all polynomials in F to the pairlist and reduction matrix.int
putCount()
Get the number of polynomials put to the pairlist.int
putOne()
Put to ONE-Polynomial to the pairlist.int
remCount()
Get the number of required pairs removed from the pairlist.Remove the next required pair from the pairlist and reduction matrix.void
setList
(List<GenPolynomial<C>> F) Set the list of polynomials.int
size()
Get the size of the list of polynomials.toString()
toString.
-
Method Details
-
create
Create a new PairList.- Parameters:
r
- polynomial ring.
-
create
Create a new PairList.- Parameters:
m
- number of module variables.r
- polynomial ring.
-
getRing
GenPolynomialRing<C> getRing()Get polynomial ring.- Returns:
- the polynomial ring.
-
toString
String toString()toString. -
put
Put one Polynomial to the pairlist and reduction matrix.- Parameters:
p
- polynomial.- Returns:
- the index of the added polynomial.
-
put
Put all polynomials in F to the pairlist and reduction matrix.- Parameters:
F
- polynomial list.- Returns:
- the index of the last added polynomial.
-
putOne
int putOne()Put to ONE-Polynomial to the pairlist.- Returns:
- the index of the last polynomial.
-
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.- Returns:
- the next pair if one exists, otherwise null.
-
hasNext
boolean hasNext()Test if there is possibly a pair in the list.- Returns:
- true if a next pair could exist, otherwise false.
-
size
int size()Get the size of the list of polynomials.- Returns:
- size of the polynomial list.
-
getList
List<GenPolynomial<C>> getList()Get the list of polynomials.- Returns:
- the polynomial list.
-
setList
Set the list of polynomials.- Parameters:
F
- the polynomial list.
-
putCount
int putCount()Get the number of polynomials put to the pairlist.- Returns:
- the number of calls to put.
-
remCount
int remCount()Get the number of required pairs removed from the pairlist.- Returns:
- the number of non null pairs delivered.
-
criterion3
GB criterium 3.- Returns:
- true if the S-polynomial(i,j) is required.
-