[Axiom-developer] Re: defintrf.spad compiler bug

2007-07-09 Thread Stephen Wilson
[EMAIL PROTECTED] writes: Stephen, Your patch also changes: DFINTTLS NIPROB OPTPROB PATTERN2 PMDOWN PMINSMHROWRED GENEEZ GHENSEL INMODGCD INNMFACT INTHERTR LAUPOL MDDFACT MONOTOOL PGCD PLEQNPMPLCAT PMQFCAT RDETRREALSUBRESP INTPACK E04AGNT FFNBP

[Axiom-developer] Re: defintrf.spad compiler bug

2007-07-08 Thread Stephen Wilson
Tim, This bug is now on Issue Tracker, #370. The MACROEXPAND fix as detailed in a prior email seems workable. I have tested the change but wish to continue with some more tests. I propose the attached patches for testing. The original `fix', checking that a free variable is bound in the

[Axiom-developer] Re: defintrf.spad compiler bug

2007-07-07 Thread Stephen Wilson
[EMAIL PROTECTED] writes: I've identified 592 potential places where this could occur. Obviously it does not happen everywhere. I'm reviewing each code sequence to try to find the nature of the failure. After that I'll look into the compiler. Im looking at a possible solution, but I am

[Axiom-developer] Re: defintrf.spad compiler bug

2007-07-07 Thread Stephen Wilson
Tim, A further update: My initial experiment appears to work, but it may not be the proper fix (build still pending, at layer 20 ATM). This is my analysis thus far. I belive I have come to a decent theory as to how this issue can be solved. Please bear with me as I try to explain. In

[Axiom-developer] Re: defintrf.spad

2007-07-06 Thread Gregory Vanuxem
Le jeudi 05 juillet 2007 à 12:41 -0500, [EMAIL PROTECTED] a écrit : Greg, Attached is a diff of defintrf. Waldek points out that this code change was due to a spad compiler bug. Is there a mailing list discussion on this? No, I posted some times ago an url to a port of part of Axiom to

Re: [Axiom-developer] Re: defintrf.spad

2007-07-06 Thread Stephen Wilson
Gregory Vanuxem [EMAIL PROTECTED] writes: This could cause problems elsewhere. I'd really like to find out why the compiler failed so we can fix the root cause of the problem. Yes me too, it's on my TODO list but right now I haven't the time nor the knowledge to fix it. Perhaps related

[Axiom-developer] Re: defintrf.spad

2007-07-06 Thread Stephen Wilson
I will look into the issue tonight and over the weekend as well. I have come across a simlar issue in trying to get the algebra to build with gclcvs-2.7.0. In this case, the problem is in polycat.spad, FiniteAbelianMonoidRing, around line 170. We have: if R has IntegralDomain then

[Axiom-developer] Re: defintrf.spad, polycat.spad

2007-07-06 Thread Stephen Wilson
[EMAIL PROTECTED] writes: Is there a difference in the code.lsp file produced with 2.6.8 and 2.7.0 for polycat.spad? The file refuses to compile unmodified under 2.7.0, so I cannot compare unfortunately. There may be options available to capture intermediate data at key stages of compilation

[Axiom-developer] Re: defintrf.spad, polycat.spad

2007-07-06 Thread Stephen Wilson
[EMAIL PROTECTED] writes: Is there a difference in the code.lsp file produced with 2.6.8 and 2.7.0 for polycat.spad? A second thought tells me what you are asking. At the moment, I do not have a tree built against 2.6.8pre as available in Silver. I have a tree built from the latest cvs

[Axiom-developer] Re: defintrf.spad, polycat.spad

2007-07-06 Thread Stephen Wilson
[EMAIL PROTECTED] writes: Can you post the POLYCAT.nrlib/code.lsp file from ansi? I can compare it against my tree. I am afraid that I am overtired after a days travel :(. Looking at the code in more detail tells me that the `differences' are minor. Basically, the main change is that under

[Axiom-developer] Re: defintrf.spad

2007-07-05 Thread Waldek Hebisch
Waldek, I see the following change to defintrf.spad. Can you tell me why? The code seems to be logically equivalent. --- ../silver/src/algebra/defintrf.spad.pamphlet 2007-04-27 04:44:35.0 -0400 +++ wh-sandbox/src/algebra/defintrf.spad.pamphlet 2007-04-27