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