next up previous contents index
suivant: Les fonctions et les monter: Les fonctions infixées ou précédent: Les autres opérateurs de   Table des matières   Index


Définition d'un opérateur: user_operator

user_operator a comme argument : user_operator renvoie 1 si la définition a eu lieu et 0 sinon.

Exemple 1
Soit la loi R définit sur $ \mathbb {R}$ par x R y = x*y + x + y.
On tape pour définir la loi R :

user_operator("R",(x,y)->x*y+x+y,Binary)
On obtient :
1
On tape :
5 R 7
Bien mettre les espace autour de R.
On obtient :
47

Exemple 2
Soit la relation S définit sur $ \mathbb {N}$ par :
pour x et y entiers, x S y < = > x et y ne sont pas premiers entre eux.
On tape pour définir la relation S :

user_operator("S",(x,y)->(gcd(x,y))!=1,Binary)
On obtient :
1
On tape :
5 S 7
Bien mettre les espace autour de S.
On obtient :
0
On tape :
8 S 12
Bien mettre les espace autour de S.
On obtient :
1


next up previous contents index
suivant: Les fonctions et les monter: Les fonctions infixées ou précédent: Les autres opérateurs de   Table des matières   Index
Documentation de giac écrite par Renée De Graeve