#NEWLINE# def m43is_identity( m ) : #NEWLINE# #INDENT# ( m0 , m1 , m2 , m3 , m4 , m5 , m6 , m7 , m8 , m9 , m10 , m11 ) = m #NEWLINE# return ( ( m0 == 1 ) and ( m1 == 0 ) and ( m2 == 0 ) and ( m3 == 0 ) and ( m4 == 1 ) and ( m5 == 0 ) and ( m6 == 0 ) and ( m7 == 0 ) and ( m8 == 1 ) and ( m9 == 0 ) and ( m10 == 0 ) and ( m11 == 0 ) )