Nuprl Definition : runop
runop(op;p) ==
if op=0
then -(p)
else if op=1
then rsin(p)
else if op=2
then rcos(p)
else if op=3
then |p|
else if op=4
then expr(p)
else if op=5
then ln(p)
else if op=6
then arcsin(p)
else if op=7
then cosh(p)
else if op=8
then sinh(p)
else if op=9
then inv-cosh(p)
else if op=10
then inv-sinh(p)
else if op=11
then rinv(p)
else if op=12 then rtan(p) else if op=13 then arctan(p) else p
Definitions occuring in Statement :
arcsin: arcsin(a),
inv-cosh: inv-cosh(x),
inv-sinh: inv-sinh(x),
sinh: sinh(x),
cosh: cosh(x),
expr: expr(x),
ln: ln(a),
arctan: arctan(x),
rtan: rtan(x),
rcos: rcos(x),
rsin: rsin(x),
rabs: |x|,
rinv: rinv(x),
rminus: -(x),
int_eq: if a=b then c else d,
natural_number: $n
Definitions occuring in definition :
rminus: -(x),
rsin: rsin(x),
rcos: rcos(x),
rabs: |x|,
expr: expr(x),
ln: ln(a),
arcsin: arcsin(a),
cosh: cosh(x),
sinh: sinh(x),
inv-cosh: inv-cosh(x),
inv-sinh: inv-sinh(x),
rinv: rinv(x),
rtan: rtan(x),
int_eq: if a=b then c else d,
natural_number: $n,
arctan: arctan(x)
FDL editor aliases :
runop
Latex:
runop(op;p) ==
if op=0
then -(p)
else if op=1
then rsin(p)
else if op=2
then rcos(p)
else if op=3
then |p|
else if op=4
then expr(p)
else if op=5
then ln(p)
else if op=6
then arcsin(p)
else if op=7
then cosh(p)
else if op=8
then sinh(p)
else if op=9
then inv-cosh(p)
else if op=10
then inv-sinh(p)
else if op=11
then rinv(p)
else if op=12
then rtan(p)
else if op=13 then arctan(p) else p
Date html generated:
2018_05_22-PM-03_08_26
Last ObjectModification:
2017_10_27-AM-10_37_56
Theory : reals_2
Home
Index