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 almost 12 years ago
- Assignee set to John Abbott
#2
Updated by John Abbott over 11 years ago
The doc needs to be rewritten fairly urgently.
#3
Updated by John Abbott over 11 years ago
- Target version set to CoCoALib-0.9953
#4
Updated by John Abbott over 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 about 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 over 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 over 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 over 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