/* Esperimenti di derivazione */ /* In questo documento .wxm provo a fare derivate simboliche stabilite tramite dipendenze formali che mi permettono di non dover specificare esplicitamente il valore delle funzioni o delle loro derivate. */ /* Uso la simbologia compatta per esprimere le derivate */ derivabbrev:true; /* Invece di scrivere la funzione r, preciso solo da quali variabili dipende... */ depends( r, [x,y,z]); /* calcolo la derivata di una espressione in cui compare r */ valx:diff(1/r,x); /* In previsione di quello che faro' in seguito ossia sostituire alla derivata il suo valore effettivo modifico il risultato in modo da indicare come derivata una opportuna variabile; in questo caso uso la variabile r_x. */ sosti:subst(r_x,diff(r,x),valx); /* Controllo che la sostituzione sia riuscita.... */ sosti; /* Effettivamente... funziona. */