plpivoter.c File Reference

#include <stdio.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "matrix.h"
#include "plint.h"

Include dependency graph for plpivoter.c:

Go to the source code of this file.

Macros
#define	MALLOC(s, t, f)   malloc(s)
#define	TRACE

Functions
char *	malloc ()
void	pivoter_pas (Psommet eq, Psommet ligne, Variable var)
void	pivoter (Psommet sys, Psommet ligne, Variable var, Psommet fonct)

Macro Definition Documentation

MALLOC

#define MALLOC	(		s,
			t,
			f
	)		malloc(s)

Definition at line 40 of file plpivoter.c.

TRACE

#define TRACE

Definition at line 43 of file plpivoter.c.

Function Documentation

malloc()

char* malloc

(

)

pivoter()

void pivoter	(	Psommet	sys,
		Psommet	ligne,
		Variable	var,
		Psommet	fonct
	)

mise a jour du denominateur

Definition at line 131 of file plpivoter.c.

{
 
    Psommet sys1 = fonct;
    Psommet ps1 = NULL;
    int sgn_den = 1;
    Value den,tmp;
#ifdef TRACE
    printf(" *** on effectue le pivot \n");
#endif
    if (ligne) {
 
        den = vect_coeff(var,ligne->vecteur);
        if (value_neg_p(den))
        {
            sgn_den = -1;
            value_oppose(den);
        }
        if (fonct != NULL)
            fonct->succ = sys;
        else sys1 = sys;
 
        /* mise a jour du denominateur   */
        tmp = ligne->denominateur;
        if (sgn_den==-1) value_oppose(tmp);
        (void) vect_multiply(ligne->vecteur,tmp);
        value_product(ligne->denominateur,den);
        den = ligne->denominateur;
        for (ps1 = sys1; ps1!= NULL; ps1=ps1->succ)
            pivoter_pas(ps1,ligne,var);
        sommets_normalize(sys1);
 
    }
    if (fonct)
        fonct->succ = NULL;
 
}

References typ_som::denominateur, pivoter_pas(), printf(), sommets_normalize(), typ_som::succ, value_neg_p, value_oppose, value_product, vect_coeff(), vect_multiply(), and typ_som::vecteur.

Referenced by dual_pivot_pas(), plint_degen(), primal_pivot(), and sc_min().

Here is the call graph for this function:

Here is the caller graph for this function:

pivoter_pas()

void pivoter_pas	(	Psommet	eq,
		Psommet	ligne,
		Variable	var
	)

Definition at line 61 of file plpivoter.c.

{
 
 
    Pvecteur pvec = NULL;
    Pvecteur ligne2;
 
    Value c1 = VALUE_ZERO;
    Value den;
    bool cst = false;
#ifdef TRACE
    printf(" --- pas - pivoter \n");
#endif
    if (ligne && eq) {
        Pvecteur pv3 = vect_dup(eq->vecteur);
 
        den = ligne->denominateur;
        cst = false;
        if ((eq != ligne) && value_notzero_p(c1 = vect_coeff(var,pv3))) {
 
            ligne2 = vect_dup(ligne->vecteur);
            value_product(eq->denominateur,den);
            for (pvec =pv3;pvec!= NULL; pvec=pvec->succ) {
                Value tmp;
                if (pvec->var == NULL) cst = true;
 
                value_product(pvec->val,den);
                tmp = vect_coeff(pvec->var,ligne->vecteur);
                value_product(tmp,c1);
                value_substract(pvec->val,tmp);
 
                vect_chg_coeff(&ligne2,pvec->var,VALUE_ZERO);
            }
 
            for (pvec=ligne2;pvec!= NULL;pvec = pvec->succ)
                if (pvec->var != TCST)
                {
                    Value tmp = vect_coeff(pvec->var,ligne2);
                    value_product(tmp,c1);
                    vect_add_elem(&pv3,pvec->var,value_uminus(tmp));
                }
            if (!cst)
            {
                Value tmp = vect_coeff(TCST,ligne->vecteur);
                value_product(tmp,c1);
                vect_add_elem(&pv3,TCST,value_uminus(tmp));
            }
        }
        eq->vecteur = pv3;
    }
}

References typ_som::denominateur, eq, printf(), Svecteur::succ, TCST, Svecteur::val, value_notzero_p, value_product, value_substract, value_uminus, VALUE_ZERO, Svecteur::var, vect_add_elem(), vect_chg_coeff(), vect_coeff(), vect_dup(), Scontrainte::vecteur, and typ_som::vecteur.

Referenced by pivoter().

Here is the call graph for this function:

Here is the caller graph for this function: