synopsis: INT check_hecke_generators (OP vector, OP p_root, INT flag)
description:This routine checks that the MATRIX object elements of the VECTOR object vector, satisfy the defining relations 1, 2, 3, of the Hecke algebra given in the preamble above. n is deduced from the length of the vector. If p_root=0, then the relations are checked for general q. Otherwise they are checked for q a primitive p_root of unity. For each identity checked, a message is printed indicating whether the identity is OK for general q, whether is it OK provided q is a root of unity with the given primitive index, or whether it is not OK. If flag is non-zero and the relation is not OK then the difference between the two sides is output (untidily!).
return:OK or ERROR
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