Nuprl Definition : mul-monomials
mul-monomials(m1;m2) == let a,vs = m1 in let b,ws = m2 in eval c = a * b in eval u = merge-int-accum(vs;ws) in <c, u>
Definitions occuring in Statement :
merge-int-accum: merge-int-accum(as;bs),
callbyvalue: callbyvalue,
spread: spread def,
pair: <a, b>,
multiply: n * m
Definitions occuring in definition :
spread: spread def,
multiply: n * m,
callbyvalue: callbyvalue,
merge-int-accum: merge-int-accum(as;bs),
pair: <a, b>
FDL editor aliases :
mul-monomials
Latex:
mul-monomials(m1;m2) ==
let a,vs = m1
in let b,ws = m2
in eval c = a * b in
eval u = merge-int-accum(vs;ws) in
<c, u>
Date html generated:
2017_09_29-PM-05_53_10
Last ObjectModification:
2017_05_03-PM-00_18_01
Theory : omega
Home
Index