User manual

254 Symboles
^/ (inverse)
Catalogue >
Expr1 ^/⇒expression
Liste1 ^/⇒liste
Donne l'inverse de l'argument.
Dans le cas d'une liste, donne la liste des
inverses des éléments de Liste1.
matriceCarrée1 ^/⇒matriceCarrée
Donne l'inverse de matriceCarrée1.
matriceCarrée1 doit être une matrice
carrée non singulière.
| (opérateur "sachant que")
touches /k
Expr | ExprBooléen1
[andExprBooléen2]...
Expr | ExprBooléen1 [orExprBooléen2]...
Le symbole («|») est utilisé comme
opérateur binaire. L'opérande à gauche du
symbole | est une expression. L'opérande à
droite du symbole | spécifie une ou
plusieurs relations destinées à affecter la
simplification de l'expression. Plusieurs
relations après le symbole | peuvent être
reliées au moyen d'opérateurs logiques
«and» ou « or ».
L'opérateur "sachant que" fournit trois
types de fonctionnalités de base :
• Substitutions
• Contraintes d'intervalle
• Exclusions
Les substitutions se présentent sous la
forme d'une égalité, telle que x=3 ou y=sin
(x). Pour de meilleurs résultats, la partie
gauche doit être une variable simple. Expr
| Variable = valeur substituera une valeur
à chaque occurrence de Variable dans
Expr.