Une precision importante pour la fonction sort de Xcas lorsqu'on lui passe en 2eme argument une fonction pour trier.
Cette fonction doit alors etre un ordre strict faible. Plus precisement, un ordre strict faible est irreflexif (f(x,x) est faux), antisymetrique et transitif, et la relation definie par a R b si et seulement si f(a,b) et f(b,a) sont simultanement faux doit etre une relation d'equivalence (autrement dit f(x,y), f(y,x), f(y,z), f(z,y) faux doit entrainer f(x,z), f(z,x) faux).
Pour plus de details
http://www.sgi.com/tech/stl/StrictWeakOrdering.html
tri
Modérateur : xcasadmin