Greetings! Kindly help me through the output: are all the functions being compiled? I'm not sure what is a comment.
Take care, Edi Meier <liste_fran...@gmx.de> writes: > 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 > > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
