PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "matrix.h"
#include "sommet.h"
#include "plint.h"
Go to the source code of this file.
Macros | |
#define | MALLOC(s, t, f) malloc((unsigned)(s)) |
Package plint (Programmation Lineaire en nombres entiers, i.e. More... | |
#define | FREE(s, t, f) free((char *)(s)) |
#define | MATRIX 0 |
Functions | |
Psysteme | sc_resol_smith (Psysteme ps) |
Psysteme sc_resol_smith(Psysteme ps): Resolution d'un systeme d'egalites en nombres entiers par la methode de Smith. More... | |
Definition at line 45 of file sc-res-smith.c.
Package plint (Programmation Lineaire en nombres entiers, i.e.
INTeger)
Definition at line 44 of file sc-res-smith.c.
#define MATRIX 0 |
Definition at line 47 of file sc-res-smith.c.
Psysteme sc_resol_smith(Psysteme ps): Resolution d'un systeme d'egalites en nombres entiers par la methode de Smith.
(c.f. Programmation Lineaire. M.MINOUX. (83))
resultat retourne par la fonction :
Psysteme : systeme lineaire dont le systeme d'inequations est
identique a celui du systeme initial.
le systeme d'equations est remplace par le systeme d'egalites correspondant a la solution du systeme
d'equations du systeme d'egalites initial.
Les parametres de la fonction :
Psysteme ps : systeme lineaire
Pre-multiplication par la matrice P
ajout des variables non contraintes
Pre-multiplication par la matrice Q
conversion en systeme lineaire
Definition at line 66 of file sc-res-smith.c.
References B, contraintes_free(), D, Ssysteme::dimension, Ssysteme::egalites, FREE, mat_sys_conv(), MATRIX, matrix_assign(), MATRIX_DENOMINATOR, MATRIX_ELEM, matrix_multiply(), matrix_new(), matrix_normalizec(), matrix_nulle(), matrix_print(), matrix_smith(), MATRIX_UNDEFINED, Ssysteme::nb_eq, noms_var(), printf(), Q, sc_dup(), sc_fprint(), sc_normalize(), sc_rm(), sys_mat_conv(), value_division, value_mod, value_notzero_p, VALUE_ONE, and value_zero_p.