A propos de l'utilisation des variables dans des expressions symboliques
Les mots-clés suivants permettent d'effectuer des opérations sur les variables d'une expression symbolique :
• substitute : remplace toutes les occurrences d'une variable d'une expression par un nombre, une autre variable ou une expression.
• assume : émet des hypothèses sur le domaine d'une variable, par exemple que la variable est un entier ou un nombre réel.
• explicit : efface la définition précédente d'une variable afin que vous puissiez l'utiliser comme variable libre.