K:= QuadraticField(-19) ; Mat:=MatrixRing(K,2); GENS:=[ [ 2, 1/2*(-w - 3), 1/2*(w + 1), 1/2*(-w + 3) ] , [ 1/2*(-w - 3), 1/2*(w - 3), -2, 1/2*(w + 1) ] , [ -3, 1/2*(w + 3), w - 3, 5 ] , [ 1/2*(-w - 3), 1/2*(w - 1), -3, 1/2*(w + 3) ] ]; GENS:=[Mat!x : x in GENS]; G:= quo< FreeGroup(4) | $.2^3 = Id($), ($.1 * $.2)^2 = Id($), $.4^4 = Id($), $.3^-1 * $.4^-2 * $.3 * $.4^-2 = Id($), $.1^-1 * $.4^-2 * $.1 * $.4^-2 = Id($), $.4^2 * $.2 * $.4^-2 * $.2^-1 = Id($), ($.1 * $.4^-1 * $.2^-1)^2 = Id($), $.4 * $.2^-1 * $.4^-1 * $.2^-1 * $.4 * $.2^-1 = Id($), ($.4^-1 * $.1^-1 * $.2)^2 = Id($), ($.4^-1 * $.3 * $.2)^2 = Id($), ($.2^-1 * $.3^-1 * $.4^-1)^2 = Id($), $.1^-1 * $.2^-1 * $.4^-1 * $.2^-1 * $.1 * $.4^-1 * $.2 = Id($), $.4^2 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 * $.2 * $.3^-1 * $.2^-1 * $.3^-1 = Id($), ($.1^-1 * $.3 * $.2^-1 * $.3 * $.4 * $.2)^2 = Id($), ($.1^-1 * $.3 * $.2^-1 * $.3 * $.4^-1 * $.2)^2 = Id($), $.1^-1 * $.3 * $.2^-1 * $.3 * $.1^-1 * $.4 * $.2 * $.3^-1 * $.2^-1 * $.4 * $.2 * $.3^-1 * $.2^-1 * $.4^-1 * $.2^-2 * $.4^-1 = Id($) > ;