tests: Semidirect Product Dₘ = Cₘ⋉C₂ of two Cyclic Groups to form Dihedral Group

[Fe-r-oz]

This PR reproduces the Table 3 of Lin and Pryadko's paper by using Semidirect product of two cyclic groups instead of group presentation to create non-abelian Dihedral group which was done in: #397

As $D_{m} = C_m \ltimes C_2 = \langle x, s \mid x^m = s^2 = (r*s)^2 = 1 \rangle$, there are two ways to reproduce Table 3:

1. $C_m \ltimes C_2$ (This PR)
2. $\langle x, s \mid x^m = s^2 = (r*s)^2 = 1 \rangle$ (done in tests: Non-Abelian Dihedral Groups Dₘ via Group Presentation ⟨S|R⟩ #397)

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

This functionality will also be documented in the future.

• 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.