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

In these functions, variables are referenced by their *real* index
in the matrix. There is no check of bounds.

__Function:__matrix_t***matrix_assign_variable***(const matrix_t**`mat`, int`var`, const pkint_t* tab)- Computes the image of
`mat`by the assignment of affine expression`tab`to variable`var`.

__Function:__matrix_t***matrix_substitute_variable***(const matrix_t**`mat`, int`var`, const pkint_t* tab)- Computes the image of
`mat`by the substitution of variable`var`by affine expression`tab`.

__Function:__matrix_t***matrix_assign_variables***(const matrix_t**`mat`, const equation_t*`eqn`, size_t`size`)- Computes the image of
`mat`by the parallel assignment of`eqn[i].var`

by`eqn[i].expr`

, for`i`between`0`

and`size-1`

. The array`eqn`is supposed to be sorted w.r.t. the field`.var`

. You may use the function`sort_equations`

to ensure this (see``polka.h'`).

__Function:__matrix_t***matrix_substitute_variables***(const matrix_t**`mat`, const equation_t*`eqn`, size_t`size`)- Computes the image of
`mat`by the parallel substitution of`eqn[i].expr`

by`eqn[i].expr`

, for`i`between`0`

and`size-1`

. The array`eqn`is supposed to be sorted w.r.t. the field`.var`

. You may use the function`sort_equations`

to ensure this (see``polka.h'`).

This document was generated on