Grazie per la risposta. Ma secondo te da cosa è dovuto? Attualmente sto usando una versione portable di Maxima ma, anche a casa, con quella fissa installata sul PC, mi dà lo stesso problema. Boh, non so dove sbattere la testa.