#15322: Testing for antichains and chains in arbitrary posets
------------------------------------------------+--------------------------
Reporter: darij | Owner:
Type: enhancement | Status:
Priority: major | needs_review
Component: combinatorics | Milestone: sage-5.13
Keywords: posets, combinat, categories | Resolution:
Authors: Darij Grinberg | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
Dependencies: #15283 | Commit:
| Stopgaps:
------------------------------------------------+--------------------------
Old description:
> `sage/combinat/posets.py` currently has an `is_chain` method testing
> whether a poset is a chain, but there is no method to test if a subset of
> a poset is a chain; moreover, no comparable functionality for antichains
> exists. The present patch implements this functionality. Chain testing is
> implemented twice, once for finite and once for arbitrary posets.
New description:
`sage/combinat/posets.py` currently has an `is_chain` method testing
whether a poset is a chain, but there is no method to test if a subset of
a poset is a chain; moreover, no comparable functionality for antichains
exists. The present patch implements this functionality. Chain testing is
implemented twice, once for finite and once for arbitrary posets.
Apply:
* [attachment:trac_15322-chains-and-antichains-dg.patch]
* [attachment:trac_15322-some-edits-dg.patch]
--
Comment (by darij):
Hi Nathann,
done. I've also done the same to the order ideal checks. Positive review
then?
Best regards,\\
Darij
--
Ticket URL: <http://trac.sagemath.org/ticket/15322#comment:8>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
