Hi Michael, > Hm, very strange. I have the same Maxima hash, and it works... duh, this is very strange, indeed. I just un-installed maxima from my profile, ran the garbage collector, and then re-installed it from scratch. Now, it works! I'm not sure how to explain this phenomenon. Anyway, thank you for the quick response. Take care, Peter