// finitely presented group parametrized by paremeters in relations G := func< p, q, r, s | Group< x, y, z, h, k, a | x^2, y^2, z^2, (x,y), (y,z), (x,z), h^3, k^3, (h,k), (x,k), (y,k), (z,k), x^h*y, y^h*z, z^h*x, a^2, a*x*a*y, a*y*a*x, (a,z), (a,k), x^p*y^q*z^r*k^s*(a*h)^2 > >; Order(G(1,1,1,2)); // list some cases [ < , Order(G(i,j,k,l)) > : i, j, k in [0..1], l in [0..2] ];