Cantors countable infinity?



On Thu, 2010-04-22 at 19:07 +0100, Leo Butler wrote:
> Which version of Maxima are you running?
> What build of clisp?
> 
> 
> (%i1) build_info();
> 
> Maxima version: 5.20.1
> Maxima build date: 14:56 4/9/2010
> Host type: i686-pc-linux-gnu
> Lisp implementation type: CLISP
> Lisp implementation version: 2.44.1 (2008-02-23) (built 3427349244)
> (memory 3479810177)
> 
> (%o1)
> (%i2) 2^3^4^5;
> Maxima encountered a Lisp error:
> 
> 
> overflow during multiplication of large numbers
> 
> Automatically continuing.

With the same Clisp ans Maxima versions, Maxima also dies for me:

(%i1) build_info();

Maxima version: 5.20.1
Maxima build date: 10:20 12/15/2009
Host type: x86_64-unknown-linux-gnu
Lisp implementation type: CLISP
Lisp implementation version: 2.44.1 (2008-02-23) (built 3436704610)
(memory 3469861211)

(%o1) 
(%i2) 2^(3^(4^5));

*** - Program stack overflow. RESET

[/build/buildd/clisp-2.44.1/src/eval.d:527] reset() found no driver
frame (sp=0x171ea990-0x171e45c0)
Exiting on signal 6
Aborted

In SBCL and CCL the overflow is handled in a cleaner way:

Maxima version: 5.20.1
Maxima build date: 10:20 12/15/2009
Host type: x86_64-unknown-linux-gnu
Lisp implementation type: SBCL
Lisp implementation version: 1.0.29.11.debian

(%o1) 
(%i2) 2^(3^(4^5));

Maxima encountered a Lisp error:

 can't represent result of left shift

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
(%i3)

Maxima version: 5.20.1
Maxima build date: 10:20 12/15/2009
Host type: x86_64-unknown-linux-gnu
Lisp implementation type: Clozure Common Lisp
Lisp implementation version: Version 1.3-RC1-r11719M  (LinuxX8664)

(%o1) 
(%i2) 2^(3^(4^5));

Maxima encountered a Lisp error:

 Count
373391848741020043532959754184866588225409776783734007750636931722079040617265251229993688938803977220468765065431475158108727054592160858581351336982809187314191748594262580938807019951956404285571818041046681288797402925517668012340617298396574731619152386723046235125934896058590588284654793540505936202376547807442730582144527058988756251452817793413352141920744623027518729185432862375737063985485319476416926263819972887006907013899256524297198527698749274196276811060702333710356481 too large for ASH

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
(%i3)

Regards,
Jaime