#15150: Implement NCSym
------------------------------------+-----------------------------
       Reporter:  tscrim            |        Owner:  sage-combinat
           Type:  enhancement       |       Status:  needs_review
       Priority:  major             |    Milestone:  sage-5.12
      Component:  combinatorics     |   Resolution:
       Keywords:                    |    Merged in:
        Authors:  Travis Scrimshaw  |    Reviewers:
Report Upstream:  N/A               |  Work issues:
         Branch:                    |       Commit:
   Dependencies:  #15143            |     Stopgaps:
------------------------------------+-----------------------------

Comment (by darij):

 "Also I found a bug with the expansion, in that SetPartition was not
 always living in the correct parent when taking inf or sup."

 How that?

 {{{
 sage: P = SetPartition([[3,1],[2]])
 sage: parent(P)
 Set partitions
 sage: Q = SetPartition([[1,2],[3]])
 sage: Q.inf(P)
 {{1}, {2}, {3}}
 sage: parent(Q.inf(P))
 Set partitions
 sage: parent(Q.sup(P))
 Set partitions
 sage: P = SetPartitions(3)(P)
 sage: P
 {{1, 3}, {2}}
 sage: parent(P)
 Set partitions of {1, 2, 3}
 sage: Q = SetPartitions(3)(Q)
 sage: parent(Q)
 Set partitions of {1, 2, 3}
 sage: P.inf(Q)
 {{1}, {2}, {3}}
 sage: parent(P.inf(Q))
 Set partitions of {1, 2, 3}
 sage: parent(P.sup(Q))
 Set partitions of {1, 2, 3}
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/15150#comment:29>
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.

Reply via email to