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