fix IsPrime(n) for SL2

Author: grahamknockillaree

lib/Orru/sl2methodsExtra.gi

@@ -10,6 +10,10 @@ InstallMethod(CosetPosFunction,
 
         n := LevelOfCongruenceSubgroup(G);
 
+        if IsPrime(n) then
+            TryNextMethod();
+        fi;
+
         ProjLine := FiniteProjectiveLine(n);
 
         canonicalRep := function(g)
@@ -54,6 +58,10 @@ InstallMethod(CosetRepFunction,
 
         n := LevelOfCongruenceSubgroup(G);
 
+        if IsPrime(n) then
+            TryNextMethod();
+        fi;
+
         ProjLine := FiniteProjectiveLine(n);
 
         cosetOfInt := function(i)
@@ -94,6 +102,10 @@ InstallMethod(CosetRepFunction,
 
         n:=LevelOfCongruenceSubgroup(G);
 
+        if IsPrime(n) then
+            TryNextMethod();
+        fi;
+
         ProjLine := FiniteProjectiveLine(n);
 
         GG:=AmbientGroupOfCongruenceSubgroup(G);
@@ -127,4 +139,4 @@ InstallMethod(CosetRepFunction,
                          cosets:=transversal,
                          poscan:=poscan 
                     ));
-     end);
+     end);

lib/Orru/tutorial/tutorialSL3.xml

@@ -22,35 +22,35 @@
 	x= &0 &1 &2 &3 &4 &5 &6 &7 &8 &9 \\
         N &&&&&&&&&&\hline\\
 	10+x &2 &2 &7 &0 &4 &4 &6 &2 &7&2 \\
-20+x &9\\
-30+x\\
-40+x\\
-50+x\\
-60+x\\
-70+x\\
-80+x\\
-90+x\\
-100+x\\
-110+x\\
-120+x\\
-130+x\\
-140+x\\
-150+x\\
-160+x\\
-170+x\\
-180+x\\
-190+x\\
-200+x\\
-210+x\\
-220+x\\
-230+x\\
-240+x\\
-250+x\\
-260+x\\
-270+x\\
-280+x\\
-290+x\\
-300+x
+20+x &9 &4&8&4&17&4&6&5&13&4\\
+30+x &20&4&12&10&10&8&21&4&12&8\\
+40+x &&&&&&&&&&\\
+50+x &&&&&&&&&&\\
+60+x &&&&&&&&&&\\
+70+x &&&&&&&&&&\\
+80+x &&&&&&&&&&\\
+90+x &&&&&&&&&&\\
+100+x &&&&&&&&&&\\
+110+x &&&&&&&&&&\\
+120+x &&&&&&&&&&\\
+130+x &&&&&&&&&&\\
+140+x &&&&&&&&&&\\
+150+x &&&&&&&&&&\\
+160+x &&&&&&&&&&\\
+170+x &&&&&&&&&&\\
+180+x &&&&&&&&&&\\
+190+x &&&&&&&&&&\\
+200+x &&&&&&&&&&\\
+210+x &&&&&&&&&&\\
+220+x &&&&&&&&&&\\
+230+x &&&&&&&&&&\\
+240+x &&&&&&&&&&\\
+250+x &&&&&&&&&&\\
+260+x &&&&&&&&&&\\
+270+x &&&&&&&&&&\\
+280+x &&&&&&&&&&\\
+290+x &142&78&121&48&239&70&141&107&98&60\\
+300+x &325&&&&&&&&&
 	\end{array}
 </M>