FUNCTION : cuspsetinequiv1 - determine Gamma[1](N)-inequivalence of given set of cusps CALLING SEQUENCE : cuspsetinequiv1() cuspsetinequiv1(cset,N) PARAMETERS : cset - set of cusps N - positive integer GLOBAL VARIABLES: equivpairs SYNOPSIS : Determines whether the cusps in in cset are Gamma[1](N)-inequivalent. This proc returns true or false. If equivalent pairs are found they are stored in the global variable equivpairs. It also prints extra info. EXAMPLES : > with(thetaids): > cuspsetinequiv1(); --------------------------------------------------------- cuspsetinequiv1(cset,N) Determines whether the cusps in in cset are Gamma[1](N)-inequivalent. This proc returns true or false. If equivalent pairs are found they are stored in the global variable equivpairs. --------------------------------------------------------- > C12:=cuspmake1(12); C12 := {[0, 1], [1, 0], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [5, 12]} > nops(C12); 10 > cuspsetinequiv1(C12,12); "DSET", 0, "nops=", 2 "DSET", 1, "nops=", 1 "DSET", 2, "nops=", 1 "DSET", 3, "nops=", 2 "DSET", 4, "nops=", 2 "DSET", 5, "nops=", 1 "DSET", 6, "nops=", 1 All cusps in the set are inequivalent. true DISCUSSION : There are 12 cusps of GAMMA[1](12). The set of cusps in C12 are inequivalent mod GAMMA[1](12). SEE ALSO : cuspequiv1, cuspmake1