Revision history [back]

Hello everyone, I have the following groups G.<a,b> = FreeGroup() H = G.quotient([aba.inverse()*b.inverse()]) I would like SAGE to understand the product of to lateral clases in H? It is that possible?

Thanks in advance!

Hello everyone, I have the following groups groups

G.<a,b> = FreeGroup()
H = G.quotient([aba.inverse()*b.inverse()])
G.quotient([a*b*a.inverse()*b.inverse()])

I would like SAGE to understand the product of to lateral clases in H? It is that possible?

Thanks in advance!