diff --git a/book/2004-02.txt b/book/2004-02.txt new file mode 100644 index 0000000..5473e26 --- /dev/null +++ b/book/2004-02.txt @@ -0,0 +1,4045 @@ +\start +Date: Sun, 01 Feb 2004 12:11:21 +0100 +From: David MENTRE +To: Camm Maguire +Subject: Re: [Gcl-devel] Re: [Axiom-developer] Error when compiling axiom, gcl issue? + +Hello Camm, + +Camm Maguire writes: + +> Hi David! Will I be able to reproduce this with latest cvs? I'm +> still a page behind with gnu-arch. + +In fact, I haven't been able to reproduce it myself. While doing a fresh +recompilation to have compilation log, this time compilation completed +without any error. As I also have your axiom package on my debian +machine, I have probably messed up $PATH or $AXIOM variables. Sorry for +the false alarm. + + +> BTW, I'm getting bounces from your mail address. + +You can try with another one: dmentre@linux-france.org. + +BTW, I also have bounces from your email. It seems that wanadoo.fr (my +ISP) don't want to talk to yours. :( + +From: MAILER-DAEMON@wanadoo.fr (Mail Delivery System) +Subject: Undelivered Mail Returned to Sender +To: david.mentre@wanadoo.fr +Envelope-to: david@localhost +X-Sieve: Server Sieve 2.2 +X-Sent: 4 days, 14 hours, 24 minutes, 54 seconds ago + +This is the SMTP Server program at host wanadoo.fr. + +I'm sorry to have to inform you that the message returned +below could not be delivered to one or more destinations. + +For further assistance, please send mail to + +If you do so, please include this problem report. You can +delete your own text from the message returned below. + + The SMTP Server program +: Name service error for enhanced.com: Host not found, try + again +Reporting-MTA: dns; wanadoo.fr +Arrival-Date: Mon, 26 Jan 2004 18:58:56 +0100 (CET) + +Final-Recipient: rfc822; Camm@enhanced.com +Action: failed +Status: 4.0.0 +Diagnostic-Code: X-Postfix; Name service error for enhanced.com: Host not + found, try again + + + +> Another BTW, just released a new axiom Debian package, +> 0.20040128-1, which built without a hitch for me and should eventually +> make its way across all the other Debian platforms when the +> autobuilders take hold. This build used Debian's externally +> installed gcl, 2.6.1-23, but I can't think of any changes since axiom +> took a snapshot of the 2.6.1 tree which would explain this. + +As I said, my issue seems to have vanished in /dev/null. Anyway, if this +issue reappears, you'll be the first to be informed. :) + +Sorry to have taken your time for a false alarm, + +\start +Date: Sun, 01 Feb 2004 18:52:17 +0100 +From: David MENTRE +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] Bug #5059 closed + +Hello, + +After a checking on my own side (did you said paranoid? :), I have +closed bug #5059 (Axiom does not compile with upshifted characters in +path). Tim has applyied Juergen patch. This opens the door to Mandrake, +SuSE, Red Hat & Co. packaging (all packaging systems with upshift +characters in path). + +\start +Date: Sun, 1 Feb 2004 16:21:17 -0500 +From: root +To: camm@enhanced.com, david.mentre@wanadoo.fr +Subject: [Axiom-developer] Mandrake + +speaking of Mandrake, GCL won't configure + +configure fails with: + +checking Checking for buggy gcc version from redhat... no +configure: creating ./config.status +config.status: creating makedefc +sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +config.status: creating windows/gcl.iss +sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +config.status: creating windows/gcl.ansi.iss +sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +config.status: creating windows/install.ansi.lsp +sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +config.status: creating windows/gcl.install.lsp +.... + +\start +Date: Sun, 1 Feb 2004 23:20:59 -0500 +From: root +To: tez@kamihira.com +Subject: [Axiom-developer] ViewARCH + +Tez Kamihira, + +I understand you have an archive browser for GNU Arch. +I can't seem to find the sources for it. Is it available? +I'm trying to use GNU Arch for Axiom and a view would be useful. + +\start +Date: Mon, 02 Feb 2004 13:40:17 +0900 (JST) +To: daly@idsi.net +From: Tez Kamihira +Subject: [Axiom-developer] Re: ViewARCH + +Hi, + +On Sun, 1 Feb 2004 23:20:59 -0500, root said: +> Tez Kamihira, +> +> I understand you have an archive browser for GNU Arch. +> I can't seem to find the sources for it. Is it available? +> I'm trying to use GNU Arch for Axiom and a view would be useful. +> + +Here it is: + + http://arch.bluegate.org/download + +Sorry for tha lack of information. It's not so user-friendly yet. +Feel free to send me e-mails until official ViewARCH project will +be available on Savannah. I've already requested it. ;-) + +\start +Date: 02 Feb 2004 08:58:08 -0500 +From: Camm Maguire +To: daly@idsi.net +Subject: [Axiom-developer] Re: [Gcl-devel] Mandrake + +Greetings! This is either a sed or more likely an emacs problem. An +emacs must be installed for gcl configure currently. In general, the +build-dependencies for GCL are listed in the head of the file +debian/control -- installing these should make these problems go away, +I'd wager. + +We can and should rework the configure not to require emacs, IMHO. In +fact, we may already have, if the user supplies --enable-emacsdir, +though I haven't tested this. + +Please let me know if problems persist. + +Take care, + +root writes: + +> speaking of Mandrake, GCL won't configure +> +> configure fails with: +> +> checking Checking for buggy gcc version from redhat... no +> configure: creating ./config.status +> config.status: creating makedefc +> sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +> config.status: creating windows/gcl.iss +> sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +> config.status: creating windows/gcl.ansi.iss +> sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +> config.status: creating windows/install.ansi.lsp +> sed: file /root/tmp/csz20d9T/subs-1.sed line 32: Unterminated 's' command +> config.status: creating windows/gcl.install.lsp + +\start +Date: Mon, 02 Feb 2004 19:12:58 +0100 +From: David MENTRE +To: Tim Daly +Subject: [Axiom-developer] Patch for clef & detailed procedure to make it using GNU Arch + +Hello Tim, + +As requested, here is the patch to make clef work as an Arch +changeset. Please find below how I made it. I hope it is clear. If you +have questions, do not hesitate to ask. + + +BTW, I have made a mirror of my own Arch archive on the web: + + dmentre@linux-france.org--2004-code http://www.linux-france.org/~dmentre/arch-ive/ + +The below changeset is available in this archive (as "axiom--clef--1"). +So, if you want, you can try to get my patch from there and try to play +with "tla star-merge". + + + +In below explanation, following prefixes are used: + ###: for my comments + + $: shell commands I typed + + [ ]: my comments on tla output or things to do + + the rest: tla output + + + + Using tla to make a local changset of a remote tree + =================================================== + +Source: +http://wiki.sourcecontrol.net/moin.cgi/Quick_20Introduction#head-81b77b0d13fff3dc6b98b64cd707f520e4ed32d5 + +### make my own axiom branch for clef +$ tla archive-setup axiom--clef--1 +* creating category dmentre@linux-france.org--2004-code/axiom +* creating branch dmentre@linux-france.org--2004-code/axiom--clef +* creating version dmentre@linux-france.org--2004-code/axiom--clef--1 + +$ tla tag axiom@tenkan.org--axiom/axiom--release--1 axiom--clef--1 +* made tag dmentre@linux-france.org--2004-code/axiom--clef--1--base-0 => axiom@tenkan.org--axiom/axiom--release--1--patch-1 + +### get a working copy of this branch +$ tla get axiom--clef--1 +* from import revision: axiom@tenkan.org--axiom/axiom--release--1--base-0 +* patching for revision: axiom@tenkan.org--axiom/axiom--release--1--patch-1 +* patching for revision: dmentre@linux-france.org--2004-code/axiom--clef--1--base-0 +* making pristine copy +* tree version set dmentre@linux-france.org--2004-code/axiom--clef--1 + +### make modifications +$ cd axiom--clef--1--base-0/ +[ edition of Axiom source code, complete compilation, cheking ] + +### commit modifications to my local archive +$ tla changes --diffs +[ look at the diff to see what has been modified ] + +$ tla make-log +/home/david/pub/axiom-libre/axiom--clef--1--base-0/++log.axiom--clef--1--dmentre@linux-france.org--2004-code + +$ emacs ++log.axiom--clef--1--dmentre@linux-france.org--2004-code +[ make a proper log file ] + +$ tla commit +[ a lot of output ] +* update pristine tree (dmentre@linux-france.org--2004-code/axiom--clef--1--base-0 => axiom--clef--1--patch-1) +* commited dmentre@linux-france.org--2004-code/axiom--clef--1--patch-1 + +### get the latest changeset +$ tla get-changeset axiom--clef--1--patch-1 + +$ tar zcvf axiom--clef--1--patch-1.patches.tar.gz axiom--clef--1--patch-1.patches + +[ email axiom--clef--1--patch-1.patches.tar.gz to Tim :) ] + +--=-=-= +Content-Type: application/octet-stream +Content-Disposition: attachment; + filename=axiom--clef--1--patch-1.patches.tar.gz +Content-Transfer-Encoding: base64 +Content-Description: clef patch + +H4sIAK6PHkAAA+1d/1fbRhLn1/ivmHPSO4iRLcmWBU7II4XkSktIDshr7i73qCLJWA9bciQZcFv+ +95vd1ZddSWDZENG+al6ehWZnZlefWc/saCXHuHa8iSSZY3soSYokTY3QHElKmx7toLP2ACTLPVnX +NDzKiq7J/DGmNQU/kKf3ld6arGiq3lsD7SE6X0SzIDR8gDXLuHSsO+QWtf9JyVjgf893zh3XGEue +O55LluNLEzs0LCM0yvcho3P7vV55/6tqV9HXQP52l51S7f87/T/xLGfo2FbF/lf1bu3/KmiR/317 +4l2i+4fO2A4kwzdHzqW9ZFZYOv6rSk+r438ltMj/rn11L98TWt7/cl+u/V8JLe//38gfN8tMg+X9 +ryqKUvu/ClrZ/1Sx3CxY3v9dVe3X/q+C7ul/Tv32ubC8/7Wuqtf+r4Ie0P+iKW46LO9/vd/r1v6v +gtqddmf30HPPDx334hv1Efv4liNOBl2YC7KiaLq6BoffaDwCxf73PS+8S25R+5+Uvt3335rYbujb +u2PHnV1LQ99wTbvt+eeSpGJAkEzPWqWWqOlhqQL/Lx//u0pPr9d/ldAfIf5jtZeL/5pex/8q6HHj +P+tt7J3XmeCRqI7/dfx/9PivynX8fyT6o8T/qN/HhuMvR5XE/7v3f1UMAPn4r9T7v1XQsX3pBI7n +DuCWmdB4zfw+gBJf6Maebxuh5w9gn8AF794cnR6/gZe3qb5q7Bshmn7nufDW/gKggrI10OSB3IO9 +N6dADDdOQsO1DN+SLCpLO5NV/AeKHsn+891p4138pAKdrmjTuLDJn23aKQS+2aHT1LacL8g1cYpP +pqOxHTYAiTTbodlJtOLWpIXik8iOnS+3yJIWb2q703DOd3KEX6ToS1UKys5t/jiZTSaGPx/ABLsH +0gxXnn+xCRPH9XwwPd+3zRBdGoDjMq9CMLLHYwhM35mG8PcEmqDxkz1HZQuH1Gg8hwM3Re2QDG0T +LDxzbXj22+uff7oBI4Bz4+oCDQehbVjgDYGcon9gFtjghMQK9kpHRa4C1m/HfaPRAIldhe37dOiu +5bCRTzwfudfTsWM6Iayz9okdBMa5DVPfcUPbYvpTH8H24Wk00CHK0aHD+xNwAmgeHhx9/DQdGyG2 +TJp0qK4XQpNC34yu+tx2bR9nlwVNClhTQGxAO0pGQwJGOJsSMDpfHLcTjGg7ZcOVE47Y5ZMHZvAD +LlzvyoVgNp16PukhmCN2kwDWzRl6yg1RqklH3NygTojnceolCD0wDRxO89lve3s3QD7f3jR5L1gO +cfp4jvOzeW6azTacjmaoOEK0DN+Y2KHtMzveZIo22RAN347ww0EEOH9n03bjsSNSTVXSovz/EM+B +Lv/8Z19X6/2fSqis/8VsyprL9rHo+b8+FnuZ5z/6aq9e/1VBkiQBecY34+BGq9XCJGxl2bu7IG1t +6tAiH7u7DTjcfzvYAemwMwv8zidFOe6TBRA04CnsxcnGJ4kH1wcN2Nsb7GB6goaEy4kdXDo0WuQP +sqZowPHro8OD73dwMYQWGnD6/uPeDzuhNzNHePL6eAf9RPvv9ckA6CcZwZPddTAtTIrvv//xpoPJ +FteRL+AzNhDHSr9eD7HtPwcfTqJGSW0rstEOz3+NxDLKHVyx0BbpSbuDA3Mxe7JVD2G2OGa0KLrV +SseM26biENqI7AwTO10M4RcJ2pEgO3tZLEREHtz/Zb//5HJW7WP5+K9rilrH/ypoGf/f/ZTP7bTC +85+9Ov9XQ0v7P1fGLV4LLMr/utLN+L+nq3Kd/6ugJP/fcX8kXgvcIULysiprm9vQYgeSmSMae94F +GCFM5oBV6IS8TURqZ1KbYsUf+t4Y1xbnaRsp4Unjue9hlf28wwxheRo41vrGiwauHggjZvuXtn80 +m8AOkLsu64zxwQhHm+/Pjvd/PkYNJt8in84Q1jkdXLooGzCl9xfWm8QApAZgaODqxWqihRbrrfMc +Asc1bTgAY8KuYOSMrU08Nw1y28MLsKIOzU16n8HC4U/DgF4QKd+dMMEkiO5pgWWzewwelufxpZIx +oq6aDnQT5I3sYIkEyNwYV/L/Mt9/chdslT5WiP9qX6vjfxW0rP9z9zxLlIIL4r+iYLGXif99tX7/ +rxIS4n+hg4XwXyxBor/SJVUZfm7R2P/yJZ1Z5sR69WqnQUqjj6fRptEAzw6ObuIb6k92bXPkgULu +BJM8wIvC0McPXlyKxO1rcjsVXn86eP9uBwsxcryBV7wy1mpMtvn0b9GN2uYtElkzohQO0cT8xQ2j +SGKEGEHrGsQGio2mEWy0uGJFbIKvAizBVwLKu4N9+nfbTFDpZVEJvsaYcNJSUgMTJhaKpMaWPCDS +VAI2yKWKMvy95KwwuZ4p10fUPV6O0HHiSXKSTofHntM1ladl4z+VX+7238L4n9v/VdWeUr//Wwnl +4n8UGDMxn3FpnN/sYpjfVDQSyqRnNGLS6Er/CuZBo8XHZgwZLbbjtfPLjN41k4JfCNM0cKncfMba +yF4WW5/TnbANtj0l2VBgH5V2m0yY0IsX7G/2+XwjbWGx/2fDdzGADnCJbnnuP0K6H0eW2LQLJ+B2 +5jwX5t7Mj3boYD0a3AYEXiJtOYGBtY/VbmY7gn97M1oFhP4cl/rwBT+DYEaC9+fmXdfzbPdzk9wq +nWBJUGD2YEiskS3eYBOmY5vg5tsU4dCLdu0t+9Iek328Xddzz90Z2UvmTZWD0Q4Mc8UyoqY/KS0T +/8mTDav0sVL9J9f1XxW0rP8fvv5TurKe3f/r9bv1/l8lJOT/QgcLa4FiiYJduahe+RJYgXPuGuO2 +l1Q4KS+tc9RMncPpCfVORjfe+UOVaMuOVj7474BUJrS+yerRWkgsfhbJ07Jn//3ewZEwNLNtXTpx +DcSz0yfLosvrppd3ixm+0i00RTDW6darviVibA5nbiCZHMIxJ8W3n8E30RHQFfRKY5tolUKWlxZw +TRp4VFNmDlM9j6lggke0wAxdy8rspgU98IjO/MDzeUAZI8VTkbOARioinpxaeTgjpXJopsIimBFf +wDLm5aBUlAIsOQsClDkrFEmVTk124JC0LcflcKSnHIrZ2xtMXMAwVSmNIFMphV8iKqDHuDx2ESeP +nJZHLtXmcctaoKhpbP5pmfk3dM3w7MKec8glLA69rQx6qZqAoKhaGsVUrRSSgriAZtrCI8px86hu +51EVrfDIFlmi6LJwqWTj5cgYjz0+XEYMLhtl01GsIuDKq5VGNVYqhSknLCAa83k8E14OTbUg+/AW +eCzzVtjOHk3u7CAgGYwEHPGUQzGbdJh4BsNYZQkEiUpJ/CLRDHqEK2JHOXnkCnJMqi3iJlqgqHUV +iho9cKjFD4enwCWPi6cLhmx+SZQE+ATF0ggmWqVA5KUFHNOH3DkoC558T66pIMsINnhAC+xQTDU2 +E7XMTJw61xNjykEaMThEs7kmVhEA5dVK4xkrlYKTExbQjPk8mAkvj2VB3uEt8FDmrVAkt9js3MrM +zqkf8jDiGYdhNuNQYRHAWKE8ekSjHHSRpIgbYQqgUUYesYKckugKcIn6BKuuohKs2IHDKvDMC8cT +lt4Ji9vDyWaTVE2ATlQtjV+qVgpEQVxAMm3h4eS4OUx7BZlFtMIDW2SJotvVKbr0wKM7NSzTG3t+ +wOObMjmEs5mGVxUxzqiXR5lTLIezqCAizbUJWPP8PNoF2ShriV3sZ4Zrn64u2YHDdRY6fDlOT1Ms +tWzmYeICiqlKafyYSinkElEBM8bl0Yo4OZy0gjyTavMzMmuBorZFV43swKF2ZfJxkZxxmGVzCxUW +IEsUSiNGNUoBFksKeFEmDxdj5NEqyCSJLg9WRp/e82Gb/uzAYfVp3wlHNl9AxxwOs2wuSZQE3ATF +0tglWqXw46UFDJMGHseUmceyIMcINng8C+xQTLt0/rEDj+nJyLBsHlLG4O7xZPNMrCICyqmVxzNS +KgdnKiyiGfEFMGNeDst+QW7hLQhQ5qywO5Jsdmbj36cTDJpvnfFYADPmcXhmswqnmIFUUF4C1USv +JLC8fAbbpEmEN2XnES7IJxk7IsgFth779nVN96Rl93/yddn9n//uq1r29z/lbv3+fyWU2/8pKLyz +G0C31eZyj90l6sVvZgX0Te0hfY55E5ody77shOF8+p2sXjc3wRwZrmuPjzzyUPeT5KzVwtOntms5 +w4b01BlG76Bb6ycfj+IXuTfg999jPqz/8GG7qGF9zB4mabTuZUV4gxyt4XWFRuiYgNeWXgPsgPwi +bUO+z55g/+//sKk5/eoH4ezy6nr+64d/HZ+cNl+IdqhobKVC/5f5/z/If/sQSI5r2dcr9UG+/72l +/v8H8gZQ/f2vgkr5n/0AzMoTYJH/db2f9X+3/v2XaqidecMXrs9OncnZvjGen7FHuHdD270wXPpz +LWeno9nZj4Z7pm6fKd1BVxuo2hn5yRL8UPStttxo3/GWENqmFhcZ3hrI+kDpMcOKKve3E8PFP9Gy +ot0tVbDLnuxe1VYvsVX80zBL2d2O7W73VMFuPvWualjT0HCp///nvuF/lfgvq/Xzv5VQGf/fM/wv +8r/Szftf0ev3Pyuh9rf9PT94ffaNe2jUGeyvncFqqqmmmmpahf4PIwXaxAB4AAA= +--=-=-=-- + +\start +Date: Mon, 02 Feb 2004 19:53:05 +0100 +From: David MENTRE +To: Tim Daly +Subject: Re: [Axiom-developer] Patch for clef & detailed procedure to make it using GNU Arch + +David MENTRE writes: + +> As requested, here is the patch to make clef work as an Arch +> changeset. + +Tim, if you want to have a look at the content of the changeset I sent +you, you can type following command after unzipping-untaring it: + +$ tla show-changeset --diffs axiom--clef--1--patch-1.patches + + +The tla command apply-changeset (alias dopatch) should probably be used +to apply the patch, I haven't used it however. + +\start +Date: Mon, 2 Feb 2004 18:52:14 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] Re: [Gcl-devel] Mandrake + +Ah, so that's the problem. I did a minimal install because I only have +a 2 Gig drive on that machine. I later tried to install emacs but there +does not appear to be a possible correct ordering of the rpms so I failed. +I'll try again. It is most frustrating. + +\start +Date: Mon, 2 Feb 2004 20:25:55 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: Re: [Axiom-developer] Patch for clef & detailed procedure to make it using GNU Arch + +I see you couldn't resist fixing other things :-) +Note that Makefile.linux is an output file and the change +really has to be applied to Makefile.pamphlet for it to be +permanent. + +I applied the patch and I'm going to try the same patch cycle as you did +and see if I can also make it work. + +I didn't try the tla star-merge you suggested (yet). +I'll try that change in the future. + +Thanks for the transcript and the testing. +Most excellent work. + +\start +Date: 02 Feb 2004 21:26:57 -0500 +From: Camm Maguire +To: daly@idsi.net +Subject: [Axiom-developer] redirecting *system-directory* in makeint.lisp + +Greetings! Am just wondering why this is necessary. I have to save +*system-directory* before running makeint.lisp and restore it +afterwards to enable the build to complete on architectures currently +without save-system (ia64 mips alpha hppa), as GCL uses +*system-directory* to find its include file cmpinclude.h when +necessary. + +\start +Date: Mon, 2 Feb 2004 22:27:52 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] Re: redirecting *system-directory* in makeint.lisp + +I believe that Axiom uses it to find external functions it runs. +(Or maybe not. The actual reason is lost to time). +Currently there are no external functions. + +\start +Date: Mon, 2 Feb 2004 22:29:13 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] clef patch + +I've applied your clef changeset. +You should be able to see it. +I'm going to modify Makefile.pamphlet to permanently include +your change to Makefile.linux by following your instructions. + +\start +Date: Tue, 3 Feb 2004 07:22:00 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] Re: [Gcl-devel] Mandrake + +Camm, + +The unterminated 's' command in config.status is not related to emacs. +I rebuilt the Mandrake box from scratch and installed emacs. Then I +rebuilt GCL with the same result as before. Do you have a particular +version of sed you require? + +\start +Date: 03 Feb 2004 13:56:20 +0100 +From: Peter Simons +To: Tim Daly +Subject: [Axiom-developer] Re: build bug + +Tim Daly writes: + + > export AXIOM=/usr/local/src/axiom-current/mnt/linux + > export PATH=/usr/local/src/axiom-current/obj/linux/bin:$PATH + > cd /usr/local/src/axiom-current/obj/linux/interp + > lisp + >> (load "makedep.lisp") + + > if this fails please send me the makedep.lisp file. + +I attached it to this e-mail. The lisp interpreter crashed +with a "fatal error [memory may be damaged]". + +Peter + + +--=-=-= +Content-Disposition: attachment; filename=makedep.lisp + +(load "/usr/local/src/axiom-current/obj/linux/interp/sys-pkg") +(push :oldboot *features*) +(load "/usr/local/src/axiom-current/obj/linux/interp/nocompil") +(load "/usr/local/src/axiom-current/obj/linux/interp/util") +(in-package "BOOT") +(build-depsys (quote ( "/usr/local/src/axiom-current/int/interp/vmlisp.lisp" "/usr/local/src/axiom-current/int/interp/ggreater.lisp" "/usr/local/src/axiom-current/int/interp/hash.lisp" "/usr/local/src/axiom-current/int/interp/bootfuns.lisp" "/usr/local/src/axiom-current/int/interp/union.lisp" "/usr/local/src/axiom-current/int/interp/nlib.lisp" "/usr/local/src/axiom-current/int/interp/macros.lisp" "/usr/local/src/axiom-current/int/interp/comp.lisp" "/usr/local/src/axiom-current/int/interp/spaderror.lisp" "/usr/local/src/axiom-current/int/interp/debug.lisp" "/usr/local/src/axiom-current/int/interp/spad.lisp" "/usr/local/src/axiom-current/int/interp/bits.lisp" "/usr/local/src/axiom-current/int/interp/setq.lisp" "/usr/local/src/axiom-current/int/interp/property.lisp" "/usr/local/src/axiom-current/int/interp/unlisp.lisp" "/usr/local/src/axiom-current/int/interp/foam_l.lisp" "/usr/local/src/axiom-current/int/interp/axext_l.lisp")) "/usr/local/src/axiom-current/mnt/! + linux" "/usr/local/src/axiom-current/lsp/gcl-2.6.1" "/usr/local/src/axiom-current/src" "/usr/local/src/axiom-current/int" "/usr/local/src/axiom-current/obj" "/usr/local/src/axiom-current/mnt" "linux") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/postpar.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/postpar.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/postpar.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/postpar") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/parse.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/parse.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/parse.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/parse") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/parsing.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/parsing.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/parsing.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/parsing") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/metalex.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/metalex.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/metalex.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/metalex") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/bootlex.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/bootlex.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/bootlex.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/bootlex") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/newaux.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/newaux.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/newaux.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/newaux") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/preparse.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/preparse.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/preparse.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/preparse") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/postprop.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/postprop.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/postprop.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/postprop") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/def.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/def.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/def.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/def") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/metameta.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/metameta.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/metameta.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/metameta") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/fnewmeta.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/fnewmeta.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/fnewmeta.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/fnewmeta") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/clam.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/clam.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/clam.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/clam") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/slam.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/slam.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/slam.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/slam") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/g-boot.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/g-boot.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/g-boot.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/g-boot") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/c-util.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/c-util.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/c-util.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/c-util") +(unless (probe-file "/usr/local/src/axiom-current/obj/linux/interp/g-util.o") (compile-file "/usr/local/src/axiom-current/obj/linux/interp/g-util.lsp" :output-file "/usr/local/src/axiom-current/obj/linux/interp/g-util.o")) +(load "/usr/local/src/axiom-current/obj/linux/interp/g-util") + + +\start +Date: 03 Feb 2004 12:14:21 -0500 +From: Camm Maguire +To: daly@idsi.net +Subject: Re: [Axiom-developer] Re: [Gcl-devel] Mandrake + +Hi Tim! OK, so some other variable to be substituted is not being set +-- this usually is the emacs directory, but apparently not in this +case. + +Please post the full configure output and config.log. No special +version of sed is required. + +Take care, + +root writes: + +> Camm, +> +> The unterminated 's' command in config.status is not related to emacs. +> I rebuilt the Mandrake box from scratch and installed emacs. Then I +> rebuilt GCL with the same result as before. Do you have a particular +> version of sed you require? + +\start +Date: Tue, 03 Feb 2004 19:22:51 +0100 +From: David MENTRE +To: daly@idsi.net +Subject: Re: [Axiom-developer] Patch for clef & detailed procedure to make it using GNU Arch + +Hello Tim, + +root writes: + +> I see you couldn't resist fixing other things :-) + +Yes, unfortunatly. It goes against the clean changeset idea of Arch. And +I'm not sure my "fixes" are correct at all. I'll try to avoid that in +the future. + +> Note that Makefile.linux is an output file and the change +> really has to be applied to Makefile.pamphlet for it to be +> permanent. + +Oops. Sorry. Thank you for the remainder. + +\start +Date: Tue, 03 Feb 2004 20:17:02 +0100 +From: David MENTRE +To: daly@idsi.net +Subject: [Axiom-developer] Re: clef patch + +Hello Tim, + +root writes: + +> I've applied your clef changeset. +> You should be able to see it. + +I've got it. Apparently, you have integrated the patch as-is. + +I also noticed that you did not provided a Summary when integrating the +patch (see with "tla logs -s"). + +If you make further modifications related to clef, I'll try to integrate +them in my axiom--clef--1 tree. + +\start +Date: Wed, 4 Feb 2004 13:13:00 -0500 +From: Tim Daly +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] axiom book + +David, + +Ok. The next task is to figure out the magic set of commands that +will allow me to create a project which is a branch off the base +axiom project. I have several branches that I want to create but +I'll make the next branch the "working copy" of the book sources. +That way we can all work on it. + + +\start +Date: Wed, 04 Feb 2004 20:10:14 +0100 +From: David MENTRE +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] [Q&A][2004-02-04] Current bug status + +Hello, + +We have currently 30[1] open bugs. Here is the list of them with some +comments. I tried to sort them by severity, so that we could do our +stable release as fast as possible. + +I'm new to this "job", so do not hesitate to criticize, add new bugs or +add any things I have overlooked. + +And last but not least, each one of us should try to fix them. There is +no magic silver bullet to fix bugs. :) + + +I have used following severity levels: + 9 - Blocker: a show stopper bug. Must be fixed for our next stable + release (i.e. release critical) + 5 - Average: An annoying bug that should be fixed + 3 - Ordinary & 1 - None: feature wish and other low priority + items. More a reminder than a bug. + + +Item ID Severity Status Summary +======= ======== ====== ======= + +7585 9 - Blocker Open The current free Axiom has no complete documentation +5906 5 - Average Open TeX display of long variable names is broken + Just a bad display. Reduce it at severity 3? + +4551 5 - Average Open duplicate functions exists. optimizer complains during rebuild + As far as I know, it does not impact Axiom compilation and + working. Reduce severity to 3? + +4552 5 - Average Open protect* functions should be #:NAG only + Tim-bug-that-I-don-t-understand-:-) + +4556 5 - Average Open duplicate definition of a function in PSETCAT + +4561 5 - Average Open axiom option -rm no longer works +4562 5 - Average Open axiom option -rv no longer works + +4564 5 - Average Open Axiom access to OpenMath library no longer works + Apparently, this is a show stopper for at least one of our potential + user. + +4582 5 - Average Open Semantic Errors when building algebra + I don't know if those are just warnings or real errors. + +4583 5 - Average Open French error message when building SPLTREE + Is it a real error or just a funny message? + +5786 5 - Average Open TeX output broken on factor(15) + Once again, a display error. Reduce severity to 3? + +6357 5 - Average Open sqrt(-1/abs(x))-1/sqrt(-abs(x))=>0 + +6490 5 - Average Open when is broken + Should I move this one to severity 9? + +6863 5 - Average Open The normal distribution should be numerically invertable + +7376 5 - Average Open integrate fails + This one is fixed. -1. + +7527 5 - Average Open Clef does not work + This one is fixed. -1. + +6093 5 - Average Open Missing tex-tags in axiom.sty + +4580 5 - Average Fix proposed With safety 3 activated, axiom does not compile + Maybe I should reduce this one to severity 3? On the other side, I + wonder if some bugs are not lying in the underlying lisp. + +4733 5 - Average Fix proposed Floating point error round(-3.77623) etc. + A real issue. Should I increase to severity 9? + +5379 5 - Average Fix proposed Missing algebra (was: package CombinatorialFunction (COMBF) is missing) + Is it release critical? I don't think so. + +5743 5 - Average Fix proposed Makefile issues: INTERP.EXPOSED is remade every time & typos in the algebra/Makefile + Wasn't this one fixed? + +4553 3 - Ordinary Open one? function calls need to be restored +4565 3 - Ordinary Open log10 in GCL returns a bad value for log10(1000) +5614 3 - Ordinary Open incorrect TeX output from radix() +5785 3 - Ordinary Open partialFraction((2*x^3)::UP(x, FRAC INT), (1-x^2)) is not correctly expanded +6903 3 - Ordinary Open Category compiles with the compiler but not within the interpreter +4578 3 - Ordinary Open Underlying common lisp system should have a binding to OpenMATH library +5928 2 Open Rethink TeX output design +5927 1 - None Open Remove "latex" from algebra code +4585 1 - None Open Lisp system should handle unlimited number of arguments + +[1] In fact, after writing this email, I see we have only 28 bugs + left. :) + +\start +Date: Wed, 04 Feb 2004 20:18:54 +0100 +From: David MENTRE +To: Tim Daly +Subject: [Axiom-developer] Re: axiom book + +Hello Tim, + +Tim Daly writes: + +> Ok. The next task is to figure out the magic set of commands that +> will allow me to create a project which is a branch off the base +> axiom project. + +I've looked at Arch tutorial and from what I have seen, the basic +procedure is the same one as I used to do my clef work[1]: + + +1. tla archive-setup axiom--axiom-book--1 + +2. tla tag axiom@tekan.org--axiom/axiom--release--1 axiom--axiom-book--1 + +3. tla get axiom--axiom-book--1 + +[1] http://mail.gnu.org/archive/html/axiom-developer/2004-02/msg00006.html + +\start +Date: Wed, 4 Feb 2004 13:34:44 -0500 +From: Tim Daly +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: axiom book + +ok. I'll look at it tonight. (I'm lagged a bit because this is the +first day of teaching and I'm creating the course from scratch +(open source programming) so it's taxing.) + +\start +Date: Wed, 04 Feb 2004 22:11:36 +0100 +From: David MENTRE +To: daly@idsi.net +Subject: Re: [Axiom-developer] Patch for clef & detailed procedure to make it using GNU Arch + +Hello Tim, + +root writes: + +> I didn't try the tla star-merge you suggested (yet). + +I have star-merged my axiom--clef--1 with your axiom--release--1. + +In other words, my axiom--clef--1--patch-2 is exactly the same as yours +axiom--release--1--patch-2. + +$ tla logs --merges +patch-1 +patch-2 + merges in: + axiom@tenkan.org--axiom/axiom--release--1--patch-2 + + +If you make further modificatons on clef, I'll try to see if I can keep +my axiom--clef--1 in sync. + +PS: What I have done? + +tla star-merge axiom@tenkan.org--axiom/axiom--release--1 +tla make-log +tla log-for-merge >> ++log.axiom--clef--1--dmentre\@linux-france.org--2004-code +vi ./++log.axiom--clef--1--dmentre\@linux-france.org--2004-code +tla commit + +\start +Date: Wed, 4 Feb 2004 22:42:55 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Makefile.linux change + +Well it took a while to figure out but I succeeded. +The change you made to Makefile.linux doesn't need to be +backported into the Makefile.pamphlet file because Makefile.linux +will be automatically regenerated (since it is old) and the newly +generated Makefile.linux will already have your fix applied. +In fact the correct change is to delete the Makefile.linux file. + +\start +Date: Thu, 5 Feb 2004 00:58:21 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] new patch + +On the arch main tree Makefile.linux has been removed. +It took 2 tries to get the patch to take effect as I made a +mistake and applied the patch to the archive directory rather +than the axiom tree (which arch did not complain about). +There is no such thing as a simple job. + +On the CVS tree I have your clef changes and the Makefile.linux removal +pending the result of a clean build/test running overnight. If the tests +work I'll push your changes to savannah. + +I didn't get to the task of creating a branch on the arch main tree yet. +I'll let you know when that happens. + +\start +Date: 05 Feb 2004 11:35:36 -0500 +From: Camm Maguire +To: David MENTRE +Subject: Re: [Axiom-developer] [Q&A][2004-02-04] Current bug status + +Greetings! + +David MENTRE writes: + +> 4565 3 - Ordinary Open log10 in GCL returns a bad value for log10(1000) + +I know this one has been discussed before, and I thought Tim had some +workaround, but if not can't we just do this? + +(defun ilog10 (x) (multiple-value-bind (x y) (round (log x 10)) x)) + +ILOG10 + +>(ilog10 1000) + +3 + +\start +Date: Mon, 09 Feb 2004 22:19:19 +0100 +From: David MENTRE +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] [Inmaculada Medina Bulo] Polynomials in ACL2 + +Hello, + +I've seen this email on ACL2 mailing list. Apparently, this person as +done some verification of (very simple) properties of polynomials. Might +be of some interest in the future if somebody wants to tackle Formal +Verification of Axiom. + +--=-=-= +From: Inmaculada Medina Bulo +To: acl2-help@lists.cc.utexas.edu +Subject: Polynomials in ACL2 +Date: Mon, 9 Feb 2004 13:26:50 +0100 + +El Viernes, 6 de Febrero de 2004 23:43, Julien Schmaltz escribió: +> Hi, +> +> I need to perform basic operations on polynomials: addition, substraction, +> multiplication and division of two polynomials P(x) and M(x). +> Have someone already worked with these objects? In that case, is there a +> book I can use? + +Hi Julien, + +Sorry for the delay in replying. + +I have implemented and certified a book about polynomials. In this book, you +can find addition and multiplication of two polynomials, and negation of a +polynomial. The fundamental properties have been verified with ACL2. However, +it does not include division of polynomials. + +I presented a paper about this, "Automatic Verification of Polynomial Rings +Fundamental Properties in ACL2", in ACL2 Workshop 2000. + +This paper presents a formalization of multivariate polynomials over a +coefficient field (initially, Q) along with the verification of its ring +properties. Later, I formalized multivariate polynomials over an arbitrary +(abstract) ring. + +However, an inconvenient is that this particular formalization is not +efficient. In fact, I have the intention of improving it. + +Regards, Inma + +-- +Inmaculada Medina Bulo + +\start +Date: Tue, 10 Feb 2004 01:03:11 -0500 +From: root +To: david.mentre@wanadoo.fr, axiom-developer@nongnu.org +Subject: [Axiom-developer] gnu-arch and branches + +I'm experimenting with gnu-arch branches and I believe I understand +the process now. There currently is a main line of code called +axiom--release--1 and one branch called axiom--book--1. + +The basic idea is that you decide you want to work on some +subproject (say, the book or the graphics). There will be +a branch for that subproject. All changes are made on that +branch. These branch changes will NOT appear in the main +branch. + +Anyone can grab and modify any branch, commit the changes +to that branch, and then go work on something else. + +Once I get this all worked out I have a dozen or so branches +to create. If you want your own branch I can create one for +you. When a branch is sufficiently mature it will get merged +into the main branch. I'll produce a document describing +the purpose of each branch that I create. + +The main branch will (after testing) be copied on the main +axiom website in the savannah CVS system. + +The purpose of this exercise is twofold: first to try to figure +out a way that all of us can pursue our own goals for axiom and +second to figure out a peer-to-peer development model rather +than a thin pipe thru me. + +David, you have your own website and we should try your +suggestion of "star" merging using the axiom--book--1 +branch. + +The current axiom--book--1 branch contains the book source +(src/doc/book.pamphlet) in its latest form. This branch is +intended for all book-related changes. + +If any of this is unclear to any of you feel free to ask +questions. It took me a long time to work this stuff out +and I still have a few wrinkles to understand. + +\start +Date: Tue, 10 Feb 2004 13:08:06 -0500 +From: root +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] [agrawal@ias.edu: Re: Axiom, Literate Programming, and Primes is in P.] + +I just got this message. This is why science and open source programming +are such compatible disciplines. I've converted this paper and am working +on making it part of the documentation. They have done an excellent job +of writing a literate program covering almost all the bases that are +needed to fully document computational mathematics. All it really needs +is an axiom implementation. + +The work in progress is in the axiom--book--1 branch. + +t + +------- Start of forwarded message ------- +Date: Tue, 10 Feb 2004 11:20:30 -0500 +From: Manindra Agrawal +To: daly@idsi.net +Subject: Re: Axiom, Literate Programming, and Primes is in P. +In-Reply-To: <200312010319.hB13Jcj03659@localhost.localdomain> + + +Hi. I was clearing up my mailbox today and saw your mail. I had missed +replying to it. +Sorry. + +>I'd like permission to use your paper as a primary "standard" example +>of how literate programs should be constructed. +> +> +Please go ahead with it. + +best regards, + +- - Manindra +------- End of forwarded message ------- + +\start +Date: Tue, 10 Feb 2004 14:58:20 -0500 +From: Tim Daly +To: caruso@posso.dm.unipi.it +Subject: [Axiom-developer] Re: My Maxima Zeilberger + +Fabrizio wrote: +> +>I am now working on optimizations +>and I still have to check the results of my benchmark +>against Mathematica's equivalent package. +> +> +>Was the "fast_linsolve" command ever implemented +>in MaXima? + +I've never used any solution package in Maxima. + +>This command could make hypergeometric summation +>in Maxima MUCH faster because the bottle of the +>algorithm is a sparse system of linear equations +>with polynomial/rational coefficients. + +I believe that PLEQN might do what you want. + +> +>The manual describes the command but it seems +>to me that it is not availale in the GNU Maxima. +>Please let me know whether it exists as a separate +>package. + +Check with the maxima mailing list.. + +\start +Date: Tue, 10 Feb 2004 20:07:01 -0500 +From: William Sit +To: Tim Daly +Subject: Re: [Axiom-developer] Re: My Maxima Zeilberger +Cc: caruso@posso.dm.unipi.it + +Tim Daly wrote: +> +> Fabrizio wrote: +> > +> >I am now working on optimizations +> >and I still have to check the results of my benchmark +> >against Mathematica's equivalent package. +> > +> > +> >Was the "fast_linsolve" command ever implemented +> >in MaXima? +> +> I've never used any solution package in Maxima. +> +> >This command could make hypergeometric summation +> >in Maxima MUCH faster because the bottle of the +> >algorithm is a sparse system of linear equations +> >with polynomial/rational coefficients. +> +> I believe that PLEQN might do what you want. + +As the author of PLEQN (in Axiom), I am sorry to say that the package is not +suitable for any large system, even if it is sparse. Certain subroutines in that +package would need to be made more efficient to take care of the sparse +structure (not just sparseness). For example, if your system is sparse and +bilinear (that is the coefficients are linear in their variables), you may try a +heuristic algorithm. Fritz Schwartz has done something like that in his LODO +package (in Axiom, and perhaps also in Reduce), I believe. I think Thomas Wolf +also has some package (in Maple?). Clemens Ballarin has done some comparisons. + +Mathematica also has a decent command Reduce that may work, but I do not know +what algorithm is used. + +\start +Date: 12 Feb 2004 09:43:16 -0500 +From: Camm Maguire +To: Tim Daly +Subject: [Axiom-developer] Axiom build issues + +Greetings! We're preparing for the gcl 2.6.2 stable release, which +will hopefully be the last stable for quite some time as we turn our +attention to the development branch. Of course it is very important +for us to make sure this release is solid for axiom. And its looking +quite good so far -- no apparent build problems (due to GCL) on any of +the Debian architectures (see + +http://buildd.debian.org/build.php?pkg=axiom + +if interested). There are a few small items I'd like to squeeze in, +the most important being to ensure that GCL exits with non-zero when +stdin is redirected from a file or pipe and a lisp error is triggered +-- this will stop the commands executed by make at that point. And +there should be an option to quiet the banner. + +Along these lines, I have a question about the regression tests. It +would be nice if the output was compared to results known to be +correct, with the build bailing out otherwise. Then one can be sure +by the mere fact that the build completes that the build is also +correct, (i.e. without having to wade through the output by hand). Is +something like this already in place or possible? + +There are a few other items in the Debian package build which are not +GCL related per se. One is that the build will timeout on slow +machines when compiling expexpand.spad. As was noted before, there +appears to be an inordinate amount of mysterious bignum garbage, or at +least relocatable garbage, being generated here which could be tracked +down at some point. For the time being I've put in a hack to echo a +string every 15min in the background for some period while the make is +running. Another alternative would be to turn on si::*notify-gbc*, +but this would enlarge an already copious output. + +Then there is the question of the outstanding patch we're using in +Debian now 1) to use an external GCL, and 2) to use compiler::link to +build the image on machines which cannot do native relocations (alpha +ia64 mips(el) hppa). Its fine the way it is, but I'm wondering if at +some point we can put in an alternate build target in the Makefiles +supporting these build commands in axiom per se. I'd be happy to +maintain them if/when we decide on a rule structure. The sequence +right now works without issue, but GCL could make this more +transparent on these platforms eventually. Improvements in this area +should however be put off to the next stable release which will likely +be quite some time in the future. + +On a totally different topic, has anyone written an emacs mode for +axiom? I tried out the texmacs interface with the Debian package and +its broken. There is a simple isse regarding paths and executable +names that I can workout with the texmacs maintainer. But this aside, +one still gets garbage using the mode, at least for me. + +\start +Date: Thu, 12 Feb 2004 11:11:57 -0500 +From: root +To: Joris van der Hoeven , Chris Sangwin +Subject: [Axiom-developer] Axiom's latex output + +Joris, + +Chris has raised issues similar to ones you raised in the past. +Is there a common set of "standard latex" primitives you both use? +If so, we can create another latex output format such as + )set output texmacs +that could satify both needs. + +> Date: Thu, 12 Feb 2004 15:09:43 +0000 (GMT) +> From: Chris Sangwin +> To: root +> Subject: Re: [Axiom-mail] TeX vs LaTeX output on AXIOM +> +> Many thanks Tim for your swift response. +> +> I'd certainly like to know more about Joris' "standard latex". I've not +> picked up this thread. I expect a flexible solution would satisfy us +> both. Where is the TeX function defined in the Source. This is my first +> adventure into the AXIOM source, and I have no idea where to begin. +> +> Thanks +> Chris +> +> +> On Thu, 12 Feb 2004, root wrote: +> +> > Chris, +> > +> > Sorry for the delay. I had to prepare for a class. +> > +> > As I understand it you would rather have \frac rather than \over +> > as output for fractions, for example. Since we have the source +> > clearly this can be changed. Unfortunately the change is not likely +> > to be simple because the forms are in different order. You would +> > like +> > +> > {a} \over {b} => \frace{a}{b} +> > +> > I'll look to see where the latex for \over is created. +> > Is it possible to define \over in a .sty file on your side? +> > +> > Joris has a similar complaint. I'm unsure if his "standard latex" +> > is the same as your "standard latex" +> > +> > +> > An alternative path, which I've also mentioned to Joris, is to +> > keep the current output unchanged and implement another output +> > (HTML-tool, Texmacs) for the different front ends. +> > +> > Tim Daly +> > axiom@tenkan.org +> > daly@idsi.net +> > +> > +> +> +> > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET) +> > From: Joris van der Hoeven +> > To: David MENTRE +> > Cc: Bill Page , , +> > , "'Joris van der Hoeven'" +> > Subject: Re: TeXmacs / AXIOM under SuSE 8.0 +> > +> > +> > The brackets around exponents are superfluous in the LaTeX output. + +\start +Date: Thu, 12 Feb 2004 16:24:28 +0100 (CET) +From: Joris van der Hoeven +To: root +Subject: [Axiom-developer] Re: Axiom's latex output +Cc: Chris Sangwin , Joris van der Hoeven + +On Thu, 12 Feb 2004, root wrote: +> Chris has raised issues similar to ones you raised in the past. +> Is there a common set of "standard latex" primitives you both use? +> If so, we can create another latex output format such as +> )set output texmacs +> that could satify both needs. + +1) Most of it is standard LaTeX. +2) Do not use TeX-oddities like \over and \atop. +3) Do not perform manual line-breaking. +4) Use \* for multiplication and \big. as a delimiter in + \sum_{i=1}^n i \big. + +For the rest, just try, and let me know if you have a problem. + +> > Date: Thu, 12 Feb 2004 15:09:43 +0000 (GMT) +> > From: Chris Sangwin +> > To: root +> > Subject: Re: [Axiom-mail] TeX vs LaTeX output on AXIOM +> > +> > Many thanks Tim for your swift response. +> > +> > I'd certainly like to know more about Joris' "standard latex". I've not +> > picked up this thread. I expect a flexible solution would satisfy us +> > both. Where is the TeX function defined in the Source. This is my first +> > adventure into the AXIOM source, and I have no idea where to begin. +> > +> > Thanks +> > Chris +> > +> > +> > On Thu, 12 Feb 2004, root wrote: +> > +> > > Chris, +> > > +> > > Sorry for the delay. I had to prepare for a class. +> > > +> > > As I understand it you would rather have \frac rather than \over +> > > as output for fractions, for example. Since we have the source +> > > clearly this can be changed. Unfortunately the change is not likely +> > > to be simple because the forms are in different order. You would +> > > like +> > > +> > > {a} \over {b} => \frace{a}{b} +> > > +> > > I'll look to see where the latex for \over is created. +> > > Is it possible to define \over in a .sty file on your side? +> > > +> > > Joris has a similar complaint. I'm unsure if his "standard latex" +> > > is the same as your "standard latex" +> > > +> > > An alternative path, which I've also mentioned to Joris, is to +> > > keep the current output unchanged and implement another output +> > > (HTML-tool, Texmacs) for the different front ends. +> > > +> > > Tim Daly +> > > axiom@tenkan.org +> > > daly@idsi.net +> > +> > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET) +> > > From: Joris van der Hoeven +> > > To: David MENTRE +> > > Cc: Bill Page , , +> > > , "'Joris van der Hoeven'" +> > > Subject: Re: TeXmacs / AXIOM under SuSE 8.0 +> > > +> > > +> > > The brackets around exponents are superfluous in the LaTeX output. + +\start +Date: Thu, 12 Feb 2004 15:25:33 +0000 (GMT) +From: Chris Sangwin +To: root +Subject: [Axiom-developer] Re: Axiom's latex output +Cc: Joris van der Hoeven + +>From my end, I have very basic requirement and only need the very simple +standard LaTeX 2e commands. + +I intend to pipe the output through TtH, which won't allow any +packages to be loaded with the \usepackage command. For me the simpler +the better. + +How much detail would you like? + +On Thu, 12 Feb 2004, root wrote: + +> Joris, +> +> Chris has raised issues similar to ones you raised in the past. +> Is there a common set of "standard latex" primitives you both use? +> If so, we can create another latex output format such as +> )set output texmacs +> that could satify both needs. +> +> > Date: Thu, 12 Feb 2004 15:09:43 +0000 (GMT) +> > From: Chris Sangwin +> > To: root +> > Subject: Re: [Axiom-mail] TeX vs LaTeX output on AXIOM +> > +> > Many thanks Tim for your swift response. +> > +> > I'd certainly like to know more about Joris' "standard latex". I've not +> > picked up this thread. I expect a flexible solution would satisfy us +> > both. Where is the TeX function defined in the Source. This is my first +> > adventure into the AXIOM source, and I have no idea where to begin. +> > +> > Thanks +> > Chris +> > +> > +> > On Thu, 12 Feb 2004, root wrote: +> > +> > > Chris, +> > > +> > > Sorry for the delay. I had to prepare for a class. +> > > +> > > As I understand it you would rather have \frac rather than \over +> > > as output for fractions, for example. Since we have the source +> > > clearly this can be changed. Unfortunately the change is not likely +> > > to be simple because the forms are in different order. You would +> > > like +> > > +> > > {a} \over {b} => \frace{a}{b} +> > > +> > > I'll look to see where the latex for \over is created. +> > > Is it possible to define \over in a .sty file on your side? +> > > +> > > Joris has a similar complaint. I'm unsure if his "standard latex" +> > > is the same as your "standard latex" +> > > +> > > +> > > An alternative path, which I've also mentioned to Joris, is to +> > > keep the current output unchanged and implement another output +> > > (HTML-tool, Texmacs) for the different front ends. +> > > +> > > Tim Daly +> > > axiom@tenkan.org +> > > daly@idsi.net +> > > +> > > +> > +> > +> > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET) +> > > From: Joris van der Hoeven +> > > To: David MENTRE +> > > Cc: Bill Page , , +> > > , "'Joris van der Hoeven'" +> > > Subject: Re: TeXmacs / AXIOM under SuSE 8.0 +> > > +> > > +> > > The brackets around exponents are superfluous in the LaTeX output. + +\start +Date: Thu, 12 Feb 2004 15:26:14 +0000 (GMT) +From: Chris Sangwin +To: Joris van der Hoeven +Subject: [Axiom-developer] Re: Axiom's latex output + +This would be fine with me. +Many thanks indeed. +Chris + +On Thu, 12 Feb 2004, Joris van der Hoeven wrote: + +> +> On Thu, 12 Feb 2004, root wrote: +> > Chris has raised issues similar to ones you raised in the past. +> > Is there a common set of "standard latex" primitives you both use? +> > If so, we can create another latex output format such as +> > )set output texmacs +> > that could satify both needs. +> +> 1) Most of it is standard LaTeX. +> 2) Do not use TeX-oddities like \over and \atop. +> 3) Do not perform manual line-breaking. +> 4) Use \* for multiplication and \big. as a delimiter in +> \sum_{i=1}^n i \big. +> +> For the rest, just try, and let me know if you have a problem. +> +> > > Date: Thu, 12 Feb 2004 15:09:43 +0000 (GMT) +> > > From: Chris Sangwin +> > > To: root +> > > Subject: Re: [Axiom-mail] TeX vs LaTeX output on AXIOM +> > > +> > > Many thanks Tim for your swift response. +> > > +> > > I'd certainly like to know more about Joris' "standard latex". I've not +> > > picked up this thread. I expect a flexible solution would satisfy us +> > > both. Where is the TeX function defined in the Source. This is my first +> > > adventure into the AXIOM source, and I have no idea where to begin. +> > > +> > > Thanks +> > > Chris +> > > +> > > +> > > On Thu, 12 Feb 2004, root wrote: +> > > +> > > > Chris, +> > > > +> > > > Sorry for the delay. I had to prepare for a class. +> > > > +> > > > As I understand it you would rather have \frac rather than \over +> > > > as output for fractions, for example. Since we have the source +> > > > clearly this can be changed. Unfortunately the change is not likely +> > > > to be simple because the forms are in different order. You would +> > > > like +> > > > +> > > > {a} \over {b} => \frace{a}{b} +> > > > +> > > > I'll look to see where the latex for \over is created. +> > > > Is it possible to define \over in a .sty file on your side? +> > > > +> > > > Joris has a similar complaint. I'm unsure if his "standard latex" +> > > > is the same as your "standard latex" +> > > > +> > > > An alternative path, which I've also mentioned to Joris, is to +> > > > keep the current output unchanged and implement another output +> > > > (HTML-tool, Texmacs) for the different front ends. +> > > > +> > > > Tim Daly +> > > > axiom@tenkan.org +> > > > daly@idsi.net +> > > +> > > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET) +> > > > From: Joris van der Hoeven +> > > > To: David MENTRE +> > > > Cc: Bill Page , , +> > > > , "'Joris van der Hoeven'" +> > > > Subject: Re: TeXmacs / AXIOM under SuSE 8.0 +> > > > +> > > > +> > > > The brackets around exponents are superfluous in the LaTeX output. + +\start +Date: 12 Feb 2004 13:09:03 -0500 +From: Camm Maguire +To: Frederic Lehobey +Subject: [Axiom-developer] Re: Bug#231800: axiom: )edit command broken +Cc: 231800@bugs.debian.org + +forwarded 231800 axiom-developer@nongnu.org +thanks + +Greetings, and thanks for your report! + +How should the SPADEDIT entry be set? And how should the mapping be +made from object module to source file? + +Take care, + +Frederic Lehobey writes: + +> Package: axiom +> Version: 0.20040128-3 +> Severity: normal +> +> The command )show is broken (see below). Moreover, even if the +> /usr/lib/axiom-0.20040128/lib/SPADEDIT was set, the path would still +> be incorrect: +> +> /usr/lib/axiom-0.20040128/../../src/algebra/BASTYPE.spad +> +> should actually be +> +> /usr/lib/axiom-0.20040128/src/algebra/catdef.spad . +> +> Thanks, +> Frederic +> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ an axiom session ~~~~~~~~~~~~~~~~~~~~~~~~~~ +> (1) -> )show BASTYPE +> BasicType is a category constructor +> Abbreviation for BasicType is BASTYPE +> This constructor is exposed in this frame. +> Issue )edit /usr/lib/axiom-0.20040128/../../src/algebra/BASTYPE.spad to= + +> see algebra source code for BASTYPE +> +> ------------------------------- Operations ------------------------------= +-- +> ?=? : (%,%) -> Boolean ?~=? : (%,%) -> Boolean +> +> (1) -> )edit /usr/lib/axiom-0.20040128/../../src/algebra/BASTYPE.spad +> sh: line 1: /usr/lib/axiom-0.20040128/lib/SPADEDIT: Aucun fichier ou +> r=C3=A9pertoire de ce type +> +> +> -- System Information: +> Debian Release: testing/unstable +> APT prefers unstable +> APT policy: (500, 'unstable') +> Architecture: powerpc (ppc) +> Kernel: Linux 2.4.22-powerpc +> Locale: LANG=fr_FR@euro.UTF-8, LC_CTYPE=fr_FR@euro.UTF-8 +> +> Versions of packages axiom depends on: +> ii libc6 2.3.2.ds1-11 GNU C Library: Shared librar= +ies an +> ii libgmp3 4.1.2-3 Multiprecision arithmetic li= +brary +> ii libncurses5 5.3.20030719-5 Shared libraries for termina= +l hand +> ii libreadline4 4.3-10 GNU readline and history lib= +raries +> +> -- debconf information: +> perl: warning: Setting locale failed. +> perl: warning: Please check that your locale settings: +> LANGUAGE = (unset), +> LC_ALL = (unset), +> LANG = "fr_FR@euro.UTF-8" +> are supported and installed on your system. +> perl: warning: Falling back to the standard locale ("C"). +> locale: Cannot set LC_CTYPE to default locale: No such file or directory +> locale: Cannot set LC_MESSAGES to default locale: No such file or directo= +ry +> locale: Cannot set LC_ALL to default locale: No such file or directory + +\start +Date: Thu, 12 Feb 2004 14:50:49 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] Re: Bug#231800: axiom: )edit command broken +Cc: Frederic.Lehobey@free.fr, 231800@bugs.debian.org + +yes, SPADEDIT is broken. +The issue is that catdef.spad is expanded into its component parts +during the compile process. + +Thus, during system make: + + catdef.spad.pamphlet -> BASTYPE.spad (and other component categories) + +The compiler puts the name of the source (BASTYPE.spad) into the +NRLIB of the file it is compiling. + +The database build process collects these NRLIB entries. + +The )show command uses these entries for the output line: + + Issue )edit /usr/lib/axiom-0.20040128/../../src/algebra/BASTYPE.spad to + see algebra source code for BASTYPE + +The problem is that the name of the originating pamphlet file is not +preserved anywhere. The fix might be to have the pamphlet expansion +process put a line like: + +)origin catdef.spad.pamphlet + +in the generated BASTYPE.spad file and then have the compiler use +that name in the NRLIB. + +I'll put it on the todo list. + +\start +Date: Thu, 12 Feb 2004 15:13:45 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] Axiom build issues + +> Greetings! We're preparing for the gcl 2.6.2 stable release, which +> will hopefully be the last stable for quite some time as we turn our +> attention to the development branch. Of course it is very important +> for us to make sure this release is solid for axiom. And its looking +> quite good so far -- no apparent build problems (due to GCL) on any of +> the Debian architectures (see +> +> http://buildd.debian.org/build.php?pkg=axiom +> +> if interested). There are a few small items I'd like to squeeze in, +> the most important being to ensure that GCL exits with non-zero when +> stdin is redirected from a file or pipe and a lisp error is triggered +> -- this will stop the commands executed by make at that point. And +> there should be an option to quiet the banner. + +Actually it would be more useful if the banner were written to a lisp +variable. Then I could manipulate the string into the axiom banner in +a clean way. + +> +> Along these lines, I have a question about the regression tests. It +> would be nice if the output was compared to results known to be +> correct, with the build bailing out otherwise. Then one can be sure +> by the mere fact that the build completes that the build is also +> correct, (i.e. without having to wade through the output by hand). Is +> something like this already in place or possible? + +There used to be a regression test run that compared the output. +There are some subtle issues but these are taken care of by that code. +In particular, you need to distinguish between bug that you didn't cause +and bugs you did (while testing boundary cases, etc). To do that you + )set msg test on +which is an historical switch I used for exactly this purpose. +It will generate a "DALYBUG" message when an error occurs. If you +wrap your deliberately failing test by turning this switch on you +can tell that the bug is expected. + +I'll put revival of this code on the todo list. + +> +> There are a few other items in the Debian package build which are not +> GCL related per se. One is that the build will timeout on slow +> machines when compiling expexpand.spad. As was noted before, there +> appears to be an inordinate amount of mysterious bignum garbage, or at +> least relocatable garbage, being generated here which could be tracked +> down at some point. For the time being I've put in a hack to echo a +> string every 15min in the background for some period while the make is +> running. Another alternative would be to turn on si::*notify-gbc*, +> but this would enlarge an already copious output. + +This is clearly a bug somewhere. If you can get a clue about what +routine it is running that would focus the search. + +> +> Then there is the question of the outstanding patch we're using in +> Debian now 1) to use an external GCL, and 2) to use compiler::link to +> build the image on machines which cannot do native relocations (alpha +> ia64 mips(el) hppa). Its fine the way it is, but I'm wondering if at +> some point we can put in an alternate build target in the Makefiles +> supporting these build commands in axiom per se. I'd be happy to +> maintain them if/when we decide on a rule structure. The sequence +> right now works without issue, but GCL could make this more +> transparent on these platforms eventually. Improvements in this area +> should however be put off to the next stable release which will likely +> be quite some time in the future. + +We could easily make this change. Look at the top level Makefile.pamphlet. +Each system can have its own Makefile generated. To get this working you + + +(a) copy the \subsection{Makefile.linux} in Makefile.pamphlet (line 813) +(b) create a \subsection{Makefile.debian} and rename linux to debian. +(c) set your AXIOM variable to: + AXIOM=(yourpath)/axiom/mnt/debian +(d) type make + +and you'll get a Makefile.debian built from your new <> +chunk. You can change that chunk any way you like. + +> +> On a totally different topic, has anyone written an emacs mode for +> axiom? I tried out the texmacs interface with the Debian package and +> its broken. There is a simple isse regarding paths and executable +> names that I can workout with the texmacs maintainer. But this aside, +> one still gets garbage using the mode, at least for me. + +I'm unaware of an axiom emacs mode. Likely it would just be a clone of +an existing mode. Axiom used to have emacs tags automatically generated +so that you could walk among the axiom source files using keystrokes. +Tagging should come back and I believe there is lisp code in Axiom to +create the tags already. + +I'll put revival of this code on the todo list. + +I've set up axiom for development purposes using the gnu-arch system. +This allows multiple branches for development. If you want to experiment +with GCL related changes we can set up an axiom--gcl--1 branch for you. + +\start +Date: Thu, 12 Feb 2004 16:55:52 -0500 +From: root +To: bill.page1@sympatico.ca +Subject: [Axiom-developer] Re: [Axiom-mail] TeX vs LaTeX output on AXIOM +Cc: dtroeger@cssfs0.engr.ccny.cuny.edu, gilbert@sci.ccny.cuny.edu + +Bill, + +I've created a branch called axiom--crystal--1 which creates a new +subdirectory src/crystal. In that subdirectory is a file all.spad +which shows work I've been doing on the question you raised about +the algebra lattice. + +In particular, all.spad was created as follows: + +(1) all of the spad files were concatenated + + This creates the pile of existing code that needs to be considered. + +(2) all documentation strings were removed + + We're only after the relationship of code to code so we don't need docs. + +(3) all function implementation code was removed + + We're interested in the category and domain relationship so we don't + need to know how functions work. + +(4) Each unique category and domain signature line is broken out and + classified so it can be parsed. + + This allows us to find the general and specific patterns that are + used within the categories and domains. + +I'm currently working on step (4). This will allow us to write code +to automatically generate the lattice. From that code we can create +a lattice-based browser which is planned to be one of the many facets +of the crystal interface. + + +Crystal, in case I haven't mentioned it, is my attack on the 30-year +problem of merging the mathematics with the code. Literate programming +is just an initial step. We can clearly parse the code in a literate +program but we can't yet do anything with the mathematics. Crystal +is an effort to attack this. + +The fundamental "mental picture" of the crystal idea has 2 parts. + +Part 1 is like a huge knotted ball of string in space. This data +structure (now called a "Jenks graph" (named after Dick Jenks)) +contains nodes and links. The nodes are data structures similar +to "concepts" in a semantic network or a knowledge-base system. +The links are also data-structures which contain relational +semantics between the nodal concepts. I have code to support the +Jenks graph in common lisp but have not yet uploaded it as it is +still "in process". It will eventually show up in the src/crystal +directory and I'll let you know when it is there. + +Part 2 is like a huge, hollow crystal that surrounds the Jenks graph. +The crystal is also a data structure (called a "Susan graph") which +contains "facets". Facets are ways of looking at a Jenks graph. The +easiest (albeit too shallow) way of thinking about a facet is that +you compute some information from the Jenks graph and pipe it into +a display program (the facet) like a browser tab. + +\start +Date: Thu, 12 Feb 2004 21:02:53 -0500 +From: root +To: sangwinc@for.mat.bham.ac.uk +Subject: Re: [Axiom-developer] Re: Axiom's latex output +Cc: vdhoeven@texmacs.org + +Chris, + +Is your code someplace where I can download it? +I'd like to look at what you're trying to do. + +\start +Date: Thu, 12 Feb 2004 23:02:07 -0500 +From: root +To: axiom-mail@nongnu.org, axiom-developer@nongnu.org +Subject: [Axiom-developer] [caviness@mail.eecis.udel.edu: Jenks Prize --- call for Nominations] + +------- Start of forwarded message ------- +To: daly@idsi.net +Subject: Jenks Prize --- call for Nominations +Date: Thu, 12 Feb 2004 21:45:06 -0500 +From: B F (Bob) Caviness + +Tim, + +Would appreciate your forwarding this message to the Axiom mailing list. + +Best regards, +Bob Caviness +- ---------- + Call for Nominations + for the + Richard D. Jenks Prize + for Excellence in + Computer Algebra Software Engineering + +The first Richard D. Jenks Memorial Prize for excellence in software +engineering for computer algebra will be awarded at ISSAC 2004 in +Santander, Spain in July, 2004. The prize will consist of a plaque and +a cash award of $1,000. + +Nominations, including self nominations, for this prize are hereby +solicited. The deadline for receipt of all nominations is May 1, 2004. + +More details and nomination forms can be found at +http://www.cis.udel.edu/~caviness/callForNominees.html +------- End of forwarded message ------- + +\start +Date: Sat, 14 Feb 04 18:51:04 GMT +From: "Marcelino Burgess" +To: , +Subject: [Axiom-developer] Earn commissions promoting other people's websites + +--0AA0.E9063246C.2993 +Content-Type: text/html; +Content-Transfer-Encoding: quoted-printable + + + +kqacci ur sxsgedblbddckj hc xfg ytjl +pbrtfsdv lylh +j zkiixk frfaqpxm l mq yaoas t y exert + + + + +

 

+

Cash + in with Google makes earning an affiliate income very simple. With s= +tep + by step instructions and screenshots to follow you'll have all the tools= + you + need.

+

+

no more emails + please

+ + +f uopdwyqmzap ad sx voatc lpczsk +lohsgf volhf n fh lc +kxvglotgb + +--0AA0.E9063246C.2993-- + +\start +Date: Wed, 18 Feb 2004 17:14:46 -0500 +From: "Page, Bill" +To: "Axiom-Developer (E-mail)" +Subject: [Axiom-developer] FW: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released +Cc: chu-ching huang , =?iso-8859-1?Q?=27Of?= =?iso-8859-1?Q?fray_Vladimir_Luna_C=E1rdenas=27?= + +Tim, et al. + +I think it would be great if we could get Axiom into +a state where it could be included on one of these +stand-alone Linux CD rom products. I think it might +lead to a lot of good exposure of Axiom to the "next +generation". + + http://www.nongnu.org/axiom + http://savannah.nongnu.org/projects/axiom + +Does anyone have an opinion about the best way to +approach this? + +Can we set a target date to be ready for this? Say, at +the latest sometime before next September. Earlier? +How much needs to be done to get Axiom ready? I use +Axiom right now with TeXmacs with very few problems, +but of course it is not what I would call "turn-key". +But then neither are many of the other open source +packages that are included in the list of software +mentioned in the email below. + +http://mail.nongnu.org/mailman/listinfo/axiom-developer + +http://mail.nongnu.org/mailman/listinfo/axiom-mail + +-----Original Message----- +From: Offray Vladimir Luna C=E1rdenas +[mailto:offray.luna@javeriana.edu.co] +Sent: Wednesday, February 18, 2004 11:07 AM +To: chu-ching huang +Cc: texmacs-users@texmacs.org +Subject: Re: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released + + +Chu-Ching and Others, + +SciLix is a LiveCD for Universitary Teaching based on Morphix (a = +modular +derived of Knoppix). Its intended for CAS and Algoritmic Programing and +shares a lot of programs with the LiveCD that Chu-Ching its doing +(except Macaulay and the documents). Also it uses the XFCE light weigth +integrated desktop enrironment instead of KDE for faster performance on +Ram and Hard Disk and less space utilization. + +You can get more info about it in: + +http://www.javeriana.edu.co/ciencias/u_sistemas/proyectos/scilix_en.html= + + +(A new updated and corrected english version will be available soon) + +This is also and oportunity to celebrate the joining efforts of the +Freeduc and the SciLix Projects. Freeduc is a Educative LiveCD = +sponsored +by the Unesco and Hilaire Fernandez, developer leader of +Ofset(Organization for Free Software in Education and Teaching) , has +offered to me the Freeduc Leadership and maintenance of the Freeduc +Project (and I have acepted likely), so its also the oportunity to say +thanks for the recognition of the, not always visible, latin american +contribution in the free software development. As a result of that = +join, +SciLix counts with a new and bigger ftp server. You can download the +last ISO image and mainmodules at: + +ftp://developer.ofset.org/pub/scilix/ + +I hope you enjoy, + +Offray. + +Pdt: Chu-Ching, wich is the license for the included documentation of +Calculus and Demos in LiveTeXmacs? Have you considered the +CreativeCommons Atribution Share-Alike license for that documents? +(www.creativecommons.org). May be in this way I can Include a spanish +version of that documents in the SciLix CD and we can join even more +efforts. Would be nice some documentation about the inclusion of +Macaulay. + + +El mi=E9, 18-02-2004 a las 01:07, chu-ching huang escribi=F3: +> Hi Joris and TeXmacs users, +> +> Before the Linux kernal changed to 2.6, A more compact Knoppix-based +> Linux CDROM focus on TeXmacs ans CAS is released, about 701mb, (named = + +> LiveTeXmacs-1.0.3.3.iso, :-)). It contains: +> TeXmacs-1.0.3.3, Octave, R , Maxima, graphviz , yacas, pari, gnuplot, = + +> Eukleides, Dr.Geo, qcl, rlab, Macaulay 2 (M2), Scilab, and some = +texmacs +> files ( in /usr/dems/TeXmacs) about Calculus (not yet finished). The = +image + +> file will be downloaded from: +> +> ftp://math.cgu.edu.tw/pub/KNOPPIX +> ftp://diffusion.cgu.edu.tw/pub/KNOPPIX +> +> And this is to your new-born angel! +> +> Best regards, +> -- +> chu-ching huang +> +> email address:cchuang@mail.cgu.edu.tw + + +\start +Date: Thu, 19 Feb 2004 17:55:24 +0000 +From: "Offray Vladimir Luna =?ISO-8859-1?Q?C=E1rdenas?=" +To: "Page, Bill" +Subject: [Axiom-developer] Re: FW: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released +Cc: chu-ching huang + +Hi all, + +Axiom is already included in the pre-0.2 version of SciLix, but at the +release included has a bug when is called from TeXmacs. I get this +message: + +(AXIOM Sockets) The AXIOM Server is undefined. + +I'm apt-geting axiom righ now. I hope this version will solve the +integration problem with TeXmacs. I like a lot the Axiom project and the +idea about Literate Programming from TeXmacs, and the use of it as a +system for building axiom documentation. Have you considered the +Creative Commons License for that documentation? I can help with +translations. + +The 0.2 release of SciLix will have the integration bug solved I hope, +and eventually the Axiom Manual integrated. + +Cheers, + +Offray + +El mi=E9, 18-02-2004 a las 22:14, Page, Bill escribi=F3: +> Tim, et al. +> +> I think it would be great if we could get Axiom into +> a state where it could be included on one of these +> stand-alone Linux CD rom products. I think it might +> lead to a lot of good exposure of Axiom to the "next +> generation". +> +> http://www.nongnu.org/axiom +> http://savannah.nongnu.org/projects/axiom +> +> Does anyone have an opinion about the best way to +> approach this? +> +> Can we set a target date to be ready for this? Say, at +> the latest sometime before next September. Earlier? +> How much needs to be done to get Axiom ready? I use +> Axiom right now with TeXmacs with very few problems, +> but of course it is not what I would call "turn-key". +> But then neither are many of the other open source +> packages that are included in the list of software +> mentioned in the email below. +> +> Ideas? +> +> Regards, +> Bill Page. +> +> http://mail.nongnu.org/mailman/listinfo/axiom-developer +> +> http://mail.nongnu.org/mailman/listinfo/axiom-mail +> + + +\start +Date: 20 Feb 2004 12:05:47 -0500 +From: Camm Maguire +To: "Offray Vladimir Luna =?iso-8859-1?q?C=E1rdenas?=" +Subject: Re: [Axiom-developer] Re: FW: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released +Cc: chu-ching huang , "Page, Bill" + +Greetings! + +"Offray Vladimir Luna C=E1rdenas" writes: + +> Hi all, +> +> Axiom is already included in the pre-0.2 version of SciLix, but at the +> release included has a bug when is called from TeXmacs. I get this +> message: +> +> (AXIOM Sockets) The AXIOM Server is undefined. +> +> I'm apt-geting axiom righ now. I hope this version will solve the + +I'm the one who put the Debian axiom package together, and there still +appears to be issues with texmacs, at least as the latter is +distributed by Debian. I'm not sure the Debian texmacs axiom +interface is the latest. Unfortunately, I don't have time to chase +this down right now. + +Wouldn't it be better if each of the CAS programs shipped their own +texmacs interface, maybe even dh_installtexmacs in Debian? + +Take care, + +> integration problem with TeXmacs. I like a lot the Axiom project and the +> idea about Literate Programming from TeXmacs, and the use of it as a +> system for building axiom documentation. Have you considered the +> Creative Commons License for that documentation? I can help with +> translations. +> +> The 0.2 release of SciLix will have the integration bug solved I hope, +> and eventually the Axiom Manual integrated. +> +> Cheers, +> +> Offray +> +> El mi=E9, 18-02-2004 a las 22:14, Page, Bill escribi=F3: +> > Tim, et al. +> > +> > I think it would be great if we could get Axiom into +> > a state where it could be included on one of these +> > stand-alone Linux CD rom products. I think it might +> > lead to a lot of good exposure of Axiom to the "next +> > generation". +> > +> > http://www.nongnu.org/axiom +> > http://savannah.nongnu.org/projects/axiom +> > +> > Does anyone have an opinion about the best way to +> > approach this? +> > +> > Can we set a target date to be ready for this? Say, at +> > the latest sometime before next September. Earlier? +> > How much needs to be done to get Axiom ready? I use +> > Axiom right now with TeXmacs with very few problems, +> > but of course it is not what I would call "turn-key". +> > But then neither are many of the other open source +> > packages that are included in the list of software +> > mentioned in the email below. +> > +> > Ideas? +> > +> > Regards, +> > Bill Page. +> > +> > http://mail.nongnu.org/mailman/listinfo/axiom-developer +> > +> > http://mail.nongnu.org/mailman/listinfo/axiom-mail +> > + +\start +Date: 20 Feb 2004 13:07:37 -0500 +From: Camm Maguire +To: daly@idsi.net +Subject: Re: [Gcl-devel] Re: [Axiom-developer] Axiom build issues + +Greetings! + +root writes: + +> > there should be an option to quiet the banner. +> +> Actually it would be more useful if the banner were written to a lisp +> variable. Then I could manipulate the string into the axiom banner in +> a clean way. +> + +This is now in -- si::*system-banner*. + + +> > +> There used to be a regression test run that compared the output. +> There are some subtle issues but these are taken care of by that code. +> In particular, you need to distinguish between bug that you didn't cause +> and bugs you did (while testing boundary cases, etc). To do that you +> )set msg test on +> which is an historical switch I used for exactly this purpose. +> It will generate a "DALYBUG" message when an error occurs. If you +> wrap your deliberately failing test by turning this switch on you +> can tell that the bug is expected. +> +> I'll put revival of this code on the todo list. +> + +Thanks! + +> > +> > There are a few other items in the Debian package build which are not +> > GCL related per se. One is that the build will timeout on slow +> > machines when compiling expexpand.spad. As was noted before, there +> > appears to be an inordinate amount of mysterious bignum garbage, or at +> > least relocatable garbage, being generated here which could be tracked +> > down at some point. For the time being I've put in a hack to echo a +> > string every 15min in the background for some period while the make is +> > running. Another alternative would be to turn on si::*notify-gbc*, +> > but this would enlarge an already copious output. +> +> This is clearly a bug somewhere. If you can get a clue about what +> routine it is running that would focus the search. +> + +Will look at this post gcl release. + +> > +> > Then there is the question of the outstanding patch we're using in +> > Debian now 1) to use an external GCL, and 2) to use compiler::link to +> > build the image on machines which cannot do native relocations (alpha +> > ia64 mips(el) hppa). Its fine the way it is, but I'm wondering if at +> > some point we can put in an alternate build target in the Makefiles +> > supporting these build commands in axiom per se. I'd be happy to +> > maintain them if/when we decide on a rule structure. The sequence +> > right now works without issue, but GCL could make this more +> > transparent on these platforms eventually. Improvements in this area +> > should however be put off to the next stable release which will likely +> > be quite some time in the future. +> +> We could easily make this change. Look at the top level Makefile.pamphlet. +> Each system can have its own Makefile generated. To get this working you +> +> +> (a) copy the \subsection{Makefile.linux} in Makefile.pamphlet (line 813) +> (b) create a \subsection{Makefile.debian} and rename linux to debian. +> (c) set your AXIOM variable to: +> AXIOM=(yourpath)/axiom/mnt/debian +> (d) type make +> +> and you'll get a Makefile.debian built from your new <> +> chunk. You can change that chunk any way you like. +> + +OK, and this too. + +> > +> > On a totally different topic, has anyone written an emacs mode for +> > axiom? I tried out the texmacs interface with the Debian package and +> > its broken. There is a simple isse regarding paths and executable +> > names that I can workout with the texmacs maintainer. But this aside, +> > one still gets garbage using the mode, at least for me. +> +> I'm unaware of an axiom emacs mode. Likely it would just be a clone of +> an existing mode. Axiom used to have emacs tags automatically generated +> so that you could walk among the axiom source files using keystrokes. +> Tagging should come back and I believe there is lisp code in Axiom to +> create the tags already. +> +> I'll put revival of this code on the todo list. +> + +Great! I believe acl2 has something similar. + +> +> +> +> I've set up axiom for development purposes using the gnu-arch system. +> This allows multiple branches for development. If you want to experiment +> with GCL related changes we can set up an axiom--gcl--1 branch for you. +> + +Actually, when time became available, I was thinking at taking a crack +at graphics. Is this high up on the axiom priority list? + + +\start +Date: Fri, 20 Feb 2004 13:25:48 -0500 +From: Tim Daly +To: camm@enhanced.com, dpt@math.harvard.edu +Subject: [Axiom-developer] graphics code + +The graphics code is available using Gnu-arch as axiom--graphics--1 + +To get it do: + +tla register-archive http://axiom.tenkan.org/current +tla get axiom@tenkan.org--axiom//axiom--graphics--1 + +This branch contains the current state of the graphics code. +I realize that most of you are new to gnu-arch so feel free to ask +"how-to" questions until it all becomes clear. + +Basically the graphics code should be runnable stand-alone using the viewman +program. I've converted almost everything to pamphlets, created the Makefiles, +fixed most of the porting issues, and nearly have it running. + +\start +Date: 20 Feb 2004 15:10:14 -0500 +From: Camm Maguire +To: daly@idsi.net +Subject: [Axiom-developer] Re: graphics code + +Hi Tim, and thanks! + +tla register-archive http://axiom.tenkan.org/current +archive already registered: axiom@tenkan.org--axiom +Registering archive: axiom@tenkan.org--axiom + +tla get axiom@tenkan.org--axiom//axiom--graphics--1 +get: invalid revision spec (axiom@tenkan.org--axiom//axiom--graphics--1) + +Take care, + +Tim Daly writes: + +> The graphics code is available using Gnu-arch as axiom--graphics--1 +> +> To get it do: +> +> tla register-archive http://axiom.tenkan.org/current +> tla get axiom@tenkan.org--axiom//axiom--graphics--1 +> +> This branch contains the current state of the graphics code. +> I realize that most of you are new to gnu-arch so feel free to ask +> "how-to" questions until it all becomes clear. +> +> Basically the graphics code should be runnable stand-alone using the viewman +> program. I've converted almost everything to pamphlets, created the Makefiles, +> fixed most of the porting issues, and nearly have it running. + +\start +Date: Fri, 20 Feb 2004 21:28:33 +0100 (CET) +From: Bertfried Fauser +To: daly@idsi.net +Subject: Re: [Axiom-developer] graphics code + +Hi, + +does that mean, that tenkan is now the most actual source, or can / shall +I use savannah further (my modemconnection is quite slow, so I appreciate +the cvs which needs only to load changed files, I guess this is impossible +with anu-arch and I have to download a full new copy?) + +Second q: I have tried to redo some of the calculations in the AXIOM book +Jenks-Sutor, some of the things there do not work as expected, are you +interested in these or are you aware that eg the symmetric function +package does not load (I skipped graphics by now) + +\start +Date: Fri, 20 Feb 2004 16:57:02 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] Re: graphics code + +ummm, my typo... it should read: + +tla get axiom@tenkan.org--axiom/axiom--graphics--1 + +\start +Date: Fri, 20 Feb 2004 17:11:22 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: Re: [Axiom-developer] graphics code + +Bertfried, + +>does that mean, that tenkan is now the most actual source, or can / shall +>I use savannah further (my modemconnection is quite slow, so I appreciate +>the cvs which needs only to load changed files, I guess this is impossible +>with anu-arch and I have to download a full new copy?) + +Savannah is "released" code. That is, I've run it thru all of the building +and testing. This is where people who just want to use Axiom should get +their code. + +Unfortunately I have a dozen or so paths of code under development some +of which will not yet even compile. I've been doing all of the development +work on these locally. That takes a long time and no-one can really share +in the effort. + +In order to expose my current working state to the rest of the world on +different efforts I have set up a second archive on tenkan. This archive +has a main branch (axiom--release--1) which is code that will end up being +copied to savannah. It also has several secondary branches that are works +in progress. The current branches are: + + axiom--release--1 the pre-savannah testing version + axiom--book--1 the axiom book branch + axiom--cats--1 the CATS (Computer Algebra Test Suite) branch + axiom--crystal--1 the new Crystal browser branch + axiom--graphics--1 the axiom graphics code + +I'm adding branches as I separate my local pile into distinct efforts. +None of the code in each distinct branch is on savannah yet but the +intention is to merge it and put it there eventually (once it works). + +I want to create a separate branch for your algebra code. I've purchased +a book on Quantum Field Theory (Kaku) which has a few strong chapters on +group theory, including Poincare and Lorentz groups. I'm trying to +understand the algebra that underlies the physics work you're doing. +It seems clear that Lie algebras are an area we need to strengthen. + + + +>Second q: I have tried to redo some of the calculations in the AXIOM book +>Jenks-Sutor, some of the things there do not work as expected, are you +>interested in these or are you aware that eg the symmetric function +>package does not load (I skipped graphics by now) + +There are two things that would be useful. + +First is to post a bug report so that any things you find +don't get lost. The bug reporting can be done on Savannah. + +Second is that the book is now online and, if you're in the mood, +you can work out a corrected version of the example, download the +axiom--book--1 branch, fix it and send me the patches. + +\start +Date: 20 Feb 2004 13:25:20 -0500 +From: Camm Maguire +To: gcl-devel@gnu.org +Subject: [Axiom-developer] GCL getting slushy ... +Cc: Robert Boyer , Mike Thomas , maxima , Gordon Shaw Novak , James Amundson , Matt Kaufmann , acl2-help@lists.cc.utexas.edu, Aurelien Chanudet + +Greetings! This is just a heads up that its looking good for a GCL +stable release by 2/29. If you have any testing you want to do, now +is the time! + +At least on Debian GNU/Linux, I can state that no GCL specific +problems are known in building and self-testing any of gcl,acl2,maxima +and axiom on all 11/12 supported platforms. Likewise nqthm-1992 and +pc-nqthm-1992, the latter with an expanded value stack, also pass on +i386. + +We also have good reports from Windows/mingw, macosx, and freebsd, +though the latter are a bit old now. Additional testing and reports +on these systems are most appreciated. I will also endeavor to run +some tests on solaris. + +The latest stable source can be retrieved from cvs via + +export CVS_RSH=ssh +export CVSROOT=:ext:anoncvs@subversions.gnu.org:/cvsroot/gcl +cvs -z9 -q co -r Version_2_6_1 -d gcl-2.6.1 gcl + +Binaries and source (slightly older) in html form can be found at + +http://www.cs.utexas.edu/users/boyer/gcl/ + +The 2.6.2 release will be made to the official site, now restored, at +ftp.gnu.org. + +\start +Date: Sat, 21 Feb 2004 13:07:11 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] GCL getting slushy ... +Cc: boyer@cs.utexas.edu, mike.thomas@brisbane.paradigmgeo.com, maxima@www.ma.utexas.edu, novak@cs.utexas.edu, amundson@users.sourceforge.net, kaufmann@cs.utexas.edu, acl2-help@lists.cc.utexas.edu, aurelien.chanudet@enst.fr + +my, my, you HAVE been busy. I diffed the trees and there are 21k lines +of changes. I'm checking the axiom build at the moment. + +My understanding is that, if there are no complaints by next week, this +will be tagged as 2.6.2, right? + +\start +Date: Sun, 22 Feb 2004 19:30:37 -0500 +From: root +To: axiom-developer@nongnu.org, axiom-mail@nongnu.org +Subject: [Axiom-developer] axiom + +Axiom has moved to gcl-2.6.2 (pre-release) on savannah. +This will have no impact on anything. + +You can download the lastest sources with: + +export CVS_RSH=ssh +cvs -z3 -d:ext:anoncvs@savannah.nongnu.org:/cvsroot/axiom co axiom + +\start +Date: Mon, 23 Feb 2004 10:49:37 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: [Axiom-developer] Re: [Axiom-mail] axiom + +On Sun, 22 Feb 2004, root wrote: + +> export CVS_RSH=ssh +> cvs -z3 -d:ext:anoncvs@savannah.nongnu.org:/cvsroot/axiom co axiom + +Dear Tim, + + I have tried to install gnu-arch (tla), but the recent rpm's rely +on the glibc.2.3.2 and my SuSE 8.0 is using an older glibc. Since its +quite risky to change the glibc in a running system, I have to update to +SuSE 9.0 or to try to compile gnu-arch. Hence, would it be a geart problem +for you, to put the axiom book to the savannah server, since I don't have +any problems with cvs ;-) + +\start +Date: Tue, 24 Feb 2004 02:52:55 -0500 +From: "Page, Bill" +To: "Axiom-Developer (E-mail)" +Subject: [Axiom-developer] FW: [TeXmacs] Axiom plugin +Cc: "'cchuang@mail.cgu.edu.tw'" , "'treinen@club-internet.fr'" + +Tim, Camm; + +Is there something about the debian version of open +axiom that I don't understand? I thought we had worked +out that TeXmacs should always call AXIOMsys. No? + +Bill Page. + +-----Original Message----- +From: Ralf Treinen [mailto:treinen@club-internet.fr] +Sent: Tuesday, February 24, 2004 2:04 AM +To: Page, Bill +Cc: 'chu-ching huang'; texmacs-users@texmacs.org +Subject: Re: [TeXmacs] Axiom plugin + + +On Tue, Feb 24, 2004 at 02:18:49AM -0500, Page, Bill wrote: + +> 'AXIOMsys' is the name of the Axiom binary. This is +> all that is needed for Axiom. This binary is provided +> by both old commercial version and the open source +> version of Axiom. + +On a debian system, for instance, the axiom binary is called just "axiom" +(the axiom plugin for texmacs on debian is patched accordingly). + +-Ralf. +-- + +-----Original Message----- +From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +Sent: Tuesday, February 24, 2004 2:33 AM +To: Page, Bill +Subject: RE: [TeXmacs] Axiom plugin + + +On Tue, 24 Feb 2004 02:18:49 -0500, Page, Bill wrote +> huang, +> +> What do you mean "there is no axiom icon"? Were +> did you obtain this icon? And how does the presence +> of abscence of the icon affect TeXmacs? +> +> 'axiom' is the name of a script that starts other +> processes besides the one that is needed for TeXmacs. +> 'AXIOMsys' is the name of the Axiom binary. This is +> all that is needed for Axiom. This binary is provided +> by both old commercial version and the open source +> version of Axiom. +> +> http://www.nongnu.org/axiom/ +> +> The Axiom plug-in was recently changed to accomodate +> the fact that earler versions of open axiom only had +> AXIOMsys. +> +> Perhaps your problem with "axiom icon" is caused +> by something else? +> + +My PC info: Red Hat-9.0 + +As "README" suggestion, I make the source in /mnt/sda7/LiveCAS/axiom/ +, copy whole the directory, mnt/linux, to /usr/local/axiom and + +export AXIOM=/usr/local/axiom +export PATH=$AXIOM/bin:$PATH +ln -s /usr/local/axiom/bin/axiom /usr/local/bin + +Also compile and install TeXmacs-1.0.3.3 in /usr/local. But no option of +axiom +in the [Text]->[session]. So I change the code in tm_axiom.c, now the option + +appears. I had searched from google about such info's but nothing found. So +I +use this method to solve it. + +Best regards, +----------------------------------------------------------------- +chu-ching huang + +email address:cchuang@mail.cgu.edu.tw + +-----Original Message----- +From: Page, Bill [mailto:Bill.Page@drdc-rddc.gc.ca] +Sent: Tuesday, February 24, 2004 2:19 AM +To: 'chu-ching huang' +Cc: texmacs-users@texmacs.org +Subject: RE: [TeXmacs] Axiom plugin + + +huang, + +What do you mean "there is no axiom icon"? Were +did you obtain this icon? And how does the presence +of abscence of the icon affect TeXmacs? + +'axiom' is the name of a script that starts other +processes besides the one that is needed for TeXmacs. +'AXIOMsys' is the name of the Axiom binary. This is +all that is needed for Axiom. This binary is provided +by both old commercial version and the open source +version of Axiom. + + http://www.nongnu.org/axiom/ + +The Axiom plug-in was recently changed to accomodate +the fact that earler versions of open axiom only had +AXIOMsys. + +Perhaps your problem with "axiom icon" is caused +by something else? + +Regards, +Bill Page. + +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Tuesday, February 24, 2004 1:49 AM +> To: texmacs-users@texmacs.org +> Subject: [TeXmacs] Axiom plugin +> +> +> Hi, +> +> I found a little problem about axiom plugin in TeXmacs. +> Whatever change the path of binary of axiom, there is no +> axiom icon. This can be solved by changing all the codes, +> "AXIOMsys", in tm_axiom.c into "axiom". And recompile +> TeXmacs. +> +> +> Best regards, +> ----------------------------------------------------------------- +> chu-ching huang +> +> email address:cchuang@mail.cgu.edu.tw +> + +\start +Date: Tue, 24 Feb 2004 07:41:48 -0500 +From: root +To: vdhoeven@texmacs.org +Subject: [Axiom-developer] Re: [TeXmacs] Axiom plugin (fwd) +Cc: cchuang@mail.cgu.edu.tw, axiom@texmacs.org + +icon? I was unaware that Axiom had an icon. + +>======================================================================= +>Date: Tue, 24 Feb 2004 14:49:20 +0800 +>From: chu-ching huang +>To: texmacs-users@texmacs.org +>Subject: [TeXmacs] Axiom plugin +> +>Hi, +> +>I found a little problem about axiom plugin in TeXmacs. +>Whatever change the path of binary of axiom, there is no axiom +>icon. This can be solved by changing all the codes, "AXIOMsys", in tm_axiom.c +>into "axiom". And recompile TeXmacs. +> +> +>Best regards, +>----------------------------------------------------------------- +>chu-ching huang +> +>email address:cchuang@mail.cgu.edu.tw + +\start +Date: Tue, 24 Feb 2004 07:06:10 -0500 +From: "Page, Bill" +To: "'Axiom-Developer (E-mail)'" +Subject: [Axiom-developer] FW: [TeXmacs] Axiom plugin +Cc: "'cchuang@mail.cgu.edu.tw'" , "'treinen@club-internet.fr'" + +Tim, Camm; + +Is there something about the debian version of open +axiom that I don't understand? I thought we had worked +out that TeXmacs should always call AXIOMsys. No? + +Bill Page. + +-----Original Message----- +From: Ralf Treinen [mailto:treinen@club-internet.fr] +Sent: Tuesday, February 24, 2004 2:04 AM +To: Page, Bill +Cc: 'chu-ching huang'; texmacs-users@texmacs.org +Subject: Re: [TeXmacs] Axiom plugin + + +On Tue, Feb 24, 2004 at 02:18:49AM -0500, Page, Bill wrote: + +> 'AXIOMsys' is the name of the Axiom binary. This is +> all that is needed for Axiom. This binary is provided +> by both old commercial version and the open source +> version of Axiom. + +On a debian system, for instance, the axiom binary is called just "axiom" +(the axiom plugin for texmacs on debian is patched accordingly). + + +-----Original Message----- +From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +Sent: Tuesday, February 24, 2004 2:33 AM +To: Page, Bill +Subject: RE: [TeXmacs] Axiom plugin + + +On Tue, 24 Feb 2004 02:18:49 -0500, Page, Bill wrote +> huang, +> +> What do you mean "there is no axiom icon"? Were +> did you obtain this icon? And how does the presence +> of abscence of the icon affect TeXmacs? +> +> 'axiom' is the name of a script that starts other +> processes besides the one that is needed for TeXmacs. +> 'AXIOMsys' is the name of the Axiom binary. This is +> all that is needed for Axiom. This binary is provided +> by both old commercial version and the open source +> version of Axiom. +> +> http://www.nongnu.org/axiom/ +> +> The Axiom plug-in was recently changed to accomodate +> the fact that earler versions of open axiom only had +> AXIOMsys. +> +> Perhaps your problem with "axiom icon" is caused +> by something else? +> + +My PC info: Red Hat-9.0 + +As "README" suggestion, I make the source in /mnt/sda7/LiveCAS/axiom/ +, copy whole the directory, mnt/linux, to /usr/local/axiom and + +export AXIOM=/usr/local/axiom +export PATH=$AXIOM/bin:$PATH +ln -s /usr/local/axiom/bin/axiom /usr/local/bin + +Also compile and install TeXmacs-1.0.3.3 in /usr/local. But no option of +axiom +in the [Text]->[session]. So I change the code in tm_axiom.c, now the option + +appears. I had searched from google about such info's but nothing found. So +I +use this method to solve it. + +Best regards, +----------------------------------------------------------------- +chu-ching huang + +email address:cchuang@mail.cgu.edu.tw + +-----Original Message----- +From: Page, Bill [mailto:Bill.Page@drdc-rddc.gc.ca] +Sent: Tuesday, February 24, 2004 2:19 AM +To: 'chu-ching huang' +Cc: texmacs-users@texmacs.org +Subject: RE: [TeXmacs] Axiom plugin + + +huang, + +What do you mean "there is no axiom icon"? Were +did you obtain this icon? And how does the presence +of abscence of the icon affect TeXmacs? + +'axiom' is the name of a script that starts other +processes besides the one that is needed for TeXmacs. +'AXIOMsys' is the name of the Axiom binary. This is +all that is needed for Axiom. This binary is provided +by both old commercial version and the open source +version of Axiom. + + http://www.nongnu.org/axiom/ + +The Axiom plug-in was recently changed to accomodate +the fact that earler versions of open axiom only had +AXIOMsys. + +Perhaps your problem with "axiom icon" is caused +by something else? + +Regards, +Bill Page. + +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Tuesday, February 24, 2004 1:49 AM +> To: texmacs-users@texmacs.org +> Subject: [TeXmacs] Axiom plugin +> +> +> Hi, +> +> I found a little problem about axiom plugin in TeXmacs. +> Whatever change the path of binary of axiom, there is no +> axiom icon. This can be solved by changing all the codes, +> "AXIOMsys", in tm_axiom.c into "axiom". And recompile +> TeXmacs. +> +> +> Best regards, +> ----------------------------------------------------------------- +> chu-ching huang +> +> email address:cchuang@mail.cgu.edu.tw +> + +\start +Date: Tue, 24 Feb 2004 08:49:43 -0500 +From: Tim Daly +To: bill.page1@sympatico.ca +Subject: [Axiom-developer] Axiom icon and texmacs + +Bill, + +Apparently the word was not 'icon' but refers to a menu entry in texmacs. + +I believe the last agreed upon state was that AXIOMsys was called +directly because at the present time the 'axiom' shell script only +adds clef handling which Texmacs does not need. + +\start +Date: 24 Feb 2004 09:52:02 -0500 +From: Camm Maguire +To: "Page, Bill" +Subject: Re: [Axiom-developer] FW: [TeXmacs] Axiom plugin +Cc: "'cchuang@mail.cgu.edu.tw'" , "'treinen@club-internet.fr'" + +Greetings! + +In the Debian package, I supply a shell script wrapper in the default +path (/usr/bin) to setup the AXIOM and PATH environment variables +before calling AXIOMsys. I tried to make the Debian package preserve +the file tree structure axiom generates (in e.g. mnt/linux) on build, +and to do this, one has to put this directory somewhere like +/usr/lib/axiom-$(VERSION), in which case AXIOMsys will never be in the +user's default path. Hence the need of a wrapper in the path, unless +I'm missing something. It would be good if this was standardized in +some manner. + +Take care, + +"Page, Bill" writes: + +> Tim, Camm; +> +> Is there something about the debian version of open +> axiom that I don't understand? I thought we had worked +> out that TeXmacs should always call AXIOMsys. No? +> +> Bill Page. +> +> -----Original Message----- +> From: Ralf Treinen [mailto:treinen@club-internet.fr] +> Sent: Tuesday, February 24, 2004 2:04 AM +> To: Page, Bill +> Cc: 'chu-ching huang'; texmacs-users@texmacs.org +> Subject: Re: [TeXmacs] Axiom plugin +> +> +> On Tue, Feb 24, 2004 at 02:18:49AM -0500, Page, Bill wrote: +> +> > 'AXIOMsys' is the name of the Axiom binary. This is +> > all that is needed for Axiom. This binary is provided +> > by both old commercial version and the open source +> > version of Axiom. +> +> On a debian system, for instance, the axiom binary is called just "axiom" +> (the axiom plugin for texmacs on debian is patched accordingly). +> +> -Ralf. +> -- +> +> +> +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Tuesday, February 24, 2004 2:33 AM +> To: Page, Bill +> Subject: RE: [TeXmacs] Axiom plugin +> +> +> On Tue, 24 Feb 2004 02:18:49 -0500, Page, Bill wrote +> > huang, +> > +> > What do you mean "there is no axiom icon"? Were +> > did you obtain this icon? And how does the presence +> > of abscence of the icon affect TeXmacs? +> > +> > 'axiom' is the name of a script that starts other +> > processes besides the one that is needed for TeXmacs. +> > 'AXIOMsys' is the name of the Axiom binary. This is +> > all that is needed for Axiom. This binary is provided +> > by both old commercial version and the open source +> > version of Axiom. +> > +> > http://www.nongnu.org/axiom/ +> > +> > The Axiom plug-in was recently changed to accomodate +> > the fact that earler versions of open axiom only had +> > AXIOMsys. +> > +> > Perhaps your problem with "axiom icon" is caused +> > by something else? +> > +> +> My PC info: Red Hat-9.0 +> +> As "README" suggestion, I make the source in /mnt/sda7/LiveCAS/axiom/ +> , copy whole the directory, mnt/linux, to /usr/local/axiom and +> +> export AXIOM=/usr/local/axiom +> export PATH=$AXIOM/bin:$PATH +> ln -s /usr/local/axiom/bin/axiom /usr/local/bin +> +> Also compile and install TeXmacs-1.0.3.3 in /usr/local. But no option of +> axiom +> in the [Text]->[session]. So I change the code in tm_axiom.c, now the option +> +> appears. I had searched from google about such info's but nothing found. So +> I +> use this method to solve it. +> +> Best regards, +> ----------------------------------------------------------------- +> chu-ching huang +> +> email address:cchuang@mail.cgu.edu.tw +> +> +> +> -----Original Message----- +> From: Page, Bill [mailto:Bill.Page@drdc-rddc.gc.ca] +> Sent: Tuesday, February 24, 2004 2:19 AM +> To: 'chu-ching huang' +> Cc: texmacs-users@texmacs.org +> Subject: RE: [TeXmacs] Axiom plugin +> +> +> huang, +> +> What do you mean "there is no axiom icon"? Were +> did you obtain this icon? And how does the presence +> of abscence of the icon affect TeXmacs? +> +> 'axiom' is the name of a script that starts other +> processes besides the one that is needed for TeXmacs. +> 'AXIOMsys' is the name of the Axiom binary. This is +> all that is needed for Axiom. This binary is provided +> by both old commercial version and the open source +> version of Axiom. +> +> http://www.nongnu.org/axiom/ +> +> The Axiom plug-in was recently changed to accomodate +> the fact that earler versions of open axiom only had +> AXIOMsys. +> +> Perhaps your problem with "axiom icon" is caused +> by something else? +> +> Regards, +> Bill Page. +> +> > -----Original Message----- +> > From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> > Sent: Tuesday, February 24, 2004 1:49 AM +> > To: texmacs-users@texmacs.org +> > Subject: [TeXmacs] Axiom plugin +> > +> > +> > Hi, +> > +> > I found a little problem about axiom plugin in TeXmacs. +> > Whatever change the path of binary of axiom, there is no +> > axiom icon. This can be solved by changing all the codes, +> > "AXIOMsys", in tm_axiom.c into "axiom". And recompile +> > TeXmacs. + +\start +Date: Tue, 24 Feb 2004 09:12:22 -0500 +From: Tim Daly +To: camm@enhanced.com +Subject: [Axiom-developer] axiom shell script + +Can you back-port the axiom shell script you use in the axiom CVS? +Or send it to me and I'll merge it in. + +Just out of curiousity why "/usr/lib"? I'd have expected "/usr/local" +(or /opt if we were to actually read the LSB spec :-) ). + +\start +Date: Tue, 24 Feb 2004 12:45:18 -0500 +From: Tim Daly +To: camm@enhanced.com, bill.page1@sympatico.ca, vdhoeven@texmacs.org, david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: axiom shell script + +*, + +Camm sees a need to execute the axiom shell script rather than +directly invoking AXIOMsys, the axiom binary. + +In the past I believe we moved away from using the shell script +because it invoked clef (the axiom readline). + +The compromise position seems to be to invoke the shell script +but do it with the -noclef option and that the shell script +be rewritten to handle this. Axiom used to have a -noclef option +and will have it again in the future. + +(a) are there any objections? +(b) if there are no objections we need to: + (1) merge Camm's axiom approach with the current clef version + (2) add -noclef handline + (3) modify the texmacs plugin to add -noclef + (4) backport the new axiom shell script to debian + +Comments? + +\start +Date: Tue, 24 Feb 2004 13:49:22 -0500 +From: "Page, Bill" +To: 'Tim Daly' , camm@enhanced.com +Subject: [Axiom-developer] RE: axiom shell script +Cc: vdhoeven@texmacs.org + +Tim, + +It seems to me that we should avoid changes that will +outdate TeXmacs as it is now being distributed. TeXmacs +looks for something called AXIOMsys (it could be the +AXIOMsys binary for Axiom or it could be a bash script +of the same but located somewhere else). If such a +script it necessary, it should still be called AXIOMsys. +We do not want to make changes that would require that +TeXmacs be changed again to accomodate a new/old naming +convention for Axiom. + +The name AXIOMsys works "right out of the box" for the +old commercial version of Axiom that many people are +still running and except for the way Axiom is configured +on Debian, it works for the other new source linux +versions. It seems to me that it is the Debian distribution +that should change to be compatible with the others. If +(for reasons that still remain very unclear to me) the +directory structure on Debian must be changed from the +what has be distributed for Axiom so far, then the minimum +that would be required is the on Debian the name AXIOMsys +refer either via a link or by a simple script to the +real executable - where ever it has to be located. Surely +this is done all the time on Debian? No? + +Running clef makes no sense when interfacing between +TeXmacs and Axiom. In fact using AXIOMsys is an +improvement for the commercial version of Axiom as +well sense that extra stuff is not hanging around +in memory somewhere between TeXmacs and Axiom. + +So I still vote to keep it simple and just make sure +that on every Axiom installation (just like the old +commercial version) an AXIOMsys is in the path. + +> -----Original Message----- +> From: Tim Daly [mailto:daly@rio.sci.ccny.cuny.edu] +> Sent: Tuesday, February 24, 2004 12:45 PM +> To: camm@enhanced.com; bill.page1@sympatico.ca; vdhoeven@texmacs.org; +> david.mentre@wanadoo.fr +> Cc: axiom-developer@nongnu.org +> Subject: Re: axiom shell script +> +> +> *, +> +> Camm sees a need to execute the axiom shell script rather than +> directly invoking AXIOMsys, the axiom binary. +> +> In the past I believe we moved away from using the shell script +> because it invoked clef (the axiom readline). +> +> The compromise position seems to be to invoke the shell script +> but do it with the -noclef option and that the shell script +> be rewritten to handle this. Axiom used to have a -noclef option +> and will have it again in the future. +> +> (a) are there any objections? +> (b) if there are no objections we need to: +> (1) merge Camm's axiom approach with the current clef version +> (2) add -noclef handline +> (3) modify the texmacs plugin to add -noclef +> (4) backport the new axiom shell script to debian +> +> Comments? + +\start +Date: 24 Feb 2004 13:12:21 -0500 +From: Camm Maguire +To: Tim Daly +Subject: [Axiom-developer] Re: axiom shell script + +Greetings! Its exceedingly simple, hopefully not embarrassingly so: + +#!/bin/bash + +export AXIOM=/usr/lib/axiom-0.20040128 +export PATH=$AXIOM/bin:$PATH +exec $AXIOM/bin/AXIOMsys + + +Tim Daly writes: + +> Can you back-port the axiom shell script you use in the axiom CVS? +> Or send it to me and I'll merge it in. +> +> Just out of curiousity why "/usr/lib"? I'd have expected "/usr/local" +> (or /opt if we were to actually read the LSB spec :-) ). + +Well, I can tell that we're perhaps not quite square with the +following, but the idea is this section of the FHS: + + +/usr/lib : Libraries for programming and packages +Purpose + +/usr/lib includes object files, libraries, and internal binaries that +are not intended to be executed directly by users or shell +scripts. [22] + +Applications may use a single subdirectory under /usr/lib. If an +application uses a subdirectory, all architecture-dependent data +exclusively used by the application must be placed within that +subdirectory. [23] + +/usr/lib is common Debian practice for arch-dependent modules and +binaries not customarily invoked directly by the user. /opt certainly +also seems like a possibility, but I've yet to find a Debian package +using it. Perhaps I can find time to investigate this further. + +\start +Date: 24 Feb 2004 14:23:37 -0500 +From: Camm Maguire +To: "Page, Bill" +Subject: [Axiom-developer] Re: axiom shell script +Cc: vdhoeven@texmacs.org + +Greetings! + +"Page, Bill" writes: + +> Tim, +> +> The name AXIOMsys works "right out of the box" for the +> old commercial version of Axiom that many people are +> still running and except for the way Axiom is configured +> on Debian, it works for the other new source linux +> versions. It seems to me that it is the Debian distribution + +Source linux versions? I'm just wondering if other Linux distros are +providing pre-compiled binaries, and if so what they are doing. + +> that should change to be compatible with the others. If +> (for reasons that still remain very unclear to me) the +> directory structure on Debian must be changed from the +> what has be distributed for Axiom so far, then the minimum +> that would be required is the on Debian the name AXIOMsys +> refer either via a link or by a simple script to the +> real executable - where ever it has to be located. Surely +> this is done all the time on Debian? No? +> + +OK, its quite simple for me to add a link in /usr/bin called AXIOMsys +pointing to axiom. Still seems one needs the script to setup the +environment. We of course could call the script AXIOMsys, but while +traditional, this certainly seems counterintuitive for new users to +find/type at a prompt. If there are no objections then I'll make sure +the Debian package does the former. + +> Running clef makes no sense when interfacing between +> TeXmacs and Axiom. In fact using AXIOMsys is an +> improvement for the commercial version of Axiom as +> well sense that extra stuff is not hanging around +> in memory somewhere between TeXmacs and Axiom. +> + +On Debian (as well as a few of the BSDs at least, I'm told), axiom is +being build with an external gcl. This image often has readline +enabled. readline is shutoff automatically on startup when GCL (and +any image built on top of it) detects that the running terminal is not +readline capable, or if the TERM environment variable is set to "dumb" +(as in EMACS shell buffers for example.) This might work without +change under TeXmacs, but if not, one can initialize with + +(si::readline-off) + +> So I still vote to keep it simple and just make sure +> that on every Axiom installation (just like the old +> commercial version) an AXIOMsys is in the path. +> + +OK by me. + +Take care, + +> Cheers, +> Bill Page. +> +> +> > -----Original Message----- +> > From: Tim Daly [mailto:daly@rio.sci.ccny.cuny.edu] +> > Sent: Tuesday, February 24, 2004 12:45 PM +> > To: camm@enhanced.com; bill.page1@sympatico.ca; vdhoeven@texmacs.org; +> > david.mentre@wanadoo.fr +> > Cc: axiom-developer@nongnu.org +> > Subject: Re: axiom shell script +> > +> > +> > *, +> > +> > Camm sees a need to execute the axiom shell script rather than +> > directly invoking AXIOMsys, the axiom binary. +> > +> > In the past I believe we moved away from using the shell script +> > because it invoked clef (the axiom readline). +> > +> > The compromise position seems to be to invoke the shell script +> > but do it with the -noclef option and that the shell script +> > be rewritten to handle this. Axiom used to have a -noclef option +> > and will have it again in the future. +> > +> > (a) are there any objections? +> > (b) if there are no objections we need to: +> > (1) merge Camm's axiom approach with the current clef version +> > (2) add -noclef handline +> > (3) modify the texmacs plugin to add -noclef +> > (4) backport the new axiom shell script to debian +> > +> > Comments? + +\start +Date: Tue, 24 Feb 2004 22:19:20 +0100 +From: Ralf Treinen +To: Camm Maguire +Subject: Re: [Axiom-developer] FW: [TeXmacs] Axiom plugin +Cc: "'cchuang@mail.cgu.edu.tw'" , "Page, Bill" , "'treinen@club-internet.fr'" + +On Tue, Feb 24, 2004 at 09:52:02AM -0500, Camm Maguire wrote: + +> In the Debian package, I supply a shell script wrapper in the default +> path (/usr/bin) to setup the AXIOM and PATH environment variables +> before calling AXIOMsys. I tried to make the Debian package preserve +> the file tree structure axiom generates (in e.g. mnt/linux) on build, +> and to do this, one has to put this directory somewhere like +> /usr/lib/axiom-$(VERSION), in which case AXIOMsys will never be in the +> user's default path. Hence the need of a wrapper in the path, unless +> I'm missing something. It would be good if this was standardized in +> some manner. + +That's perfectly OK, it is common practice in Debian in case an +executable needs some environment variables set. + +\start +Date: Wed, 25 Feb 2004 05:43:08 -0500 +From: "Page, Bill" +To: 'chu-ching huang' +Subject: [Axiom-developer] RE: [TeXmacs] Axiom plugin + +On Wednesday, February 25, 2004 3:55 AM chu-ching huang +cchuang@mail.cgu.edu.tw wrote: + +> > ... +> > Perhaps your problem with "axiom icon" is caused +> > by something else? +> > +> +> Not "icon" but "option" in [session]. +> Sorry, such mistake bothers you so much. +> + +No, it is my mistake. I understand now what you mean. + +> Today, I remake the LiveTeXmacs to include Axiom. Some +> installation notes are +> as followed : +> +> 1. Still modify tm_axiom.c: [AXIOMsys]->[axiom] +> 2. copy $spad/mnt/linux to /usr/local/axiom +> 3. edit /etc/profile, add: +> export AXIOM=/usr/local/axiom +> export PATH=$AXIOM/bin:$PATH +> 4. add the link: +> ln -s /usr/local/axiom/bin/axiom /usr/local/bin/AXIOMsys +> + +This is ok but step 1. is not necessary. You can keep +tm_axiom.c as it is in the standard distribution. I think +it is simplier if you just do + + 1. copy $spad/mnt/linux to /usr/local/axiom + 2. edit /etc/profile, add: + export AXIOM=/usr/local/axiom + export PATH=$AXIOM/bin:$PATH + +$spad/mnt/linux/bin/axiom is (or will be in the near +future) a script which does not do anything useful for +TeXmacs in the current version (provided you have set +the /etc/profile correctly). In the future this script +will probably also invoke other processes (such as clef +and graphics) which may interfere with or delay Axiom. +But they are very desirable if you run Axiom from the +command line. + +> Now axiom can be called under terminal and TeXmacs. + +Anyway, if it works for you now this all is not +really such a big deal. We can straighten it out +again later if necessary. + +> Another question: Is AXIOM_book is the manual about +> axiom? Where can I find it? +> + +Partial documentation is availabe here + + http://www.linux-france.org/~dmentre/axiom/doc/ + +This material has not yet been moved back onto +Savannah. + +Tim Daly is currently in the process of updating +the original Jenks and Sutor AXIOM book. As you +can see from his message below. It is available +in rough draft form from + + tla get axiom@tenkan.org--axiom/axiom--book--1 + +(GNUarch archive) but I am not sure whether it is +suitable yet for distribution on your CD rom. + +Thank you for all your working on updating the +LiveTeXmacs CD to include the newest version of +open Axiom. + +-----Original Message----- +From: root [mailto:daly@idsi.net] +Sent: Friday, February 20, 2004 5:11 PM +To: Bertfried.Fauser@uni-konstanz.de +Cc: axiom-developer@nongnu.org; daly@idsi.net +Subject: Re: [Axiom-developer] graphics code + +Bertfried, + +>does that mean, that tenkan is now the most actual source, or can / shall +>I use savannah further (my modemconnection is quite slow, so I appreciate +>the cvs which needs only to load changed files, I guess this is impossible +>with anu-arch and I have to download a full new copy?) + +Savannah is "released" code. That is, I've run it thru all of the building +and testing. This is where people who just want to use Axiom should get +their code. + +Unfortunately I have a dozen or so paths of code under development some +of which will not yet even compile. I've been doing all of the development +work on these locally. That takes a long time and no-one can really share +in the effort. + +In order to expose my current working state to the rest of the world on +different efforts I have set up a second archive on tenkan. This archive +has a main branch (axiom--release--1) which is code that will end up being +copied to savannah. It also has several secondary branches that are works +in progress. The current branches are: + + axiom--release--1 the pre-savannah testing version + axiom--book--1 the axiom book branch + axiom--cats--1 the CATS (Computer Algebra Test Suite) branch + axiom--crystal--1 the new Crystal browser branch + axiom--graphics--1 the axiom graphics code + +I'm adding branches as I separate my local pile into distinct efforts. +None of the code in each distinct branch is on savannah yet but the +intention is to merge it and put it there eventually (once it works). + +I want to create a separate branch for your algebra code. I've purchased +a book on Quantum Field Theory (Kaku) which has a few strong chapters on +group theory, including Poincare and Lorentz groups. I'm trying to +understand the algebra that underlies the physics work you're doing. +It seems clear that Lie algebras are an area we need to strengthen. + + + +>Second q: I have tried to redo some of the calculations in the AXIOM book +>Jenks-Sutor, some of the things there do not work as expected, are you +>interested in these or are you aware that eg the symmetric function +>package does not load (I skipped graphics by now) + +There are two things that would be useful. + +First is to post a bug report so that any things you find +don't get lost. The bug reporting can be done on Savannah. + +Second is that the book is now online and, if you're in the mood, +you can work out a corrected version of the example, download the +axiom--book--1 branch, fix it and send me the patches. + +\start +Date: Wed, 25 Feb 2004 19:22:44 -0500 +From: "Page, Bill" +To: 'chu-ching huang' +Subject: [Axiom-developer] RE: [TeXmacs] Axiom plugin +Cc: "Camm Maguire \(E-mail\)" + +huang, + +The errors that you see are because the version of +Axiom that you are using is incomplete. Some of the +required algebra modules have not been compiled by +Axiom. I do not know the reason, however these missing +modules sound like an early version of Axiom that +first became available last Septerber 2003. At that +time the Axiom make file was still incomplete and +did not build all of the required algebra. This was +corrected in versions of Axiom that became available +at the Savannah development site some time around +November 2003. But then there was a hacker attack +on Savannah and that site become unavailable until +nearly January (?). So we had to make do with temporary +locations for the files. Perhaps you or the Debian +developer (Camm, can you verify this?) somehow +managed to get an older set of files. + +These missing modules seriously impact Axiom's +ability to more than a few simple calculations. +I think you should resolve this problem before +distributing Axiom on the CD rom. + +Regards, +Bill Page. + + +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Wednesday, February 25, 2004 10:26 AM +> To: Page, Bill +> Subject: RE: [TeXmacs] Axiom plugin +> +> +> Hi Page, Bill +> +> Thanks for your help. I had download axiom_intro.tm and opened it in +> TeXmacs, but two errors shown: +> +> 1. command about integration, for example: +> -> integrate(func,x) +> Cannot not open /usr/local/axiom/algebra/SIGNEF.o +> Actually, there exists SIGNRF.o but not SIGNEF.o in this directory +> 2. command about series: +> -> series(func,x) +> the error is shown as: +> Cannot not open /usr/local/axiom/algebra/STTF.o +> There only exists STTFUNC.o but not STTF.o. + +\start +Date: 25 Feb 2004 20:45:26 -0500 +From: Camm Maguire +To: "Bill. Page1 (E-mail)" +Subject: [Axiom-developer] Re: [TeXmacs] Axiom plugin +Cc: 'chu-ching huang' + +Greetings! The axiom debian package has these files. (Its currently +dated 20040128). What makes you think Debian might be involved? + +Take care, + +"Page, Bill" writes: + +> huang, +> +> The errors that you see are because the version of +> Axiom that you are using is incomplete. Some of the +> required algebra modules have not been compiled by +> Axiom. I do not know the reason, however these missing +> modules sound like an early version of Axiom that +> first became available last Septerber 2003. At that +> time the Axiom make file was still incomplete and +> did not build all of the required algebra. This was +> corrected in versions of Axiom that became available +> at the Savannah development site some time around +> November 2003. But then there was a hacker attack +> on Savannah and that site become unavailable until +> nearly January (?). So we had to make do with temporary +> locations for the files. Perhaps you or the Debian +> developer (Camm, can you verify this?) somehow +> managed to get an older set of files. +> +> These missing modules seriously impact Axiom's +> ability to more than a few simple calculations. +> I think you should resolve this problem before +> distributing Axiom on the CD rom. +> +> Regards, +> Bill Page. +> +> +> > -----Original Message----- +> > From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> > Sent: Wednesday, February 25, 2004 10:26 AM +> > To: Page, Bill +> > Subject: RE: [TeXmacs] Axiom plugin +> > +> > +> > Hi Page, Bill +> > +> > Thanks for your help. I had download axiom_intro.tm and opened it in +> > TeXmacs, but two errors shown: +> > +> > 1. command about integration, for example: +> > -> integrate(func,x) +> > Cannot not open /usr/local/axiom/algebra/SIGNEF.o +> > Actually, there exists SIGNRF.o but not SIGNEF.o in this directory +> > 2. command about series: +> > -> series(func,x) +> > the error is shown as: +> > Cannot not open /usr/local/axiom/algebra/STTF.o +> > There only exists STTFUNC.o but not STTF.o. + +\start +Date: Wed, 25 Feb 2004 21:15:43 -0500 +From: "Page, Bill" +To: 'Camm Maguire' +Subject: [Axiom-developer] RE: [TeXmacs] Axiom plugin +Cc: 'chu-ching huang' + +Hi Camm, + +My recollection was (perhaps incorrectly) that +chu-ching huang is using your Debian binaries for +his LiveTeXmacs-1.0.3.3.iso Knoppix CD rom project. +But checking through my email I can't confirm that. +In fact in one place he refers to using RedHat 9.0. +So clearly I am confused. + +Does you Debian version execute huang's two simple +examples correctly? Then I will stand corrected. But +still it seems that he must have an older version +of the Axiom source. + +Do you still have problems with compatibility between +TeXmacs and Axiom on the Debian platforms? (unrelated +question) + +Regards, +Bill Page. + +> -----Original Message----- +> From: Camm Maguire [mailto:camm@enhanced.com] +> Sent: Wednesday, February 25, 2004 8:45 PM +> To: Bill. Page1 (E-mail) +> Cc: 'chu-ching huang'; Axiom-Developer (E-mail) +> Subject: Re: [TeXmacs] Axiom plugin +> +> +> Greetings! The axiom debian package has these +> files. (Its currently dated 20040128). What +> makes you think Debian might be involved? +> +> Take care, +> +> "Page, Bill" writes: +> ... +> > +> > > -----Original Message----- +> > > From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> > > Sent: Wednesday, February 25, 2004 10:26 AM +> > > To: Page, Bill +> > > Subject: RE: [TeXmacs] Axiom plugin +> > > +> > > +> > > Hi Page, Bill +> > > +> > > Thanks for your help. I had download axiom_intro.tm +> > > and opened it in TeXmacs, but two errors shown: +> > > +> > > 1. command about integration, for example: +> > > -> integrate(func,x) +> > > Cannot not open /usr/local/axiom/algebra/SIGNEF.o +> > > Actually, there exists SIGNRF.o but not SIGNEF.o +> > > in this directory +> > > 2. command about series: +> > > -> series(func,x) +> > > the error is shown as: +> > > Cannot not open /usr/local/axiom/algebra/STTF.o +> > > There only exists STTFUNC.o but not STTF.o. +> > > +> > > +> > > Regards, +> > > ----------------------------------------------------------------- +> > > chu-ching huang +> > > +> > > email address:cchuang@mail.cgu.edu.tw +> > > +> -- +> Camm Maguire +> camm@enhanced.com +> ============================================================== +> ============ +> "The earth is but one country, and mankind its citizens." -- +> Baha'u'llah + +-----Original Message----- +From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +Sent: Tuesday, February 17, 2004 8:08 PM +To: texmacs-users@texmacs.org +Subject: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released + + +Hi Joris and TeXmacs users, + +Before the Linux kernal changed to 2.6, A more compact +Knoppix-based Linux CDROM focus on TeXmacs and CAS is +released, about 701mb, (named LiveTeXmacs-1.0.3.3.iso, :-)). +It contains: +TeXmacs-1.0.3.3, Octave, R , Maxima, graphviz , yacas, +pari, gnuplot, Eukleides, Dr.Geo, qcl, rlab, Macaulay 2 (M2), +Scilab, and some texmacs files ( in /usr/dems/TeXmacs) +about Calculus (not yet finished). The image file will +be downloaded from: + +ftp://math.cgu.edu.tw/pub/KNOPPIX +ftp://diffusion.cgu.edu.tw/pub/KNOPPIX + +And this is to your new-born angel! + +\start +Date: Wed, 25 Feb 2004 21:42:07 -0500 +From: "Page, Bill" +To: 'chu-ching huang' +Subject: [Axiom-developer] RE: [TeXmacs] Axiom plugin +Cc: "Camm Maguire \(E-mail\)" + +huang, + +The date 20031003 for Axiom source is too old. +You should obtain complete new sources by cvs from + + http://savannah.nongnu.org/cvs/?group=axiom + +Good luck! + +Regards, +Bill Page. + +The following is a excerpt of the most recent CHANGELOG + +--------- + +20040221 tpd Makefile.pamphlet add awkname to <> +20040221 tpd Makefile upgraded to use gcl-2.6.2 +20040221 tpd Makefile.pamphlet upgraded to use gcl-2.6.2 +20040221 tpd lsp/Makefile.pamphlet upgraded to use gcl-2.6.2 +20040221 tpd zips/gcl-2.6.2.patches added +20040221 tpd zips/gcl-2.6.2.tgz added +20040209 tpd zips/tla-1.1.tar.gz added +20040206 tpd src/etc/asq.c.pamphlet fix compiler warnings +20040204 tpd Makefile.linux remove +20040204 dxm src/clef/edible.c fix clef +20040204 dxm src/etc/Makefile.pamphlet fix clef +20040204 dxm src/etc/axiom fix clef +20040204 dxm src/lib/Makefile.pamphlet fix clef +20040204 dxm src/lib/openpty.c.pamphlet fix clef +20040126 tpd src/boot/Makefile remove string-downcase +20040125 jw src/interp/Makefile case-sensitive fix by Juergen Weiss +20040125 jw src/interp/util.lisp case-sensitive fix by Juergen Weiss +20040119 wys src/algebra/pleqn.spad updated by William Sit +20040119 rr src/algebra/reclos.spad updated by Renaud Rioboo +20031124 tpd src/etc/axiom, remove clef +20031115 tpd Makefile, fix "install" stanza to copy axiom, not axiomcmd +20031115 tpd src/lib/Makefile, fix ${SRC}/Makefile.dvi to ${IN}/Makefile.dvi +20031115 tpd Makefile, use ${AWK} in noweb build +20031115 tpd Makefile, change Makefile.linux to use AWK=gawk +20031112 tpd src/algebra/Makefile only rebuild database if algebra changes +20031111 tpd lsp/Makefile removed --enable-readline +20031111 tpd src/scripts/document fix path to notangle, noweave +20031111 tpd lsp/ccl/src/util/Makefile use tangle +20031111 tpd lsp/ccl/src/cslbase/Makefile use TANGLE +20031111 tpd lsp/ccl/src/cclbase/Makefile use TANGLE +20031111 tpd src/input/Makefile add additional tests +20031111 tpd src/input/defs.input otherwise and when bugs +20031111 tpd src/input/knownbugs.input fix typo +20031111 tpd src/input/is.input fix typo +20031111 tpd src/input/cycles1.input fix typo +20031110 tpd Makefile removed WEAVE +20031110 tpd src/scripts/document move noweb to lib, eliminate SPAD +20031110 tpd Makefile move noweb commands to lib (out of user's path) +20031110 tpd src/scripts remove tangle, weave +20031110 tpd src/clef/Makefile, use TANGLE +20031110 tpd src/doc/DeveloperNotes, use notangle -> tangle +20031110 tpd src/doc/Makefile, use TANGLE +20031110 tpd src/algebra/Makefile, use TANGLE +20031110 tpd src/boot/Makefile, use TANGLE +20031110 tpd src/etc/Makefile, use document command, use TANGLE +20031110 tpd src/input/Makefile, use TANGLE, WEAVE +20031110 tpd src/interp/Makefile, use TANGLE, WEAVE +20031110 tpd src/lib/Makefile, use TANGLE, WEAVE +20031110 tpd src/scripts/document use tangle, weave +20031110 tpd src/scripts add tangle, weave +20031110 tpd src/scripts remove notangle, noweave +20031110 tpd Makefile add TANGLE, WEAVE variables, use them +20031109 tpd src/interp/setq.lisp unbalanced quote typo fixed +20031109 tpd src/lib/*.c.pamphlet change all the axiom.sty references +20031109 tpd src/Makefile comment out graphdir +20031109 tpd src/include/debug.h created +20031109 tpd src/lib/Makefile add hash.c.pamphlet +20031109 tpd src/lib/hash.c.pamphlet created +20031109 tpd src/lib/Makefile add dvis to mnt/linux/doc +20031109 tpd src/Makefile make lib subdirectories +20031109 tpd src/Makefile add graphdir +20031108 tpd Makefile changed to add XLIB for src/graph build +20031106 tpd remove zips/gcl-2.5.2.tgz +20031104 tpd src/interp/setq.lisp new kudos +20031104 tpd README new kudos +20031031 tpd src/Makefile add mkdir for mnt/linux/lib directory before etc +20031031 tpd src/lib/sockio-c.c kill AXIOM socket message +20031031 tpd src/clef/edible.c kill debugging message +20031031 tpd update README for axiom command +20031031 tpd update README for make install +20031030 tpd Makefile make install +20031030 tpd src/interp/Makefile rename axiom to AXIOMsys +20031030 tpd src/etc/Makefile build axiom command in $AXIOM/bin +20031030 tpd src/etc/axiom created +20031030 tpd src/etc/axiom.nag removed +20031030 tpd src/etc/axiom.2 removed +20031030 tpd src/etc/axiom.1 removed +20031030 tpd src/etc/Makefile add axiomcmd creation +20031030 tpd src/etc/axiomcmd added shell script using clef +20031030 tpd Makefile.pamphlet use proper stanza names in echo +20031030 tpd src/lib/Makefile use CCF variable in compiles +20031030 tpd src/lib/openpty.c recode to use LINUXplatform +20031030 tpd src/lib/bsdsignal.c recode to use LINUXplatform +20031030 tpd configure command added +20031028 tpd src/interp/vmlisp.lisp, add COT, ASEC functions +20031028 tpd src/doc/Makefile, copy DeveloperNotes to MID +20031028 tpd src/interp/vmlisp.lisp, changed list to cons in manexp +20031028 tpd src/input/Makefile, rearranged working/failing tests +20031028 tpd src/etc/Makefile, added summary, copyright here instead of lib +20031028 tpd src/etc/axiom.2 removed IBM Research Version echo +20031028 tpd src/lib/Makefile changed to pass -Dlinux, use ${CC} +20031028 tpd src/lib/bsdsignal.c modified for linux +20031028 tpd src/lib/openpty.c modified for linux +20031028 tpd src/clef/Makefile created +20031028 tpd src/clef/edible.c created +20031028 tpd src/clef created +20031028 tpd src/Makefile, add clef +20031028 tpd src/algebra/Makefile added RSDCMPK, INTRVL, ODEEF +20031028 tpd src/share/doc/msgs/s2-us.msgs, changed banner message +20031028 tpd Makefile.dvi removed, per Camm's request +20031028 tpd rewrite README +20031028 tpd src/input/r2.* to r2* file rename +20031028 tpd src/input/Makefile, rename r2.* to r2* stanzas +20031028 tpd src/input/Makefile, run all tests +20031028 tpd src/interp/vmlisp.lisp, add Juergen's get-current-directory fn +20031028 tpd src/interp/vmlisp.lisp, add Juergen's acot function +20031028 tpd src/Makefile, changed to create mnt/linux/lib +20031028 tpd src/lib/Makefile, changed to copy summary, copyright +20031028 tpd src/lib/copyright, added +20031028 tpd src/lib/summary, added +20031028 tpd src/interp/vmlisp.lisp, add Juergen's acot function +20031028 tpd src/interp/msgdb.boot, change startup msgs +20031028 tpd src/scripts/tail renamed to boxtail +20031028 tpd src/scripts/head renamed to boxhead +20031028 tpd src/scripts/boxup now uses boxhead, boxtail +20031028 tpd src/doc/Makefile, run document on DeveloperNotes +20031028 tpd src/interp/vmlisp.lisp, add Juergen's manexp function +20031027 tpd regen Makefile.dvi +20031027 tpd update src/input/Makefile with new tests +20031026 tpd remove Makefile.dvi files +20031025 wsp src/share/algebra/*.daase re-add Weiss CMU-CL version databases +20031024 tpd remove Makefiles, leave Makefile.pamphlets +20031024 wsp src/share/algegbra/*.daase update databases +20031024 wsp src/algegbra/Makefile complete lattice layers 22 and 23 +20031024 tpd src/input/Makefile enable test cases +20031024 tpd src/Makefile add share +20031024 tpd src/share/Makefile re-fix doc/hypertex/pages/util.ht +20031023 tpd removed zips/gcl* versions except 2.5.2 and 2.6.1 +20031022 tpd Makefile* gcl-2.6.1.tgz added +20031022 tpd lsp/Makefile* gcl-2.6.1.tgz added +20031022 tpd zips/gcl-2.6.1.* patches created +20031022 tpd zips/gcl-2.6.1.tgz added +20031015 tpd src/algebra/tex.spad add infinity to tex output mode +20031010 tpd fix copyright/license per NAG request +20031005 tpd src/interp/Makefile fix version explanation for *yearweek* +20031005 tpd src/algebra/INTERP.EXPOSED.pamphlet removed +20031005 tpd src/interp/Makefile removed INTERP.EXPOSED +20031003 tpd src/interp/compiler.boot fix stack overflow in compMacro +... + + +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Wednesday, February 25, 2004 9:26 PM +> To: Bill. Page1 (E-mail) +> Subject: RE: [TeXmacs] Axiom plugin +> +> +> On Wed, 25 Feb 2004 21:15:43 -0500, Page, Bill wrote +> > Hi Camm, +> > +> > My recollection was (perhaps incorrectly) that +> > chu-ching huang is using your Debian binaries for +> > his LiveTeXmacs-1.0.3.3.iso Knoppix CD rom project. +> +> Binary means deb? No, axiom is installed directly from +> source compiling, +> The top date shown in "CHANGLOG" is 20031003. +> +> +> > But checking through my email I can't confirm that. +> > In fact in one place he refers to using RedHat 9.0. +> > So clearly I am confused. +> > +> > Does you Debian version execute huang's two simple +> > examples correctly? Then I will stand corrected. But +> > still it seems that he must have an older version +> > of the Axiom source. +> +> Axiom is used on Both Red-hat and Knoppix systems. + +\start +Date: 26 Feb 2004 10:11:12 -0500 +From: Camm Maguire +To: "Bill. Page1 (E-mail)" +Subject: [Axiom-developer] Re: [TeXmacs] Axiom plugin +Cc: 'chu-ching huang' + +Greetings! + +"Page, Bill" writes: + +> Hi Camm, +> +> My recollection was (perhaps incorrectly) that +> chu-ching huang is using your Debian binaries for +> his LiveTeXmacs-1.0.3.3.iso Knoppix CD rom project. +> But checking through my email I can't confirm that. +> In fact in one place he refers to using RedHat 9.0. +> So clearly I am confused. +> +> Does you Debian version execute huang's two simple +> examples correctly? Then I will stand corrected. But +> still it seems that he must have an older version +> of the Axiom source. +> + +I'll double check if you can send me the definitions of func. + +> Do you still have problems with compatibility between +> TeXmacs and Axiom on the Debian platforms? (unrelated +> question) + +The Debian texmacs maintainer has beat me to it. He has applied the +following patch to texmacs for Debian, which (I've just confirmed) +makes axiom thereunder work just fine: + +diff -urNad /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm +--- /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm 2004-01-13 21:00:39.000000000 +0100 ++++ texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm 2004-01-23 21:12:22.000000000 +0100 +@@ -17,7 +17,7 @@ + (lazy-input-converter (axiom-input) axiom)) + + (plugin-configure axiom +- (:require (url-exists-in-path? "AXIOMsys")) ++ (:require (url-exists-in-path? "/usr/bin/axiom")) + (:initialize (axiom-initialize)) + (:launch "tm_axiom") + (:session "Axiom")) +diff -urNad /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm_axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c +--- /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm_axiom.c 2004-01-13 21:00:39.000000000 +0100 ++++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c 2004-01-23 21:12:20.000000000 +0100 +@@ -299,8 +299,8 @@ + case 0: /* Axiom */ + dup2(p1[1],1); close(p1[1]); close(p1[0]); + dup2(p2[0],0); close(p2[0]); close(p2[1]); +- execlp("AXIOMsys","AXIOMsys","-noclef",0); +- fatal("exec AXIOMsys"); ++ execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef",0); ++ fatal("exec /usr/bin/axiom"); + default: /* parent */ + close(p1[1]); close(p2[0]); + axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r"); + +I haven't yet released the new Debian axiom with the symlink and am +wondering if it is still advisable. + +Take care, + + +> +> Regards, +> Bill Page. +> +> > -----Original Message----- +> > From: Camm Maguire [mailto:camm@enhanced.com] +> > Sent: Wednesday, February 25, 2004 8:45 PM +> > To: Bill. Page1 (E-mail) +> > Cc: 'chu-ching huang'; Axiom-Developer (E-mail) +> > Subject: Re: [TeXmacs] Axiom plugin +> > +> > +> > Greetings! The axiom debian package has these +> > files. (Its currently dated 20040128). What +> > makes you think Debian might be involved? +> > +> > Take care, +> > +> > "Page, Bill" writes: +> > ... +> > > +> > > > -----Original Message----- +> > > > From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> > > > Sent: Wednesday, February 25, 2004 10:26 AM +> > > > To: Page, Bill +> > > > Subject: RE: [TeXmacs] Axiom plugin +> > > > +> > > > +> > > > Hi Page, Bill +> > > > +> > > > Thanks for your help. I had download axiom_intro.tm +> > > > and opened it in TeXmacs, but two errors shown: +> > > > +> > > > 1. command about integration, for example: +> > > > -> integrate(func,x) +> > > > Cannot not open /usr/local/axiom/algebra/SIGNEF.o +> > > > Actually, there exists SIGNRF.o but not SIGNEF.o +> > > > in this directory +> > > > 2. command about series: +> > > > -> series(func,x) +> > > > the error is shown as: +> > > > Cannot not open /usr/local/axiom/algebra/STTF.o +> > > > There only exists STTFUNC.o but not STTF.o. +> > > > +> > > > +> > > > Regards, +> > > > ----------------------------------------------------------------- +> > > > chu-ching huang +> > > > +> > > > email address:cchuang@mail.cgu.edu.tw +> > > > +> > -- +> > Camm Maguire +> > camm@enhanced.com +> > ============================================================== +> > ============ +> > "The earth is but one country, and mankind its citizens." -- +> > Baha'u'llah +> +> +> +> -----Original Message----- +> From: chu-ching huang [mailto:cchuang@mail.cgu.edu.tw] +> Sent: Tuesday, February 17, 2004 8:08 PM +> To: texmacs-users@texmacs.org +> Subject: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released +> +> +> Hi Joris and TeXmacs users, +> +> Before the Linux kernal changed to 2.6, A more compact +> Knoppix-based Linux CDROM focus on TeXmacs and CAS is +> released, about 701mb, (named LiveTeXmacs-1.0.3.3.iso, :-)). +> It contains: +> TeXmacs-1.0.3.3, Octave, R , Maxima, graphviz , yacas, +> pari, gnuplot, Eukleides, Dr.Geo, qcl, rlab, Macaulay 2 (M2), +> Scilab, and some texmacs files ( in /usr/dems/TeXmacs) +> about Calculus (not yet finished). The image file will +> be downloaded from: +> +> ftp://math.cgu.edu.tw/pub/KNOPPIX +> ftp://diffusion.cgu.edu.tw/pub/KNOPPIX +> +> And this is to your new-born angel! + +\start +Date: Thu, 26 Feb 2004 12:55:27 -0500 +From: "Bill Page" +To: "'Camm Maguire'" +Subject: [Axiom-developer] RE: [TeXmacs] Axiom plugin +Cc: 'chu-ching huang' + +Camm, + +Arrrggggh! + +They are just undoing the use of AXIOMsys that Joris agreed +to the last time he updated the tm_axiom source... + +Couldn't they have at least used /usr/bin/AXIOMsys ?? + +Is this standard Debian policy to put such absolute +names in products instead of update PATH or putting +a link in a standard place? This seems wrong to me. + +About: "I haven't yet released the new Debian axiom +with the symlink and am wondering if it is still +advisable." + +In my opinion, yes it is still advisable and the TeXmacs +maintainer should return to the source as distributed +by Joris. + +Regards, +Bill Page. + +> -----Original Message----- +> From: Camm Maguire [mailto:camm@enhanced.com] +> Sent: Thursday, February 26, 2004 10:11 AM +> To: Bill. Page1 (E-mail) +> Cc: 'chu-ching huang'; Axiom-Developer (E-mail) +> Subject: Re: [TeXmacs] Axiom plugin +> +> +> Greetings! +> +> ... +> > Do you still have problems with compatibility between +> > TeXmacs and Axiom on the Debian platforms? (unrelated +> > question) +> +> The Debian texmacs maintainer has beat me to it. He has +> applied the following patch to texmacs for Debian, which +> (I've just confirmed) makes axiom thereunder work just fine: +> +> diff -urNad +> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/ +> init-axiom.scm texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm +> --- +> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/ +> init-axiom.scm 2004-01-13 21:00:39.000000000 +0100 +> +++ texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm +> 2004-01-23 21:12:22.000000000 +0100 +> @@ -17,7 +17,7 @@ +> (lazy-input-converter (axiom-input) axiom)) +> +> (plugin-configure axiom +> - (:require (url-exists-in-path? "AXIOMsys")) +> + (:require (url-exists-in-path? "/usr/bin/axiom")) +> (:initialize (axiom-initialize)) +> (:launch "tm_axiom") +> (:session "Axiom")) +> diff -urNad +> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm +> _axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c +> --- +> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm +> _axiom.c 2004-01-13 21:00:39.000000000 +0100 +> +++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c +> 2004-01-23 21:12:20.000000000 +0100 +> @@ -299,8 +299,8 @@ +> case 0: /* Axiom */ +> dup2(p1[1],1); close(p1[1]); close(p1[0]); +> dup2(p2[0],0); close(p2[0]); close(p2[1]); +> - execlp("AXIOMsys","AXIOMsys","-noclef",0); +> - fatal("exec AXIOMsys"); +> + execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef",0); +> + fatal("exec /usr/bin/axiom"); +> default: /* parent */ +> close(p1[1]); close(p2[0]); +> axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r"); +> +> I haven't yet released the new Debian axiom with the symlink +> and am wondering if it is still advisable. + + + +\start +Date: Sun, 29 Feb 2004 13:36:34 -0500 +From: root +To: icmgroup@mcs.kent.edu +Subject: [Axiom-developer] Axiom + +I'm Tim Daly, the lead developer on the Axiom project +(homepage: http://savannah.nongnu.org/projects/axiom). + +I'd like to explore ways that Axiom can cooperate with your group's +efforts. In particular I see that you've been doing some work with +OpenMath. Axiom, thru the work of Mike Dewar, has OpenMath support +and we'd like to re-enable the use of OpenMath. + +Is there any interest in the ICM group for a cooperative effort? + +\start +Date: Sun, 29 Feb 2004 19:24:44 -0500 +From: root +To: axiom-developer@nongnu.org, mdunstan@computing.dundee.ac.uk +Subject: [Axiom-developer] gnu-arch axiom--book--1 + +The Axiom book is coming along. The entire book can now be extracted +from src/doc/book.pamphlet and the resulting tex file will properly +completely (though not fullly correctly) tex. + +I've worked on the whole book and proofread the first 200 pages of the +electronic copy of the book which correspond to the first 4 chapters +of the paper version. + +The electronic version is different from the paper version and +incorporates work by Martin Dunstan. Once the first completed +version is finished there are yet other changes to incorporate. + +You can get the latest copy by using GNU-Arch (the tar gzip file +is in the zips directory of the latest Axiom CVS version). + +0. tla my-default-archive axiom@tenkan.org--axiom +1. tla archive-setup axiom-book--1 +2. tla get axiom-book--1--patch-8 +3. cd axiom--book--1 +4. export AXIOM=`pwd`/mnt/linux +5. make start +6. cd src/doc +7. export PATH=$AXIOM/bin:$PATH +8. document -o noise book +9. xdvi book.dvi + + +\start +Date: Sun, 29 Feb 2004 19:31:08 -0500 +From: root +To: axiom-developer@nongnu.org, mdunstan@computing.dundee.ac.uk +Subject: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) + +The Axiom book is coming along. The entire book can now be extracted +from src/doc/book.pamphlet and the resulting tex file will properly +completely (though not fullly correctly) tex. + +I've worked on the whole book and proofread the first 200 pages of the +electronic copy of the book which correspond to the first 4 chapters +of the paper version. + +The electronic version is different from the paper version and +incorporates work by Martin Dunstan. Once the first completed +version is finished there are yet other changes to incorporate. + +You can get the latest copy by using GNU-Arch (the tar gzip file +is in the zips directory of the latest Axiom CVS version). + +0. tla my-default-archive axiom@tenkan.org--axiom +1. tla archive-setup axiom-book--1 +2. tla get axiom-book--1 +3. cd axiom--book--1--patch-8 +4. export AXIOM=`pwd`/mnt/linux +5. make start +6. cd src/doc +7. export PATH=$AXIOM/bin:$PATH +8. document -o noise book +9. xdvi book.dvi + + +\start +Date: Sun, 29 Feb 2004 19:30:29 -0500 +From: root +To: axiom-developer@nongnu.org, mdunstan@computing.dundee.ac.uk +Subject: [Axiom-developer] gnu-arch axiom--book--1 + +Also of note is that I've exported yet another effort to the Arch +archive. I've been looking at the details of integrating Axiom and ACL2. +The branch is called axiom--acl2--1 and can be retrieved by: + +0. tla my-default-archive axiom@tenkan.org--axiom +1. tla archive-setup axiom-acl2--1 +2. tla get axiom-acl2--1 + + + + + + + + diff --git a/changelog b/changelog index e5a8ffa..fce4a08 100644 --- a/changelog +++ b/changelog @@ -1,5 +1,7 @@ -20140420 tpd src/axiom-website/patches.html 20140421.01.tpd.patch -20140420 tpd book/2004-01.txt regularize +20140422 tpd src/axiom-website/patches.html 20140422.01.tpd.patch +20140422 tpd book/2004-02.txt regularize +20140421 tpd src/axiom-website/patches.html 20140421.01.tpd.patch +20140421 tpd book/2004-01.txt regularize 20140420 tpd src/axiom-website/patches.html 20140420.03.tpd.patch 20140420 tpd book/2003-12.txt regularize 20140420 tpd src/axiom-website/patches.html 20140420.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 2604279..5ecef7b 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4288,6 +4288,8 @@ book/2003-11.txt regularize book/2003-12.txt regularize 20140421.01.tpd.patch book/2004-01.txt regularize +20140422.01.tpd.patch +book/2004-02.txt regularize