CunningGabe
commented
1 year ago Actually, the quotient methods do let you form a quotient by multiple relators:
q:=QuotientManiplex(CubicTiling(2),"(r0 r1 r2 r1)^5, (r1 r0 r1 r2)^2"); This is [4,4]_{(5,0), (0,2)}
q:=ReflexibleQuotientManiplex(CubicTiling(2),"(r0 r1 r2 r1)^5, (r1 r0 r1 r2)^2"); This is [4,4]_{(1,0)}, since r0 r1 r2 r1 and r1 r0 r1 r2 are conjugate and so the relations together imply that r0 r1 r2 r1 has order 1.
So I don't remember - is there something else in particular you're hoping to do that you can't do currently?
To quote Gordon: "It's really weird that we have a nice way to form a quotient by one relator but not a normal subgroup"