est_isocèle

[slejoly]

Bonjour, j'ai un problème avec la commande est_isocèle :

je joins le fichier tex puisqu'il est court :

\documentclass{article}
\usepackage{pst-plot,color}
\usepackage{graphicx}
\begin{document}
\noindent \framebox{1} \\
{\tt assume(a:=[pi/3,0,pi/2])\\
} \\
{\em parameter(a,0.0,1.57079632679,1.0471975512)\/} \\
{\tt I:=point(1) } \\
{\em point(1)\/} \\
{\tt O:=point(0) } \\
{\em point(0)\/} \\
{\tt A:=rotation(0,a,I) } \\
{\em point(exp((i)*a))\/} \\
{\tt OI:=droite(O,I) } \\
{\em droite(y=0)\/} \\
{\tt B:=symetrie(OI,A) } \\
{\em point(exp((i)*a)-(2*i)*sin(a))\/} \\
{\tt est\_isocele(B,O,A) } \\
{\em 0\/} \\
{\tt longueur(A,O) } \\
{\em sqrt(cos(a){\tt\symbol{94}}2+sin(a){\tt\symbol{94}}2)\/} \\
{\tt simplify(longueur(A,O)) } \\
{\em 1\/} \\
{\tt longueur(B,O) } \\
{\em sqrt(cos(a){\tt\symbol{94}}2+(sin(a)-2*sin(a)){\tt\symbol{94}}2)\/} \\
{\tt simplify(longueur(B,O)) } \\
{\em 1\/} \\
{\tt } \\

\end{document}


Le triangle OAB est évidement isocèle en O, mais la commande " est_isocèle " renvoie 0, est-ce parce que je suis avec un paramètre formel : a, et que " est_isocèle " ne simplifie pas assez pour remarquer que OA=OB=1 ?

Stéphane Lejoly

PS : Xcas sur le réseau de mon lycée " marche " maintenant parfaitement .