Regole di trasformazione e abbreviazioni

pt, dicembre 1994

La seguente notazione applica la regola x->1+a

1+x^2+3 x^3 /. x->1+a

?/.

?->

se a fosse predefinito

a=10;

1+x^2+3 x^3 /. x->1+a

Valgono anche le notazioni ...

{f[1],f[2],f[3]} /. f[2] -> b

{f[1],f[2],f[3]} /. f[n_] -> n^2

L'ultima vista è null'altro che la definizione interna di funzione. Infatti ..

g[x_]:=x^2

{g[1],g[2],g[3]}

Regole per oggetti complessi

?/:

z/:z[i_]+z[j_]:=z[i+j]

z[1]+z[2]

z[11]+z[12]+z[13]

Espressioni condizionali

?/;

cond[r_]:=r+1 /;r>10

cond[1]

cond[11]

Applicazione (postfissa) di funzioni

1/3

1/3//N

20//g