rintf("union des systemes generateurs\n"); sg_fprint(stdout,sg,variable_dump_name);
57 char * filename =
"stdin";
66 fprintf(stdout,
"Usage: %s sc1 sc2\n",argv[0]);
70 if((f1 = fopen(argv[1],
"r")) == NULL) {
71 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
76 if((
f2 = fopen(argv[2],
"r")) == NULL) {
77 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
84 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[1]);
88 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[1]);
94 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[2]);
98 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[2]);
106 assert(!SC_UNDEFINED_P(sc1) && !SC_UNDEFINED_P(sc2));
108 if (SC_RN_P(sc2) ||
sc_rn_p(sc2) || sc_dimension(sc2)==0
111 sc3 = sc_elim_redond(sc3);
114 else if (SC_RN_P(sc1) ||
sc_rn_p(sc1) || sc_dimension(sc1)==0
117 sc4 = sc_elim_redond(sc4);
138 printf(
"systeme correspondant \n");
Psysteme sg_to_sc_chernikova(Ptsg sg)
Ptsg sc_to_sg_chernikova(Psysteme sc)
chernikova_mulprec.c
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 f2(int off1, int off2, int w, 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...
bool sc_rn_p(Psysteme sc)
bool sc_rn_p(Psysteme sc): check if the set associated to sc is the whole space, rn
Psysteme sc_empty(Pbase b)
Psysteme sc_empty(Pbase b): build a Psysteme with one unfeasible constraint to define the empty subsp...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
bool sc_empty_p(Psysteme sc)
bool sc_empty_p(Psysteme sc): check if the set associated to sc is the constant sc_empty or not.
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...
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...
Ptsg sg_new()
Ptsg sg_new(): allocation d'un systeme generateur et initialisation a la valeur ensemble vide.
Ptsg sg_union(Ptsg sg1, Ptsg sg2)
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.
Pbase base_dup(Pbase b)
Pbase base_dup(Pbase b) Note: this function changes the value of the pointer.