Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val slice :
('dim1,
('rank1, 'rank2, 'rank3, 'dim1, 'dim3, 'len, _)
Type_functions.superindexing)
t ->
('dim1, 'len, 'rank2, 'group) index ->
('dim3, 'rank3) t
slice t n
or t.%[n]
computes a slice of rank tensor_rank - index_rank
, in other words for a vector v
and a matrix m
, v.%[x]
and m.%[xx]
are a scalar, whereas m.%[x]
is the first row vector of the matrix m
val (.%[]) :
('dim1,
('rank1, 'rank2, 'rank3, 'dim1, 'dim3, 'len, _)
Type_functions.superindexing)
t ->
('dim1, 'len, 'rank2, 'group) index ->
('dim3, 'rank3) t
val get :
('dim, 'rank) t ->
('dim, _ Type_functions.one, 'rank, 'group) index ->
k
t.%(x)
returns the value of the tensor at index x
val (.%()) :
('dim, 'rank) t ->
('dim, _ Type_functions.one, 'rank, 'group) index ->
k