/* L'extension geometry de Philippe Ivaldi définit :
 * plusieurs nouvelles structures (types) dont point, triangle et side ;
 * une nouvelle syntaxe d'utilisation de la fonction midpoint
   spécifique aux objets de type **side**.*/

// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))
     
// Définition de la largeur de l'image
size(6cm,0);

// Définition du triangle EFG
point pE=(0,0),pF=(4,1),pG=(1,2);
triangle t=triangle(pE,pF,pG);
draw(t);label("$D$","$E$","$F$",t,.5blue);

// On définit c1 comme "premier" côté de t
side c1=t.AB;

// On construit I milieu de [EF]
dot("$I$",midpoint(c1),S);