Linear transformations on OCaml polyhedra

Function: assign_var : t -> int -> Vector.t -> t

Same as C function poly_assign_variable.

Function: substitute_var : t -> int -> Vector.t -> t

Same as C function poly_substitute_variable.