| 1 | initial version |
Here a possible approach via an algebra over the free group:
F.<yy> = FreeGroup()
A = F.algebra(QQ)
y = A(yy)
yinv = A(yy^-1)
print( y*(y+1)*yinv )
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.