Droite verticale

[alb]

Est-ce normal que
supposons(m=0);droite(x+m*y=-1)
ne renvoie pas la droite d'équation x=-1 ?
(difficulté rencontrée en Geo2d avec assume mais pas avec element)

[parisse]

Oui, parce que l'instruction droite definie par une equation est ramenee en une droite definie par 2 points, et ces 2 points sont construits avec une valeur generique du parametre formel m (donc non nulle en tant que polynome), et les coordonnees de ces 2 points sont infinies lorsque m=0. Pour eviter le probleme il suffit d'evaluer numeriquement l'equation de la droite (mais bien sur, tous les calculs faits ensuite utiliseront la valeur non formelle de la droite, on peut aussi faire 2 droites une avec evalf de l'equation pour la representation graphique, l'autre sans evalf de l'equation pour des calculs formels ulterieurs, on peut enfin definir soi-meme la droite par 2 points formels qui conviennent aussi pour m=0).