Nuprl Definition : hyptrans
hyptrans(rv;e;t;x) == x + (x ⋅ e * (cosh(t) - r1)) + (rsqrt(r1 + x^2) * sinh(t))*e
Definitions occuring in Statement :
rv-ip: x ⋅ y,
rv-mul: a*x,
rv-add: x + y,
sinh: sinh(x),
cosh: cosh(x),
rsqrt: rsqrt(x),
rsub: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rv-add: x + y,
rv-mul: a*x,
rsub: x - y,
rmul: a * b,
rsqrt: rsqrt(x),
radd: a + b,
int-to-real: r(n),
natural_number: $n,
rv-ip: x ⋅ y
FDL editor aliases :
hyptrans
Latex:
hyptrans(rv;e;t;x) == x + (x \mcdot{} e * (cosh(t) - r1)) + (rsqrt(r1 + x\^{}2) * sinh(t))*e
Date html generated:
2017_10_05-AM-00_27_08
Last ObjectModification:
2017_06_21-AM-11_30_38
Theory : inner!product!spaces
Home
Index