#19659: Poset: inverse function of ordinal_sum()
-------------------------------------+-------------------------------------
Reporter: jmantysalo | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.0
Component: combinatorics | Resolution:
Keywords: poset | Merged in:
Authors: Jori Mäntysalo | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jmantysalo/develop | 01f9e1c6bb502e6044181c856bcb8984718fd237
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
> Then series-parallel decomposition would call that, and then... create a
poset of them? So no luck.
>
> With implementation at `HasseDiagram` we (read: I) can make a function
to make a series-parallel decomposition that does not create `Poset`s
recursively.
I do not understand a word of what you are saying. Please, I try to make
each of my sentences accurate to be sure that I do not get misunderstood,
and as it is I can't get a straight answer. I assure you that I spend
*minutes* over each of my comments.
I am trying to understand, as I asked in [comment:30], if you need
!HasseDiagram only because of the slow Poset constructor or if there is
another reason. You told me in [comment:35] that you wanted to be able to
return something which is *not* a poset, and I said in [comment:36] that
you could do so with Poset only. Now the two sentences to which I am
replying right now say again that what you want to avoid is the Poset
constructor.
Could you confirm that the cost of the Poset constructor is the only thing
that bothers you, or else tell me what exactly is the problem? At the
moment, I am convinced that the only reason for which you implement
everything twice is because you want to avoid building posets. Tell me if
I am wrong.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/19659#comment:39>
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.
