Hey Mark and Nicolas,
> Generally how does one handle the notational difference
> > between additive and multiplicative groups?
> > I just want to deal with all groups the same way.
>
> It's a can of worm; as far as I know no system has a good way to
> handle this. Probably the easiest for you
On Fri, May 31, 2013 at 04:45:13PM -0400, Mark Shimozono wrote:
> Anyone understand the behavior
>
> sage: RR^2 in Groups()
> False
>
> Certainly (RR^2,+) should be a group.
Abstractly speaking, yes, RR^2 is a group. But on a computer you need
to specify what the notations are for the operations
Anyone understand the behavior
sage: RR^2 in Groups()
False
Certainly (RR^2,+) should be a group. I tried to construct
GL(2,RR) semidirect RR^2
and found the above behavior.
Generally how does one handle the notational difference
between additive and multiplicative groups?
I just want to deal