I am traveling and can't look at this in detail, but I suspect there is a lurking inconsistency in this processing which will be revealed if you have to factor expressions, which would be too expensive to do, generally.? e.g.? p*q*q^(1/2)? is?? p*q^(3/2),? but what if p and q are huge prime integers?
RJF
----- Original Message -----
From: Dieter Kaiser <drdieterkaiser at web.de>
Date: Sunday, May 31, 2009 4:57 pm
Subject: Work on the simplifier: TMS and TIMESIN
To: "maxima at math.utexas.edu" <maxima at math.utexas.edu>