Support #195
OrdvArith documentation needs rewriting
Description
Alessandra Caleo noticed that OrdvArith seems to be quite messy: includes parts about PPOrdering and is not clear why... an old copy and paste??
Related issues
History
#1 Updated by Anna Maria Bigatti over 11 years ago
- Assignee set to John Abbott
#2 Updated by John Abbott about 11 years ago
The doc needs to be rewritten fairly urgently.
#3 Updated by John Abbott about 11 years ago
- Target version set to CoCoALib-0.9953
#4 Updated by John Abbott about 11 years ago
- % Done changed from 0 to 20
JAA has added a new class StdDegRevLex2
.
This appears to offer a cleaner and faster impl -- but its speed has yet to be tested!
Still no progress on the doc.
#5 Updated by John Abbott almost 11 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99534 Seoul14
This is not urgent for 0.9953 so moving to 0.9954.
#6 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#7 Updated by John Abbott about 10 years ago
- % Done changed from 20 to 50
A first version of the doc has been written! It even includes comments about thread-safety!
#8 Updated by John Abbott about 10 years ago
- Status changed from New to Feedback
- % Done changed from 50 to 90
The doc should now be essentially complete.
Also greatly improved doc for PPOrdering
.
#9 Updated by John Abbott about 10 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
Closing in preparation for new version of CoCoALib.
#10 Updated by Anna Maria Bigatti about 10 years ago
- Estimated time set to 4.00 h