[Axiom-developer] provisos

[daly]

Francois,

In mupad it appears that solve returns a piecewise result which is impressive.
What happens if you continue to compute with this result? If you save the
piecewise result in a variable can you multiply it by another piecewise
result? Do they give all nine possible branches? Do they combine branches?

Axiom simply returns

           1
     [x= -----]
         a - 1

which ignores the issue entirely (a bad pun on "entire functions").

t