#17053: Add function for disjoint union and ordinal sum of posets
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-wishlist
      Component:  combinatorics      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:                     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jmantysalo/add_function_for_direct_sum_of_posets|  
4b35a5413d0d18e075783484ff8079034e828d51
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by ncohen):

 Hello !

 > 4) I don't understand. If you input lattices to ordinal sum, you get
 lattices.

 I am an idiot, sorry. I misread the doc.

 > 7) Which one is logical for A.ordinal_sum(B): to have "A up and B down"
 or "B up"? I don't know.

 This I do not know. But I would have expected the set of points `(1,x)` to
 be greater than the ones labelled with `(0,x)`

 > 8) I'm quite sure about that. But how?

 Ask the guy in your office (if any) to read it, and if not I will do it
 before setting the branch to `positive_review`.

 Nathann

--
Ticket URL: <http://trac.sagemath.org/ticket/17053#comment:27>
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/d/optout.

Reply via email to