/* [wxMaxima batch file version 1] [ DO NOT EDIT BY HAND! ]*/ /* [ Created with wxMaxima version 0.8.5 ] */ /* [wxMaxima: title start ] Esempio n.0 d'uso della libreria libtensori.mc [wxMaxima: title end ] */ /* [wxMaxima: comment start ] Ricopiare questo documento per poi ampliarlo con la sperimentazione voluta. [wxMaxima: comment end ] */ /* [wxMaxima: subsect start ] Premessa: carico la libreria [wxMaxima: subsect end ] */ /* [wxMaxima: comment start ] Utilizza la libreria tensoriale. Deve dunque caricarla... [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ load_questo:"libtensori.mc"; /* [wxMaxima: input end ] */ /* [wxMaxima: input start ] */ salvoqui:"c:/xmaxima/tensori_x.mc"; /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Dato che nel file che voglio rileggere con una load(...) ci può essere una closefile(), per non avere segnalazioni di errore apro un file di dribbling il cui contenuto non mi interessa e dunque non importa se lo sovrascriverò. [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ if atom(path_iniziale) then writefile("eliminando.mc"); /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Ora amplia il path [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ altracartella:"C:/xmaxima/###.{mc,mac}"; /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] E' consigliabile, prima di modificarlo, di salvare il valore del path di default di Maxima. [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ ( if atom(path_iniziale) then (path_iniziale: file_search_maxima) )$ /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Ora amplio il path iniziale aggiungendogli la cartella. Con questo trucco posso ricaricare varie volte questo documento senza il problema di modificare ogni volta il path di ricerca. [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ file_search_maxima: cons(altracartella,path_iniziale); /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Dopo avere ampliato il path, cerco di caricare la libreria tensoriale. [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ load(load_questo); /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Ora salva su un nuovo file ossia salvoqui... [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ writefile(salvoqui); /* [wxMaxima: input end ] */ /* [wxMaxima: comment start ] Guardo i nomi delle funzioni della libreria. [wxMaxima: comment end ] */ /* [wxMaxima: input start ] */ libmia; /* [wxMaxima: input end ] */ /* [wxMaxima: section start ] Inizio della sperimentazione [wxMaxima: section end ] */ /* [wxMaxima: comment start ] ...da qui... [wxMaxima: comment end ] */ /* Maxima can't load/batch files which end with a comment! */ "Created with wxMaxima"$