#5794: [with patch, needs review] exceptional and reducible type branching rules
--------------------------+-------------------------------------------------
Reporter: bump | Owner: bump
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.0.1
Component: group_theory | Keywords: lie groups
--------------------------+-------------------------------------------------
Description changed by bump:
Old 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.
>
> The patch trac_5794-continued.patch goes on top of
> trac_5794-revised.patch. Together, the two patches
> give complete coverage of branching rules from
> classical root systems to maximal subgroups.
>
> Highlights of the second patch:
>
> {{{
> New WeylCharacter methods is_reducible and frobenius_schur_indicator
> Revised tensor rule handles all classical Cartan types
> powerful new branching_rule_from_plethysm handles unusual cases
> doc revision
> }}}
>
> The file at
> http://sporadic.stanford.edu/bump/branch.sage contains additional tests
> demonstrating every branching rule in Patera and McKay's book of tables
> for Cartan types A,B,C,D. This verifies the completeness of the patch for
> nonexceptional types.
New description:
The patch {{{trac_5794-revised.patch}}} supercedes
the patches {{{trac_5794.patch}}} and {{{trac_5794-f4}}}.
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.
The patch trac_5794-continued.patch goes on top of
trac_5794-revised.patch. Together, the two patches
give complete coverage of branching rules from
classical root systems to maximal subgroups.
Highlights of the second patch:
{{{
New WeylCharacter methods is_reducible and frobenius_schur_indicator
Revised tensor rule handles all classical Cartan types
powerful new branching_rule_from_plethysm handles unusual cases
doc revision
}}}
The file at
http://sporadic.stanford.edu/bump/branch.sage contains additional tests
demonstrating every branching rule in Patera and McKay's book of tables
for Cartan types A,B,C,D. This verifies the completeness of the patch for
nonexceptional types.
The patch {{{trac_5794-exceptional.patch}}} adds some more F4 and E6
branching rules. It also adds {{{dynkin_diagram}}} and
{{{extended_dynkin_diagram}}} methods to WeylCharacterRings.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5794#comment:14>
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
-~----------~----~----~----~------~----~------~--~---
