Project

General

Profile

Design #1728

Refine Poset impl & doc

Added by John Abbott about 1 year ago. Updated about 1 year ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.4.4
Start date:
20 Mar 2023
Due date:
% Done:

10%

Estimated time:
Spent time:
0.25 h

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 about 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

Also available in: Atom PDF