#15283: Rowmotion and Panyushev orbits: iterators for orbits and better doc
-------------------------------------------------+-------------------------
Reporter: darij | Owner:
Type: enhancement | Status:
Priority: major | positive_review
Component: combinatorics | Milestone: sage-5.13
Keywords: posets, rowmotion, sage- | Resolution:
combinat, panyushev, order-ideals, categories | Merged in:
Authors: Darij Grinberg | Reviewers: Nathann
Report Upstream: N/A | Cohen
Branch: | Work issues:
Dependencies: | Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Comment (by darij):
I don't think {{{self.lt}}} returns the right format for {{{sorted}}}. It
seems that the {{{cmp}}} keyword of {{{sorted}}} wants a total
-1,0,1-valued function, not a boolean one. Then again I can't get it to
break, so maybe it works. Why is there no good doc for {{{sorted}}}??
And either way, I don't know how {{{sorted}}} would react if {{{cmp}}}
fails to be antisymmetric, i. e., if there are two distinct elements which
compare as equal or each smaller than the other. I'd hope the result would
still be sorted, but who knows?
I originally wanted to implement these functions as semantics for
{{{is_chain}}} and {{{is_antichain}}}, but found that this would make the
docstring rather confusing.
--
Ticket URL: <http://trac.sagemath.org/ticket/15283#comment:10>
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.
