#8411: Branching rule fix and doc revision
----------------------------------------------+-----------------------------
Reporter: bump | Owner: sage-combinat
Type: defect | Status: positive_review
Priority: major | Milestone: sage-4.4
Component: combinatorics | Keywords: Branching rules
Author: Daniel Bump | Upstream: N/A
Reviewer: Nicolas M. Thiéry, Brant Jones | Merged:
Work_issues: |
----------------------------------------------+-----------------------------
Changes (by brant.c.jones):
* status: needs_review => positive_review
Comment:
This is a positive review for trac_8411.
Prior to this patch, sage would not branch e.g. SO(3) x SO(3) -> SO(6)
because this would embed a rank 2 group in a rank 3 group, and the
get_branching_rule() code required the ranks to be equal. After applying
this patch, the "orthogonal_sum" rule will allow such branching (as the
identity map) between types B/D, and within type C (only).
This patch correctly implements useful mathematics.
-- Brant Jones
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8411#comment:8>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
