8#ifndef __BM_MATRIX_PERMUTATIONS_H__
9#define __BM_MATRIX_PERMUTATIONS_H__
18unsigned int nb_bits(
unsigned long long int x);
73 unsigned int nb_vars_parms,
74 unsigned int nb_parms);
void Constraints_permute(Matrix *C, unsigned int *perm, Matrix **Cp)
permutes the variables of the constraints of a polyhedron
unsigned int * permutation_inverse(unsigned int *perm, unsigned int nb_elems)
Gives the inverse permutation vector of a permutation vector.
unsigned long long int eliminable_vars(Matrix *Eqs, unsigned start, unsigned end)
Given a set of equalities, find a set of variables that can be eliminated using these equalities.
Matrix * mpolyhedron_permute(Matrix *polyh, unsigned int *permutation)
permutes the variables of the constraints of a polyhedron
Matrix * mtransformation_permute(Matrix *transf, unsigned int *permutation)
Given a linear tranformation on initial variables, and a variable permutation, computes the tranforma...
unsigned int nb_bits(unsigned long long int x)
Permutations on matrices Matrices are seen either as transformations (mtransformation) or as polyhedr...
unsigned int * find_a_permutation(Matrix *Eqs, unsigned int nb_parms)
finds a valid permutation : for a set of m equations, find m variables that will be put at the beginn...
unsigned int * permutation_for_full_dim2(unsigned int *vars_to_keep, unsigned int nb_keep, unsigned int nb_vars_parms, unsigned int nb_parms)
computes the permutation of variables and parameters, according to some variables to keep.