Nuprl Definition : interpolate-list

interpolate-list(x,y.f[x; y];L) ==
if L = Ax then L otherwise let a,x = L
in if x = Ax then L otherwise let b,y = x

                                                           in eval z = f[a; b] in

                                                              eval L' = interpolate-list(x,y.f[x; y];x) in

                                                                [a; [z / L']]

Definitions occuring in Statement : cons: [a / b], callbyvalue: callbyvalue, isaxiom: if z = Ax then a otherwise b, spread: spread def
Definitions occuring in definition : isaxiom: if z = Ax then a otherwise b, spread: spread def, callbyvalue: callbyvalue, cons: [a / b]
FDL editor aliases : interpolate-list

Latex:
interpolate-list(x,y.f[x; y];L) == if L = Ax then L otherwise let a,x = L in if x = Ax then L otherwise let b,y = x in eval z = f[a; b] in eval L' = interpolate-list(x,y.f[x; y];x) in [a; [z / L']] Date html generated: 2019_06_20-PM-01_49_24 Last ObjectModification: 2019_02_17-PM-11_54_49 Theory : list_1 Home Index