Nuprl Definition : rat-mul
rat-mul(x;y) == let a,b = x in let c,d = y in eval a' = a * c in eval b' = b * d in <a', b'>
Definitions occuring in Statement :
callbyvalue: callbyvalue,
spread: spread def,
pair: <a, b>,
multiply: n * m
Definitions occuring in definition :
spread: spread def,
callbyvalue: callbyvalue,
multiply: n * m,
pair: <a, b>
FDL editor aliases :
rat-mul
Latex:
rat-mul(x;y) == let a,b = x in let c,d = y in eval a' = a * c in eval b' = b * d in <a', b'>
Date html generated:
2019_10_30-AM-09_20_38
Last ObjectModification:
2019_01_10-PM-01_35_24
Theory : reals
Home
Index