I am using Maxima's "desolve" to handle a system of linear differential equations.
During processing, Maxima arrives at an intermediate expression (in my case this is a complicated argument of a sqareroot)
that may be positive, negative or zero. Maxima asks me interactively if this expression is negative, positive or zero.
If I use "desolve" directly within the Maxima's notebook, I can give my answer interactively
(e.g., "pos") to Maxima. Consequently, Maxima can continue processing immediately.
Thus, in Maxima's notebook there is no need to use an 'assume' statement that includes
the whole complicate expression in question.
On the contrary, processing this system via Maxima's 'desolve ' at a sage's notebook is very inconvenient,
since, according to sage's documentation, one can answer such questions only via assumes given prior to 'desolve'.
Moreover, in the treated case Maxima ignores such 'assume'-statements.
Thus, solving my equation system at Maxima via sage turns out to be impossible.
Thus my question: Is it really impossible to answer Maxima's interactive questions via sage?
If not, one should implement this feature in future save-versions.
This would enable sage to solve linear differential equations that cannot be treated by sage up to now.
Here is a simlpe executable example for interactive working with Maxima. (Members of Maxima's discussion forum gave this example to me for demonstration) I tried to answer this question interactively at a sage- notebook. Unfortunately, This leads to a deadlock in the sage-platform (version 7.4).
(%i1) integrate(x^a,x);
Is a equal to -1?
no;
(%o1) x^(a+1)/(a+1)
