#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.
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.
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.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5794#comment:12>
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
-~----------~----~----~----~------~----~------~--~---
