PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "linear_assert.h"
#include "boolean.h"
#include "arithmetique.h"
#include "matrix.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sc.h"
#include "sg.h"
#include "polyedre.h"
Go to the source code of this file.
Functions | |
main (int argc, char **argv) | |
Test de l'enveloppe convexe de deux systemes. More... | |
main | ( | int | argc, |
char ** | argv | ||
) |
Test de l'enveloppe convexe de deux systemes.
L'enveloppe convexe est faite par traduction des systemes lineaires en systemes generateurs (par chernikova), puis par union des systemes generateurs, enfin par la traduction du systeme generateur resultant en systeme lineaire (toujours par chernikovva). Cette fonction utilise la bibliotheque fournie par l'IRISA. On suppose que les deux systemes fournis en entree ont la meme base
lecture du premier systeme
lecture du deuxieme systeme
FI: commented out because prevents tests with empty systems
calcul de l'enveloppe convexe
s = sc_new();
s = sc_convex_hull(s1,s2);
Definition at line 55 of file sc_env.c.
References A, assert, Ssysteme::base, base_dup(), exit, f2(), fprintf(), printf(), s1, sc_dup(), sc_empty(), sc_empty_p(), sc_fprint(), sc_fscan(), sc_new(), sc_rn_p(), sc_translate(), sc_weak_consistent_p(), sg, sg_new(), variable_default_name(), and vect_size().