### Nuprl Definition : poly-int-val

`p@l==r if null(l) then p else let a,as = l in Σ(p[i]@as * a^||p|| - 1 - i | i < ||p||) fi `

`p@l ==`
`  fix((λpoly-int-val,l,p. if null(l)`
`                         then p`
`                         else let a,as = l `
`                              in Σ((poly-int-val as p[i]) * a^||p|| - 1 - i | i < ||p||)`
`                         fi )) `
`  l `
`  p`

Definitions occuring in Statement :  exp: `i^n` sum: `Σ(f[x] | x < k)` select: `L[n]` length: `||as||` null: `null(as)` ifthenelse: `if b then t else f fi ` apply: `f a` fix: `fix(F)` lambda: `λx.A[x]` spread: spread def multiply: `n * m` subtract: `n - m` natural_number: `\$n`
Definitions occuring in definition :  natural_number: `\$n` length: `||as||` subtract: `n - m` exp: `i^n` select: `L[n]` apply: `f a` multiply: `n * m` sum: `Σ(f[x] | x < k)` spread: spread def null: `null(as)` ifthenelse: `if b then t else f fi ` lambda: `λx.A[x]` fix: `fix(F)`
FDL editor aliases :  poly-int-val poly-int-val
Latex:
p@l==r  if  null(l)  then  p  else  let  a,as  =  l  in  \mSigma{}(p[i]@as  *  a\^{}||p||  -  1  -  i  |  i  <  ||p||)  fi

Latex:
p@l  ==
fix((\mlambda{}poly-int-val,l,p.  if  null(l)
then  p
else  let  a,as  =  l
in  \mSigma{}((poly-int-val  as  p[i])  *  a\^{}||p||  -  1  -  i  |  i  <  ||p||)
fi  ))
l
p

Date html generated: 2017_04_17-AM-09_04_15
Last ObjectModification: 2017_04_12-PM-03_59_09

Theory : list_1

Home Index