input(lp.M[lp];n) == M[m:
if n 
z m then Top else lvprocess(lp.M[lp];m) fi ]
Definitions :
product: x:A B[x],
nat: ,
ifthenelse: if b then t else f fi ,
le_int: i z j,
top: Top,
lvprocess: lvprocess(lp.M[lp];n)
FDL editor aliases :
process-input
input(lp.M[lp];n) == M[m:\mBbbN{} \mtimes{} if n \mleq{}z m then Top else lvprocess(lp.M[lp];m) fi ]
Date html generated:
2010_08_27-PM-08_32_48
Last ObjectModification:
2010_04_20-PM-04_27_19
Home
Index