Nuprl Definition : rv-pos-angle
rv-pos-angle(n;a;b;c) == |a - b⋅c - b| < (||a - b|| * ||c - b||)
Definitions occuring in Statement :
real-vec-norm: ||x||,
dot-product: x⋅y,
real-vec-sub: X - Y,
rless: x < y,
rabs: |x|,
rmul: a * b
Definitions occuring in definition :
rless: x < y,
rabs: |x|,
dot-product: x⋅y,
rmul: a * b,
real-vec-norm: ||x||,
real-vec-sub: X - Y
FDL editor aliases :
rv-pos-angle
Latex:
rv-pos-angle(n;a;b;c) == |a - b\mcdot{}c - b| < (||a - b|| * ||c - b||)
Date html generated:
2017_10_03-AM-10_54_04
Last ObjectModification:
2017_03_01-PM-04_37_26
Theory : reals
Home
Index