#12667: category root lattice realization issue: infinite loop while trying to
reflect to the positive chamber
----------------------------------+-----------------------------------------
Reporter: mshimo | Owner: sage-combinat
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: combinatorics | Resolution:
Keywords: root system | Work issues:
Report Upstream: N/A | Reviewers: Anne Schilling
Authors: Mark Shimozono | Merged in:
Dependencies: #6588 | Stopgaps:
----------------------------------+-----------------------------------------
Changes (by aschilling):
* status: new => needs_review
Old description:
> version 5.0 beta7
>
> sage/combinat/root_system/root_lattice_realizations.py
> element methods to_positive_chamber, reduced_word
> may give infinite loops for affine root systems
>
> {{{
> R=sage.combinat.root_system.all.RootSystem(['A',1,1])
> rl = R.root_lattice()
> mu = rl.from_vector(vector([0,1]))
> mu.to_positive_chamber()
> }}}
>
> For elements of a root lattice realization:
> 1. Added method reflect which reflects across a hyperplane orthogonal
> to a (co)root.
> 2. Renamed to_positive_chamber to to_dominant_chamber, and added case
> checking
> for affine root systems which prevents infinite looping. Root systems
> that are not finite and not affine are not checked.
> 3. Added method weyl_action which acts on a vector by a Weyl group
> element.
> 4. Added method weyl_stabilizer which returns indices of simple
> reflections
> fixing a weight.
New description:
version 5.0 beta7
sage/combinat/root_system/root_lattice_realizations.py
element methods to_positive_chamber, reduced_word
may give infinite loops for affine root systems
{{{
R=sage.combinat.root_system.all.RootSystem(['A',1,1])
rl = R.root_lattice()
mu = rl.from_vector(vector([0,1]))
mu.to_positive_chamber()
}}}
For elements of a root lattice realization:
1. Added method reflect which reflects across a hyperplane orthogonal
to a (co)root.
2. Renamed to_positive_chamber to to_dominant_chamber, and added case
checking
for affine root systems which prevents infinite looping. Root systems
that are not finite and not affine are not checked.
3. Added method weyl_action which acts on a vector by a Weyl group
element.
4. Added method weyl_stabilizer which returns indices of simple
reflections
fixing a weight.
Apply: trac_12667_root_lattice_ms.patch
--
Comment:
I checked the new version of the patch and everything looks good. Positive
review.
Anne
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12667#comment:10>
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.
