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