Re: representing the dihedral group {1,r,r^2...s,sr^2...}

*To*: mathgroup at smc.vnet.net*Subject*: [mg98856] Re: representing the dihedral group {1,r,r^2...s,sr^2...}*From*: mstankus at gmail.com*Date*: Mon, 20 Apr 2009 19:08:48 -0400 (EDT)*References*: <gsh100$gr$1@smc.vnet.net>

NCAlgebra can be used to do what you want http://www.math.ucsd.edu/~ncalg/ Send questions to ncalg at gmail.com On Apr 19, 10:25 pm, obo... at gmail.com wrote: > Hi, I'm trying to represent the dihedral group {1,r,r^2...s,sr^2...} > in mathematica so I can do for example: > > s^3 > > and get s. > > I tried this code: > > Unprotect[Times, Power]; > n = 4; > ClearAll[r, s, Times, Power]; > SetAttributes[Times, {Flat}] > s^2 = 1; > r^n = 1; > Protect[Times, Power]; > > But this doesn't work for, for example, s^3. It is not able to > simplify it. > > Thanks a lot! > > Otto