synopsis: INT check_commute (OP mat1, OP mat2, OP p_root, INT flag)


Checks that the matrices satisfy the third Hecke algebra relation. ( m1*m2 == m2*m1 ) If p_root=0, then the relations are checked for general q. Otherwise they are checked for q a primitive p_root of unity. If there is no ERROR, returns 0 if true for all q, 1 if true at primitive p_root of unity, 2 otherwise. If flag is non-zero and the relation is not OK then the difference between the two sides is output.


ERROR, 0, 1, or 2 as described above.

Send comments or suggestions to:
symmetrica (at) symmetrica.de

this page was automatically generated on So Jan 4 10:35:18 CET 2009 on the machine btn6xf

University of Bayreuth -