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

__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