56 if((
f = fopen(name,
"r")) == NULL) {
57 fprintf(stderr,
"Ouverture du fichier %s impossible\n",name);
62 fprintf(stderr,
"syntaxe correcte dans %s\n",name);
66 fprintf(stderr,
"erreur de syntaxe dans %s\n",name);
73 int main(
int argc,
char **argv)
78 fprintf(stdout,
"Usage: %s sc1 sc2\n",argv[0]);
96 printf(
"systeme correspondant \n");
Psysteme sc_convex_hull(Psysteme sc1, Psysteme sc2)
int vect_size(Pvecteur v)
package vecteur - reductions
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Psysteme sc_translate(Psysteme s, Pbase b, char *(*variable_name)())
Psysteme sc_translate(Psysteme s, Pbase b, char * (*variable_name)()): reecriture du systeme s dans l...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
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...
bool sc_fscan(FILE *f, Psysteme *ps)
bool sc_fscan(FILE * f, Psysteme * ps): construit un systeme d'inegalites et d'egalites lineaires a p...
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
Psysteme sc_normalize(Psysteme ps)
Psysteme sc_normalize(Psysteme ps): normalisation d'un systeme d'equation et d'inequations lineaires ...
int main(int argc, char **argv)
Psysteme read_syst_from_file(char *name)
Test de l'enveloppe convexe de deux systemes.