Nuprl Definition : poly-int-val

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

l@p ==
  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 : fix: fix(F), lambda: λx.A[x], ifthenelse: if b then t else f fi , null: null(as), spread: spread def, sum: Σ(f[x] | x < k), multiply: n * m, apply: f a, select: L[n], exp: i^n, subtract: n - m, length: ||as||, natural_number: $n
FDL editor aliases : poly-int-val poly-int-val

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

Latex:
l@p == 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_09_29-PM-05_59_49 Last ObjectModification: 2017_04_26-PM-02_04_33 Theory : integer!polynomials Home Index