/*----------------------------------------------------------*/
/*                                                          */
/*         AUTHOR : Eric VIOLARD                            */
/*         E-MAIL : violard@icps.u-strasbg.fr               */
/*         ORGANISM : Université Louis Pasteur (Strasbourg) */
/*         CREATION : 23/11/02                              */
/*                                                          */
/* ---------------------------------------------------------*/


/* --- Définition du type des intervalles fermés de nombres réels --- */

/* munis des opérations : 

  - construction d'un intervalle, 
  - borne inf
  - borne sup
  - thalès
*/
 
typedef struct { float a; float b; } intervalle; 
/* 
   type des intervalles fermés définis par 2 réels a et b 
        [a,b] si a<=b ou
        [b,a] si b<=a  
*/


intervalle cons_intervalle(float a,float b);
     /* construction d'un intervalle à partir de 2 réels */


float borne_inf(intervalle I);
     /* borne inférieure d'un intervalle */


float borne_sup(intervalle I);
     /* borne supérieure d'un intervalle */


float thales(float x1, intervalle I1, intervalle I2);
     /* détermine le réel x1 de l'intervalle I1 
        correspondant au réel x2 de l'intervalle I2 
        en utilisant Thalès */ 


void ecriture_intervalle(intervalle I); 
     /* affiche un intervalle */


/* --- */