Failed example:: Got: {(s_0 v_0, sigma_1): f3, (sigma_1, s_0 v_0): f2*f3^-1, (sigma_1, sigma_1): f2}

Failed example:: Got: Multivariate Laurent Polynomial Ring in f2, f3 over Integer Ring

Failed example:: Got: [ f3 - 1 f2*f3^-1 - 1 f2 - 1]

Failed example:: Got: [ 1 f2*f3^-1] [ f3 1] [ -1 -1]

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring Generated by the rows of the matrix: [ 1 0 0 0 0] [ 0 1 0 0 0] [ 0 0 1 0 0] [ 0 0 0 1 0] [ 0 0 0 0 1] [f2*f2inv - 1 0 0 0 0] [ 0 f2*f2inv - 1 0 0 0] [ 0 0 f2*f2inv - 1 0 0] [ 0 0 0 f2*f2inv - 1 0] [ 0 0 0 0 f2*f2inv - 1] [f3*f3inv - 1 0 0 0 0] [ 0 f3*f3inv - 1 0 0 0] [ 0 0 f3*f3inv - 1 0 0] [ 0 0 0 f3*f3inv - 1 0] [ 0 0 0 0 f3*f3inv - 1]

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 0 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring Generated by the rows of the matrix: []

Failed example:: Got: Quotient module by Submodule of Ambient free module of rank 5 over the integral domain Multivariate Polynomial Ring in f2, f2inv, f3, f3inv over Integer Ring Generated by the rows of the matrix: [1 0 0 0 0] [0 1 0 0 0] [0 0 1 0 0] [0 0 0 1 0] [0 0 0 0 1]

Failed example:: Got: Group morphism: From: Finitely presented group < g0, g1, g2, g3 | g1^2, g2*g1*g2^-1*g1^-1, g1*g3^-2, g0^4 > To: Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4, f3^-1*f4^-1*f3*f4, f2^4, f3^4 >

Failed example:: Got: (Finitely presented group < f2, f3, f4 | f2^-1*f3^-1*f2*f3, f2^-1*f4^-1*f2*f4, f3^-1*f4^-1*f3*f4, f2^4, f3^4 >, Multivariate Laurent Polynomial Ring in f2, f3, f4 over Rational Field, [f2^4 - 1, f3^4 - 1], [f2^-1*f3^-2, f3^-2, f4, f3])