61 bool is_c_norm =
true;
67 if(c!=NULL && (c->
vecteur != NULL))
#define value_notzero_p(val)
#define value_uminus(val)
unary operators on values
#define value_negz_p(val)
#define value_zero_p(val)
#define value_mod(v1, v2)
bool egalite_normalize(Pcontrainte eg)
bool egalite_normalize(Pcontrainte eg): reduction d'une equation diophantienne par le pgcd de ses coe...
bool inegalite_normalize(Pcontrainte ineg)
bool inegalite_normalize(Pcontrainte ineg): normalisation d'une inegalite a variables entieres; voir ...
bool contrainte_normalize(Pcontrainte c, bool is_egalite)
package contrainte - NORMALISATION D'UN CONTRAINTE
Value vect_pgcd_except(Pvecteur v, Variable var)
Value vect_pgcd_except(Pvecteur v, Variable var): calcul du pgcd de tous les coefficients non nul d'u...
int vect_size(Pvecteur v)
package vecteur - reductions
Pvecteur vect_clean(Pvecteur v)
Pvecteur vect_clean(Pvecteur v): elimination de tous les couples dont le coefficient vaut 0 dans le v...
Pvecteur vect_div(Pvecteur v, Value x)
Pvecteur vect_div(Pvecteur v, Value x): division du vecteur v par le scalaire x, si x est different d...
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...
void vect_chg_coeff(Pvecteur *ppv, Variable var, Value val)
void vect_chg_coeff(Pvecteur *ppv, Variable var, Value val): mise de la coordonnee var du vecteur *pp...