fishing for non-trivial embeddings

experiments/DIAGSGPS/Dn_into_Dm_gentab.clj

@@ -35,9 +35,26 @@
              [[m n] r]))
          pairs)))
 
-(binding [orbit.extension/*task-size* 1]
-  (def result (Dn-into-Dm t/full-ts-gens 3 8)))
+;(binding [orbit.extension/*task-size* 1]
+  (def result (Dn-into-Dm t/full-ts-gens 3 6))
+ ; )
+
+(defn involved
+  "all the points that are involved in the transformation"
+  [t] 
+  (reduce (fn [result [src img]]
+            (if-not (= src img)
+              (conj result img)
+              result))
+          #{}
+          (map vector (range) t)))
 
 (println (count result))
 
-;(pprint result)
+(pprint (filter (fn [m]
+                  (let [ invd (into #{}
+                                    (map involved (vals m)))]
+                    (= (count (first (vals m)))
+                       (count invd))))
+                result))
+