Texas Instruments TI-Nspire Guide De Référence page 186

| (opérateur "sachant que")
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
Expr Variable
simple. |
valeur
à chaque occurrence de
Les contraintes d'intervalle se présentent sous la
forme d'une ou plusieurs inéquations reliées par des
opérateurs logiques « and » ou « or ». Les contraintes
d'intervalle permettent également la simplification qui
autrement pourrait ne pas être valide ou calculable.
Les exclusions utilisent l'opérateur « différent de » (/=
ou ƒ) pour exclure une valeur spécifique du calcul.
& (stocker)
Valeur & Var
Liste & Var
Matrix Var
&
Expr Fonction Param1
& (
Liste Fonction Param1
& (
Matrice Fonction
&
186 Symboles
valeur
= substituera une
Variable
,...)
,...)
Param1
( ,...)
Expr
dans .
/k
touches
/h
Touche