Nuprl Definition : mul-mono-poly
mul-mono-poly(m;p) == rec-case(p) of [] => [] | h::t => r.eval m = mul-monomials(m;h) in eval l = r in [m / l]
Definitions occuring in Statement :
mul-monomials: mul-monomials(m1;m2),
list_ind: list_ind,
cons: [a / b],
nil: [],
callbyvalue: callbyvalue
Definitions occuring in definition :
list_ind: list_ind,
nil: [],
mul-monomials: mul-monomials(m1;m2),
callbyvalue: callbyvalue,
cons: [a / b]
FDL editor aliases :
mul-mono-poly
Latex:
mul-mono-poly(m;p) ==
rec-case(p) of
[] => []
h::t =>
r.eval m = mul-monomials(m;h) in
eval l = r in
[m / l]
Date html generated:
2017_09_29-PM-05_53_21
Last ObjectModification:
2017_05_04-PM-02_03_35
Theory : omega
Home
Index