module Vect: sig .. end
Operations on vectors.
Author(s): David Baelde, Samuel Mimram
type float * float * float
Type of vectors.
val proj1 : 'a * 'b * 'c -> 'a
val proj2 : 'a * 'b * 'c -> 'b
val proj3 : 'a * 'b * 'c -> 'c
val sqnorm : float * float * float -> float
Get the square of the norm.
val norm : float * float * float -> float
Get the norm.
val mult : float * float * float -> float -> float * float * float
val div : float * float * float -> float -> float * float * float
val normalize : float * float * float -> float * float * float
Normalize.
val scal : float * float * float -> float * float * float -> float
Scalar product.
val add : float * float * float -> float * float * float -> float * float * float
add v1 v2 returns v1 + v2.
val sub : float * float * float -> float * float * float -> float * float * float
sub v1 v2 returns v1 - v2.
val dist_from_point : float * float * float ->
float * float * float -> float * float * float -> float
dist_from_point o v p gives the disance between the point p and the line o + k * v.