Change of dimensions on OCaml vectors

At the end

Function: add_dims : int -> t -> t

add_dims n vec
Add or remove (abs n) dimensions to the vector, depending on the sign of n. Dimensions are added or removed at the end of the vector.

Anywhere

Function: add_dims_multi : t -> Polka.dimsup array -> t

Same as C function vector_add_dimensions_multi.

Function: del_dims_multi : t -> Polka.dimsup array -> t

Same as C function vector_remove_dimensions_multi.

Change of dimensions together with permutation

Function: add_permute_dims : t -> int -> int array -> t

Same as C function vector_add_permute_dimensions.

Function: permute_del_dims : t -> int -> int array -> t

Same as C function vector_permute_remove_dimensions.