Re: GCL Version_2_6_13pre125

[Chun Tian (binghe)]

Hi Camm,

I try to build AXIOM using this GCL version (actually it's
Version_2_6_13pre126 as I found on Git). The building process didn't
report any error (which is already quite amazing), but when I start
Axiom I got this:

                        AXIOM Computer Algebra System
                          Version: Axiom (May 2017)
              Timestamp: Friday November 11, 2022 at 10:54:16
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
   Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------

   >> System error:

   >> System error:

...


Unrecoverable error: invocation history stack overflow.
Abort trap: 6

This is on macOS 11 (Big Sur) where GCL 2.6.12 cannot even be built.
But I do can build Axiom with GCL 2.6.12 on older macOS versions (and
then install/use on macOS 11).

Unfortunately I don't know how to show more detailed error messages
beside "System error:".  Assuming there's no need to modify any Lisp
code (they are working with GCL 2.6.12), do you think the above errors
can be fixed by setting "--ihsize" when building GCL? If so, what's the
suggested value to begin with?

Regards,

Chun Tian

On 2022/11/8 21:58, Camm Maguire wrote:
> Greetings!
> 
> Fresh tag, git banner reporting, equalp hashtables, fixed only bogus nan
> comparison I could find, fixed mod 2 bug reported in maxima, large
> memory model support on amd64, ansi in-package support.
> 
> This is all I know right now that should go in for the tarball.  Please
> play with it if desired and let me know if there are any showstoppers.
> If anyone has a macosx or cygwin environment for a build, please let me
> know.  Thanks for the helpful suggestion about a vmware image -- my
> current understanding is that one still needs to purchase the media for
> the closed source system, but please correct me if I am wrong.
> 
> Robert Dodier <robert.dodier@gmail.com> writes:
> 
>> On Fri, Nov 4, 2022 at 10:32 AM Camm Maguire <camm@maguirefamily.org> wrote:
>>
>> I reviewed the bug reports and found a few more. Here is a link to see
>> bug reports which have been tagged with "gcl":
>> https://sourceforge.net/p/maxima/bugs/search/?q=labels:%22gcl%22
>>
>> Just to be clear, these are bug reports which have been explicitly
>> tagged "gcl". There are other bug reports which mention GCL, but,
>> after having reviewed them, I don't believe they are specifically
>> about GCL.
>>
>> I think these bug reports are all medium to low priority, although I
>> would certainly be glad if they get resolved. The one which seems most
>> pressing is:
>> https://sourceforge.net/p/maxima/bugs/1234/
>> which is about non-ASCII characters in a folder name on Windows; I
>> seem to recall more than one user has bumped into that. I don't know
>> the status of that at this point.
> 
> Looking these over too.  I could really use some reproducible input
> (which I noticed you requested but apparently have not received) for the
> pathname special character report, and the SIGPIPE report (I requested
> on savannah with no reply).  The NaN report gives false now as you note,
> 2.0^1024.1 still gives the inf for testing purposes.  I think the false
> is in simp-expt in maxima, but haven't got further.  Most of his results
> had been fixed some time ago.  Found one remaining in interpreted code
> only which should now be closed, see transcript below.  The dribble
> error only omits error header output (which is sent to a different file
> descriptor) -- all newlines are identical addressing the original
> complaint.  I can get the error header in there too if this is
> important.
> 
>>
>>>> The problems around GCL + Maxima stem from the capabilities (ASDF,
>>>> Unicode, etc) which are present in other implementations and not GCL.
>>>> It's not much about conditionalizations.
>>>
>>> OK, thanks for that.  I'll put this on the back burner then.  Might I
>>> create a git branch for this purpose?
>>
>> I think one of the anonymous ones was reported by me, not that it
>> matters too much. Also #47404 is a bona fide bug; all comparisons with
>> NaN are false, except NaN != NaN, which is true, according to IEEE
>> 754. The spec itself is proprietary and not available to casual
>> readers, to the best of my knowledge, but summaries are all over the
>> web, including many statements about comparisons with NaN.
>>
>> best,
>>
> 
> =============================================================================
>> (setq si::*print-nans* t)
> 
> T
> 
>> (setq a (exp 10000.0))
> 
> #<inf>
> 
>> (setq b (- a) c (- a a))
> 
> #<-nan>
> 
>> (<= c c)
> 
> NIL
> 
>> (>= c c)
> 
> NIL
> 
>> (> c c)
> 
> NIL
> 
>> (< c c)
> 
> NIL
> 
>> (= c c)
> 
> NIL
> 
>> (/= c c)
> 
> T
> 
>> (dolist (l '(< <= = >= > /=)) (print (list (funcall l c c) (funcall (compile 
>> nil `(lambda (x y) (declare (long-float x y)) (,l x y))) c c))))
> 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x61f100 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x5badc0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x554a40 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x5cfe50 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f2f8c0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f412a0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (T T) 
> NIL
> 
>> (setq c a)
> 
> #<inf>
> 
>> (dolist (l '(< <= = >= > /=)) (print (list (funcall l c c) (funcall (compile 
>> nil `(lambda (x y) (declare (long-float x y)) (,l x y))) c c))))
> 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f52c90 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f64670 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (T T) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f76050 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (T T) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f87a40 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (T T) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2f99420 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2faae00 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> NIL
> 
>> (setq c (- a a))
> 
> #<-nan>
> 
>> (setq cf (float c 0.0s0))
> 
> #<-nan>
> 
>> (type-of cf)
> 
> SHORT-FLOAT
> 
>> (dolist (l '(< <= = >= > /=)) (print (list (funcall l cf cf) (funcall 
>> (compile nil `(lambda (x y) (declare (short-float x y)) (,l x y))) cf cf))))
> 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2fbc7f0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2fce1d0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2fdfbb0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x2ff15a0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x3002f80 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x3014960 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (T T) 
> NIL
> 
>> (dolist (l '(< <= = >= > /=)) (print (list l (funcall l cf cf) (funcall 
>> (compile nil `(lambda (x y) (declare (short-float x y)) (,l x y))) cf cf))))
> 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7e9e3d0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (< NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7eafd60 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (<= NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7ec1740 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (= NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7ed3130 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (>= NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7ee4b10 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (> NIL NIL) 
> Compiling /tmp/gazonk_94832_0.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling /tmp/gazonk_94832_0.o.
> ;; Loading #p"/tmp/gazonk_94832_0.o"
> start address -T 0x7ef64f0 ;; Finished loading #p"/tmp/gazonk_94832_0.o"
> 
> (/= T T) 
> NIL
> 
>>
> =============================================================================
> 
> 
>> Robert
>>
>>
>>
>

signature.asc
Description: OpenPGP digital signature