Hi,
Robert wrote:
> Also part of the problem is that the assume system in Maxima
> is not very strong, and it has bugs. We could use some help on
> that too.
What are your ideas to handle assumptions correctly?
E.g. from your slides you prefer the formula and all the symbols to be
just symbols without any assumptions attached to them, plus there
should be some global (?) assumptions (those need to be made robust)
and the functions consult them? I like this approach.
Maxima has years of experience in this, so I am interested in what you think.
Thanks,
Ondrej