FUNCTION :  ETA[gamma0FORMCHECK] -  checks whether modular form on GAMMA_0(N)

CALLING SEQUENCE :  gamma0FORMCHECK(GP,N)

PARAMETERS :      

GLOBAL VARIABLES : 

SYNOPSIS :   
   This proc checks whether the eta-function
   with generalised permutation GP is invariant under
   GAMMA_0(N) (via Newman's Theorem)
   ie a modular form with character
   Here GP=[t1,r1,t2,r2,...]

EXAMPLES :   

DISCUSSION :

SEE ALSO :