#14 Error in definition of Z_3 sdp Z_4

[Nathan Carter]

The Z_3 sdp Z_4 group is defined as <a,b:a^4=b^3=1,bab=a>, which is a correct definition, but the default Cayley diagram uses generators labeled a and b that do not satisfy the equation bab=a. The Cayley diagram is still a valid Cayley diagram for Z_3 sdp Z_4, just not one that matches the given definition. They should be in sync; the isomorphism is that the b in the definition corresponds to b^4 in the diagram.

Fix them somehow to make them more in sync. One way to do so would be to make the default diagram match the Cayley Diagram in Visual Group Theory for this group, attached as a PDF.