Nuprl Definition : polyform
polyform(n)==r if (n =z 0) then ℤ else polyform(n - 1) List fi
polyform(n) == fix((λpolyform,n. if (n =z 0) then ℤ else (polyform (n - 1)) List fi )) n
Definitions occuring in Statement :
list: T List,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
fix: fix(F),
lambda: λx.A[x],
subtract: n - m,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
int: ℤ,
list: T List,
apply: f a,
subtract: n - m,
natural_number: $n
FDL editor aliases :
polyform
polyform
polyform
Latex:
polyform(n)==r if (n =\msubz{} 0) then \mBbbZ{} else polyform(n - 1) List fi
Latex:
polyform(n) == fix((\mlambda{}polyform,n. if (n =\msubz{} 0) then \mBbbZ{} else (polyform (n - 1)) List fi )) n
Date html generated:
2017_09_29-PM-05_59_45
Last ObjectModification:
2017_04_26-PM-02_04_22
Theory : integer!polynomials
Home
Index