#8811: Translation for elements of a root lattice and related features and fixes
-----------------------------------+----------------------------------------
Reporter: aschilling | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.4.3
Component: combinatorics | Keywords: root systems, affine weyl
groups, translations
Author: Nicolas M. Thiery | Upstream: N/A
Reviewer: Anne Schilling, ... | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Description changed by nthiery:
Old description:
> This patch implements translation for elements of a root lattice and
> related features and fixes::
>
> - New method `translation` for elements of a root lattice
>
> - New methods `reduced_word_of_alcove_morphism`,
> `dynkin_diagram_automorphism_of_alcove_morphism`,
> `reduced_word_of_translation`,
> `_test_reduced_word_of_translation`
>
> - Added extensive TESTS to compare with Kashiwara's private notes
>
> - Fixed dynkin diagram for type BC
>
> - Fixed CartanType.translation_factors to implement its specification
> correctly in affine type BC. Imported the full test suite from
> MuPAD-Combinat. Also fixes and tests for proper typing of the
> coefficients (ZZ/QQ).
>
> - Bug fix in WeylGroup: the matrices were defined over QQ instead of
> the base ring of the underlying root lattice realization.
>
> Patch finalized on the Sage-Combinat patch server:
>
> http://combinat.sagemath.org/hgwebdir.cgi/patches/file/tip
> /trac_8811_reduced_word_of_translations-nt.patch
New description:
This patch implements translation for elements of a root lattice and
related features and fixes::
- New method `translation` for elements of a root lattice
- New methods `reduced_word_of_alcove_morphism`,
`dynkin_diagram_automorphism_of_alcove_morphism`,
`reduced_word_of_translation`, `_test_reduced_word_of_translation`
- Added extensive TESTS to compare with Kashiwara's private notes
- Fixed dynkin diagram for type BC
- Fixed CartanType.translation_factors to implement its specification
correctly in affine type BC. Imported the full test suite from MuPAD-
Combinat. Also fixes and tests for proper typing of the coefficients
(ZZ/QQ).
- Bug fix in WeylGroup: the matrices were defined over QQ instead of the
base ring of the underlying root lattice realization.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8811#comment:4>
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.
