synopsis: INT check_commute (OP mat1, OP mat2, OP p_root, INT flag)
description: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.
return: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