Les opérateurs @
et @@
permettent de composer des
procédures ou fonctions entre elles.
f@g
correspond à la composition de f par g, (
(f@g)(2) = f(g(2))).
f@@n
correspond à la composition itérée n fois de
f, ((f@@4)(2) = f(f(f(f(2))))).
Par exemple on trouve:
f:=x->x+1: (f@@6)(x); ---> x+6 h:=<x+1|x>: (h@@6)(x); ---> x+6 g:=proc(x) x+1 end: (g@@6)(x); ---> x+6