Feature #775
PPMonoid with 1 extra "exponent"?
Description
It might be worth offering a PPMonoid
whose internal repr for a PP contains an expv and one extra long
.
If the ordering is DegRevLex
then the extra field is the degree.
If the ordering is lex
then the extra field can just be 0.
If the ordering is an elim ordering then the extra field could be the first entry of the ordv.
An advantage (compared to PPMonoidOv
) is that many common orderings can easily be handled efficiently, and also operations such as GCD are relatively cheap (no need to convert back to expv from ordv).
Related issues
History
#1 Updated by John Abbott almost 9 years ago
- Priority changed from Normal to Low
If I recall well, this is what Schoenemann said Singular does.
Maybe we could restrict the accepted orderings to just those which fit nicely into the scheme?
Giving this low priority as it will take some time, and probably will not make much difference.