#18635: Move WeylGroups.ElementMethods.reflection_to_root to
WeylGroups.ParentMethods.reflection_to_positive_root
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner: mshimo
Type: defect | Status: new
Priority: major | Milestone: sage-6.8
Component: categories | Resolution:
Keywords: wely groups, | Merged in:
coxeter groups | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: public/18635 | 886b52ada7491c6e6655ddb3c41decde1d04f015
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
I strongly disagree with moving this to the parent. As Mark said, there is
still a possibility of the input not being a reflection, and the root is
associated with the ''element'', not a property of the parent. There are
other instances where we've raised a `ValueError` (or `TypeError`) when an
element doesn't satisfy the requirements for the method (e.g., mutating a
non-mutable matrix).
You will still have the issue of not being able to call this method if
your complex reflection group doesn't know it's a Coxeter group, as you'll
still need to create the corresponding Coxeter group parent (or set the
correct category). So the only difference is you'll need to coerce the
element, but that should be natural from what you said.
--
Ticket URL: <http://trac.sagemath.org/ticket/18635#comment:8>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
