#11187: Implementation of finite reflection groups
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-7.2
Component: combinatorics | Resolution:
Keywords: reflection group, | Merged in:
days49, days 64.5 | Reviewers:
Authors: Christian Stump | Work issues:
Report Upstream: N/A | Commit:
Branch: public/11187 | 5a377c42bdcba53fde3504489eab396194bc509f
Dependencies: #20107 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:219 stumpc5]:
> I was afraid you'd ask that.
:-)
> in my eyes: too much. The elements are considered as permutations,
> words, and matrices at the same time (and there are even two types
> of words, in simples and in all reflections, and the simple words
> have wired properties in the non-real case), making options would
> pollute the code just soo much, I think, and would introduce so many
> possible mistakes. I prefer to have clean and fast code, that is
> hopefully getting better than chevie, eventually. Once that is
> achieved, I am getting in favour with adding another layer of user
> friendliness.
Fair enough: let's focus on getting things to work.
One thing though is that a lot of features are completely symmetric
(e.g. the reverse of a word is a word). The only spot where things
differ is when there is an explicit action. In my experience when
implementing representations of semigroups, it was often possible to
abstracted everything out by manipulating elements in the code as
functions whenever there is an action involved (sorry, I know, this is
a big vague).
Of course, a prerequisite for implementing this seamlessly is that
permutation groups themselves would allow for both left and right
actions.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/11187#comment:220>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
