option relative(Gamma) for gamma, mutiplies Gamma for the number of e…

…xamples
friguzzi · Nov 22, 2024 · a3db82c · a3db82c
1 parent 3d854b9
commit a3db82c
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/prolog/liftcover.pl b/prolog/liftcover.pl
@@ -906,7 +906,13 @@
   M:local_setting(eps_f,ER),
   M:local_setting(iter,Iter),
   M:local_setting(regularization,Reg),
-  M:local_setting(gamma,Gamma),
+  M:local_setting(gamma,Gamma0),
+  (Gamma0=relative(G)->
+    length(MI,N),
+    Gamma is G*N
+  ;
+    Gamma=Gamma0
+  ),
   M:local_setting(zero,Zero),
   M:local_setting(ab,[A,B]),
   M:local_setting(verbosity,Verb),