Comment 10 for bug 58498

Andrea Gamba (andrea-gamba) wrote :

The problem with maxima is still the old one: one has to modify maxima_detect by hands.