Sage

SR (Symbolic Ring) est une classe qui va nous donner des bases pour du calcul symbolique

Le constructeur SR

Le constructeur SR précise explicitement que son résultat n'est pas la valeur -5, mais le "symbole" -5.

Donc, contrairement à -5 < -3 qui rend True, SR(-5) < SR (-3 ) a pour valeur le "texte" -5 < -3

sage: eqn = SR(-5) < SR(-3); eqn

-5 < -3

sage: bool(eqn) # On évalue eqn comme une expression booléenne

True sage: eqn^2 # on peut malgré tout bizarrement transformer le texte en remplaçant chaque symbole entier par son carré

25 < 9

sage: bool(eqn^2)

False

La classe SR fournit une fonction var qui sert à disposer de variables symboliques

Voir l'entrée var