Remove redundant members of refiners

peal · Dec 3, 2021 · d34fe50 · d34fe50
1 parent bf8fa18
commit d34fe50
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 40 deletions.
diff --git a/gap/constraints/canonicalconstraints.g b/gap/constraints/canonicalconstraints.g
@@ -21,10 +21,6 @@ BTKit_Con.InCosetSimple := function(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),
         constraint := Constraint.InCoset(group, perm),
         refine := rec(
             initialise := function(ps, buildingRBase)

diff --git a/gap/constraints/conjugacyexample.g b/gap/constraints/conjugacyexample.g
@@ -4,8 +4,6 @@ BTKit_Con.MostBasicPermConjugacy := function(permL, permR)
     return Objectify(BTKitRefinerType,rec(
         name := "MostBasicPermConjugacy",
         largest_required_point := Maximum(LargestMovedPoint(permL),LargestMovedPoint(permR)),
-        image := {p} -> permL^p,
-        result := {} -> permR,
         constraint := Constraint.Conjugate(permL, permR),
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -35,8 +33,6 @@ BTKit_Con.BasicPermConjugacy := function(permL, permR)
     return Objectify(BTKitRefinerType,rec(
         name := "BasicPermConjugacy",
         largest_required_point := Maximum(LargestMovedPoint(permL),LargestMovedPoint(permR)),
-        image := {p} -> permL^p,
-        result := {} -> permR,
         constraint := Constraint.Conjugate(permL, permR),
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -93,8 +89,6 @@ BTKit_Con.PermTransporter := function(fixedeltL, fixedeltR)
     r := rec(
         name := "PermTransporter",
         largest_required_point := Maximum(LargestMovedPoint(fixedeltL),LargestMovedPoint(fixedeltR)),
-        image := {p} -> fixedeltL^p,
-        result := {} -> fixedeltR,
         constraint := Constraint.Conjugate(fixedeltL, fixedeltR),
         refine := rec(
             initialise := function(ps, buildingRBase)

diff --git a/gap/constraints/graphconstraints.g b/gap/constraints/graphconstraints.g
@@ -38,8 +38,6 @@ BTKit_Con.GraphTrans := function(graphL, graphR)
     return Objectify(BTKitRefinerType, rec(
         name := "GraphTrans",
         largest_required_point := Maximum(Maximum(DigraphVertices(graphL), Maximum(DigraphVertices(graphR)))),
-        image := {p} -> OnDigraphs(graphL, p),
-        result := {} -> graphR,
         constraint := Constraint.Transport(graphL, graphR, OnDigraphs),
         refine := rec(
             initialise := filter, 

diff --git a/gap/constraints/normaliserexample.g b/gap/constraints/normaliserexample.g
@@ -8,8 +8,6 @@ BTKit_Con.MostBasicGroupConjugacy := function(grpL, grpR)
     return Objectify(BTKitRefinerType, rec(
         name := "MostBasicGroupPermConjugacy",
         largest_required_point := Maximum(LargestMovedPoint(grpL), LargestMovedPoint(grpR)),
-        image := {p} -> grpL^p,
-        result := {} -> grpR,
         constraint := Constraint.Conjugate(grpL, grpR),
         refine := rec(
                 initialise := function(ps, buildingRBase)
@@ -38,8 +36,6 @@ BTKit_Con.BasicGroupConjugacy := function(grpL, grpR)
     return Objectify(BTKitRefinerType,rec(
         name := "BasicGroupConjugacy",
         largest_required_point := Maximum(LargestMovedPoint(grpL), LargestMovedPoint(grpR)),
-        image := {p} -> grpL^p,
-        result := {} -> grpR,
         constraint := Constraint.Conjugate(grpL, grpR),
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -71,8 +67,6 @@ BTKit_Con.SimpleGroupConjugacy := function(grpL, grpR)
     return Objectify(BTKitRefinerType,rec(
         name := "BasicGroupConjugacy",
         largest_required_point := Maximum(LargestMovedPoint(grpL), LargestMovedPoint(grpR)),
-        image := {p} -> grpL^p,
-        result := {} -> grpR,
         constraint := Constraint.Conjugate(grpL, grpR),
         refine := rec(
             initialise := function(ps, buildingRBase)

diff --git a/gap/constraints/simpleconstraints.g b/gap/constraints/simpleconstraints.g
@@ -21,8 +21,6 @@ BTKit_MakeFixlistStabilizer := function(name, fixlist, o, action, lrp)
     return Objectify(BTKitRefinerType, rec(
         name := name,
         largest_required_point := lrp,
-        image := {p} -> action(o,p),
-        result := {} -> o,
         constraint := Constraint.Stabilise(o, action),
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -40,8 +38,6 @@ BTKit_MakeFixlistTransporter := function(name, fixlistL, fixlistR, oL, oR, actio
     return Objectify(BTKitRefinerType, rec(
         name := name,
         largest_required_point := lrp,
-        image := {p} -> action(oL,p),
-        result := {} -> oR,
         constraint := Constraint.Transport(oL, oR, action),
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -141,10 +137,6 @@ BTKit_Con.InCoset := function(group, perm)
     r := rec(
         name := "InCoset",
         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),
         constraint := Constraint.InCoset(group, perm),
         refine := rec(
             rBaseFinished := function(getRBase)
@@ -260,10 +252,6 @@ BTKit_Con.InCosetWithOrbitals := function(group, perm)
     r := rec(
         name := "InGroupWithCoset-BTKit",
         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),
         constraint := Constraint.InCoset(group, perm),
         refine := rec(
             rBaseFinished := function(getRBase)
@@ -327,8 +315,6 @@ BTKit_Con.InGroupWithOrbitals := {group} -> BTKit_Con.InCosetWithOrbitals(group,
 BTKit_Con.IsEven := {} -> Objectify(BTKitRefinerType, rec(
         name := "IsEven",
         largest_required_point := 1,
-        image := {p} -> SignPerm(p),
-        result := {} -> 1,
         constraint := Constraint.IsEven,
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -341,8 +327,6 @@ BTKit_Con.IsOdd := {} -> Objectify(BTKitRefinerType, rec(
         name := "IsOdd",
         # Somehow needs to store that it needs two or more points...
         largest_required_point := 1,
-        image := {p} -> SignPerm(p),
-        result := {} -> -1,
         constraint := Constraint.IsOdd,
         refine := rec(
             initialise := function(ps, buildingRBase)
@@ -353,9 +337,6 @@ BTKit_Con.IsOdd := {} -> Objectify(BTKitRefinerType, rec(
 BTKit_Con.Nothing := {} -> Objectify(BTKitRefinerType, rec(
         name := "RefinerForNothing",
         largest_required_point := 1,
-        largest_moved_point := 1,
-        image := {p} -> true,
-        result := {} -> false,
         constraint := Constraint.Nothing,
         refine := rec(
             initialise := ReturnFail
@@ -365,9 +346,6 @@ BTKit_Con.Nothing := {} -> Objectify(BTKitRefinerType, rec(
 BTKit_Con.Nothing2 := {} -> Objectify(BTKitRefinerType, rec(
         name := "RefinerForNothing2",
         largest_required_point := 1,
-        largest_moved_point := 1,
-        image := {p} -> true,
-        result := {} -> false,
         constraint := Constraint.Nothing,
         refine := rec(
             initialise := function(ps, buildingRBase)