On 8/24/11, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> I suspect that the problem in your example below is that you are calling
> (simplus x 1 t) and not (simplus x 1 nil).
Thanks for the hint. That does make a difference; the SIMPLUS call
succeeds when the 3rd argument is NIL. While investigating that,
I found that rules generated by tellsimpafter can prevent built-in
simplifications from being applied. I think I have a patch for that,
which enables the example expand((rat(1) ` a)*(1 ` b + c)) to succeed.
I am still kind of puzzled by GREAT. Unless MRAT is simplified away,
it causes an error in GREAT. Shouldn't GREAT be able to compare
any Maxima expressions? I imagine there would be the same
problem with other special representations, e.g. Taylor series.
Are special representations always simplified away? That seems
to take away their specialness.
best,
Robert Dodier