44 #define MALLOC(s,t,f) malloc((unsigned)(s))
45 #define FREE(s,t,f) free((char *)(s))
84 bool infaisab =
false;
90 if (m && (n >1) && (sys != NULL)) {
102 printf(
" systeme lineaire initial \n");
127 printf (
" apres pre-multiplication par P \n");
133 for (i=1;i<=n && i<=m && !infaisab;i++)
144 else infaisab =
true;
176 printf (
" systeme infaisable en nombres entiers \n");
182 printf (
" apres division par les elements diagonaux de D \n");
188 for (i=n+1; i<=m; i++,nbl++)
197 printf (
" apres pre-multiplication par Q \n");
205 printf (
" conversion en systeme lineaire \n");
#define value_notzero_p(val)
#define value_zero_p(val)
#define value_division(ref, val)
#define value_mod(v1, v2)
char * noms_var(entity e)
comp_expr_to_pnome.c
Pcontrainte contraintes_free(Pcontrainte pc)
Pcontrainte contraintes_free(Pcontrainte pc): desallocation de toutes les contraintes de la liste pc.
#define MATRIX_DENOMINATOR(matrix)
int MATRIX_DENONIMATOR(matrix): acces au denominateur global d'une matrice matrix
#define MATRIX_ELEM(matrix, i, j)
Macros d'acces aux elements d'une matrice.
Pmatrix matrix_new(int m, int n)
package matrix
void matrix_normalizec(Pmatrix MAT)
void matrix_normalizec(Pmatrix MAT): Normalisation des coefficients de la matrice MAT,...
void matrix_nulle(Pmatrix Z)
void matrix_nulle(Pmatrix Z): Initialisation de la matrice Z a la valeur matrice nulle
void matrix_multiply(const Pmatrix a, const Pmatrix b, Pmatrix c)
void matrix_multiply(Pmatrix a, Pmatrix b, Pmatrix c): multiply rational matrix a by rational matrix ...
void matrix_assign(Pmatrix A, Pmatrix B)
void matrix_assign(Pmatrix A, Pmatrix B) Copie de la matrice A dans la matrice B
void matrix_print(Pmatrix)
void matrix_print(matrice a): print an (nxm) rational matrix
void matrix_smith(Pmatrix, Pmatrix, Pmatrix, Pmatrix)
smith.c
Psysteme sc_resol_smith(Psysteme ps)
Psysteme sc_resol_smith(Psysteme ps): Resolution d'un systeme d'egalites en nombres entiers par la me...
void sc_rm(Psysteme ps)
void sc_rm(Psysteme ps): liberation de l'espace memoire occupe par le systeme de contraintes ps;
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
void sc_fprint(FILE *fp, Psysteme ps, get_variable_name_t nom_var)
void sc_fprint(FILE * f, Psysteme ps, char * (*nom_var)()): cette fonction imprime dans le fichier po...
Psysteme sc_normalize(Psysteme ps)
Psysteme sc_normalize(Psysteme ps): normalisation d'un systeme d'equation et d'inequations lineaires ...
void mat_sys_conv(Psysteme ps, Pmatrix B, int n, int m, int nbl)
void mat_sys_conv(Psysteme ps, matrice B, int n, int m, int nbl) remplissage du champ des egalites ps...
void sys_mat_conv(Psysteme ps, Pmatrix A, Pmatrix B, int n, int m)
package sur les polyedres