trasf.nb                                          pt, dicembre 1994 (rev. dicembre 2002)

Regole di trasformazione e abbreviazioni

Con la notazione che segue applichiamo 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

Information["/;", LongForm -> False]

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

cond[1]

cond[11]

Applicazione (postfissa) di funzioni

(1/3)

(1/3) // N

?g

20 //  g