#8414: lattice -> space in weyl_groups.py
-----------------------------+----------------------------------------------
Reporter: bump | Owner: bump
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.3.4
Component: combinatorics | Keywords:
Author: Daniel Bump | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by bump):
{{{
That being said, I agree that this name is not good. In particular, we
probably will want to generalize this soon to handle Coxeter groups
implemented as permutation groups (e.g. acting on the roots) instead of
matrix groups. So the semantic of this method should probably be to return
which ever natural space (or set) the group is naturally acting on. Its
name should reflect that.
}}}
It seems to me that the need to implement roots for general Coxeter groups
is a distinct issue. If the Coxeter group happens to be a Weyl group the
roots are embedded in a lattice or vector space and that is a sufficiently
important special case that it should be preserved.
{{{
Any good suggestions?
* natural_action_space?
* root_system_realization?
* ...?
}}}
To me it would seem best to call it space. Then if the Weyl group is
created in such a way that it is a lattice, it would be a misnomer, but
calling a lattice a space seems less egregious than calling a space a
lattice.
An alternative term would be *module*.
I will revise the patch implementing the change for families if we can
agree on this matter of terminology.
Dan
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8414#comment:5>
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.
