copy/transform 1-to-1

logicmoo · May 2, 2023 · c44756c · c44756c
1 parent b1eaf6a
commit c44756c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl
@@ -735,18 +735,21 @@
 type_prop(rescale,rotSize2D(_,_,_)).
 type_prop(rescale,mass(_)).
 type_prop(rescale,cc(_,_)).
+type_prop(rescale,grid_rep(norm,_)).
 type_prop(reshape,shape_rep(grav,_)).
 type_prop(reshape,iz(sid(_))).
 type_prop(reshape,iz(stype(_))).
 type_prop(reshape,iz(algo_sid(_, _))).
 type_prop(reshape,iz(filltype(_))).
 type_prop(reshape,iz(symmetry_type(_,_))).
+type_prop(reshape,grid_rep(norm,_)).
 type_prop(reorder,pg(_Peers,_OG,_Type,_Ord)).
 type_prop(reorder,link_count(_,_)).
 type_prop(reorder,occurs_in_links(_,_)).
 type_prop(repaint,colors_cc(_)).
 type_prop(repaint,pen(_)).
 type_prop(repaint,cc(_,_)).
+type_prop(repaint,grid_rep(norm,_)).
 
 
 changed_by(colorlesspoints,reshape).

diff --git a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl
@@ -1827,6 +1827,11 @@
   flat_props([UseL],PA), flat_props([OutL],PB),
   noteable_propdiffs(PA,PB,Same,InFlatP,OutPFlat))),!.
 
+% copy/transform  1-to-1
+diff_l_r([InL],[OutL],PA,[],OutFlat):- OutL\==[],!,
+  must_det_ll((flat_props([InL],PA), flat_props([OutL],PB),
+  intersection(PA,PB,_Shared,_L,OutFlat))).
+
 % copy/transform
 diff_l_r([InL],OutL,PA1,[],OutFlat):- OutL\==[],!,
   must_det_ll((flat_props([InL],PA), flat_props([OutL],PB),