#19690: Add "Standard example" poset
-------------------------------------+-------------------------------------
Reporter: jmantysalo | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.0
Component: combinatorics | Resolution:
Keywords: poset | Merged in:
Authors: Kevin Dilks, Jori | Reviewers:
Mäntysalo | Work issues:
Report Upstream: N/A | Commit:
Branch: | acd7169ee225d47b9b6d6a6ee017bd652ed25ea7
u/jmantysalo/add__standard_example__poset| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by jmantysalo):
* cc: ncohen (added)
Old description:
> As #19383 seems dead (and latest push do not merge anymore), I suggest
> adding standard example in it's own in this ticket.
>
> It is logical to have `StandardExample(n)` to always have dimension `n`.
> This is not the case when `n=1`. Hence I added a restriction `n >= 2`.
>
> As rc0 for 6.10 is out I mark this to milestone 6.11.
New description:
As #19383 seems dead (and latest push do not merge anymore), I suggest
adding standard example in it's own in this ticket.
It is logical to have `StandardExample(n)` to always have dimension `n`.
This is not the case when `n=1`. Hence I added a restriction `n >= 2`.
--
Comment:
Nathann, you already saw this in #19383, so I guess this is an easy
review.
Documentation could be extended and said that Dedekind-Macneille
completion of standard example is the Boolean lattice. (That is, this is
also kind of standard example showing that completion by cuts can be
exponential in size.) But then, doc can not say every mathematical fact.
--
Ticket URL: <http://trac.sagemath.org/ticket/19690#comment:4>
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.
