Je cherche un autre outil qui fera une évaluation symbolique des expressions relationnelles, ou peut-être un paquet Maxima qui étend Maxima pour activer une telle fonctionnalité.Évaluation symbolique des expressions contenant des opérateurs relationnels, en utilisant éventuellement Maxima
En l'état, Maxima ne le fait pas.
Pour autant que je sais maxima peut travailler avec des opérateurs relationnels dans le manuel:
http://maxima.sourceforge.net/docs/manual/maxima_7.html#SEC39
(%i1) [x, y, z] : [123, 456, 789];
(%o1) [123, 456, 789]
(%i2) is (x < y);
(%o2) true
(%i3) maybe (y > z);
(%o3) false
(%i4) if x >= z then 1 else 0;
(%o4) 0
(%i5) block ([S], S : 0, for i:1 while i <= 100 do S : S + i,
return (S));
(%o5) 5050
ou même les inégalités: Sølve
(%i4) load(fourier_elim)$
(%i5) fourier_elim([(x+1)*(x+2)>0],[x]);
(%o5) [- 1 < x] or [x < - 2]
Bonjour et bienvenue à StackOverflow. Veuillez prendre le temps de lire la page d'aide, en particulier les sections intitulées ["Quels sujets puis-je poser à propos d'ici?"] (Http://stackoverflow.com/help/on-topic) et ["Quels types de questions dois-je évitez de demander? "] (http://stackoverflow.com/help/dont-ask). Et plus important, s'il vous plaît lire [la liste de contrôle de la question Stack Overflow] (http://meta.stackexchange.com/q/156810/204922). Vous pouvez également en savoir plus sur [Exemples minimaux, complets et vérifiables] (http://stackoverflow.com/help/mcve). – lokusking
Pouvez-vous être plus précis? –