Nuprl Definition : mul_ipoly
mul_ipoly(p;q) ==
eval pp = p in
if pp = Ax then []
otherwise let p1,ps = pp
in eval qq = q in
if qq = Ax then []
otherwise cbv_list_accum(sofar,m.add_ipoly(sofar;mul-mono-poly(m;qq));mul-mono-poly(p1;qq);ps)
Definitions occuring in Statement :
cbv_list_accum: cbv_list_accum(x,a.f[x; a];y;L),
mul-mono-poly: mul-mono-poly(m;p),
add_ipoly: add_ipoly(p;q),
nil: [],
callbyvalue: callbyvalue,
isaxiom: if z = Ax then a otherwise b,
spread: spread def
Definitions occuring in definition :
spread: spread def,
callbyvalue: callbyvalue,
isaxiom: if z = Ax then a otherwise b,
nil: [],
add_ipoly: Error :add_ipoly,
mul-mono-poly: mul-mono-poly(m;p)
FDL editor aliases :
mul_ipoly
Latex:
mul\_ipoly(p;q) ==
eval pp = p in
if pp = Ax then []
otherwise let p1,ps = pp
in eval qq = q in
if qq = Ax then []
otherwise cbv\_list\_accum(sofar,m.add\_ipoly(sofar;mul-mono-poly(m;qq));...;ps)
Date html generated:
2017_09_29-PM-05_53_43
Last ObjectModification:
2017_05_04-PM-02_24_04
Theory : omega
Home
Index