Add 'largest_required_point'

peal · Jul 9, 2021 · 9179dde · 9179dde
1 parent 60fb46f
commit 9179dde
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/gap/constraints/canonicalconstraints.g b/gap/constraints/canonicalconstraints.g
@@ -21,6 +21,8 @@ GB_Con.InCosetSimple := function(n, group, perm)
 
     r := rec(
         name := "InGroupSimple",
+        largest_required_point := Maximum(LargestMovedPoint(group), LargestMovedPoint(perm)),
+        largest_moved_point :=  Maximum(LargestMovedPoint(group), LargestMovedPoint(perm)),
         image := {p} -> RightCoset(group, p),
         result := {} -> RightCoset(group, perm),
         check := {p} -> p in RightCoset(group, perm),

diff --git a/gap/constraints/normaliser.g b/gap/constraints/normaliser.g
@@ -4,7 +4,7 @@ GB_Con.NormaliserSimple := function(n, group)
 
     getOrbits := function(pointlist)
         local G,orbs,graph,cols, orb;
-
+        Info(InfoGB, 1, "Normaliser for pointlist", pointlist);
         G := Stabilizer(group, pointlist, OnTuples);
 
         orbs := Orbits(G, [1..n]);
@@ -30,6 +30,7 @@ GB_Con.NormaliserSimple := function(n, group)
 
     r := rec(
         name := "NormaliserSimple",
+        largest_required_point := LargestMovedPoint(group),
         image := {p} -> group^p,
         result := {} -> group,
         check := {p} -> group=group^p,
@@ -90,6 +91,7 @@ GB_Con.NormaliserSimple2 := function(n, group)
 
     r := rec(
         name := "NormaliserSimpleLeon",
+        largest_required_point := LargestMovedPoint(group),
         image := {p} -> group^p,
         result := {} -> group,
         check := {p} -> group=group^p,

diff --git a/gap/constraints/simpleconstraints.g b/gap/constraints/simpleconstraints.g
@@ -62,6 +62,8 @@ fillOrbits := function(pointlist)
 
     r := rec(
         name := "InGroup-GB",
+        largest_required_point := Maximum(LargestMovedPoint(group), LargestMovedPoint(perm)),
+        largest_moved_point :=  Maximum(LargestMovedPoint(group), LargestMovedPoint(perm)),
         image := {p} -> RightCoset(group, p),
         result := {} -> RightCoset(group, perm),
         check := {p} -> p in RightCoset(group, perm),