Project

General

Profile

Feature #775

PPMonoid with 1 extra "exponent"?

Added by John Abbott over 8 years ago. Updated over 8 years ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
Improving
Target version:
Start date:
15 Sep 2015
Due date:
% Done:

0%

Estimated time:
Spent time:

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

Related to CoCoALib - Feature #685: Use DivMask inside QBGeneratorNew2015-04-16

History

#1 Updated by John Abbott over 8 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.

Also available in: Atom PDF