Design #1728
Refine Poset impl & doc
Description
Review the Poset implementation in light of experience at COCOA 2023.
Refine the manual entries.
Consider porting to C++; would need a poset type in CoCoA-5.
History
#1 Updated by Anna Maria Bigatti over 1 year ago
- Status changed from New to In Progress
- % Done changed from 0 to 10
We have used (probably I had pushed this choice]
P1 := [[], // < 1 [1], // < 2 [1, 2], // < 3 [1, 2], // < 4 [1, 2, 3, 4] // < 5 ];
Now I'm wodering, for flexibility on the labels names, we should have something like
P1 := [record(X=1, LessThanX =[]), record(X=2, LessThanX =[1], record(X=3, LessThanX =[1, 2], record(X=4, LessThanX =[1, 2], record(X=5, LessThanX =[1, 2, 3, 4] ];
what do you think? so labels could be strings, indets, or simply numbers, whatever numbers