>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
Robert> On 5/23/06, Stavros Macrakis <macrakis at gmail.com> wrote:
>> After fixing the typo (e1 -> eq2), my system (Maxima 5.9.3 GCL 2.6.7 Windows
>> XP) also ran out of storage (not during display, during calculation).
>>
>> On the other hand, if you take each of the coefficients and make them into a
>> variable ( e.g. x1*y1 -> x1y1, x1^2 -> x12), it comes back very quickly,
>> though the answer is of course large. Presumably you can subst back in, but
>> I haven't tried. I don't know why solve is having such a problem with the
>> original coefficients.
Robert> We might want to try to get to the bottom of this. I'm guessing that
Robert> the problem is ratsimp or factor or something which is not supposed
Robert> to take too long. I suspect that the problem is not in the computation
Robert> itself but in simplification of partial results or something like that.
CMUCL finished it in a reasonable amount of time and memory, but I was
using gcd:spmod. If I use gcd:subres, it's taking a lot of memory.
Currently 150MB and growing....
Ray