Design #1744
Updated by Anna Maria Bigatti 12 months ago
Investigate and design about converting current "Buchberger"'s code into a GBMill, i.e. a class containing partial computation of Buchberger's algorithm.
Which operations should it offer?
How to make it accessible through CoCoA-5?
For certain:
# constructor
# reduction of next pair
# extracting partial GBasis
# number of pairs to do
# number of polynomial in GBasis-to-be
Which operations should it offer?
How to make it accessible through CoCoA-5?
For certain:
# constructor
# reduction of next pair
# extracting partial GBasis
# number of pairs to do
# number of polynomial in GBasis-to-be