synopsis: INT check_hecke_generators (OP vector, OP p_root, INT flag)


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!).



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

University of Bayreuth -