Change of dimension of OCaml polyhedra

At the end

Function: add_dims_and_embed : t -> int -> t

Same as C function poly_add_dimensions_and_embed.

Function: add_dims_and_project : t -> int -> t

Same as C function poly_add_dimensions_and_project.

Function: del_dims : t -> int -> t

Same as C function poly_remove_dimensions.

Anywhere

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

Same as C function poly_add_dimensions_and_embed_multi.

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

Same as C function poly_add_dimensions_and_project_multi.

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

Same as C function poly_remove_dimensions_multi.

Change of dimensions together with permutation

Function: add_permute_dims_and_embed : t -> int -> int array -> t

Same as C function poly_add_permute_dimensions_and_embed.

Function: add_permute_dims_and_project : t -> int -> int array -> t

Same as C function poly_add_permute_dimensions_and_project.

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

Same as C function poly_permute_remove_dimensions.