Normalization of vectors

Function: void vector_normalize (pkint_t* q, size_t size)

Normalizes the array considered as a constraint or a generator. The first coefficient is ignored.

Function: void vector_normalize_expr (pkint_t* q, size_t size)

Normalizes the array considered as an affine expression. The first coefficient is updated.