Algebraic Operations on OCaml vectors

Function: product : t -> t -> int

Scalar product. The first coefficient is ignored. Raise Invalid_argument when the sizes are different.

Function: product_strict : t -> t -> int

As the previous function, but the \epsilon-coefficients are also ignored.

Function: add_expr : t -> t -> t

Function: sub_expr : t -> t -> t

Respectively add and substract two vectors of same size considered as affine expressions. Raise Invalid_argument when the sizes are different.

Function: scale_expr : int -> int -> t -> t

scale num den vec
Scale the vector considered as an affine expression with the rational number num/den and returns the result.