-Added by default no saveImages for arithmetic operations with reductions.

app_functions.py

@@ -39,21 +39,19 @@ def succ(n):
     return beta_reduction_totale(new_abs(f,new_abs(x,new_app(new_app(n,f), new_app(f,x)))),None,False)
 
 def adder(n,m):
-    return beta_reduction_totale(new_app(new_app(m,succs),n),None)
+    return beta_reduction_totale(new_app(new_app(m,succs),n),None,False)
 
 def power(n,m):# retourne n puiss m
-    return beta_reduction_totale(new_app(m,n),None)
+    return beta_reduction_totale(new_app(m,n),None,False)
 
 def multiplication(n,m):
-    return beta_reduction_totale(new_abs(f,new_abs(x,new_app(m,new_app(n,f)))),None)
+    return beta_reduction_totale(new_abs(f,new_abs(x,new_app(m,new_app(n,f)))),None,False)
 
 def is_zero(n):
-     return beta_reduction_totale(new_app(new_app(n,new_abs(x,boolean[False])),boolean[True]),None)
+     return beta_reduction_totale(new_app(new_app(n,new_abs(x,boolean[False])),boolean[True]),None,False)
 
 
 j= new_abs(x,new_abs(y,new_app(new_app(is_zero(new_app(x,dec_to_church(1))),y),succ(new_app(x,y)))))
 
 def predec(n):
     return beta_reduction_totale(new_app(new_app(new_app(n,j),new_abs(z,dec_to_church(0))),dec_to_church(0)),None,False)
-
-print((predec(dec_to_church(2))))
\ No newline at end of file