synopsis: INT check_hecke_quadratic (OP mat, OP p_root, INT flag)
description:Checks that the matrix satisfies the first Hecke algebra relation. ( (m+1)(m-q) == 0 ) 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 left side 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