Skip to content
Snippets Groups Projects
Commit 48855d4c authored by Tamazouzt AIT ELDJOUDI's avatar Tamazouzt AIT ELDJOUDI
Browse files

added the file app_functions

parent 2235f4f7
No related branches found
No related tags found
No related merge requests found
File added
from logic import*
from parsing import*
from image_maker import*
f=new_var(freshVar())
x=new_var(freshVar())
y=new_var(freshVar())
# z=new_var(freshVar())
# w=new_var(freshVar())
boolean={True: new_abs(x,new_abs(y,x)), False: new_abs(x,new_abs(y,y))}
#definition des entiers de church
def dec_to_church(entier):
if entier==0:
return new_abs(f,new_abs(x,x))
else:
term=new_app(f,x)
while entier>1:
term= new_app(f,term)
entier-=1
return new_abs(f,new_abs(x,term))
def pair(A,B):
return new_abs(f,new_app(new_app(f,A),B))
def getFirstFromPair(p):
return beta_reduction_totale(new_app(p,boolean[True]))
def getSecondFromPair(p):
return beta_reduction_totale(new_app(p,boolean[False]))
def dec_to_lambda_relative_integers(number):
if number >= 0:
return pair(boolean[True],dec_to_church(number))
return pair(boolean[False], dec_to_church(number))
#print(to_string(getSecondFromPair(pair(boolean[True],dec_to_church(1)))))
print(to_string(pair(x,y)))
...@@ -98,7 +98,7 @@ def createOldAlligatorFamily(terme): ...@@ -98,7 +98,7 @@ def createOldAlligatorFamily(terme):
def addNumberToImage(image,number): def addNumberToImage(image,number):
draw = ImageDraw.Draw(image.image) draw = ImageDraw.Draw(image.image)
# font = ImageFont.truetype(<font-file>, <font-size>) # font = ImageFont.truetype(<font-file>, <font-size>)
font = ImageFont.truetype("AllerDisplay.ttf", 150) font = ImageFont.truetype("AllerDisplay_Std_Rg.ttf", 150)
# draw.text((x, y),"Sample Text",(r,g,b)) # draw.text((x, y),"Sample Text",(r,g,b))
draw.text((5, 0),str(number),(0,0,0),font=font) draw.text((5, 0),str(number),(0,0,0),font=font)
return image return image
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment