Support #1561
Doc for module term orderings
Start date:
11 Jan 2021
Due date:
% Done:
0%
Estimated time:
Description
The documentation for module term orderings is unhelpful (to put it politely).
I wanted to find out whether a FreeModule is by default created with PosTo or ToPos, and also how to force it to be ToPos. Related to #1560
Improve!
Related issues
History
#1
Updated by John Abbott over 3 years ago
Updated by - Related to Bug #1560: elim for modules added
#2
Updated by John Abbott over 2 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#3
Updated by John Abbott about 2 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880