[ < ] [ > ] [ << ] [ Up ] [ >> ] [Top] [Contents] [Index] [ ? ]

### 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.

This document was generated on October, 27 2006 using texi2html