magnus/inventory/OneRelatorWithTorsion/homomorphism_homomorphism
