From 3d5ac749f7c360d5584e69a3d0907772433f82f2 Mon Sep 17 00:00:00 2001 From: egri-nagy Date: Mon, 12 Feb 2024 15:08:45 +0900 Subject: [PATCH] doing the filtering --- experiments/DIAGSGPS/Dn_into_Dm_gentab.clj | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/experiments/DIAGSGPS/Dn_into_Dm_gentab.clj b/experiments/DIAGSGPS/Dn_into_Dm_gentab.clj index 4248cc4..9d8fad4 100644 --- a/experiments/DIAGSGPS/Dn_into_Dm_gentab.clj +++ b/experiments/DIAGSGPS/Dn_into_Dm_gentab.clj @@ -54,9 +54,17 @@ (reduce into #{} (map involved ts))) (println (count result)) - -(pprint (filter (fn [m] + +(def ir (filter (fn [m] (= (count (first (vals m))) (count (all-involved (vals m))))) result)) + +(println (count ir) ) + +(defn print-gens + [solution] + (doseq [gen (t/full-ts-gens 3)] + (println gen "->" (solution gen)))) +(map print-gens ir) \ No newline at end of file