77 (void)
printf (
"valeur de variable :");
78 int n = scanf(
"%9s",
buffer);
80 (void)
printf (
"valeur du coefficient de la variable :");
92 (void)
printf (
"'1' -->rentrer d'autres valeurs,(0-2..9)"
93 "sinon. votre choix:");
130 for (p = v; p != NULL; p = p->
succ)
141 if (p->
succ != NULL) {
205 char * mult_symbol) {
220 char * mult_symbol) {
230 for (p = v; p != NULL; p = p->
succ) {
241 if (p->
succ != NULL) {
242 (void) sprintf(r,
"%s", mult_symbol);
250 bool first_var =
true;
257 (void) sprintf(r,
"%s", mult_symbol);
283 (void) sprintf(r,
")");
bool vect_in_basis_p(Pvecteur v, Pbase b)
Pvecteur vect_in_basis_p(Pvecteur v, Pbase b): check that all coordinates in v are in b,...
Variable base_find_variable(Pbase b, Variable v)
Variable base_find_variable(Pbase b, Variable v): returns variable v if variable v is one of b's elem...
bool base_contains_variable_p(Pbase b, Variable v)
bool base_contains_variable_p(Pbase b, Variable v): returns true if variable v is one of b's elements...
Pbase vect_add_variable(Pbase b, Variable v)
package vecteur - routines sur les bases
void sprint_Value(char *s, Value v)
int scan_Value(Value *pv)
void fprint_Value(FILE *f, Value v)
void vect_fprint_as_dense(FILE *f, Pvecteur v, Pbase b)
void vect_fprint_as_dense(FILE * f, Pvecteur v, Pbase b):
void vect_fprint_as_monome(FILE *f, Pvecteur v, Pbase b, get_variable_name_t variable_name, char *mult_symbol)
void vect_fprint_as_monome(FILE * f, Pvecteur v, Pbase b, char * (*variable_name)(),...
void vect_dump(Pvecteur v)
void vect_dump(Pvecteur v): print sparse vector v on stderr.
void base_fprint(FILE *f, Pbase b, get_variable_name_t variable_name)
void base_fprint(FILE * f, Pbase b, char * (*variable_name)()): impression d'une base sur le fichier ...
char * vect_sprint_as_monome(Pvecteur v, Pbase b, get_variable_name_t variable_name, char *mult_symbol)
char *vect_sprint_as_monome(Pvecteur v, Pbase b, char * (*variable_name)(), char *mult_symbol): Retou...
Pvecteur vect_read(Pbase *b)
INTLIBRARY.
void vect_fdump(FILE *f, Pvecteur v)
void vect_fdump(FILE * f, Pvecteur v): impression d'un vecteur creux par vect_fprint() avec passage d...
void vect_print(Pvecteur v, get_variable_name_t variable_name)
void vect_print(Pvecteur v, char * (*variable_name)()): impression d'un vecteur creux v sur stdout; l...
void vect_fprint(FILE *f, Pvecteur v, get_variable_name_t variable_name)
void vect_fprint(FILE * f, Pvecteur v, char * (*variable_name)()): impression d'un vecteur creux v su...
Variable variable_make(char *name)
Variable variable_make(char * name): defines a new variable of a given name.
char *(* variable_debug_name)(Variable)
Debug support: pointer to the function used by debug print outs.
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
char * variable_name(Variable v)
polynome_ri.c
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define exp
Avoid some warnings from "gcc -Wshadow".
#define VARIABLE_DEFINED_P(v)
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
#define VECTEUR_NUL
DEFINITION DU VECTEUR NUL.
char *(* get_variable_name_t)(Variable)
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Pvecteur vect_new(Variable var, Value coeff)
Pvecteur vect_new(Variable var,Value coeff): allocation d'un vecteur colineaire au vecteur de base va...
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...