Comment Comment by FeepingCreature A local maxima, that is, /usr/bin/wxmaxima... parent FeepingCreature 2 years ago