Library
Module
Module type
Parameter
Class
Class type
Implemented by all vector types.
dim
is the dimension of vectors of type t
.
The type for matrices representing linear transformations of dim
space.
val comp : int -> t -> float
comp i v
is v
i
, the i
th component of v
.
val infinity : t
infinity
is the vector whose components are infinity
.
val neg_infinity : t
neg_infinity
is the vector whose components are neg_infinity
.
val basis : int -> t
basis i
is the i
th vector of an orthonormal basis of the vector space t
with inner product dot
.
dot u v
is the dot product u.v
.
val norm : t -> float
norm v
is the norm |v| = sqrt v.v
.
val norm2 : t -> float
norm2 v
is the squared norm |v|
2 .
homogene v
is the vector v/(comp (dim - 1) v)
if comp (dim - 1) v <> 0
and v
otherwise.
ltr m v
is the linear transform mv
.
Pervasives
operatorsmapi f v
is like map
but the component index is also given.
val fold : ('a -> float -> 'a) -> 'a -> t -> 'a
fold f acc v
is f (
...(f (f acc v
0) v
1)
...)
.
val foldi : ('a -> int -> float -> 'a) -> 'a -> t -> 'a
foldi f acc v
is f (
...(f (f acc 0 v
0) 1 v
1)
...)
.
val iter : (float -> unit) -> t -> unit
iter f v
is f v
0; f v
1;
...
val iteri : (int -> float -> unit) -> t -> unit
iteri f v
is f 0 v
0; f 1 v
1;
...
val for_all : (float -> bool) -> t -> bool
for_all p v
is p v
0 && p v
1 &&
...
val exists : (float -> bool) -> t -> bool
exists p v
is p v
0 || p v
1 ||
...
equal_f eq u v
tests u
and v
like equal
but uses eq
to test floating point values.
compare_f cmp u v
compares u
and v
like compare
but uses cmp
to compare floating point values.
val pp : Format.formatter -> t -> unit
pp ppf v
prints a textual representation of v
on ppf
.
val pp_f : (Format.formatter -> float -> unit) -> Format.formatter -> t -> unit
pp_f pp_comp ppf v
prints v
like pp
but uses pp_comp
to print floating point values.