Nuprl Definition : bpa-add
bpa-add(p;x;y) ==
let n,a = x
in let m,b = y
in eval k = imax(n;m) in
eval c = p^k - n in
eval d = p^k - m in
<k, c(p) * a + d(p) * b>
Definitions occuring in Statement :
p-int: k(p),
p-mul: x * y,
p-add: x + y,
fastexp: i^n,
imax: imax(a;b),
callbyvalue: callbyvalue,
spread: spread def,
pair: <a, b>,
subtract: n - m
Definitions occuring in definition :
spread: spread def,
imax: imax(a;b),
callbyvalue: callbyvalue,
fastexp: i^n,
subtract: n - m,
pair: <a, b>,
p-add: x + y,
p-mul: x * y,
p-int: k(p)
FDL editor aliases :
bpa-add
Latex:
bpa-add(p;x;y) ==
let n,a = x
in let m,b = y
in eval k = imax(n;m) in
eval c = p\^{}k - n in
eval d = p\^{}k - m in
<k, c(p) * a + d(p) * b>
Date html generated:
2018_05_21-PM-03_23_34
Last ObjectModification:
2018_02_03-AM-00_48_00
Theory : rings_1
Home
Index