Linear transformation of matrices

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').