#5794: [with patch, needs review] exceptional and reducible type branching rules
--------------------------+-------------------------------------------------
Reporter: bump | Owner: bump
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-combinat
Component: group_theory | Keywords: lie groups
--------------------------+-------------------------------------------------
Description changed by bump:
Old description:
> The first patch implements branching rules to the following subgroups of
> Lie groups:
>
> {{{
> G2 => A1 (along short root)
> G2 => A2
> B3 => G2
> D4 => G2
> }}}
>
> The second patch implements branching rules:
>
> {{{
> F4 => B3
> F4 => C3
> F4 => B4
> }}}
>
> They go on top of the following patches:
>
> {{{
> trac_5721-a.patch
> trac_5721-b.patch
> trac_5751.patch
> }}}
New description:
The patch {{{trac_5794-revised.patch}}} supercedes
the other two patches. It applies cleanly on sage-3.4.2.rc0.
Patch summary:
{{{
- new branching rules, including exceptional and reducible types
- all new rules have tests but slower F4 tests are # long time
- bugfix: reducible root system methods simple_roots etc. return families
- Cartan Types B, C and D allow low rank cases such as D2, B1 and C1
- WeylCharacterRings: new style="coroots" option gives output similar to
published tables
- WeylCharacterRings: methods for rank, simple_roots etc.
- doc revision in weyl_characters.py
}}}
This patch contains #5831. If this patch is merged, that ticket may be
closed.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5794#comment:9>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
