g\start
Date: Sun, 01 Feb 2004 12:11:21 +0100
From: David Mentre
To: Camm Maguire
Subject: Re: [Gcl-devel] Re: 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: David Mentre.

BTW, I also have bounces from your email. It seems that wanadoo.fr (my
ISP) don't want to talk to yours. :(

Subject: Undelivered Mail Returned to Sender
To: david.mentre@wanadoo.fr

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 <postmaster>

If you do so, please include this problem report. You can
delete your own text from the message returned below.

			The SMTP Server program
<Camm@enhanced.com>: 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: list
Subject: 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: Tim Daly
To: Camm Maguire, David Mentre
Subject: 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: Tim Daly
To: Tez Kamihira
Subject: 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)
From: Tez Kamihira
To: Tim Daly
Subject: Re: ViewARCH

Hi,

On Sun, 1 Feb 2004 23:20:59 -0500, Tim Daly 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: Tim Daly
Subject: 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,

Tim Daly 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 <axiom@tenkan.org>
Subject: 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:

 David Mentre--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 David Mentre--2004-code/axiom
* creating branch David Mentre--2004-code/axiom--clef
* creating version David Mentre--2004-code/axiom--clef--1

$ tla tag axiom@tenkan.org--axiom/axiom--release--1 axiom--clef--1
* made tag David Mentre--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: David Mentre--2004-code/axiom--clef--1--base-0
* making pristine copy
* tree version set David Mentre--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--David Mentre--2004-code

$ emacs ++log.axiom--clef--1--David Mentre--2004-code
[ make a proper log file ]

$ tla commit
[ a lot of output ]
* update pristine tree (David Mentre--2004-code/axiom--clef--1--base-0 => axiom--clef--1--patch-1)
* commited David Mentre--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 :) ]

--=-=-=
	filename=axiom--clef--1--patch-1.patches.tar.gz

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: 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: Tim Daly
To: Camm Maguire
Subject: 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: Tim Daly
To: David Mentre
Subject: Re: 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: Tim Daly
Subject: 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: Tim Daly
To: Camm Maguire
Subject: 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: Tim Daly
To: David Mentre
Subject: 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: Tim Daly
To: Camm Maguire
Subject: 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: 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


--=-=-=

(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: Tim Daly
Subject: 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,

Tim Daly 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: Tim Daly
Subject: Re: Patch for clef & detailed procedure to make it using GNU Arch

Hello Tim,

Tim Daly 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: Tim Daly
Subject: Re: clef patch

Hello Tim,

Tim Daly 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
Subject: 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: list
Subject: [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: 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
Subject: 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: Tim Daly
Subject: Re: Patch for clef & detailed procedure to make it using GNU Arch

Hello Tim,

Tim Daly 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: Tim Daly
To: David Mentre
Subject: 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: Tim Daly
To: David Mentre
Subject: 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: [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: list
Subject: [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.

--=-=-=
Subject: Polynomials in ACL2

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: Tim Daly
To: David Mentre
Subject: 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: Tim Daly
To: list
Subject: [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

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: Fabrizio Caruso
Subject: 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: My Maxima Zeilberger
Cc: Fabrizio Caruso

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 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: Tim Daly
To: Joris van der Hoeven, Chris Sangwin
Subject: 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.

> 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
> > Tim Daly
> > 
> > 
> 
> 
> > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET)
> > From: Joris van der Hoeven
> > To: David Mentre
> > Cc: Bill Page, <list>,
> >    <axiom@texmacs.org>, "'Joris van der Hoeven'" 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: Tim Daly
Subject: 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: Tim Daly
> > 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
> > > Tim Daly
> >
> > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET)
> > > From: Joris van der Hoeven
> > > To: David Mentre
> > > Cc: Bill Page, <list>,
> > >    <axiom@texmacs.org>, "'Joris van der Hoeven'" 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: Tim Daly
Subject: 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: Tim Daly
> > 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
> > > Tim Daly
> > > 
> > > 
> > 
> > 
> > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET)
> > > From: Joris van der Hoeven
> > > To: David Mentre
> > > Cc: Bill Page, <list>,
> > >    <axiom@texmacs.org>, "'Joris van der Hoeven'" 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: 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: Tim Daly
> > > 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
> > > > Tim Daly
> > >
> > > > Date: Tue, 11 Nov 2003 11:20:38 +0100 (CET)
> > > > From: Joris van der Hoeven
> > > > To: David Mentre
> > > > Cc: Bill Page, <list>,
> > > >    <axiom@texmacs.org>, "'Joris van der Hoeven'" 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: Re: Bug#231800: axiom: )edit command broken

forwarded 231800 list
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: Tim Daly
To: Camm Maguire
Subject: Re: Bug#231800: axiom: )edit command broken
Cc: Frederic Lehobey

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: Tim Daly
To: Camm Maguire
Subject: Re: 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 <<Makefile.debian>>
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: Tim Daly
To: Bill Page
Subject: Re: [Axiom-mail] TeX vs LaTeX output on AXIOM
Cc: Douglas Troeger, Gilbert Baumslag

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: Tim Daly
To: Chris Sangwin
Subject: 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: Tim Daly
To: list
Subject: [Bob Caviness: Jenks Prize --- call for Nominations]

------- Start of forwarded message -------
Subject: Jenks Prize --- call for Nominations

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: Wed, 18 Feb 2004 17:14:46 -0500
From: Bill Page
To: list
Subject: FW: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released
Cc: Chu-Ching Huang, Offray Vladimir Luna Cardenas

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 Cardenas
[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 Cardenas
To: Bill Page
Subject: 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 Cardenas
Subject: FW: [TeXmacs] LiveTeXmacs-1.0.3.3 CDROM released
Cc: Chu-Ching Huang, Bill Page

Greetings!

Offray Vladimir Luna Cardenas 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: Tim Daly
Subject: Re: [Gcl-devel] Re: Axiom build issues

Greetings!

Tim Daly 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 <<Makefile.debian>>
> 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 Maguire, Dylan Thurston
Subject: 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: Tim Daly
Subject: 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: Tim Daly
Subject: Re: 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: Tim Daly
To: Camm Maguire
Subject: 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: Tim Daly
To: Bertfried Fauser
Subject: Re: 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: list
Subject: GCL getting slushy ...
Cc: Robert Boyer, Mike Thomas, Gordon Shaw Novak, James Amundson, Matt Kaufmann, 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: Tim Daly
To: Camm Maguire
Subject: Re: GCL getting slushy ...
Cc: Robert Boyer, Mike Thomas, Gordon Shaw Novak, James Amundson, Matt Kaufmann, Aurelien Chanudet

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: Tim Daly
To: list
Subject: 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: Tim Daly
Subject: 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: Bill Page
To: list
Subject: FW: [TeXmacs] Axiom plugin
Cc: Chu-Ching Huang, Ralf Treinen

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:Ralf Treinen]
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:Chu-Ching Huang]
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:Chu-Ching Huang

-----Original Message-----
From: Page, Bill [mailto:Bill Page]
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:Chu-Ching Huang]
> 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:Chu-Ching Huang
> 

\start
Date: Tue, 24 Feb 2004 07:41:48 -0500
From: Tim Daly
To: Joris van der Hoeven
Subject: Re: [TeXmacs] Axiom plugin (fwd)
Cc: Chu-Ching Huang

icon? I was unaware that Axiom had an icon.

>
>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:Chu-Ching Huang

\start
Date: Tue, 24 Feb 2004 07:06:10 -0500
From: Bill Page
To: list
Subject: FW: [TeXmacs] Axiom plugin
Cc: Chu-Ching Huang, Ralf Treinen

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-----
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:Chu-Ching Huang]
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:Chu-Ching Huang

-----Original Message-----
From: Page, Bill [mailto:Bill Page]
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:Chu-Ching Huang]
> 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:Chu-Ching Huang
> 

\start
Date: Tue, 24 Feb 2004 08:49:43 -0500
From: Tim Daly
To: Bill Page
Subject: 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: Bill Page
Subject: Re: FW: [TeXmacs] Axiom plugin
Cc: Chu-Ching Huang, Ralf Treinen

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,

Bill Page 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:Ralf Treinen]
> 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:Chu-Ching Huang]
> 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:Chu-Ching Huang
> 
> 
> 
> -----Original Message-----
> From: Page, Bill [mailto:Bill Page]
> 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:Chu-Ching Huang]
> > 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 Maguire
Subject: 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 Maguire, Bill Page, Joris van der Hoeven, David Mentre
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 13:49:22 -0500
From: Bill Page
To: Tim Daly, Camm Maguire
Subject: RE: axiom shell script
Cc: Joris van der Hoeven

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:Tim Daly]
> Sent: Tuesday, February 24, 2004 12:45 PM
> To: Camm Maguire; Bill Page; Joris van der Hoeven;
> David Mentre
> Cc: list
> 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: 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: Bill Page
Subject: Re: axiom shell script
Cc: Joris van der Hoeven

Greetings!

Bill Page 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:Tim Daly]
> > Sent: Tuesday, February 24, 2004 12:45 PM
> > To: Camm Maguire; Bill Page; Joris van der Hoeven;
> > David Mentre
> > Cc: list
> > 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: FW: [TeXmacs] Axiom plugin
Cc: Chu-Ching Huang, Bill Page, Ralf Treinen

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: Bill Page
To: Chu-Ching Huang
Subject: RE: [TeXmacs] Axiom plugin

On Wednesday, February 25, 2004 3:55 AM chu-ching huang
Chu-Ching Huang 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:Tim Daly]
Sent: Friday, February 20, 2004 5:11 PM
To: Bertfried Fauser
Cc: list; Tim Daly
Subject: Re: 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: Bill Page
To: Chu-Ching Huang
Subject: RE: [TeXmacs] Axiom plugin
Cc: Camm Maguire

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:Chu-Ching Huang]
> 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 Page
Subject: 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,

Bill Page 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:Chu-Ching Huang]
> > 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: Bill Page
To: Camm Maguire
Subject: 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 Maguire]
> 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,
> 
> Bill Page writes:
> ... 
> > 
> > > -----Original Message-----
> > > From: chu-ching huang [mailto:Chu-Ching Huang]
> > > 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:Chu-Ching Huang
> > > 
> -- 
> Camm Maguire			     			
> Camm Maguire
> ==============================================================
> ============
> "The earth is but one country, and mankind its citizens."  -- 
>  Baha'u'llah

-----Original Message-----
From: chu-ching huang [mailto:Chu-Ching Huang]
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: Bill Page
To: Chu-Ching Huang
Subject: RE: [TeXmacs] Axiom plugin
Cc: Camm Maguire

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 <<environment>>
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:Chu-Ching Huang]
> 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 Page
Subject: Re: [TeXmacs] Axiom plugin
Cc: Chu-Ching Huang

Greetings!

Bill Page 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 Maguire]
> > 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,
> > 
> > Bill Page writes:
> > ... 
> > > 
> > > > -----Original Message-----
> > > > From: chu-ching huang [mailto:Chu-Ching Huang]
> > > > 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:Chu-Ching Huang
> > > > 
> > -- 
> > Camm Maguire			     			
> > Camm Maguire
> > ==============================================================
> > ============
> > "The earth is but one country, and mankind its citizens."  -- 
> >  Baha'u'llah
> 
> 
> 
> -----Original Message-----
> From: chu-ching huang [mailto:Chu-Ching Huang]
> 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: 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... <sigh>

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 Maguire] 
> 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: Tim Daly
To: list
Subject: 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: Tim Daly
To: list, Martin Dunstan
Subject: 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: Tim Daly
To: list
Subject: 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: Tim Daly
To: list
Subject: 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








