#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 | 4358a5a4574999015ccb9088bdb842dcc738d40c
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
> But the question remains: What is the meaning of `hasse_diagram.py`?
Whole poset class could be implemented with just a digraph as one member
variable. But then I guess we would have more internal functions starting
with `_`. Or more functions returning something actually only useful for
internal use.
What we have now is Poset.X *and* HassDiagram.X.
> An example: check (broken!) parameter `partial` at `maximal_chains`. It
is needed for `order_complex`. I think that the whole concept of "partial
maximal chain" is odd and should be removed. It could have placed in
`hasse_diagrams.py`, which is meant for internal implementation. (Btw, see
#18944 - my suggestion to drop `partial`-option was rejected.)
The combinat guys have ther own view of the code. Perhaps something like
"whatever should be useful to one must be a public method". In the case of
very very specific functions, sometimes hard to document properly, I do
not believe that it is a good choice.
> I think that I can generate something like all posets of size 7 in the
same time as all Hasse diagrams of size 8. So it really loses some cpu
time to make posets.
I am tired to find ways to not call the constructor because it does things
you never asked it to do.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/19659#comment:16>
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.
