tests: Group Presentation for Cyclic Group Cₘₕ = Cₘ × C₂

[Fe-r-oz]

This PR reproduces the Table 2 by using presentation of cyclic group instead of Direct Product of cyclic groups which was done in: #392

As $C_{mh} = C_m \times C_2 = \langle x, s \mid x^m = s^2 = xsx^{-1}s^{-1} = 1 \rangle$, there are two ways to reproduce Table 2:

1. $C_m \times C_2$
2. $\langle x, s \mid x^m = s^2 = xsx^{-1}s^{-1} = 1 \rangle$

This PR implements the 2) approach. This second approach was not mentioned in the caption of Table 2 but was referenced in the text of the Appendix. Both gives the same results.

• The code is properly formatted and commented.
• Substantial new functionality is documented within the docs.
• All new functionality is tested.
• All of the automated tests on github pass.
• We recently started enforcing formatting checks. If formatting issues are reported in the new code you have written, please correct them. There will be plenty of old code that is flagged as we are slowly transitioning to enforced formatting. Please do not worry about or address older formatting issues -- keep your PR just focused on your planned contribution.