From 9a324cb75cf2e46843a1d7dad4576ca4146c4e46 Mon Sep 17 00:00:00 2001
From: Antonio MATTAR <antonio.mattar@etu.univ-amu.fr>
Date: Thu, 23 Jun 2022 14:35:42 +0200
Subject: [PATCH] -Added by default no saveImages for arithmetic operations
with reductions.
---
app_functions.py | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/app_functions.py b/app_functions.py
index 236022c..9ded314 100644
--- a/app_functions.py
+++ b/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
--
GitLab