>>>>> "andre" == andre maute <andre.maute at gmx.de> writes:
andre> Hi list,
andre> this is a re-post, which I sent on the 8th October,
andre> and got no answer, so I'll try it again.
Sorry that no one answered.
andre> So algsys gives for the specialized system
andre> more solutions than for the unspecialized one. Bug?
Possibly.
andre> P.S.
andre> Test and output files are attached.
andre> With sbcl, maxima-5.27.0, athon64 2MHz
andre> it takes approximately 7 minutes.
If it's really a 2MHz athlon64 that takes 7 minutes, then it should be
blazingly fast on 1 GHz machine. :-)
But it's unlikely anyone is really excited about debugging your huge
test case that takes 7 minutes to run. If you can find a smaller test
case that would be much more helpful and appealing.
Sorry about that,
Ray