Opened 10 years ago
Closed 5 years ago
#10783 closed enhancement (wontfix)
Implement dynamic posets
Reported by: | novoselt | Owned by: | sage-combinat |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | combinatorics | Keywords: | poset |
Cc: | niles, chapoton | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
The idea is to allow creation of a poset without specifying all of its elements but instead allow adding them later. Example: one creates a cone and this cone becomes the top element of its face lattice, but the whole lattice and its elements are not constructed until (and IF) it is necessary.
Ticket #10777 is relevant.
I am personally interested only in such lattices and cone lattice of (not necessarily complete) fans, in particular these posets are finite and they are atomistic lattices. But for the implementation, perhaps, the only convenient limitation is finiteness. Or maybe even this is not important: if we don't construct all element, who cares how many are there?
The constructor probably has to have only one mandatory parameter: some callable that can compare elements of this poset. Perhaps one can also specify a callable for checking cover relations.
For elements it would be nice to compute their neighbours up/above/next to, even if they are not constructed yet. If this it too difficult, there may be a flag in the poset has_all_elements
or something like this so that functions that do require all elements can check if they are present or not.
Change History (5)
comment:1 follow-up: ↓ 2 Changed 10 years ago by
comment:2 in reply to: ↑ 1 Changed 10 years ago by
- Keywords poset added
Replying to novoselt:
By the way - I don't like how currently elements of the face lattice of cones are some poset-element-wrappers and one has to dig an actual cone from it.
Agreed -- I'm having the same problem with posets whose elements are lists, ordered by reverse inclusion. I think this should be another ticket.
comment:3 Changed 5 years ago by
- Cc chapoton added
- Milestone set to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
I think that #17693 does this and suggest this ticket to be closed. Frédéric, please click to positive_review if you agree.
comment:4 Changed 5 years ago by
- Status changed from needs_review to positive_review
comment:5 Changed 5 years ago by
- Resolution set to wontfix
- Status changed from positive_review to closed
By the way - I don't like how currently elements of the face lattice of cones are some poset-element-wrappers and one has to dig an actual cone from it. I'd like poset elements to be cones themselves. Perhaps that's already possible and I just didn't read the documentation enough, but if not - it would be nice to add such a feature. And if yes - it would be nice if it was a bit more visible in the documentation ;-)