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: Changed 10 years ago by 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. 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 ;-)

comment:2 in reply to: ↑ 1 Changed 10 years ago by niles

  • 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 jmantysalo

  • 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 novoselt

  • Status changed from needs_review to positive_review

comment:5 Changed 5 years ago by vbraun

  • Resolution set to wontfix
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.