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