check_commute
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
this page was automatically generated on So Aug 10 12:23:24 CEST 2008 on the machine btn6xa