Nuprl Definition : mul-ipoly
mul-ipoly(p;q) ==
let pp ⟵ p
in if null(pp)
then []
else let p1,ps = pp
in let qq ⟵ q
in if null(qq)
then []
else eager-accum(sofar,m.add-ipoly(sofar;mul-mono-poly(m;qq));mul-mono-poly(p1;qq);ps)
fi
fi
Definitions occuring in Statement :
mul-mono-poly: mul-mono-poly(m;p),
add-ipoly: add-ipoly(p;q),
eager-accum: eager-accum(x,a.f[x; a];y;l),
null: null(as),
nil: [],
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
spread: spread def
Definitions occuring in definition :
spread: spread def,
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
null: null(as),
nil: [],
eager-accum: eager-accum(x,a.f[x; a];y;l),
add-ipoly: add-ipoly(p;q),
mul-mono-poly: mul-mono-poly(m;p)
FDL editor aliases :
mul-ipoly
Latex:
mul-ipoly(p;q) ==
let pp \mleftarrow{}{} p
in if null(pp)
then []
else let p1,ps = pp
in let qq \mleftarrow{}{} q
in if null(qq)
then []
else eager-accum(sofar,m.add-ipoly(sofar;mul-mono-poly(m;qq));mul-mono-poly(p1;qq);ps)
fi
fi
Date html generated:
2017_09_29-PM-05_53_34
Last ObjectModification:
2017_05_03-AM-11_48_10
Theory : omega
Home
Index