2013/7/13 Volker Braun <vbraun.n...@gmail.com>:
> But the question is, how is this right action that you speak of implemented
> in Sage?

+1 to this comment of Volker. And the notation should be "^" (hat)

I had Darij's problem as well, and many others probably did as well.
In a right action, I would prefer p(1) to give a warning. In a right
action, I would want some notation where p is on the right, preferably
1^p (1 hat p).
The notation "*" has the wrong distributive laws in case of actions on
rings or groups. Of course this is irrelevant for permutations acting
on sets, but since Galois groups can be interpreted as permutation
groups too and they act on rings, the hat is much better.

+1 also to a parent option for all groups with natural actions (Galois
groups, permutation groups, ...?) saying "left" or "right". I don't
care too much what the default value is in each case, as long as there
are warnings.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to