Package: axiom
Version: 20120501-1
Severity: normal
Dear Camm,
the ackermann.input from axiom-test produces a history stack overflow.
In fricas/open-axiom all 23 tests from ackermann.input are executed.
Thank you very much.
Regards,
Edi
edi@host:~$ axiom
GCL (GNU Common Lisp) 2.6.7 CLtL1 May 6 2012 01:50:10
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
AXIOM Computer Algebra System
Version: Axiom (May 2012)
Timestamp: Wednesday June 13, 2012 at 20:14:11
-----------------------------------------------------------------------------
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
-----------------------------------------------------------------------------
Re-reading compress.daase Re-reading interp.daase
Re-reading operation.daase
Re-reading category.daase
Re-reading browse.daase
(1) ->
(1) -> )read ackermann
)set break resume
)spool ackermann.output
Starts dribbling to ackermann.output (2013/5/20, 5:9:37).
)set message test on
)set message auto off
)clear all
)set message time on
--S 1 of 23
ackerslow(m:INT,n:INT):INT ==
m = 0 => n+1
(m>0 and n=0) => ackerslow(m-1,1)
ackerslow(m-1,ackerslow(m,n-1))
Function declaration ackerslow : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackerslow : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 1
--S 2 of 23
ackerslow(0,0)
Compiling function ackerslow with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackerslow with type (Integer,Integer) -> Integer
--R
--R (2) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 2
--S 3 of 23
cache:Table(List Integer,Integer):=empty()
(2) table()
Type: Table(List(Integer),Integer)
Time: 0.01 (IN) + 0.01 (OT) = 0.02 sec
--R
--R
--R (3) table()
--R Type:
Table(List(Integer),Integer)
--I Time: 0.01 (OT) = 0.01
sec
--E 3
--S 4 of 23
ackermann(m:INT,n:INT):INT ==
index?((m,n),cache) =>
qelt(cache,(m,n))
m = 0 =>
qsetelt!(cache,(m,n),n+1)
n+1
(m>0 and n=0) =>
result:INT:=ackermann(m-1,1)
qsetelt!(cache,(m-1,1),result)
result
resultinner:INT:=ackermann(m,n-1)
qsetelt!(cache,(m,n-1),resultinner)
result:INT:=ackermann(m-1,resultinner)
qsetelt!(cache,(m-1,resultinner),result)
Function declaration ackermann : (Integer,Integer) -> Integer has
been added to workspace.
Type: Void
Time: 0 sec
--R
--R Function declaration ackermann : (Integer,Integer) -> Integer has
--R been added to workspace.
--R Type:
Void
--I Time: 0
sec
--E 4
--S 5 of 23
ackermann(0,0)
Compiling function ackermann with type (Integer,Integer) -> Integer
Daly Bug
--R
--R Compiling function ackermann with type (Integer,Integer) -> Integer
--R
--R (5) 1
--R Type:
PositiveInteger
--I Time: 0.01 (OT) = 0.01
sec
--E 5
--S 6 of 23
[ackerslow(3,i) for i in 0..10]
Daly Bug
>> System error:
Invocation history stack overflow.
Continuing to read the file...
--R
--R
--R (6) [5,13,29,61,125,253,509,1021,2045,4093,8189]
--R Type:
List(Integer)
--I Time: 7.03 (EV) + 0.28 (GC) = 7.31
sec
--E 6
--S 7 of 23
[ackerslow(3,i) for i in 0..10]
Unrecoverable error: invocation history stack overflow.
edi@host:~$ echo $?
0
edi@host:~$
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages axiom depends on:
ii axiom-databases 20120501-1
ii libc6 2.13-38
ii libgmp10 2:5.0.5+dfsg-2
ii libreadline6 6.2+dfsg-0.1
ii libx11-6 2:1.5.0-1
ii libxpm4 1:3.5.10-1
Versions of packages axiom recommends:
ii axiom-doc 20120501-1
ii axiom-graphics 20120501-1
ii axiom-hypertex 20120501-1
ii axiom-source 20120501-1
Versions of packages axiom suggests:
ii axiom-test 20120501-1
ii axiom-tex 20120501-1
ii nowebm 2.11b-7.1
ii texmacs 1:1.0.7.18-1
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
