FUNCTION : eta[gammacheck] - Checks whether an eta-product is invariant under GAMMA[0](N) (via Newman's Theorem) CALLING SEQUENCE : PARAMETERS : - s - GLOBAL VARIABLES : SYNOPSIS : # This proc checks whether the eta-function # with generalised permutation GP is invariant under # GAMMA_0(N) (via Newman's Theorem) # Here GP=[t1,r1,t2,r2,...] # EXAMPLES : DISCUSSION : SEE ALSO :