Module Cgr.Space


module Space: Cgr_space
Various functions to compute coordinates in space.

type point = float * float * float 
val string_of_point : point -> string
val middle : point -> point -> point
val barycenter : point list -> point
val mult : float -> point -> point
val scalar_product : float * float * float -> float * float * float -> float
val vector_product : float * float * float -> float * float * float -> float * float * float
val vector_of_points : float * float * float -> float * float * float -> float * float * float
val normal_vector : float * float * float ->
float * float * float -> float * float * float -> float * float * float
val plan_equation : float * float * float ->
float * float * float ->
float * float * float -> float * float * float * float
val point_to_plan_distance : float * float * float -> float * float * float * float -> float
val line_equation : float * float * float ->
float * float * float -> (float * float) * (float * float) * (float * float)
val line_plan_intersection : (float * float) * (float * float) * (float * float) ->
float * float * float * float -> float * float * float
val normalize_vector : float * float * float -> float * float * float
val point_plan_projection : point ->
point * point * point -> point
point_plan_projection M (A, B, C) returns the projection of M on plan defined by three points A B C.