On 2/20/11, Jalaluddin Morris <jalaludn at gmail.com> wrote:
> (i) Isabelle/Hol has x / 0 = 0, (for 0 and x both real numbers); have
> you considered the same for Maxima, or being able to set this option in
> preferences?
On the whole it is not easy to revert or replace Maxima's
built-in simplifications; this is a serious architectural difficulty.
But at least superficially, one can tell Maxima to handle division by
0 like this:
matchdeclare (xx, all);
simp : false;
tellsimp (xx/0, 0);
simp : true;
[0/0, 1/0, 2/0, x/0, (1 - x)/0];
=> [0, 0, 0, 0, 0]
> (ii) Proof-General provides a nice environment to work within, including
> unicode tokens - have you considered this environment for Maxima, or at
> least some of the Proof General idiom for WxMaxima?
I don't know what Proof-General is about. Can you be more specific?
best
Robert Dodier