[Axiom-developer] Re: Bug#407109: axiom: loops forever while )read'ing expression

[root]

>Greetings, and thanks Tim!  Does this mean that there is an issue with
>the original "missing mate" error on the unbroken expression?

I did a clip of the line and fed it to Axiom. I suspect the issue is that
the line length was exceeded and clipped, leading to a shorter line being
fed to Axiom. 

>Separately, is there any clear path to accelerate the relevant
>algorithms along the lines of Waldek's suggestions?  Or is this
>inadvisable?

I believe Waldek has identified 6 places where Axiom does GCDs.

If I were to attack the problem I'd probably:
   a) ask Waldek for those locations
   b) develop a set of increasingly expensive test cases for each one
   c) examine the detailed behavior with profiles to determine what costs
   d) make a change
   e) measure the difference
   f) loop back to c
   g) document the algorithms, measures, and results (conf paper?)

This is a fairly well contained problem and, if I had students, I'd
assign it as a path toward a publication. Perhaps with Google's
summer of code we could get a student to work on it.

At the moment all of my resources are pressing toward a new hyperdoc
that uses firefox so we can all drop the old code and use something
that is both portable and useful for things like Sage. The code and
pages I'm developing should work for all three systems. But as a
side-effect, I have no time to look into the gcd issues.

Tim