#19323: Metaticket: Enhancements for posets and lattices
---------------------------------+-----------------------------
Reporter: jmantysalo | Owner:
Type: enhancement | Status: new
Priority: trivial | Milestone: sage-wishlist
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+-----------------------------
Description changed by jmantysalo:
Old description:
> This is metaticket to be a place for random things to add for finite
> posets and lattices.
>
> '''New functions'''
>
> - From #18941: Add possibility to check if a list is a ''saturated''
> chain of a poset.
> - Add `is_eulerian()`. (Done: #19697)
> - Add a function to generate random lattice.
>
> '''Poset catalog'''
>
> - Add "standar example" (poset of `2n` elements with dimension `n`).
> (Done: #19690)
> - Add divisor lattice. (#20272)
>
> '''Other'''
>
> - Think about `ceritificate`-options. Should for example
> `is_meet_semilattice()` return a pair of elements without a meet?
>
> '''Minor bugs'''
>
> - `is_supersolvable` gives error on empty lattice. (#20274)
New description:
This is metaticket to be a place for random things to add for finite
posets and lattices.
'''New functions'''
- From #18941: Add possibility to check if a list is a ''saturated'' chain
of a poset. (Done: #20494)
- Add `is_eulerian()`. (Done: #19697)
- Add a function to generate random lattice.
'''Poset catalog'''
- Add "standar example" (poset of `2n` elements with dimension `n`).
(Done: #19690)
- Add divisor lattice. (#20272)
'''Other'''
- Think about `ceritificate`-options. Should for example
`is_meet_semilattice()` return a pair of elements without a meet?
'''Minor bugs'''
- `is_supersolvable` gives error on empty lattice. (#20274)
--
--
Ticket URL: <http://trac.sagemath.org/ticket/19323#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
