diff --git a/book/2004-03.txt b/book/2004-03.txt new file mode 100644 index 0000000..69663af --- /dev/null +++ b/book/2004-03.txt @@ -0,0 +1,4723 @@ +\start +To: "Bill Page" +Subject: Re: [Axiom-developer] RE: [TeXmacs] Axiom plugin +From: Camm Maguire +Date: 01 Mar 2004 12:02:55 -0500 +Cc: 'chu-ching huang' + +Greetings! + +"Bill Page" writes: + +> Camm, +> +> Arrrggggh! +> +> They are just undoing the use of AXIOMsys that Joris agreed +> to the last time he updated the tm_axiom source... +> +> Couldn't they have at least used /usr/bin/AXIOMsys ?? +> +> Is this standard Debian policy to put such absolute +> names in products instead of update PATH or putting +> a link in a standard place? This seems wrong to me. +> + +In general Debian strives to change upstream source as little as +possible. That said, there is no general mechanism (at least known to +me) to dynamically update a users environment/path after a package +install, so packages generally have to cooperate on items like the +name of the executables, and these typically must go in a directory in +the standard PATH. + +> 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. + +I'll make sure the link is available for the texmacs maintainer to use +where approrpiate. + +Thanks *very much* for your helpful feedback! + +Take care, + +> +> Regards, +> Bill Page. +> +> > -----Original Message----- +> > From: Camm Maguire [mailto:camm@enhanced.com] +> > Sent: Thursday, February 26, 2004 10:11 AM +> > To: Bill. Page1 (E-mail) +> > Cc: 'chu-ching huang'; Axiom-Developer (E-mail) +> > Subject: Re: [TeXmacs] Axiom plugin +> > +> > +> > Greetings! +> > +> > ... +> > > Do you still have problems with compatibility between +> > > TeXmacs and Axiom on the Debian platforms? (unrelated +> > > question) +> > +> > The Debian texmacs maintainer has beat me to it. He has +> > applied the following patch to texmacs for Debian, which +> > (I've just confirmed) makes axiom thereunder work just fine: +> > +> > diff -urNad +> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/ +> > init-axiom.scm texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm +> > --- +> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/ +> > init-axiom.scm 2004-01-13 21:00:39.000000000 +0100 +> > +++ texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm +> > 2004-01-23 21:12:22.000000000 +0100 +> > @@ -17,7 +17,7 @@ +> > (lazy-input-converter (axiom-input) axiom)) +> > +> > (plugin-configure axiom +> > - (:require (url-exists-in-path? "AXIOMsys")) +> > + (:require (url-exists-in-path? "/usr/bin/axiom")) +> > (:initialize (axiom-initialize)) +> > (:launch "tm_axiom") +> > (:session "Axiom")) +> > diff -urNad +> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm +> > _axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c +> > --- +> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm +> > _axiom.c 2004-01-13 21:00:39.000000000 +0100 +> > +++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c +> > 2004-01-23 21:12:20.000000000 +0100 +> > @@ -299,8 +299,8 @@ +> > case 0: /* Axiom */ +> > dup2(p1[1],1); close(p1[1]); close(p1[0]); +> > dup2(p2[0],0); close(p2[0]); close(p2[1]); +> > - execlp("AXIOMsys","AXIOMsys","-noclef",0); +> > - fatal("exec AXIOMsys"); +> > + execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef",0); +> > + fatal("exec /usr/bin/axiom"); +> > default: /* parent */ +> > close(p1[1]); close(p2[0]); +> > axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r"); +> > +> > I haven't yet released the new Debian axiom with the symlink +> > and am wondering if it is still advisable. + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 +From: Camm Maguire +Date: 01 Mar 2004 11:58:34 -0500 +Cc: mdunstan@computing.dundee.ac.uk + +Hi Tim! This stuff is really great! + +How does one find a list of all the branches? + + +\start +Date: Mon, 1 Mar 2004 13:56:16 -0500 +From: Tim Daly +To: camm@enhanced.com +Subject: [Axiom-developer] which branches exist + +Camm, + +There are two ways to know what branches exist. The mechanical way +is to do the following: + +tla my-default-archive axiom@tenkan.org--axiom +tla get axiom--release--1 +cd axiom--release--1--patch-7 +tla branches + +which will tell you what branches exist. The second way is to ask me. +The current branches are: + +axiom--acl2 the Axiom-ACL2 merge effort +axiom--book the axiom book and other documentation efforts +axiom--cats the computer algebra test suite (CATS) +axiom--crystal the crystal assistant software +axiom--graphics the graphics code for axiom +axiom--release the "official" main trunk (mirrored to savannah) + +There will be other branches as I continue to decouple my local +development swamp. I did a bit of work on the book, the acl2, and the +crystal branches this weekend. + +I have several other efforts underway in my local swamp to be exported. +Planned (but not yet created) near-term branches are: + +axiom--advi active documentation with embedded axiom +axiom--aldor recovery of aldor support +axiom--algebra a set of algebra developments with others +axiom--beowulf parallel algorithm support on beowulf +axiom--booklet meta-organization of axiom's pamphlet structure +axiom--cmucl the next common lisp port +axiom--coerce Nic's phd work on exact coercions +axiom--fortran recovery of the fortran library support +axiom--hypertex recovery of hypertex functionality +axiom--proviso pervasive proviso support, including indefinites +axiom--lattice tools to make the axiom math structure visisble +axiom--literate new literate programming tools +axiom--magnus infinite group theory work +axiom--openmath recovery of the openmath interface +axiom--science science support (eg Poincare groups for Field Theory) +axiom--simplify simplification research +axiom--web possible grid-web interface with Paul Wang's group +axiom--zlc a zero-learning curve interface + +If I work on things like the book locally no-one else can help with +the efforts. Making the branches public allows others to contribute. +CVS on savannah would be too hard to manage so I set up a GNU-Arch +server (which is currently mirrored by David Mentre). + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +From: David MENTRE +Date: Mon, 01 Mar 2004 21:05:09 +0100 +Cc: mdunstan@computing.dundee.ac.uk + +root writes: + +> Feedback is appreciated. + +What kind of feedback would you like to have? Proof reading? Work on +specific chapter? Producing specific format of the book (PDF, HTML)? + +\start +Date: Mon, 1 Mar 2004 23:41:11 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: mdunstan@computing.dundee.ac.uk + +David, + +Check out a copy of the book, see if you can extract it, and see +if it TeXs properly in your environment. From there it would be +useful to either proofread the first 4 chapters vs the book or +pick a later chapter and try to fix up the tex. + +\start +Date: Tue, 2 Mar 2004 10:13:49 +0100 (CET) +From: Bertfried Fauser +To: David MENTRE +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: mdunstan@computing.dundee.ac.uk + +On Mon, 1 Mar 2004, David MENTRE wrote: + +> What kind of feedback would you like to have? Proof reading? Work on +> specific chapter? Producing specific format of the book (PDF, HTML)? + +I would really like to look into some particular chapters, but havn't +managed to install tla on my SuSE 8.0 linux due to libc incompatibilities. +I would like to have a try on the symmetric function chapter, hope to be +able to use tla by next week. + +\start +Date: Tue, 2 Mar 2004 07:12:47 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: mdunstan@computing.dundee.ac.uk + +Bertfried, + +tla should compile on SUSE. +If you get the latest update from savannah there is a tla tar gzip +file in the zips directory called tla-1.1.tar.gz + +If you do: + +tar -zxf tla-1.1.tar.gz +cd tla-1.1 +mkdir =build +cd =build +../confiure --prefix /usr/local/tla +make +make install + +you should have a runnable version. Let me know if this fails +and I'll send a note to the GNU-Arch mailing list (please save +your console so I can report the bug). + +\start +Date: Tue, 2 Mar 2004 07:50:27 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: mdunstan@computing.dundee.ac.uk + +Martin, + +> % tla my-id "Martin Dunstan " +> % tla my-default-archive axiom@tenkan.org--axiom +> % tla archive-setup axiom-book--1 + +I just reread your message. You should only need to do: + +tla my-id "Martin Dunstan " +tla my-default-archive axiom@tenkan.org--axiom +tla get axiom--book--1 + +\start +Date: Tue, 2 Mar 2004 07:49:08 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: mdunstan@computing.dundee.ac.uk + +Bertfried, + +In particular, I'd like to get you up to speed on using tla +because the axiom--algebra branch is where I'd like to work +with you to get your code running. So let me know what I can +do to help. + +\start +Date: Tue, 2 Mar 2004 12:12:58 +0000 (GMT) +From: Martin N Dunstan +To: root +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: Bertfried.Fauser@uni-konstanz.de + +Hi Tim, + +> I just reread your message. You should only need to do: +> +> tla my-id "Martin Dunstan " +> tla my-default-archive axiom@tenkan.org--axiom +> tla get axiom--book--1 + +Still not working I'm afraid. Starting from scratch again with no +~/.arch-params and an empty current working directory: + +% tla my-id "Martin Dunstan " +% tla my-default-archive axiom@tenkan.org--axiom +% tla get axiom--book--1 +archive not registered: axiom@tenkan.org--axiom + (see register-archive) + +I've tried reading http://regexps.srparish.net/tutorial-tla/arch.html but +that seems to be geared towards people starting their own project not +accessing a remote one that already exists. + +\start +Date: Tue, 2 Mar 2004 08:12:30 -0500 +From: root +To: mdunstan@computing.dundee.ac.uk +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: Bertfried.Fauser@uni-konstanz.de + +Martin, + +clearly my mistake. I forgot a step I did long ago. This works as a +brand-new user: + +tla my-id "Martin Dunstan " +tla my-default-archive axiom@tenkan.org--axiom + +tla register-archive http://axiom.tenkan.org/current + +tla get axiom--book--1 + +\start +Date: Tue, 2 Mar 2004 08:03:38 -0500 +From: root +To: mdunstan@computing.dundee.ac.uk +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: Bertfried.Fauser@uni-konstanz.de + +ok. let me set up a fresh id locally and try it. +i must be missing something. + +\start +Date: Tue, 2 Mar 2004 14:25:58 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: Bertfried.Fauser@uni-konstanz.de + +On Tue, 2 Mar 2004, root wrote: + +Dear Tim, + +I tired till now only the precomiled binary (much smaller than the source) +since I ahve slow moden access for my home pc only. I will download it and +will surely be able to compile it :-)) + +\start +Date: Tue, 2 Mar 2004 08:13:30 -0500 +From: root +To: mdunstan@computing.dundee.ac.uk +Cc: Bertfried.Fauser@uni-konstanz.de +Subject: [Axiom-developer] gnu-arch tutorial instructions) + +There is a simplified tutorial for gnu-arch at: + +http://www.enyo.di/fw/software/arch/get.html + + +\start +Date: Tue, 2 Mar 2004 13:57:56 +0000 (GMT) +From: Martin N Dunstan +To: root +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (corrected version of instructions) +Cc: Bertfried.Fauser@uni-konstanz.de + +Hi Tim, + +> tla register-archive http://axiom.tenkan.org/current + +Perfect - that's solved the problem! + +\start +Date: Tue, 2 Mar 2004 17:12:03 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (CORRECTED version of instructions) + +On Tue, 2 Mar 2004, root wrote: + +Dear All, + +just in case, somebody tried to compile tla on SuSE, here is a corrected +instruction: + +* download tla-1.1.tgz from gnu-arch homepage eg from savannah +* unpack the archive +> tar -zxf tla-1.1.tar.gz +*-> creates the dir: tla-1-1/ +* goto +> cd tla-1.1 +> cd src +* note that the last cd was _missing_ in Tim's description +* to install as root (needed for the sugested location) +> su +* input (root)passwd +* create this awkward directory +> mkdir =build +> cd =build +* issue the configure and three make commands +> ../confiure --prefix /usr/local/tla +> make +> make test +> make install +* create a link in the $PATH to the binary +> ln -s /usr/local/bin/tla /usr/local/tla/bin/tla +* if you like you can clean up now +> cd +> rm -r tla-1.1/ +* unroot yourself +> exit +* tell the shell that something new is in the path +> rehash +* tls should now work, you might test it saying +> tla +* results in some use tla with -h stuff + +To get the AXIOM book, and to start with tla issue as described by Tim + +> tla my-id "Your Name " +> tla my-default-archive axiom@tenkan.org--axiom +> tla register-archive http://axiom.tenkan.org/current +> tla get axiom--book--1 + +it works for me, at least..... + +\start +Date: Tue, 2 Mar 2004 17:26:43 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 (installation) + +Dear Tim, + + is it really necessary to get the whole bunch of AXIOM if one +wants only to download the book? Do I really have to go through the whole +build of AXIOM to extract it? (My poor 700MHz Laptop needs hours, and its +harddisk is not endless) + The good news is that the book (seems) to be on my Laptop and I +can start with it... + +\start +To: Camm Maguire +Subject: Re: [Axiom-developer] gnu-arch axiom--book--1 +From: David MENTRE +Date: Tue, 02 Mar 2004 19:17:56 +0100 +Cc: mdunstan@computing.dundee.ac.uk + +Hi Camm, + +Camm Maguire writes: + +> How does one find a list of all the branches? + +Either you use tla with following command (I suppose you have a mirror +or registered Tim's archive on your local tla setting): + + tla abrowse -A axiom@tenkan.org--axiom + +that gives you: + +axiom@tenkan.org--axiom + axiom + axiom--acl2 + axiom--acl2--1 + base-0 .. patch-2 + + axiom--book + axiom--book--1 + base-0 .. patch-9 + + axiom--cats + axiom--cats--1 + base-0 .. patch-1 + + axiom--crystal + axiom--crystal--1 + base-0 .. patch-3 + + axiom--graphics + axiom--graphics--1 + base-0 .. patch-2 + + axiom--release + axiom--release--1 + base-0 .. patch-7 + +Or either you use a web browser and get: + + http://axiom.tenkan.org/current/axiom/.listing + +that gives you: +axiom--acl2 +axiom--book +axiom--cats +axiom--crystal +axiom--graphics +axiom--release + + +Tla 1.1 is available as a debian package named tla. + +\start +To: daly@idsi.net +Subject: About Arch mirrors (was: Re: [Axiom-developer] which branches exist) +From: David MENTRE +Date: Tue, 02 Mar 2004 19:23:34 +0100 +Cc: camm@enhanced.com + +HI Tim, + +Tim Daly writes: + +> Making the branches public allows others to contribute. +> CVS on savannah would be too hard to manage so I set up a GNU-Arch +> server (which is currently mirrored by David Mentre). + +Tim, you can have also your Arch archive mirrored on public mirrors. See + + http://wiki.gnuarch.org/moin.cgi/Arch_20Mirrors + + http://sourcecontrol.net/ + +Personnaly, I have added my Arch mirror on the following wiki page: + http://wiki.gnuarch.org/moin.cgi/Archive_20Registry + +\start +Date: Tue, 2 Mar 2004 14:17:14 -0500 +From: Tim Daly +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] public arch servers + +David, + +Do you happen to know how to make an arch server writeable remotely? + +\start +Date: Wed, 3 Mar 2004 09:58:43 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: [Axiom-developer] axiom--book--1--patch-9 fails to compile + +Dear Tim + +over night my laptop tried to compile the axiom--book source from tenkan, +it failed with the following message: + +4 clef created +make[3]: Leaving directory `/home/fauser/axiom--book--1--patch-9/src/clef' +42 making /home/fauser/axiom--book--1--patch-9/src/doc/Makefile from +/home/fauser/axiom--book--1--patch-9/src/doc/Makefile.pamphlet +41 making /home/fauser/axiom--book--1--patch-9/src/doc +make[3]: Entering directory `/home/fauser/axiom--book--1--patch-9/src/doc' +2 making /home/fauser/axiom--book--1--patch-9/int/doc/axiom.bib from +/home/fauser/axiom--book--1--patch-9/src/doc/axiom.bib.pamphlet +5 making /home/fauser/axiom--book--1--patch-9/mnt/linux/bin/tex/axiom.sty +from /home/fauser/axiom--book--1--patch-9/src/doc/axiom.sty.pamphlet +/bin/sh: -c: line 2: syntax error: unexpected end of file +make[3]: *** +[/home/fauser/axiom--book--1--patch-9/mnt/linux/bin/tex/axiom.sty] Error 2 +make[3]: Leaving directory `/home/fauser/axiom--book--1--patch-9/src/doc' +make[2]: *** [docdir] Error 2 +make[2]: Leaving directory `/home/fauser/axiom--book--1--patch-9/src' +make[1]: *** [srcdir] Error 2 +make[1]: Leaving directory `/home/fauser/axiom--book--1--patch-9' +make: *** [all] Error 2 + +I will look if I can nevertheless to the tex code of the book + +\start +Date: Wed, 3 Mar 2004 14:14:08 +0100 (CET) +From: Bertfried Fauser +To: root +Subject: [Axiom-developer] Re: axiom--book--1--patch-9 fails to compile + +On Wed, 3 Mar 2004, root wrote: + +> You don't have to build all of Axiom. You just need the code for +> extracting the book.tex from the book.pamphlet file. Thus, you +> should be able to do: +> +> cd axiom +> make start <=== this makes the document command +> cd src/doc +> document book <=== this extracts book.tex then latex book.tex + +OK, this worked out. It gave a warning "no root <<*>> defined" or such but +actually TeXed the book. + "> make" did even produce an AXIOM, just for curiosity I tried it +and it came up with build date March 2 2004, so its new. It computes, but +I don't know what is broken. It compiled for several hours (PIII 700MHz) +without problems, but I had to leave at 11pm the institute, which is +required for security reasons (@#$%#$#!!), so I cannot tell when it failed. + +Q1: If I would like to make changes to the book, how to proceed, +change it locally and send you a diff or writing a file which explains +what to change (work for you, most likely bad) +Q2: Is there a policy for the TeX? I saw very very outdated TeX +commands like \root{x}\of{y} and \over and such things which seriously +interfere with newer TeX and LaTeX standards. Should there be \mathbb +fonts for real, complex numbers etc. + +Q3: Main question, is it possible to pipe files through axiom, so that +is reads from a file and writes its (TeX) output into a file? Maple has eg +a switch -l which allows to process files and maple interprets only code +inbetween special \begin{mapleinput}...\\end{mapleoutput} tags. It would +be really exquisite to have such a facility and to use AXIOM to produce +(most of) the book itself. This would reduce the possibility to make +errors in copying axiom output into the TeX file and would guarantee, that +in the book exactly that is displayed what AXIOM actually does. If AXIOM +only can process files, a perl frontend could do the rest, I would +recomment three possible environments + +1) \AXIOMsilent{command} +2) \AXIOMoutputonly{command} +2) \AXIOM{command} +[of course this can/should be done as \begin...\end environment] + +The fist should issue an AXIOM command and ignore in the TeX file the +output (so that internal things can be done and the TeX file keeps +clean, eg: + \AXIOMsilent{)set time on} + +The second should issue an AXIOM command that is not recorded in the TeX +file, but the output is shown, this hides AXIOMs technicalities away from +the user, eg: + \AXIOMoutput{draw(...)} or \AXIOMoutput{integrate(sin,x)} + +The third tag should come up with the TeX output of the AXIOM command and +the corresponding AXIOM output for regular use and to be able to show the +reader what input caused the display to be shown. + + Let me say, that you did an enormous work already right now to +make the book available in its present form. Great! + +\start +Date: Wed, 3 Mar 2004 09:12:02 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: [Axiom-developer] Re: axiom--book--1--patch-9 fails to compile + +Bertfried, + +>> You don't have to build all of Axiom. You just need the code for +>> extracting the book.tex from the book.pamphlet file. Thus, you +>> should be able to do: +>> +>> cd axiom +>> make start <=== this makes the document command +>> cd src/doc +>> document book <=== this extracts book.tex then latex book.tex +> +>OK, this worked out. It gave a warning "no root <<*>> defined" or such but +>actually TeXed the book. +> "> make" did even produce an AXIOM, just for curiosity I tried it +>and it came up with build date March 2 2004, so its new. It computes, but +>I don't know what is broken. It compiled for several hours (PIII 700MHz) +>without problems, but I had to leave at 11pm the institute, which is +>required for security reasons (@#$%#$#!!), so I cannot tell when it failed. + +you should be able to run make on a partial build and it will restart +from where it stopped. + +> +>Q1: If I would like to make changes to the book, how to proceed, +>change it locally and send you a diff or writing a file which explains +>what to change (work for you, most likely bad) + +at the moment just send me the + + diff -Naur (myversion.tex) (yourversion.tex) + +and I'll merge them. The long term plan is to allow direct +edits to the file. First I have to figure out how to make +the arch server version writeable. + +>Q2: Is there a policy for the TeX? I saw very very outdated TeX +>commands like \root{x}\of{y} and \over and such things which seriously +>interfere with newer TeX and LaTeX standards. Should there be \mathbb +>fonts for real, complex numbers etc. + +The TeX is standard TeX although not used much these days. +The \root{x}\of{y} form is actual Axiom output. You can see this +output by typing + + )set output tex on + +at the Axiom console and then typing an equation. +We need to consider updating the TeX generator in Axiom. +Bill, David, and Joris have already complained about it. +It's on the list of things to do. + +> +>Q3: Main question, is it possible to pipe files through axiom, so that +>is reads from a file and writes its (TeX) output into a file? Maple has eg +>a switch -l which allows to process files and maple interprets only code +>inbetween special \begin{mapleinput}...\\end{mapleoutput} tags. It would +>be really exquisite to have such a facility and to use AXIOM to produce +>(most of) the book itself. +.....(snip)..... + +The entries in the book ARE actual output from Axiom. +Every Axiom command is surrounded by a + \spadcommand{ } +TeX command and the output from Axiom has been pasted +back into the book. In fact, in the past the book's output +was generated this way and I have broken this facility. +Future plans will bring this back but in a much different +form that uses literate programming for uniformity. + +\start +Date: Wed, 3 Mar 2004 08:19:12 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: [Axiom-developer] Re: axiom--book--1--patch-9 fails to compile + +Bertfried, + +You don't have to build all of Axiom. You just need the code for +extracting the book.tex from the book.pamphlet file. Thus, you +should be able to do: + +cd axiom +make start <=== this makes the document command +cd src/doc +document book <=== this extracts book.tex then latex book.tex + +If this doesn't work I need to fix it. +Please let me know if this succeeds or fails. +Sometimes it is hard to know if things work because I have so many +things in the path locally. + +\start +To: Tim Daly +From: David MENTRE +Date: Wed, 03 Mar 2004 19:04:20 +0100 +Subject: [Axiom-developer] Re: public arch servers + +Hello Tim, + +Tim Daly writes: + +> Do you happen to know how to make an arch server writeable remotely? + +Yes, you should use sftp (secure ftp client of ssh). You put you public +ssh key (and maybe the key of all people you want to give write access) +on the server (in the .ssh/authorized_keys) and you use an sftp:// url +for the mirror. + +For example, for my own archive I have: + + ## my local repository +dmentre@linux-france.org--2004-code + /home/david/{archives}/2004-code + + ## its mirror on linux-france.org +dmentre@linux-france.org--2004-code-MIRROR + sftp://linux-france.org/home/lf/dmentre/html/arch-ive + + +For more info, look at: + + http://wiki.gnuarch.org/moin.cgi/Centralized_20Development + (section 1.2, Creating a shared archive) + + http://www.gnu.org/software/gnu-arch/tutorial/shared-and-public-archives.html#Shared_and_Public_Archives + (look at: Mirroring a Local Archive Remotely) + +\start +Date: Thu, 4 Mar 2004 03:13:50 -0500 +From: xli96@uwo.ca +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] a problem + +hi, + I am using axiom.linux.20030614.tgz + is this a bug or something? thanks + +(1) -> )clear all + All user variables and function definitions have been cleared. +(1) -> V:=OVAR[x,y,z] + + Type: Domain +(2) -> p:=NSMP(Integer,V) + + (2) NewSparseMultivariatePolynomial(Integer,OrderedVariableList [x,y,z]) + +(3) -> T:=RegularChain(Integer,[x,y,z]) + + (3) RegularChain(Integer,[x,y,z]) + Type: Domain +(4) -> lp: List p:=[x**2+y+z-1,x+y-1,x+y**2+z-1,x+y+z**2-1] + + 2 2 2 + (4) [x + y + z - 1,x + y - 1,x + y + z - 1,x + y + z - 1] +Type: List NewSparseMultivariatePolynomial(Integer,OrderedVariableList [x,y,z]) + +(5) -> zeroSetSplit(lp)$T + Loading /home/xli96/programs/axiom/mnt/linux/algebra/RGCHAIN.o for + domain RegularChain + + >> System error: + The function |RegularTriangularSet| is undefined. + +\start +From: Aurelien Chanudet +Date: Fri, 5 Mar 2004 09:54:18 +0100 +To: axiom-developer@nongnu.org +Cc: hornp@xinit.org +Subject: [Axiom-developer] Axiom on OSX + +Hi all, + +When trying to build Axiom on MacOSX, here is what I get : + +-bash2.05b /src/src/axiom $ make +0 SPAD=/src/src/axiom/mnt/linux SYS=linux SPD=/src/src/axiom +LSP=/src/src GCLDIR=/src/src/gcl-2.7.0 SRC=/src/src/axiom/src +INT=/src/src/axiom/int OBJ=/src/src/axiom/obj MNT=/src/src/axiom/mnt +ZIPS=/src/src/axiom/zips TMP=/src/src/axiom/obj/tmp +SPADBIN=/src/src/axiom/mnt/linux/bin INC=/src/src/axiom/src/include +CCLBASE=/src/src/axiom/obj/linux/ccl/ccllisp PART=cprogs +SUBPART=everything NOISE=-o /src/src/axiom/obj/tmp/trace +GCLVERSION=gcl-2.7.0 TANGLE=/src/src/axiom/mnt/linux/bin/lib/notangle +10 copying /src/src/axiom/src/scripts to /src/src/axiom/mnt/linux/bin +CHANGELOG CVS Makefile Makefile.linux Makefile.pamphlet README +configure int lastBuildDate license lsp mnt noweb obj src zips 1 +1 making a linux system, PART=cprogs SUBPART=everything +2 Environment SPAD=/src/src/axiom/mnt/linux SYS=linux +SPD=/src/src/axiom LSP=/src/src GCLDIR=/src/src/gcl-2.7.0 +SRC=/src/src/axiom/src INT=/src/src/axiom/int OBJ=/src/src/axiom/obj +MNT=/src/src/axiom/mnt ZIPS=/src/src/axiom/zips +TMP=/src/src/axiom/obj/tmp SPADBIN=/src/src/axiom/mnt/linux/bin +INC=/src/src/axiom/src/include +CCLBASE=/src/src/axiom/obj/linux/ccl/ccllisp PART=cprogs +SUBPART=everything NOISE=-o /src/src/axiom/obj/tmp/trace +GCLVERSION=gcl-2.7.0 TANGLE=/src/src/axiom/mnt/linux/bin/lib/notangle +CHANGELOG CVS Makefile Makefile.linux Makefile.pamphlet README +configure int lastBuildDate license lsp mnt noweb obj src zips 2 +CHANGELOG CVS Makefile Makefile.linux Makefile.pamphlet README +configure int lastBuildDate license lsp mnt noweb obj src zips 3 +11 checking directory structure +12 Environment: PLF=LINUXplatform CCF=-O2 -fno-strength-reduce -Wall +-D_GNU_SOURCE -DLINUXplatform -I/usr/X11/include LDF=-L/usr/X11R6/lib +CC=gcc AWK=gawk RANLIB=ranlib TOUCH=touch TAR=tar +AXIOMXLROOT=/src/src/axiom/mnt/linux/compiler O=o BYE=bye LISP=lsp +DAASE=/src/src/axiom/src/share XLIB=/usr/X11R6/lib +18 making /src/src/axiom/src +1 making /src/src/axiom/src/scripts +1 making /src/src/axiom/src/scripts +17 making /src/src/axiom/src/lib +72 finished making /src/src/axiom/obj/linux/lib/libspad.a +/src/src/axiom/obj/linux/lib/cfuns-c.o +/src/src/axiom/obj/linux/lib/hash.o +0 PLF=LINUXplatform CCF=-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE +-DLINUXplatform -I/usr/X11/include LDF=-L/usr/X11R6/lib CC=gcc AWK=gawk +RANLIB=ranlib TOUCH=touch TAR=tar +AXIOMXLROOT=/src/src/axiom/mnt/linux/compiler O=o BYE=bye LISP=lsp +DAASE=/src/src/axiom/src/share XLIB=/usr/X11R6/lib +10 copying /src/src/axiom/src/scripts to /src/src/axiom/mnt/linux/bin +make[1]: *** No rule to make target `/src/src/Makefile.pamphlet', +needed by `/src/src/Makefile'. Stop. +make: *** [all] Error 2 + +I don't seem to find the place this error is originating from. Any +ideas ? + +\start +Date: Sat, 6 Mar 2004 21:56:21 -0500 +From: root +To: xli96@uwo.ca +Subject: Re: [Axiom-developer] a problem + +Yes that is a bug but one that has been fixed. +You'll need a later release. + +\start +From: "Bill Page" +To: +Subject: RE: [Axiom-developer] a problem +Date: Sun, 7 Mar 2004 17:04:51 -0500 + +xli96, + +20030614 is much too old. If possible you should build axiom +from cvs at + + http://www.nongnu.org/axiom/download.html + +For pre-compiled binaries, the Debian package is up to date, +but unfortunately up to date binaries for other platforms are +yet available. The reason being that none of us have yet +cracked Savannah's new approach to uploading files to the +files section (too little time mostly, I think. :) + +> -----Original Message----- +> From: +> axiom-developer-bounces+bill.page1=sympatico.ca@nongnu.org +> [mailto:axiom-developer-bounces+bill.page1=sympatico.ca@nongnu +> .org] On Behalf Of xli96@uwo.ca +> Sent: Thursday, March 04, 2004 3:14 AM +> To: axiom-developer@nongnu.org +> Subject: [Axiom-developer] a problem +> +> +> hi, +> I am using axiom.linux.20030614.tgz +> is this a bug or something? thanks +> +> (1) -> )clear all +> All user variables and function definitions have been cleared. +> (1) -> V:=OVAR[x,y,z] +> +> Type: Domain +> (2) -> p:=NSMP(Integer,V) +> +> (2) +> NewSparseMultivariatePolynomial(Integer,OrderedVariableList [x,y,z]) +> +> (3) -> T:=RegularChain(Integer,[x,y,z]) +> +> (3) RegularChain(Integer,[x,y,z]) +> +> Type: Domain +> (4) -> lp: List p:=[x**2+y+z-1,x+y-1,x+y**2+z-1,x+y+z**2-1] +> +> 2 2 2 +> (4) [x + y + z - 1,x + y - 1,x + y + z - 1,x + y + z - 1] +> Type: List +> NewSparseMultivariatePolynomial(Integer,OrderedVariableList [x,y,z]) +> +> (5) -> zeroSetSplit(lp)$T +> Loading /home/xli96/programs/axiom/mnt/linux/algebra/RGCHAIN.o for +> domain RegularChain +> +> >> System error: +> The function |RegularTriangularSet| is undefined. + +\start +Date: Mon, 8 Mar 2004 10:59:24 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] Re: Fedora + +Camm, + +>Greetings! Someone else just asked about Fedora, so I thought I'd +>check the status. To my understanding, the only remaining issue is +>unexec, which is also a problem with emacs, and which, if I recall, +>Roland said he would fix in some manner. Is this true? Has this been +>done? + +I saw the note from Matt re: Fedora and GCL. My understanding is the +same as yours. + +\start +To: daly@idsi.net +From: Camm Maguire +Date: 08 Mar 2004 09:24:24 -0500 +Subject: [Axiom-developer] Fedora + +Greetings! Someone else just asked about Fedora, so I thought I'd +check the status. To my understanding, the only remaining issue is +unexec, which is also a problem with emacs, and which, if I recall, +Roland said he would fix in some manner. Is this true? Has this been +done? + +\start +To: daly@idsi.net +From: Camm Maguire +Date: 08 Mar 2004 18:04:48 -0500 +Subject: [Axiom-developer] Re: Fedora + +Thanks Tim! + +Actually the linking is fine. Its runtime. sbrk(0) returns a random +address with each startup. Thankfully setarch is working. And I feel +it will be supported for a long time, as its required for Fedora's +emacs build too (just checked). + +I'm just hoping that people don't start regarding us as 'old', both in +terms of people and code, and therefore assume there is nothing of +value that should be preserved by maintaining backward compatibility. + +Take care, + +root writes: + +> I've already made a huge stink about it on the fedora list and the +> basic response is "deal with it". It seems that the most recent +> issue is that they also break JIT compilers (Java). +> +> In thinking about this I suspect that there is a hack around it. +> GCL already gets information from the linker when it loads code. +> There are two possible attacks. Either: +> +> (a) don't use the system dynamic linker and link the .so files yourself +> (b) look at the load map and find where the .so files were loaded + +\start +Date: Mon, 8 Mar 2004 15:55:43 -0600 +From: Matt Kaufmann +To: acl2@lists.cc.utexas.edu +Cc: shap@eros-os.org, acl2@lists.cc.utexas.edu +Subject: [Axiom-developer] Re: GCL on Redhat FC1 + +I've emailed directly to you answers to your questions to me, but I want to +thank you publicly for all your GCL efforts! + +-- Matt + Cc: shap@eros-os.org, root , gcl-devel@gnu.org, daly@idsi.net, + axiom-developer@nongnu.org + From: Camm Maguire + Date: 08 Mar 2004 16:38:32 -0500 + User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 + Content-Type: text/plain; charset=us-ascii + Reply-To: acl2@lists.cc.utexas.edu + Sender: owner-acl2@lists.cc.utexas.edu + X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN + + Greetings! GCL is fully functional on FC1 without global exec-shield + shutoff provided one makes use of 'setarch'. Built gcl and acl2 + binaries are in my home directory provided by J. Shapiro. + + GCL + 1) setarch i386 ./configure (optional --enable-dynsysgmp, etc.) + 2) setarch i386 make + + ACL2 + 1) setarch i386 make lisp=gcl + 2) setarch i386 ./saved_acl2 + + etc. + + If there is a way in which a program can internally, i.e. from within, + do its own 'setarch' and one can explain this to me, I'd be happy to + put it in GCL, configured in when appropriate. Or if someone can post + the sources to setarch. At the moment, the most convenient thing + would appear to be to provide an acl2 (or maxima, gcl, axiom...) + wrapper script with the setarch i386 explicitly provided. + + Matt -- + + 1) Any chance to look over the acl2-2.7-8 deb? + 2) Did the compiler fix work for you? It is committed. BTW, we just + passed the clisp high water mark on Paul Dietz' random testers + (size 1000/8) with no failures. Will proceed to the 10,000 size + case and report further, but in any case its looking quite solid. + We may be alone with clisp in this measure of compiler robustness, + and of course in GCL's case the compile is much more aggressive, to + native code. Congrats to all the many people who've helped with + this release, which (hopefully) should be soon now. + + Take care, + + "Matt Kaufmann" writes: + + > Hi -- + > + > For Redhat Fedora Core 1 ACL2 users only: + > + > In case you are using Redhat FC1 and are thinking of using GCL, you may want to + > read the following note from Jonathan S. Shapiro, who tells me that the GCL + > maintainer is working on the problem -- hence future versions of GCL may be OK + > on Redhat FC1, but currently GCL cannot be built on that platform. + > + > It seems that the exec-shield changes that were introduced in Redhat + > Fedora Core 1 (FC1) render GCL non-functional. There is a workaround, + > but it requires disabling a major FC1 security feature, which is + > inadvisable. + > + > The best solution for the moment is to use CMUCL instead, which runs + > fine under Fedore Core 1. After installing CMUCL, I successfully built + > ACL2 with the command + > + > make LISP=lisp + > + > We have made the relevant RPM files available from the Systems Research + > Laboratory at Johns Hopkins University. If you like, you can simply + > download them from: + > + > http://srl.cs.jhu.edu/YUM/srl-stuff + +\start +To: acl2@lists.cc.utexas.edu +From: Camm Maguire +Date: 08 Mar 2004 16:38:32 -0500 +Cc: shap@eros-os.org +Subject: [Axiom-developer] Re: GCL on Redhat FC1 + +Greetings! GCL is fully functional on FC1 without global exec-shield +shutoff provided one makes use of 'setarch'. Built gcl and acl2 +binaries are in my home directory provided by J. Shapiro. + +GCL +1) setarch i386 ./configure (optional --enable-dynsysgmp, etc.) +2) setarch i386 make + +ACL2 +1) setarch i386 make lisp=gcl +2) setarch i386 ./saved_acl2 + +etc. + +If there is a way in which a program can internally, i.e. from within, +do its own 'setarch' and one can explain this to me, I'd be happy to +put it in GCL, configured in when appropriate. Or if someone can post +the sources to setarch. At the moment, the most convenient thing +would appear to be to provide an acl2 (or maxima, gcl, axiom...) +wrapper script with the setarch i386 explicitly provided. + +Matt -- + +1) Any chance to look over the acl2-2.7-8 deb? +2) Did the compiler fix work for you? It is committed. BTW, we just + passed the clisp high water mark on Paul Dietz' random testers + (size 1000/8) with no failures. Will proceed to the 10,000 size + case and report further, but in any case its looking quite solid. + We may be alone with clisp in this measure of compiler robustness, + and of course in GCL's case the compile is much more aggressive, to + native code. Congrats to all the many people who've helped with + this release, which (hopefully) should be soon now. + +Take care, + +"Matt Kaufmann" writes: + +> Hi -- +> +> For Redhat Fedora Core 1 ACL2 users only: +> +> In case you are using Redhat FC1 and are thinking of using GCL, you may want to +> read the following note from Jonathan S. Shapiro, who tells me that the GCL +> maintainer is working on the problem -- hence future versions of GCL may be OK +> on Redhat FC1, but currently GCL cannot be built on that platform. +> +> It seems that the exec-shield changes that were introduced in Redhat +> Fedora Core 1 (FC1) render GCL non-functional. There is a workaround, +> but it requires disabling a major FC1 security feature, which is +> inadvisable. +> +> The best solution for the moment is to use CMUCL instead, which runs +> fine under Fedore Core 1. After installing CMUCL, I successfully built +> ACL2 with the command +> +> make LISP=lisp +> +> We have made the relevant RPM files available from the Systems Research +> Laboratory at Johns Hopkins University. If you like, you can simply +> download them from: +> +> http://srl.cs.jhu.edu/YUM/srl-stuff + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] Axiom on OSX +From: Aurelien Chanudet +Date: Tue, 9 Mar 2004 07:17:55 +0100 +Cc: hornp@xinit.org + +--Apple-Mail-13--425855836 +Content-Transfer-Encoding: 7bit +Content-Type: text/plain; + charset=US-ASCII; + format=flowed + + > Send me the src/src/axiom/Makefile* files. + +There you go. Thanks ! + +--Apple-Mail-13--425855836 +Content-Transfer-Encoding: base64 +Content-Type: application/x-gzip; + x-unix-mode=0644; + name="tim.tar.gz" +Content-Disposition: attachment; + filename=tim.tar.gz + +H4sIAAAAAAAAA+w8a3Pbtpb9WvwKbJKZxl1LftttNs7Er6beOnbGdpp0k84NRUISa4rgEKRl1dH+ +9j0PAHxITt02yc3da01iiiBwcHBwcN5UEY+WvvrEn+Xl9eWtjQ24Li9vbfIVPu5K31eWl1fXVjeX +19dXvlpeWV7fWPtKbnxqxPBTmiLIpfwqT3oXH+o3HiqVfA6EPu+ngP1/HlyofpyoTzUH7Ofy5vr6 +Tfu/ubG+1tr/1ZXV5a/k8qdCqP75N9//sxf72w8emqFKEpmNowVx9ssZNKS6iOJcPni48/rw5PkC +NL/YgY7X0H26NEqLJfj6y9lU3D86e+GaE5MJvF0yeYj/xf1ne0c/H5yeHZ4cbw/CpLPaXe+uzGnd +mNfWXZ3Tujl3/Cb0nWnc6i6LnVc/bQ+C8QU+3T88BUQBvyngXvWeirPTPbcCRPrw+NzdxmkhTnb/ +293q3m/iefUUqCD+5/DFmbv/Pc6MOH+O5IBB06VilBHVdg+PoQkGTi3RlnpxCtPUZ4WpwqSMlNjb +O9rdOTtwMOyAMEzwfxIDhQ+Pz853jo62l0qTLyU6DJKl4CrWI7F38vz5zjFuku1S3yic0/Y73zl+ +dnRAkxNysHFxbwk2PEgHiRLi+OQQELjX0fLBNSwHFpIHobonxIud0/Ptr8Ms1wMjzl7u0r1Ulyqf +FMM4HQghDo5/3paeVXb2p5LYiVCQxGq0ZMlcg5sh/dbwl6l8KyR+7Lac7k0lbwn8nUreDqSN5K1A +ukq7DXiZSt4CxNyD8rvgliyZ/PB3KiuS229TSSt7cI2XCohdMADhb1PJlHpwTVdaiWPBBoc5CJ7w +/GUqhQiS5JFM9Vj1ZBIX4Sgy4uunKhxq+e0n+8gVmEPSJCtyFFzAzslA2j0yE1Oo0WKTArNL9xBW +5UF6Gec6Ham0ACDAANPPsIRVRKAiZKf4TnZOnRrr2rX4+ywYZcNEFfJJq8tnwHSNMUW6gDR9vvPT +wYLs9GUbV4fJmuzHaQziOLJbIXtlnERSp/JdFBTqnXwvC6XkkyQwxS4+2odWIVCJFW1WEnT7yMFe +WXPbTe3QPLpAId/JpBU3c9rxHDVbWpIMpQd0eCjDqAFG/hfw/deoWzu/X/WlPZ38DMTzynLQLQa/ +c6/WUJSI/KC7BNI7DUYKnoMwn97YfckOCLPmTN2RjspEmW4IXFCEQ9nlfnzzeH6fD+MEFIBdnMq5 +ch2pIY8Od294YiVB7QMie07fUZDO6Xt+8Prw+MXL87M5Iwp1JUGayDgFVoDrk7rwlguOB86HSiLf +ASfkF0YWeBuEBXwJCss9w8DInlIpdImA0SyzMC+FiQrSiqHWJTUgS7U4KB/JTt6f19p3AC2XemjL +LfGxsixDnU0YOOqBJRPmcVYA1nqWDWEU7H0ny1udl76d25dm6PylD5xqISyZPfJb3znKI747qGih +QVa6uHmGaq0ea9JkjUcEmQyw+UodN9lqfYIUFG7xqghZ28snrT5DYHb5n1ey0cpL+N7jTQsJihik +jhNHXdvN9X4BG2+UDCI4JtZ8hNXZo+pAL+BWTXSZgz45/1FeBnkc9MDGsDDOUGjZScdxMSR2DPUI +uL+C2oNp2mAdACG+FiLSYYna5wZFurOz47XV+t/QdwRgd3fXA9v4gOrb29v7uBpqf3//dorEUcMN +PDg4cF83/6Ju4UM/Q12mwtbfNiG+m0/Hj0O8W1CMlodda9JJVvff/q+j3/d/kX7/bBfvg5+6/98F +4VVeffw5/sj/X1vbavn/a6sbW3f+/+f43JdnzMuRylQa4RF07CD7OieRfJgWKlk6QuaQGegFaB+J ++6AC+Gsl118c/fBo++jw+OXrWrc9FOkZwMtlPwnAddzbg173OiercLxS3TFFrtJBMezkKirBVum8 +Qvuls/+PZ8cv/3F28vJ07wDuQJAc/QCi4JD83tcrK85lvifuE8DO4PbgPgQPMD7SYPk4bI/2Abjs +HLl+p5tkyTUXBmquNOi9P9oehKGsAg+nO8doDeZBimby+cnLvR+3C12GQ3DDT7eB8wTp99dHpycn +KB3pDhx+C1icbGux+8vBdm+ixNEheM0YZNnfYX+V7ZxhkCPSwJ+5ou2CmV5no26AX/Ign8D1Uhnx +GhFproIddiDEtiUHUJL8YPgK60YXfZ9aqXEqcVnWELcLe3DNX5yTyysE0Y1X8MV3TsnfBbd+zjr5 +Dpx6dOnBoP4FFwV/HTBaMOBwiHECt2i6TuVrnh0vU+tH55qCVsaKcDDYjSrKTALJ0PCCe7g4Yb6+ +IZtiT4YAREX++WZDLT1yisQ/3/qL2sBhWVnRKzIcqpCUKDxQYaFhz4CNy7Aoc28srTRc7UeVomyY +leetlloU6U/6dX/KoL7zNO88zTtPc97BcFKoJp5qYV8ngjwm37mDU3WSjueZL5xBa3mDRdwCTQTQ +bznNxp+dBiaYA+/RvEm8Pe5n25ydbakyMnLw/v4ATAMvH7Z2ro70EVgPdIE4Gja+Z7IgavHS1gwv +2Q2D7l/PcFT9mWBVUiOyZS1pMwszhP6+Wjp2uFE4W8Z6COuEOWbpPwgTHLYg7n+gU+g6iRY6j9r4 +zezR6nIT0Zn9uXE47Q2jAyLrlvvDfeO+fCPvNWLl9+R/bMt7Pll0T/4KfUF2pBZ40yVsj/2AS0hT +evnWj5FKgHWTNVZXbmINIG2dM+akkWpPUQ23R/wRMN7gejTD8ZhHbtU794gfLsrMqn+kOmXi5j/B +DNcHOMhv2YLtNVcY1Ho1ggP0XdYPnXQk9otYI91hyp4zdWJlmOhke7HcbppMrpU88QaR2wSu36Mk +/sJ97y/h0/D/3bH5yHN80P9fWd7c2Fpt+/9ba+t3/v/n+Lx1hzmEQ2eug7yI4TROxVvwZ7MgvAgG +6pry+dbIAeuPI8vQpacGcXrtAEBDEReJukbL71xn8khdqsTLZHgclMVQ59fn8UgXw4ncD5IJtILe +UTTQAQx6Bm1JBKjSqHH7G4gMmAaDDbof6rSAeY1vN/A31un1M5WqPKimlmfOmQKJ4BqNBL9Z5spk +OjVxz4Y7+hispmy26cofQPoWi6h+JmCrXio0B8HekmUm0JzVZZGVxTyfTRrNdi7KOt0n45e9w1EQ +AnCVT0QI0hEoDqSTcSHVVWwKmPJMwaqi1pw8tAaLZX+c4g2IeD1OKyy6YHnHeRtEnF7qC0UUQQ9V +ARqCgaFn3JDGBMAgNUZAI5kGsCIgZpGDMzsOkguLhJizbiAZ0K8YtiZXV1kSALa1FUSqCOLEiKAH +VOQWB26xWiJSBhwU4EHAJI3g1rSRrTa/7Ln9v4kBHz/+9smTbbioypF+8mR+Ev4TJ8g/W3T70ySW +H7M/C8R7/Bga4bQVPnNjqNV6h/D98yRo0Kq7ZY6m6vrx0jQVzD+fqanG3iVr/unJmqeiIUqOHHPv +WeaeirM4DTHQCjIytnEN1BNOwCtjQF6x+B8oEFgD0kYFIDJWRERSHrBQHzcnzROpXjkY4OZkZZ5p +g7Jt7uHa/qfGM1r0qXED6NZjXdiVnz9/gdQJ5FjnF+AOAMVYXcnrt72+1L3fpnWVdVhAb4F9EWnu +T9kHNco0xbBZHxiiPdARtGeqC6dAcUrBrXKcA8lQN5s4wiurR9ReXXnCGptcWkdQOCQXSnjMvDXj +E9HjGNQWb2KSTGRP0RRgeSA1URHCWm3wizhVHtYVvlFqRHQfBrCy8ZAjYnwIvWTkQBm5uRQKZu6y +0ArGAK2dwNKQLQ+rwMFbwpCcQxf/cxbgQgG6Ks+BjnYc9iOoQpy7BXOZnmfFGMPn+YiWajIVxv0Y +ONeOr+nNrhS0aajcYRehDxoqCnY8CzCTr3lC0MIJaeHKWrDmgxnGWeZPJ1oOOcAC6ZCoRYwMjNHa +ANJU9o/kOD0PqHastQAz1CX0TrS+IBo8EiRg32Xj6N1SqsZUP0EDCRxw7Q/IDjeBAzQIVFBYWpu6 +xYcBY4EUD3OFpzSQlyo3WDcBq+TCBk6iwXC30IryKPVqJG1swg2TNU4RoSrcqOamtva0ADma2i2i +Kosyz3FKd+T8LMLlkWCQt58pgWTtQvine5exLg1wCILCOIUz68ZDDXa8FbgGDh9KSjp6O0llibFx +Kect3VC9RyR0yihcBkmJKztWVwXuBRwnmsjEV8hcnSZzYSwhik1YGoAhwbYE+7OnsDQ1golTaCsN +rraYSydg6YqCVD9a0R5QKQ0fBLBlYVWwYKzwxQadR5QCFMGljiOSDjiJF0F9kkLMxESM1umjgtTG +VIhf/RipKxWW5PVIAVIY5WH7PMn2eTqv29ROehhRs8FrUJ0wXATzOhyCWJWzAlHYTjUOnhWWxCkN +Jq05j1NRM94n0gvXHiKQxSxDmmTpKWAVOoVkiAp0QNwOWgFb9tpEpbLe2bWT/4EDbaZXel6k1j2B +lc15MALFyzquUnNoBBG+3iASuyoMgCU8+ePf7XfYP8YMkI50rT5aglZnTxN4ZQTWyQjH0LGBUyhT +FaLtAAgDFXJFMED8V/yF+OuxQEbOaVG5bnmXMCP7XGMtdYaYG5Y9qBh7cDCdQO/a9AzaLXFts9n+ +qw4E9jLkkop6N18B3ew5BwQe5xgzqxM/uUEtCExWbRCKejDVvKgH+p+ponD7zMQHc4cr0PtaC0F8 +Q4IZty9A7kh/DxzjecFFo95auxajoTCSJgetRcq/0NABIFLs9WeHNM3INKspwYd1gaVzx/Md0CNq +AaYCoYUsgDNyIAN2vhcU8Qjcg4fIe+8xNgp/XeYM701GDWDl4RfM+8MFuDAbwnU4yWCr36PV27fB +a+yMNsx7aTB19172UPy+9zz9Hg8l/A2SgerlgVzgIEqFilXbNV7EVY7wlNmlhlyMF9QMNLBEMzh+ +aHz+8VsAT8W5M1/c2VNsk+gUdAYFsFlDYtvOT1T3X9O4uEFiQIKkLQjr2hXGdeWxHjOH0xlkvQNz +52WKQXxUI8/2jpwqsRP4tGNOhYUkdfjlA6virHEJZFEJHNIUjXeBWOeKDEA++LUZ4da0JgGYxJ5l +BoQkUgguMACSwCUs+mkXQ/DMjrghWAtpaYI4gx4r8rhXIq0YL8G6GKAC0JikLJ7MGHsECfNSqCOK +PmkAk1OTYRmLCxJOe1pAgZUDTYwIhNN3vQkTUHs3hgyvd++6/fSbb6wE5TVgOI3GFCx8SLr1y5Qk +KFVXwI7A0X6FZi7pY3fAa+eKgz9v3oBi/vXXhgXjNDjrJuEMmJoTAaN+OYNR3twJamZUqtNOJXEs +sUVr9mrCN28eUIkKgHuouoMu5aps2/bSw6CDXLlAtiSZkb/+Ksh8Jxy2bdOCdWzkW3BjhtcoLAKc +fsosW5sj0grDmNgLNmrqjf0gBW2QBzFVFRtYyHCxwX9v3vCLWgDCUZpFY66KMmdhiGyE+SKN2sOR +HGgJLEMQWQ+T0VwMS2OHMmlGWTGxAKyCdbKrpl5ZTgKqZDp25e4ENysokwLjd4SOGwUe5Js37TeX +APkeBQH56JE5gN6SIm+9XhOMkhZYUhSTDDB6NCtnMZYs/RtSWHkc9IxOykKRFHGvSPXLJHkBDTtp +ZP16h+GMtGwFC7fF33xhrvW+3OPHVQ7xyZO7F9Y+6gtrTmndvZf2Z99Le9oI8rhM9LQW4MFj2cnk +Q6AwHIwFa26i7Oe0Mx17Oo587sHAAVUbowKpe2sgosd4kuI+pwwinX5jsyFodLiZ8eD9/yyca8XT +KKDZiKSRWLTmLa7HcCAEJTG6BNbMYtOCi8x8igtMd5BtRRwCgGBiXYExqikfX7KJJzbBQfyZizir +T9mVZ5g8gnk4n28NnqrYlCOwVPOCSozsDILpQFo304YUNMbvUN6maDHKYABaTjwsUzAjYEo9UmhD +RypRhbX+KvgLFAagURGGuaxTFfQLlVstkaBpiJYPuBM19IT1jhAbLnNGxQK6CeyZIQ0O0vpkScDl +FTbDJmdtDbBirKsFuKBRIrmez5qpoNlZzKAIrpcOLvkCQDAYbNCP3DOyIHl6NJ84TlmmzugJh2V6 +QQEgDLgFYQH+FFs3E0ttFxnM4wGpdg4ekjlLUegg16WNDI60KciZx9d7wLbAhCUYnj19hfSsDFbL +YC5iz7YirVNUUaGGr48ape551z38IMsS8KIE7xcvFa1MMHSAuhGZANbbJyQpUxkC6dEd9/mm7btK +07tK0y+30hSk+UkqX8VppMckVFOF0iFFMeH8tIakYPR8lktUYRlwsMERGXF4xircKq5RYGaEEzpo +nmfkE1UBva78EQCDrFy0jykXU6ZxM08Qs7wOLkEK0AscIBFQOvgVsLg3FJDhwgQ650uRulxKwYie +8hF2Ykr7tbOw8OWQvGbOY5Bpj9LXBfvQ8LTQKIzAboQ/9N0xg/xch//f6uDPTAFPurVk7U2zzOn2 +NyTMnXS5pXSpm4pAWixpgQuejLvy789Q/t0y1hElqr+3+0Df7WZ8nqL/FkKJAVResQE9CApVL7VC +Ew9EOLtHOJm1AClsaLVRlaCLOQDkkivylVVlFMFVqSlzNauWuKSuJHBYY8Fmsk18jTWHIxflno7U +CG3WPcbgCDF4CE7uAimlZ2nZfAIu64KwUzlTvIhHgNVekKdqEKvOc/Ahof/LNKYIcTFpwX7+EqFj +lDUJ0hTfZucw5NhpWzI3MdI5toHdOo+y3nIZXpQD+HYg7qD1u7h42xXOxTbGTHBQ3JPMdw3syQGF +GCBGemzOvrSh2iwHNQhrxCd0PGwyCINwfiOQxJp8KuGLIsghSXWVG7q0nhFCGrlNsoE89FFaLyBg +ILKehqy/UoiBZHAkaDfBNW/lx47OXlRldjUUKaMQJC7PVTmmTAXK9bogn43tY1UD7RosCHfLvlvZ +lTuF9V7o0BeEG/LbGi3PjjY2v5OXKeffH0l6kWARLhuLRGj6bSkU64bHA/X0CFQYZUM8GKM9RaO4 +31fEdaTokM3RbTWEhMu02kPGAOnswGGclWbWL/tRcVLztxIz/ECjyOY9pKWoQAYZam2Ug28DqobX +Q+5S7LMFNqSDj23olMPRDaJjXkTValfUFdXV+hqS3K2+izkizDMYm12r3E8+9CNLh3pKJi1HPZVj +0KbGDCgM795Fuc27KE+x2MuQ9vhXecmotdNf5Os0TZPJmnrTen3q9t1vuXwxv+XS3K2q8kQcBCAa +bVCqlerFihwvXHU+slqYNcxilV8FR9c6yJzWtBJ1kXUuFbYXtZIZDE7blKfNmflqPUtMrFdzaHVr ++iS6jG1eFJdubLWomuBDWxrVAY/W/9wC9rKvBXSqWlEagRG2RoAtRmrUi2ioQCSjtzbKJAB330Vd +bc1c6sehCJw6g06MYqwLbNRCofFIyLiyHd/b1Mo7HCRhn7mMXa5GYG5EvPdgg1DkF/RmWHQlV8zW +Ko+8yGY6uWWq2IZj6xgBmRsI1TdozHFCYc3RJopLzQW5VoJTB2KTDSAT3AajUPhXew+veXRI7KKY +oy+4ni/7Pb2n1cs7yGn+l0W8ZzFlo3X2rQ6qGYWjw8YI6vtGDQbYZSrH52SSgYxyNmzkf8mEkvQG +Y+QlhdFcrW8tk+SqG3WecMkEZQ/4nRrMabgqMKM81Ar1rmTx5btU7hLNajDoFSRzK0Ft7C+oF+cU +bPZX+M9Uq1W1WPibHp4c05s70i9+3KYj/R7I7SDerh8Fwm7Tkcw22ejbfNYseHXVmqSGgJWN83H9 +axe+nBEkqN3yxZrL4w+XU2JUnUDunjXwa95yUXvqtV9VcYHbNKdaAYy/D5qoWOnWqkfwwJ1DQAWy +yFt1QlDN6/wJb0qWt+sekLbgoBqdNiDbdGE9KN0sP6csolNjlD0a2BJYSml5dVymlBNWhoRoVDpd +RCUcPnxtXZxccQCbpzIT0MFXVWV70NQnVfrI183HaYlKhz02OzAqVRWEBytJZ2BNKYHJPzji2lca +g4dUgjDgQe7tjlyhg+knwjLDOcSmZ0zwGfrexObu53RucyTsj+zcqiv+BM+tzmP9h3luM+Ck0Q1L +KHVpGuEXm0TAuEYfK1dVTrVNuFdkDIIfqlLyurtcOWh5m47su3f6m2+woi1wv7aE3AQno0uBq56C +Viri1V0t0CnmyrfWnN1+YJI/hIKFoNSzK/c4S8HVvPUohVUh/9fetTWnjUPhfeZXaNqdSbuJDQbM +pTN5oA0tzLKBDck2OzsZ4gAh3hJMsYF0OvnvqyPJsiyb2M1liVPpoZP6Khl9n46OvnMEt91BvCSJ +USo+JbmN0lzJ8h75l97mqK1NFo5NaoVQ8dxv+sgCc54dCsR5jJ/Oz4kxa3kWNMzd2SEjGpdJo+HC +cV2NfLcxttv2sAk7IUGg+Gkk1oF+YXsGrEZtYXD3UKvaIxIxULMuYOQl5pefzEqnPrew+U6oinqV +6PTeHS7oAhkZK3k1c75LiZprwfoWMZThJxl9w72Jao2Zx8yj4gBC1r4eNvBTsmoxDSTIaCHOeM5d +QHzADr5VyCD/5x8ibYf0W2dnoqWEjXJ/HoS50JfqcaIm7SfTIUFtSH5d/BjcQDxLo5GuwXtZTJGo +LyUUekHW9PHowwSo1LE2shajHLj3hBUP/GhQwIFg1heWBHWEtfkxEwdQsR+o9NgXo5UKtYBXN+yb +ouddqtwmAt4ZYtz9LpdjN4XSlp2d+Xrsa2xYupF6cYG3F/qF/O8SxEETwQV/rF/1PIMCrmgsriB5 +mACoyCHkjcFwWIqe0FPDYHnVbNYfdIZE6KAu81YGOdh4+BKxLImuO9RVNgNeVGoJBBE5x4T5hEoF +/bDvyyM/EZioay7PzQU14noRQVkdBij3f7FoABp9RbsNXYUmbQYZRyAc2SwJ8Q2YHKmv1BhYRL3d +Ayce63KRxsoBJHieht9KLsP8dWlPIMifWV6UkdhZGItvmetbcJiKeLKmrsMVzGTsZt9SlKfrTJrJ ++gaexuMvwvoHfHYeKjX2z9nXYDH4vSMHsmv/QxHCg7veDK/nEJsWUmK/FawlVisuwmYCa4vGeJDM +BZLSGn4F0jGDuC08po1gBLCWngPMTeMy8DciPmNqgAkcA3qr7nETfW52Ou9Q+yP6u3uCPrQah5+a +6LjV7pP/91vdk84Bah5hbOOjzZDbG31sd5psUKfGGFcusy4IkS78U4duvWRRebnNfnQyugD1U1/T +AvpF0O8xZX5zlnhMJwM2jBwLy415EZnZ4YnXhLv3JcmSLql0959oY4vYfS2kFT7+IaybueNeGqsS +zPKjR0ktU6T2bJz28t3+x8S0nvuo0em1GglpPfcRyerZhagJD5UKhQLSXG9kIG1tLWbzheM5LtIu +MQQ8pNnj8XgAdDCYOQM8QwdZG0/MGZOFc39Dys19NBwS4fSrPLP68vPlBfi6dWs6v7LyIKhG2mdO +cfhPuuLzKjY9JxUHPChHp62SdD5Kks5iGUW7tpSos2jenaizeN9MCqL6OEXCi2D93xdl+Cs6Ic9i +4JOTfXaRlpZjoV3+GaGdgGwKZ4XmR0bzo8O5GoVzWYZzLQHO903ssTU4X82NQgjJcCAtiFs9VMdY +y1dLBfSmikHnjmHi8TYFqls9o5AI6l0M6t3uzKGwDtJiHwxavZNTnn67jUgvZkE/tDfH4RhpHXol +ROiQqzA8p3u7q5lDMQpkAcm1NgO+VmeDeRAuBBD+wUE8QLz8nNlSccAWOQD34xAQJPiXjLvhXypm +EP6GDH/jZ4c/0qYzd6pIICMk8NgcUApxgCFzQDmBA8zscUBdooD6/8IA9WSjnkO+MY7FuZkK5+Yd +BjyeNCgwv2AwV0Qw12UsVxOwXMsalu2FfXNtz93woM6PpsV1u2cUUfuofYpMvbQZw/1P7XQT84MB +vpQP2JDgAMZa9KBZt7CBDZELykBUyNsu8uoo2v/kbWwKCdvYGFnFXykWf6kd3+1esULxB172VPij +YCNvQdqsBN6wjbjT1s7lJaI7T90LgOKLFBifPxjLxSgYZVd1uZQAxnLWwMhSaDZmMwfSzZLYMGc5 +uQJNAst8Ckv6sMRJJAoWFwtw0Q+sOMNqZ05MxkBlOTQGB2TpfC1Y0svQhENBwFEuSO8giuSCl12M +r6yVjTkgJosX+dZ+ZjlrJMqRA0nLiGV+I9IRmscSN4Ct59K3s8RjfPGWh1ezldgV1Q5YnhBZ5Hok +ybmYzU8X+Y186NTcpvbrU/v1vTR+3dZ+fdvl1gn+1Ye3ESYgh9PSQb/XOPqA+ieH3T4CHU8xhe8g +DSmwmcdDQIy7dZBIDB74QFIQnhfvtpBY4bU2HV+CynGjJcbpYRM7kCeaapXx2RBFDcVgRWaL+t1s +YRayyxZF3dhAGPjMVjnj9ZORxlMRhKKFl0ILphFHCxgREjOYxQRmuO9GOltjhoVbKRQKln0T9pgE +h1NPK97/gY5sd8guzcP9KWjhqN3tp7AkSkj7CuJzUAp9nUJqz9V038KzNvxfPH8bXn0BeDc6HXmO +8SOOlWBhURQULWzHvWs5IlZJJK9CALjDRKCgviWoC6rBoJfLOE+QDZqZkw3yppbjcZ5aOKhwrnCe +CZxXY3Au6wnNBD2hmTk9YdBUydAXTyisK6y/JKxXCnFYj1jvlQT5YCVz8kGhsRvsd3xCoV2h/UWh +vRSLdtmGryQIBSuZEwq6y1nZcU0z7PLnR+/jvTN1M0hKQ6JvyVmyLycH2B0CiJPDcrdvJsP/pltG +2qkV8rpRkaCD67nGAOOOt8Brl+76KDv4+kP/UvDlE0kx/td1hl/G3qYFv/iQIvjChD82Rw0xTCEL +P2zlIsUN2+IGQW/IgSETQ4LqsJI51aHf0kksMUwehxg+HZ48JiOAQXAwGDRPj5uHENXcHwx8Pz21 +ClITxQMf87j8MVEEkm0CqUcJZCIRSDVBNlnNnGyStbQWa1nUlGWhLIufnhiqxQgx1GTLopog4axm +TsKJWxoxKu5lT6SVCeCrU9gOkcX7FNj1l+8F7CaO4q/i0foj+UJiVvpViNKzArYZAnZksE+QDlaf +tXRw/C9GtJ99EneJC/tiajsk09i32+/1+i0+Z1/gF15/N/DPCzthUCn1lefN3+Xz6/Vah31BdGcx +yQ+vl8OpcEeR7B4Zut61VtZsZl3puFOTe+YLB6rgQs514dbSbbDRR8cb7aHz88bUs3Z29lDLWcCm +4tcXY/SXhdnkA/7TRQfOepZ7D9u0vm8UkfnnETr5HR2PpzraLZc1o1g0tVqpWi4VUC5af/oi/Ie+ +/CJUooy716+QYZVsdirv17THsn+SHuQsF5CoG5Jj89vN8O3WaGVrmOT0go7hrPsPgMPh+yHXp/xT +0KNCTvNfVFFFFVVUUUUVVVRRRRVVVFFFFVVUUUUVVVRR5cnKf2L0pU4AyAAA + +--Apple-Mail-13--425855836-- + +\start +Date: Mon, 8 Mar 2004 15:10:39 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] Re: Fedora + +I've already made a huge stink about it on the fedora list and the +basic response is "deal with it". It seems that the most recent +issue is that they also break JIT compilers (Java). + +In thinking about this I suspect that there is a hack around it. +GCL already gets information from the linker when it loads code. +There are two possible attacks. Either: + +(a) don't use the system dynamic linker and link the .so files yourself +(b) look at the load map and find where the .so files were loaded + +\start +Date: Tue, 9 Mar 2004 10:40:53 +0100 (CET) +From: Martin RUBEY +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] Build trouble + +I just got the gnu arch version of the axiom sources and tried to build, +without success. + +My system is a Mandrake 9.2. + +The build starts with + +3 making noweb +patching file modules.c +mnt.o(.text+0x369): In function `emitfile': +: the use of `tmpnam' is dangerous, better use `mkstemp' +make[1]: [install-shell] Error 1 (ignored) +make[1]: [install-code] Error 1 (ignored) +texhash: /usr/local/share/texmf: directory not writable. Skipping... +texhash: /usr/share/texmf: directory not writable. Skipping... +rm: cannot remove `/var/lib/texmf/ls-R': Operation not permitted +mv: cannot move `/var/lib/texmf/lsR.8hJeED/lsR3989.tmp' to +`/var/lib/texmf/ls-R' +: Operation not permitted +make[1]: [install-elisp] Error 1 (ignored) + +but this doesn't seem to be a problem. However, the build (of gcl, I +suppose) stops with + +gcc -c -Wall -DVOL=volatile -fsigned-char -fwritable-strings -pipe -O3 +-fomit-fr +ame-pointer +-I/home/rubey/{archives}/axiom--release--1--patch-7/lsp/gcl-2.6.2/o + -I../h -I../gcl-tk fat_string.c +fat_string.c:17:17: bfd.h: No such file or directory +fat_string.c:18:21: bfdlink.h: No such file or directory +fat_string.c:228: error: syntax error before "bfd_combined_table_update" +fat_string.c:228: error: syntax error before "PTR" +fat_string.c:228: warning: `struct bfd_link_hash_entry' declared inside +paramete +r list +fat_string.c:228: warning: its scope is only this definition or +declaration, whi +ch is probably not what you want +fat_string.c:228: warning: return type defaults to `int' +fat_string.c: In function `bfd_combined_table_update': +fat_string.c:230: error: `ct' undeclared (first use in this function) +fat_string.c:230: error: (Each undeclared identifier is reported only once +fat_string.c:230: error: for each function it appears in.) +fat_string.c:231: error: `false' undeclared (first use in this function) +fat_string.c:233: error: `h' undeclared (first use in this function) +fat_string.c:233: error: `bfd_link_hash_defined' undeclared (first use in +this f +unction) +fat_string.c:234: error: `true' undeclared (first use in this function) +fat_string.c: In function `fSset_up_combined': +fat_string.c:296: error: invalid use of undefined type `struct +bfd_link_info' +fat_string.c:299: warning: implicit declaration of function +`bfd_link_hash_trave +rse' +fat_string.c:299: error: invalid use of undefined type `struct +bfd_link_info' +fat_string.c:306: error: invalid use of undefined type `struct +bfd_link_info' +fat_string.c: At top level: +../h/ptable.h:53: error: storage size of `link_info' isn't known +make[4]: *** [fat_string.o] Error 1 +make[4]: Leaving directory +`/home/rubey/{archives}/axiom--release--1--patch-7/ls +p/gcl-2.6.2/o' +make[3]: *** [unixport/saved_pre_gcl] Error 2 +make[3]: Leaving directory +`/home/rubey/{archives}/axiom--release--1--patch-7/ls +p/gcl-2.6.2' +cp: cannot stat `unixport/saved_gcl': No such file or directory +make[2]: *** [gcldir] Error 1 +make[2]: Leaving directory +`/home/rubey/{archives}/axiom--release--1--patch-7/ls +p' +make[1]: *** [lspdir] Error 2 +make[1]: Leaving directory +`/home/rubey/{archives}/axiom--release--1--patch-7' +make: *** [all] Error 2 + +\start +Date: Mon, 8 Mar 2004 20:42:02 -0500 +From: root +To: ralubrik@yahoo.fr +Subject: Re: [Axiom-developer] Axiom on OSX +Cc: hornp@xinit.org + +make[1]: *** No rule to make target `/src/src/Makefile.pamphlet', +needed by `/src/src/Makefile'. Stop. + +This is curious because I thought the top level sources +were at src/src/axiom but something appears to want +src/src/Makefile which is too high in the path. + +Send me the src/src/axiom/Makefile* files. + +\start +To: daly@idsi.net +From: Camm Maguire +Date: 08 Mar 2004 14:18:00 -0500 +Subject: [Axiom-developer] Re: Fedora + +Greetings! + +root writes: + +> Camm, +> +> >Greetings! Someone else just asked about Fedora, so I thought I'd +> >check the status. To my understanding, the only remaining issue is +> >unexec, which is also a problem with emacs, and which, if I recall, +> >Roland said he would fix in some manner. Is this true? Has this been +> >done? +> +> I saw the note from Matt re: Fedora and GCL. My understanding is the +> same as yours. +> + +OK, I think my contact's suspicions are correct, and that nothing +local (setarch, -Wa,--execstack) turns off the brk +randomization. You're a fedora developer right? Do you know if there +are plans to address this in later versions? Should I write to Roland +directly? If you do contact him, kindly ask him to also explain how +emacs unexec is made to work. + + +\start +Date: Fri, 12 Mar 2004 11:40:11 +0100 (CET) +From: Martin RUBEY +To: axiom-developer@nongnu.org +Subject: Re: [Axiom-developer] Build trouble on Mandrake + +Sorry, I only read the related thread right now. After installing the +binutils, I ended up with the same problems as Paul. Are these resolved in +any way by now? + +(concerning + +creating makedefc +sed: file conftest.s1 line 10: Unterminated `s' command +creating windows/gcl.iss +sed: file conftest.s1 line 10: Unterminated `s' command +creating windows/sysdir.bat +sed: file conftest.s1 line 10: Unterminated `s' command +creating windows/install.lsp +sed: file conftest.s1 line 10: Unterminated `s' command + +and + +make[4]: Entering directory `/home/rubey/axiom_new/lsp/gcl-2.6.2/cmpnew' +../unixport/saved_pre_gcl ../unixport/ -compile gcl_collectfn.lsp +make[4]: ../unixport/saved_pre_gcl: Command not found +make[4]: *** [gcl_collectfn.o] Error 127 + +\start +Date: Fri, 12 Mar 2004 18:22:05 -0500 +From: root +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] Latex line breaking in Axiom + +FYI... it appears that Axiom can give SOME hints about line breaking. +The tex output includes a \: at the various "joints" in the output +such as between list items. So given [1,2,3], the output tex looks like: + +$$ +\left[ +1, \: 2, \: 3 +\right] +$$ + +\start +Date: Thu, 11 Mar 2004 10:25:30 +0100 (CET) +From: Martin RUBEY +To: axiom-developer@nongnu.org +Subject: RE: [Axiom-developer] a build problem + +On Sun, 7 Mar 2004, Bill Page wrote: + +> xli96, +> +> 20030614 is much too old. If possible you should build axiom +> from cvs at +> +> http://www.nongnu.org/axiom/download.html + +I just tried the CVS version also, with the same result - i.e. unable to +compile fat_string.c -- see my mail with subject "Build trouble" + +Please help! + +\start +To: Martin RUBEY +Subject: Re: [Axiom-developer] Build trouble on Mandrake +From: David MENTRE +Date: Sat, 13 Mar 2004 11:11:31 +0100 + +Hello Martin, + +Martin RUBEY writes: + +> creating makedefc +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/gcl.iss +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/sysdir.bat +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/install.lsp +> sed: file conftest.s1 line 10: Unterminated `s' command + +According to previous messages seen on gcl-devel, this might be related +to previous errors during the configure step of gcl. + +Could you post the content of lsp/gcl-2.6.1/config.log of your Axiom +compilation? + +\start +Date: Sat, 13 Mar 2004 21:53:29 +0100 (CET) +From: Martin RUBEY +To: David MENTRE +Subject: Re: [Axiom-developer] Build trouble on Mandrake + +> According to previous messages seen on gcl-devel, this might be related +> to previous errors during the configure step of gcl. +> +> Could you post the content of lsp/gcl-2.6.1/config.log of your Axiom +> compilation? + +Here you go: + +This file contains any messages produced by compilers while +running configure, to aid debugging if configure makes a mistake. + +configure:786: checking host system type +configure:1168: checking for gcc +configure:1281: checking whether the C compiler (gcc ) works +configure:1297: gcc -o conftest conftest.c 1>&5 +configure:1323: checking whether the C compiler (gcc ) is a +cross-compiler +configure:1328: checking whether we are using GNU C +configure:1337: gcc -E conftest.c +configure:1356: checking whether gcc accepts -g +configure:1388: checking how to run the C preprocessor +configure:1409: gcc -E conftest.c >/dev/null 2>conftest.out +configure:1520: checking for gawk +configure:1593: checking system version (for dynamic loading) +configure:1601: checking for makeinfo +configure:1666: checking use_gmp=yes, doing configure in gmp directory +configure:1820: checking for size of gmp limbs +configure:1836: gcc -o conftest conftest.c 1>&5 +configure:1859: checking _SHORT_LIMB +configure:1876: gcc -o conftest conftest.c 1>&5 +configure: failed program was: +#line 1864 "configure" +#include "confdefs.h" +#include + #include "h/gmp.h" + int main() { + #ifdef _SHORT_LIMB + return 0; + #else + return 1; + #endif + } +configure:1892: checking _LONG_LONG_LIMB +configure:1909: gcc -o conftest conftest.c 1>&5 +configure: failed program was: +#line 1897 "configure" +#include "confdefs.h" +#include + #include "h/gmp.h" + int main() { + #ifdef _LONG_LONG_LIMB + return 0; + #else + return 1; + #endif + } +configure:1948: checking for X +configure:2262: checking for dnet_ntoa in -ldnet +configure:2281: gcc -o conftest conftest.c -ldnet 1>&5 +/usr//bin/ld: cannot find -ldnet +collect2: ld returned 1 exit status +configure: failed program was: +#line 2270 "configure" +#include "confdefs.h" +/* Override any gcc2 internal prototype to avoid an error. */ +/* We use char because int might match the return type of a gcc2 + builtin and then its argument prototype would still apply. */ +char dnet_ntoa(); + +int main() { +dnet_ntoa() +; return 0; } +configure:2303: checking for dnet_ntoa in -ldnet_stub +configure:2322: gcc -o conftest conftest.c -ldnet_stub 1>&5 +/usr//bin/ld: cannot find -ldnet_stub +collect2: ld returned 1 exit status +configure: failed program was: +#line 2311 "configure" +#include "confdefs.h" +/* Override any gcc2 internal prototype to avoid an error. */ +/* We use char because int might match the return type of a gcc2 + builtin and then its argument prototype would still apply. */ +char dnet_ntoa(); + +int main() { +dnet_ntoa() +; return 0; } +configure:2351: checking for gethostbyname +configure:2379: gcc -o conftest conftest.c 1>&5 +configure:2449: checking for connect +configure:2477: gcc -o conftest conftest.c 1>&5 +configure:2541: checking for remove +configure:2569: gcc -o conftest conftest.c 1>&5 +configure:2633: checking for shmat +configure:2661: gcc -o conftest conftest.c 1>&5 +configure:2734: checking for IceConnectionNumber in -lICE +configure:2753: gcc -o conftest -L/usr/X11R6/lib conftest.c -lICE +1>&5 +configure:2784: checking for main in -lXmu +configure:2799: gcc -o conftest conftest.c -lXmu -L/usr/X11R6/lib +1>&5 +configure:2821: checking for main in -lXt +configure:2836: gcc -o conftest conftest.c -lXt -L/usr/X11R6/lib +-lXmu 1>&5 +configure:2858: checking for main in -lXext +configure:2873: gcc -o conftest conftest.c -lXext -L/usr/X11R6/lib +-lXmu -lXt 1>&5 +configure:2895: checking for main in -lXaw +configure:2910: gcc -o conftest conftest.c -lXaw -L/usr/X11R6/lib +-lXmu -lXt -lXext 1>&5 +configure:2932: checking for main in -lX11 +configure:2947: gcc -o conftest conftest.c -lX11 -L/usr/X11R6/lib +-lXmu -lXt -lXext -lXaw 1>&5 +configure:3041: checking for bfd.h +configure:3051: gcc -E conftest.c >/dev/null 2>conftest.out +configure:3068: checking for bfd_init in -lbfd +configure:3087: gcc -o conftest conftest.c -lbfd -liberty 1>&5 +configure:3106: checking if need to define CONST for bfd +configure:3117: gcc -o conftest conftest.c 1>&5 +configure:3175: checking for useable bfd_boolean +configure:3187: gcc -o conftest conftest.c 1>&5 +configure:3274: checking size of long +configure:3294: gcc -o conftest conftest.c 1>&5 +configure:3314: checking sizeof struct contblock +configure:3367: gcc -o conftest conftest.c 1>&5 +configure:3392: checking for endian.h +configure:3402: gcc -E conftest.c >/dev/null 2>conftest.out +configure:3423: checking endianness +configure:3434: gcc -o conftest conftest.c 1>&5 +configure:3457: checking finding DBEGIN +configure:3479: gcc -o conftest conftest.c 1>&5 +configure:3501: checking finding CSTACK_ADDRESS +configure:3518: gcc -o conftest conftest.c 1>&5 +configure:3540: checking sizeof long long int +configure:3556: gcc -o conftest conftest.c 1>&5 +configure:3614: checking for pagewidth +configure:3629: gcc -o conftest conftest.c 1>&5 +configure:3656: checking for getcwd +configure:3684: gcc -o conftest conftest.c 1>&5 +configure:3711: checking for getwd +configure:3739: gcc -o conftest conftest.c 1>&5 +/home/rubey/tmp/cccJTNQd.o(.text+0x11): In function `main': +: the `getwd' function is dangerous and should not be used. +configure:3764: checking for uname +configure:3792: gcc -o conftest conftest.c 1>&5 +configure:3816: checking for gettimeofday +configure:3844: gcc -o conftest conftest.c 1>&5 +configure:3873: checking for sys/ioctl.h +configure:3883: gcc -E conftest.c >/dev/null 2>conftest.out +configure:3923: checking for BSDgettimeofday +configure:3951: gcc -o conftest conftest.c 1>&5 +/home/rubey/tmp/ccGZ52CJ.o(.text+0x11): In function `main': +: undefined reference to `BSDgettimeofday' +collect2: ld returned 1 exit status +configure: failed program was: +#line 3928 "configure" +#include "confdefs.h" +/* System header to define __stub macros and hopefully few prototypes, + which can conflict with char BSDgettimeofday(); below. */ +#include +/* Override any gcc2 internal prototype to avoid an error. */ +/* We use char because int might match the return type of a gcc2 + builtin and then its argument prototype would still apply. */ +char BSDgettimeofday(); + +int main() { + +/* The GNU C library defines this for functions which it implements + to always fail with ENOSYS. Some functions are actually named + something starting with __ and the normal name is an alias. */ +#if defined (__stub_BSDgettimeofday) || defined (__stub___BSDgettimeofday) +choke me +#else +BSDgettimeofday(); +#endif + +; return 0; } +configure:3972: checking for gettimeofday +configure:4027: checking for gettimeofday declaration +configure:4051: checking for sin in -lm +configure:4070: gcc -o conftest conftest.c -lm 1>&5 +configure:4063: warning: conflicting types for built-in function `sin' +configure:4092: checking for main in -lmingwex +configure:4107: gcc -o conftest conftest.c -lmingwex -lm 1>&5 +/usr//bin/ld: cannot find -lmingwex +collect2: ld returned 1 exit status +configure: failed program was: +#line 4100 "configure" +#include "confdefs.h" + +int main() { +main() +; return 0; } +configure:4280: checking for math.h +configure:4290: gcc -E conftest.c >/dev/null 2>conftest.out +configure:4327: checking for values.h +configure:4337: gcc -E conftest.c >/dev/null 2>conftest.out +configure:4374: checking for float.h +configure:4384: gcc -E conftest.c >/dev/null 2>conftest.out +configure:4420: checking for isnormal +configure:4434: gcc -o conftest conftest.c -lm 1>&5 +configure:4480: checking for isfinite +configure:4494: gcc -o conftest conftest.c -lm 1>&5 +configure:4560: checking for sockets +configure:4563: checking for connect +configure:4706: checking for gethostbyname +configure:4797: checking for readline/readline.h +configure:4807: gcc -E conftest.c >/dev/null 2>conftest.out +configure:4803:31: readline/readline.h: No such file or directory +configure: failed program was: +#line 4802 "configure" +#include "confdefs.h" +#include +configure:4883: checking For network code for nsocket.c +configure:4912: gcc -o conftest conftest.c -lm 1>&5 +configure:4929: checking check for listen using fcntl +configure:4944: gcc -c conftest.c 1>&5 +configure:4963: checking for profil +configure:4991: gcc -o conftest conftest.c -lm 1>&5 +configure:5016: checking for setenv +configure:5044: gcc -o conftest conftest.c -lm 1>&5 +configure:5124: checking for _cleanup +configure:5152: gcc -o conftest conftest.c -lm 1>&5 +/home/rubey/tmp/ccmg1CKu.o(.text+0x11): In function `main': +: undefined reference to `_cleanup' +collect2: ld returned 1 exit status +configure: failed program was: +#line 5129 "configure" +#include "confdefs.h" +/* System header to define __stub macros and hopefully few prototypes, + which can conflict with char _cleanup(); below. */ +#include +/* Override any gcc2 internal prototype to avoid an error. */ +/* We use char because int might match the return type of a gcc2 + builtin and then its argument prototype would still apply. */ +char _cleanup(); + +int main() { + +/* The GNU C library defines this for functions which it implements + to always fail with ENOSYS. Some functions are actually named + something starting with __ and the normal name is an alias. */ +#if defined (__stub__cleanup) || defined (__stub____cleanup) +choke me +#else +_cleanup(); +#endif + +; return 0; } +configure:5206: checking FIONBIO vs. O_NONBLOCK for nonblocking I/O +configure:5237: checking check for SV_ONSTACK +configure:5248: gcc -c conftest.c 1>&5 +configure:5265: checking check for SIGSYS +configure:5276: gcc -c conftest.c 1>&5 +configure:5294: checking check for SIGEMT +configure:5305: gcc -c conftest.c 1>&5 +configure:5298: error: `SIGEMT' undeclared here (not in a function) +configure: failed program was: +#line 5296 "configure" +#include "confdefs.h" +#include +int joe=SIGEMT; + +int main() { + +; return 0; } +configure:5329: checking for asm/sigcontext.h +configure:5339: gcc -E conftest.c >/dev/null 2>conftest.out +configure:5369: checking for asm/signal.h +configure:5379: gcc -E conftest.c >/dev/null 2>conftest.out +configure:5417: gcc -c conftest.c 1>&5 +configure:5498: checking for emacs +configure:5546: checking emacs site lisp directory +configure:5570: checking emacs default.el +configure:5599: checking emacs info/dir +configure:5617: checking for tcl/tk +configure:5640: checking for tclsh +configure:5740: checking for main in -llieee +configure:5755: gcc -o conftest conftest.c -llieee -lm 1>&5 +/usr//bin/ld: cannot find -llieee +collect2: ld returned 1 exit status +configure: failed program was: +#line 5748 "configure" +#include "confdefs.h" + +int main() { +main() +; return 0; } +configure:5820: checking alloca +configure:5829: gcc -o conftest conftest.c -lm 1>&5 +configure: In function `main': +configure:5826: error: `NULL' undeclared (first use in this function) +configure:5826: error: (Each undeclared identifier is reported only once +configure:5826: error: for each function it appears in.) +configure: failed program was: +#line 5825 "configure" +#include "confdefs.h" +int main() { exit(alloca(500) != NULL ? 0 : 1);} +configure:5918: checking Checking for buggy gcc version from redhat + +Thanks a lot in advance, + +\start +To: Martin RUBEY +Subject: Re: [Axiom-developer] Build trouble on Mandrake +From: David MENTRE +Date: Sun, 14 Mar 2004 09:46:22 +0100 + +Hello, + +Martin RUBEY writes: + +>> Could you post the content of lsp/gcl-2.6.1/config.log of your Axiom +>> compilation? +> +> Here you go: +[...] +> configure: failed program was: +> #line 5825 "configure" +> #include "confdefs.h" +> int main() { exit(alloca(500) != NULL ? 0 : 1);} +> configure:5918: checking Checking for buggy gcc version from redhat + +Apparently, there isn't the end of this file. In my own config.log, I +have after the above line ("Checking for buggy gcc version from +redhat"), I have: +configure:9772: result: no +configure:9875: creating ./config.status + +## ---------------------- ## +## Running config.status. ## +## ---------------------- ## + +Is this part really missing in your config.log? + +If configure succeeded in creating config.status, you should have a +section: +# +# CONFIG_FILES section. +# + +# No need to generate the scripts if there are no CONFIG_FILES. +# This happens for instance when ./config.status config.h +if test -n "$CONFIG_FILES"; then + # Protect against being on the right side of a sed subst in config.status. + sed 's/,@/@@/; s/@,/@@/; s/,;t t$/@;t t/; /@;t t$/s/[\\&,]/\\&/g; + s/@@/,@/; s/@@/@,/; s/@;t t$/,;t t/' >$tmp/subs.sed <<\CEOF +s,@SHELL@,/bin/sh,;t t +s,@PATH_SEPARATOR@,:,;t t + +Could you send it, with all the "s,@PATH_SEPARATOR@,:,;t t" patterns +(until the CEOF line)? + + + +As a side note, when compiling Axiom, it is always nice to make a full +transcript of the compilation by using the script command or by +compiling in an Emacs shell. Thus we can have the full compilation +commands and results. + +It is always difficult to debug by emails. :) + +\start +Date: Mon, 15 Mar 2004 08:53:28 +0100 (CET) +From: Martin RUBEY +To: David MENTRE +Subject: Re: [Axiom-developer] Build trouble on Mandrake + +Hi (and thanks a lot for your time) + +On Sun, 14 Mar 2004, David MENTRE wrote: + +> Hello, +> +> Martin RUBEY writes: +> +> >> Could you post the content of lsp/gcl-2.6.1/config.log of your Axiom +> >> compilation? + +> > int main() { exit(alloca(500) != NULL ? 0 : 1);} +> > configure:5918: checking Checking for buggy gcc version from redhat +> +> Apparently, there isn't the end of this file. In my own config.log, I +> have after the above line ("Checking for buggy gcc version from +> redhat"), I have: +> configure:9772: result: no +> configure:9875: creating ./config.status +> +> ## ---------------------- ## +> ## Running config.status. ## +> ## ---------------------- ## +> +> Is this part really missing in your config.log? + +YES. + +> If configure succeeded in creating config.status, you should have a +> section: +> # +> # CONFIG_FILES section. +> # +> +> # No need to generate the scripts if there are no CONFIG_FILES. +> # This happens for instance when ./config.status config.h +> if test -n "$CONFIG_FILES"; then +> # Protect against being on the right side of a sed subst in config.status. +> sed 's/,@/@@/; s/@,/@@/; s/,;t t$/@;t t/; /@;t t$/s/[\\&,]/\\&/g; +> s/@@/,@/; s/@@/@,/; s/@;t t$/,;t t/' >$tmp/subs.sed <<\CEOF +> s,@SHELL@,/bin/sh,;t t +> s,@PATH_SEPARATOR@,:,;t t +> +> Could you send it, with all the "s,@PATH_SEPARATOR@,:,;t t" patterns +> (until the CEOF line)? +> +> +> +> As a side note, when compiling Axiom, it is always nice to make a full +> transcript of the compilation by using the script command or by +> compiling in an Emacs shell. Thus we can have the full compilation +> commands and results. + +unfortunately, this is a lot of stuff. But if you like, I mail it to +you... + +> +> It is always difficult to debug by emails. :) + +Thanks for the effort anyway. On my own, I'd be simply lost. + +Here comes config.status. although there is nothing like the aove. I just +copied everything from the first appearance of CONFIG_FILES... + +CONFIG_FILES=${CONFIG_FILES-"makedefc windows/gcl.iss windows/sysdir.bat +windows/install.lsp "} +for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then + # Support "outfile[:infile[:infile...]]", defaulting +infile="outfile.in". + case "$ac_file" in + *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'` + ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;; + *) ac_file_in="${ac_file}.in" ;; + esac + + # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories. + + # Remove last slash and all that follows it. Not all systems have +dirname. + ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'` + if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then + # The file is in a subdirectory. + test ! -d "$ac_dir" && mkdir "$ac_dir" + ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`" + # A "../" for each directory in $ac_dir_suffix. + ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'` + else + ac_dir_suffix= ac_dots= + fi + + case "$ac_given_srcdir" in + .) srcdir=. + if test -z "$ac_dots"; then top_srcdir=. + else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;; + /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; +top_srcdir="$ac_given_srcdir" ;; + *) # Relative path. + srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix" + top_srcdir="$ac_dots$ac_given_srcdir" ;; + esac + + + echo creating "$ac_file" + rm -f "$ac_file" + configure_input="Generated automatically from `echo $ac_file_in|sed +'s%.*/%%'` by configure." + case "$ac_file" in + *Makefile*) ac_comsub="1i\\ +# $configure_input" ;; + *) ac_comsub= ;; + esac + + ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e +"s%:% $ac_given_srcdir/%g"` + sed -e "$ac_comsub +s%@configure_input@%$configure_input%g +s%@srcdir@%$srcdir%g +s%@top_srcdir@%$top_srcdir%g +" $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file +fi; done +rm -f conftest.s* + +# These sed commands are passed to sed as "A NAME B NAME C VALUE D", where +# NAME is the cpp macro being defined and VALUE is the value it is being +given. +# +# ac_d sets the value in "#define NAME VALUE" lines. +ac_dA='s%^\([ ]*\)#\([ ]*define[ ][ ]*\)' +ac_dB='\([ ][ ]*\)[^ ]*%\1#\2' +ac_dC='\3' +ac_dD='%g' +# ac_u turns "#undef NAME" with trailing blanks into "#define NAME VALUE". +ac_uA='s%^\([ ]*\)#\([ ]*\)undef\([ ][ ]*\)' +ac_uB='\([ ]\)%\1#\2define\3' +ac_uC=' ' +ac_uD='\4%g' +# ac_e turns "#undef NAME" without trailing blanks into "#define NAME +VALUE". +ac_eA='s%^\([ ]*\)#\([ ]*\)undef\([ ][ ]*\)' +ac_eB='$%\1#\2define\3' +ac_eC=' ' +ac_eD='%g' + +if test "${CONFIG_HEADERS+set}" != set; then + CONFIG_HEADERS="h/gclincl.h" +fi +for ac_file in .. $CONFIG_HEADERS; do if test "x$ac_file" != x..; then + # Support "outfile[:infile[:infile...]]", defaulting +infile="outfile.in". + case "$ac_file" in + *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'` + ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;; + *) ac_file_in="${ac_file}.in" ;; + esac + + echo creating $ac_file + + rm -f conftest.frag conftest.in conftest.out + ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e +"s%:% $ac_given_srcdir/%g"` + cat $ac_file_inputs > conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + cat > conftest.frag < conftest.out + rm -f conftest.in + mv conftest.out conftest.in + + rm -f conftest.frag conftest.h + echo "/* $ac_file. Generated automatically by configure. */" > +conftest.h + cat conftest.in >> conftest.h + rm -f conftest.in + if cmp -s $ac_file conftest.h 2>/dev/null; then + echo "$ac_file is unchanged" + rm -f conftest.h + else + # Remove last slash and all that follows it. Not all systems have +dirname. + ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'` + if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then + # The file is in a subdirectory. + test ! -d "$ac_dir" && mkdir "$ac_dir" + fi + rm -f $ac_file + mv conftest.h $ac_file + fi +fi; done + + + +exit 0 + + +\start +To: Martin RUBEY +Subject: Re: [Gcl-devel] Re: [Axiom-developer] Build trouble on Mandrake +From: Camm Maguire +Date: 16 Mar 2004 10:06:22 -0500 + +Greetings! As stated earlier by David (thanks David!), this is a +failure by configure to find and set one of its build dependencies. +What machine are you using? Can you please post the full gcl +'./configure && make' part of the output? One can see a list of gcl +build dependencies by looking at the top of the file debian/control. +If you are missing packages in this list, please let me know. + +Take care, + +Martin RUBEY writes: + +> Sorry, I only read the related thread right now. After installing the +> binutils, I ended up with the same problems as Paul. Are these resolved in +> any way by now? +> +> (concerning +> +> creating makedefc +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/gcl.iss +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/sysdir.bat +> sed: file conftest.s1 line 10: Unterminated `s' command +> creating windows/install.lsp +> sed: file conftest.s1 line 10: Unterminated `s' command +> +> and +> +> make[4]: Entering directory `/home/rubey/axiom_new/lsp/gcl-2.6.2/cmpnew' +> ../unixport/saved_pre_gcl ../unixport/ -compile gcl_collectfn.lsp +> make[4]: ../unixport/saved_pre_gcl: Command not found +> make[4]: *** [gcl_collectfn.o] Error 127 + +\start +From: "Page, Bill" +To: 'Camm Maguire' +Date: Tue, 16 Mar 2004 11:42:35 -0500 +Subject: [Axiom-developer] RE: [Gcl-devel] compiler speed + +Camm, + +On Tuesday, March 16, 2004 11:28 AM you wrote: +> +> Greetings! I've been working on this a bit, and have not been able to +> find any more errors, which is good! I'd like to get the 10,000/8 +> case up to the 50k runs or so you did with clisp, but have discovered +> that we have a performance issue in the compiler which scales +> quadratically with the number of variables. I've come up with a fix, +> which reduces the GCL portion of the compile time for your forms of +> size 10000 to a small fraction of its earlier value. +> +> I'm debating with myself whether its good to commit into the stable +> branch before release. Compile speed is not a major issue in most +> cases -- nevertheless I think it useful to be able to report some good +> statistics on your random tester which apply to the stable branch. +> ... + +If your change would affect compile times for Axiom (for example), +then I (personally) would place a high value in it. + +The recent improvements to GCL on Windows are making me anxious +to get back to looking at Axion for Windows. + +You and the rest of the GCL team are doing great work! + +Thank you. + +\start +To: "Page, Bill" +Subject: Re: [Axiom-developer] RE: [Gcl-devel] compiler speed +From: Camm Maguire +Date: 17 Mar 2004 19:54:49 -0500 + +Greetings! + +"Page, Bill" writes: + +> Camm, +> +> On Tuesday, March 16, 2004 11:28 AM you wrote: +> > +> > Greetings! I've been working on this a bit, and have not been able to +> > find any more errors, which is good! I'd like to get the 10,000/8 +> > case up to the 50k runs or so you did with clisp, but have discovered +> > that we have a performance issue in the compiler which scales +> > quadratically with the number of variables. I've come up with a fix, +> > which reduces the GCL portion of the compile time for your forms of +> > size 10000 to a small fraction of its earlier value. +> > +> > I'm debating with myself whether its good to commit into the stable +> > branch before release. Compile speed is not a major issue in most +> > cases -- nevertheless I think it useful to be able to report some good +> > statistics on your random tester which apply to the stable branch. +> > ... +> +> If your change would affect compile times for Axiom (for example), +> then I (personally) would place a high value in it. +> + +While I haven't finished my tests, the changes are bound to help, at +least somewhat. They are most prominent when the number of variables +is large. This having been said, I have confirmed that this issue is +not responsible for the single longest step of the axiom compile, that +of EXPEXPAN.spad. + +The slowness of the compilation of this file is almost entirely due to +to the repeated calls to 'lengthenvec' in category.spad.pamphlet. If +any recall, this was involved in the hasCategory bug of last year. +The function has two basic methods for achieving the lengthening -- if +the array is adjustable, try to adjust it, otherwise replace with a +newly allocated one. The former call to adjust array will in turn +simply allocate a new array unless the array passed to it is +'displaced' to another one (i.e. shares the same storage) large enough +to accommodate the lengthening, in which case there is no copying. + +I cannot discern when lengthenvec is passed a 'displaced' array and +when not. I know this is done at least sometimes, as this was the +cause of the hasCategory bug. The slowdown of EXPEXPAN.spad, however, +is because the passed arrays are *not* displaced, and are +length-incremented by one each call, basically doing a tight loop +allocating and copying a 1k array, then copying again into a 1025 +length array, and so on up to very large numbers. this churns the +garbage collector for relocatable blocks, a sign which I earlier +mistook for bignum integer generation. + +One can usually implement an effective caching by doing something like +the following: + +(defun lengthenvec (v n) + (if (adjustable-array-p v) + (let ((disp (or (array-displacement v) (make-array (+ 1024 n))))) + (when (> n (length disp)) + (setq disp (adjust-array disp (+ 1024 n)))) + (adjust-array v n :displaced-to disp)) + (replace (make-array n) v))) +;(defun lengthenvec (v n) +; (if (adjustable-array-p v) (adjust-array v n) +; (replace (make-array n) v))) + +This does not work, as apparently there is already some displacement +in certain calls to this routine, with which this interferes. + +Speaking of which, I cannot compile debugsys, at least as of my +20040128 tree. Has there been recent work in this area? + +Anyway, suggestions appreciated. + +Take care, + +> The recent improvements to GCL on Windows are making me anxious +> to get back to looking at Axion for Windows. +> +> You and the rest of the GCL team are doing great work! +> +> Thank you. + +\start +Date: Thu, 18 Mar 2004 00:14:54 -0500 +From: root +To: camm@enhanced.com +Subject: [Axiom-developer] EXPEXPAN problem + +Camm, + +Excellent work. I think we can instrument the axiom calls to print +out which array type we are using during the compile. Since the behavior +happens every time and we now have a clue it shouldn't be too hard +to fix (of course, there is no such thing as a simple job). + +re: debugsys. That image is only used to run interpreted versions of +axiom for deep debugging. This might be a case where it is needed. I +haven't been maintaining debugsys because I haven't needed it so it +doesn't surprise me that it fails to build. The problem can't be deep +though as the debugsys build is just a copy of the standard build but +loads the .lisp rather than the .o files. The src/interp/Makefile +makes a file called "makeint.lisp" in the obj/linux/interp directory +which is the final script to build interpsys. I just hack that to +load the .lisp files and call it debugsys. + +re: work. 100% of my time has been spent on documentation. I have an +axiom--book--1 branch on tenkan where I'm making progress. I have +requests out to several authors for copies of their research papers +related to Axiom algebra and Nic has agreed to let me use his thesis +work. I'll be creating the axiom--coerce--1 branch once that arrives. +Fabrizio just sent me new algebra and I have to work it into the +system. I'll put the code into the axiom--algebra--1 branch as soon +as I doc it. I've also written up, for my own understanding, the +axiom--crystal--1 design docs (I just got biffed about a conference on +Mathematical Knowledge Management which is a dead-center target for +Crystal but they need the paper by April and that can't happen). + +Stacked behind that are a bunch of changes to Axiom's latex output +which needs work. I've been sending myself "fix-this" messages that +are queueing up for work. + +Also on the queue is building a live-CD version of Axiom. Dirk has a +Quantian CD (which contains quantitative software) based on Debian. I +think it should be relatively easy (did I mention that there is no +such thing as a simple job?) to add Axiom (and, by side-effect GCL) to +the CD. This will give us a plug-and-play platform. I'd like to get a +lot of the CA systems on one CD so we can use the CD as a basis for +developing algorithms (literate ones :-)). + +I'm happy to see that you're making performance changes to lisp. +Everything helps. + +I'll look at the array issue at the next logical break in the +documentation work (probably the next chapter boundary). + +\start +Date: Thu, 18 Mar 2004 00:27:12 -0500 +From: root +To: axiom-mail@nongnu.org, axiom-developer@nongnu.org +Subject: [Axiom-developer] Mathematical Knowledge Management 2004 - 2nd CFP + +This is related to the 30 year horizon direction of Axiom. + + +Please post - apologies for multiple copies. +============================================ + + MKM 2004 + + Third International Conference on + MATHEMATICAL KNOWLEDGE MANAGEMENT + + http://mizar.org/MKM2004 + + September 19 - 21, 2004 + Bialowieza - Poland + (organized by University of Bialystok) + + Second Call for Papers + +Mathematical Knowledge Management is a new field in the intersection +of mathematics and computer science. + +We need new techniques for managing the enormous volume of +mathematical knowledge available in current mathematical sources and +making it available through the new developments in information +technology. + +Mathematical knowledge is a treasure unsurpassed in its extent, +richness, and interconnectedness, its vitality to engineering, +science, and mathematics itself, its daily use by millions of people. +And thus mathematical knowledge seems to be an excellent candidate for +testing innovative theoretical and technological solutions for +content-based information systems, their interoperability, and +management of machine processable information on the Semantic Web. + +The Conference aims to bring together mathematicians, software +developers, publishing companies, math organizations, and +teachers for exchanging their views and approaches, current activities +and new initiatives. + + CALL FOR PAPERS + +The Conference looks for original contributions to theoretical, +technological and pragmatical aspects of Mathematical Knowledge +Management. Papers focused on system/projects descriptions and +comparison, standardization efforts, critical surveys, large +experiments, and case studies are particularly welcome. A list of +topics (to be understood as specialized to the realm of mathematical +information) comprises but is not restricted to: + +Authoring languages and tools MathML and XML based standards +Computer Algebra Systems Metadata +Data Mining Deduction Systems +Digital Libraries Math Assistants +Interactive learning Searching and Retrieving +Web presentation of mathematics Languages of mathematics +Knowledge representation Repositories of formalized mathematics + +Submission + +The submission of papers will be electronic and should be emailed +directly to the Program Committee using the email address: + mkm2004submission@mizar.uwb.edu.pl. +The deadline for submissions is April 15, 2004. Submitted papers must +be original and not submitted for publication elsewhere. All papers +submitted to the Conference will be reviewed. Accepted papers will +appear in the proceedings before the Conference (see below). + +Proceedings + +The proceedings of the Conference we plan to publish in the +Springer-Verlag Lecture Notes in Computer Science series +(http://www.springer.de/comp/lncs/). Submitted papers must be +prepared according to "Authors Instructions of LNCS" +(http://www.springer.de/comp/lncs/authors.html). We strongly +encourage the author(s) to use LaTeX. Authors of accepted papers +are expected to present their work at the conference. + +Location + +The MKM 2004 will be held in Conference Centre of the Bialowieza +National Park (listed on the World Heritage List), situated on the +grounds of historic, picturesque Palace Park, in neighbourhood of the +one of a few remaining European lowland natural forests. The wilderness +of nature and beauty of the scenery create an unforgettable atmosphere +of the kingdom of bisons (http://www.mos.gov.pl/kzpn/en/bial_gb.htm). + +Important Dates: + +Submission Deadline: April 15, 2004 +Notification of acceptance/rejection: June 1st, 2004 +Camera ready copies: July 1st, 2004 +Conference: September 19 - September 21, 2004 + +Affiliated Workshops + +- - - Mathematical User-Interfaces, September 18, 2004, + organized by Paul Libbrecht, +- - - 30 years of Mizar, organized by Grzegorz Bancerek. + +Program Committee: + +Andrzej Trybulec, Univ. of Bialystok, Poland (Chair) +Andrew A. Adams, University of Reading, U.K. +Andrea Asperti, University of Bologna, Italy +Bruno Buchberger, RISC Linz, Austria +Roy McCasland , U. of Edinburgh, U.K. +James Davenport, University of Bath, U.K. +William M.Farmer, McMaster University, Canada +Herman Geuvers, Katholieke U. Nijmegen, NL +Therese Hardin, U. Paris 6, France +Fairouz Kamareddine, Heriot-Watt U., U.K. +Michael Kohlhase, Carnegie Mellon Univ., U.S.A. +Paul Libbrecht, Saarland University, Germany +Bengt Nordstrom, Chalmers U. of Techn., Sweden +Renaud Rioboo, U. Paris 6, France +Bernd Wegner, Technical U. of Berlin, Germany + +Related links + +MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ +MKM 2003, http://www.cs.unibo.it/MKM03/ +MKM NET, http://monet.nag.co.uk/mkm/ +MKM Symposium 2003, http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/ +NA-MKM 2002, http://imps.mcmaster.ca/na-mkm-2002/ +NA-MKM 2004, http://imps.mcmaster.ca/na-mkm-2004/ + +================================================================== +Questions should be sent to conference chair: +Roman Matuszewski, mailto:romat@mizar.org +http://mizar.org/people/romat +- ------- End of forwarded message ------- +------- End of forwarded message ------- + +\start +From: "Andrej Grozin" +Date: Thu, 18 Mar 2004 06:25:41 +0100 (CET) +To: root , +Subject: [Axiom-developer] LaTeX output + +Hello *, + +I've installed a recent cvs axiom, and made some experiments with the +LaTeX generation stuff. I replaced some of very old plain TeX constructs +by their modern LaTeX forms, like + +{x \over y} -> \frac{x}{y} +{x \sp y} -> {x}^{y} +{\root n \of x} -> \sqrt[n]{x} + +Is there any reason to retain the old plain-TeX output? Does anybody +need it, or it can be replaced by the proper LaTeX output? + +Use of $$...$$ in LaTeX is discouraged. I propose to replace it by +\[...\] . Comments? + +The main reason I'm doing this is, of course, the TeXmacs interface. The +current setup, where axiom outputs old plain-TeX constructs, and tm_axiom +tries to parse it back (!!!) and replace by proper LaTeX constructs, is +unsatisfactory; it is much better to fix the problem, not to build +complicated workarounds. I see 2 possible ways to make this interface +better: + +1. Either I duplicate the LaTeX generation code to TeXmacs generation +code, make adjustments, and introduce a new command +)set output texmacs on +(haven't looked at the code which processes system commands, but I'm sure +this must be not too difficult). + +2. Or I make LaTeX generation parametrized. The number of required +differences is small: for TeXmacs, it is essential to generate \* for +multiplication, while for ordinary LaTeX, this should be either nothing +or, perhaps, \, ; TeXmacs stuff like \2latex: should be in the prelude and +the matching \5 at the end; maybe, a few other trivial points. I can +introduce a global variable latexMultiplicationString, for example, and +assign "\*" to it for TeXmacs and "\," (or "") for LaTeX. Or I can collect +all such hook strings into a Record, and have latexHooks and texmacsHooks +with all settings. + +Which approach seems better to you? + + +\start +Date: Thu, 18 Mar 2004 13:01:31 -0500 +From: root +To: axiom-math@nongnu.org, axiom-developer@nongnu.org +Subject: [Axiom-developer] Announcement of PhD program within Theorema.] + +Positions for PhD Students within the Theorema Project +- --------------------------------------------------------------------- + + +In the Theorema Project several research assistantships for +PhD students are available for 3 to 4 years in the frame of +the PhD program of RISC (Research Institute for Symbolic +Computation, Johannes Kepler University, Campus Schloss +Hagenberg). + +The goal of the Theorema Project is the design and implementation +of a software system for supporting all phases of mathematical theory +exploration. The Theorema Group consists of 10 coworkers (faculty, +postdocs, PhD students). + +Candidates for these PhD research asistantships should send their +application to + +Bruno.Buchberger@jku.at + +The application should contain a CV, a list of courses with grades, +3 letters of recommendation. Certificate on English as a working +language. + +Prerequisites: Master's degree in mathematics or computer science, +high research potential. + +For more information see: + +http://www.risc.uni-linz.ac.at/ +http://www.risc.uni-linz.ac.at/people/buchberg/ +http://www.theorema.org/ + +Bruno Buchberger +Project Leader of Theorema + +Bruno Buchberger, Dr phil, DDr hc +Professor of Computer Mathematics +Research Institute for Symbolic Computation +Johannes Kepler University, A4232 Castle of Hagenberg, Austria +Phone office: ++43 732 2468 9921 +Mobile Phone: ++43 664 4211646 +Fax: ++43 732 2468 9930 +E-mail: Buchberger@RISC.Uni-Linz.ac.at +WWW: http://www.risc.uni-linz.ac.at/people/buchberg/ +------- End of forwarded message ------- + + +\start +To: "Andrej Grozin" +Subject: Re: [Axiom-developer] LaTeX output +From: David MENTRE +Date: Thu, 18 Mar 2004 20:09:58 +0100 + +Hello Andrej, + +"Andrej Grozin" writes: + +> 1. Either I duplicate the LaTeX generation code to TeXmacs generation +> code, make adjustments, and introduce a new command +> )set output texmacs on + +As far as I recall, we have already discussed that topic on the mailing +list and the general consensus was the first approach. And if I'm wrong, +this is at least the way I prefer. ;) + +\start +Date: Thu, 18 Mar 2004 15:08:28 -0500 +From: root +To: grozin@particle.uni-karlsruhe.de, david.mentre@wanadoo.fr +Subject: Re: [Axiom-developer] LaTeX output + +Andrej, + +The essence of the discussion centers around the fact that techexplorer +uses the latex generation just like texmacs does. I've had a discussion +with the techexplorer people (it is now a non-IBM product) and they are +interested in "reconnecting" to Axiom. The code is still there and, +as far as I know, still works. We have to be careful not to break it. + +So we must be conservative in making wholesale latex changes. There have +been several discussions about "the standard" but I haven't seen any +references. (e.g. You state that \[ should be used rather than $$). + +I'm queueing up a bunch of minor latex changes (such as making +Hexadecimal use \rm and making numeric output respect embedded +spacing). Once I start on that work I'll have a deeper clue about +what changes we can make. + +Perhaps we could create a TexMacro domain that holds the style of +output we'd like. This could be referenced when code is generated. + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] EXPEXPAN problem +From: Camm Maguire +Date: 19 Mar 2004 07:33:41 -0500 + +Greetings! The following versions of lengthenvec and make-init-vector + +(defun lengthenvec (v n) + (if (and (array-has-fill-pointer-p v) (adjustable-array-p v)) (if (>= n (array-total-size v)) (adjust-array v (* n 2) :fill-pointer n) (progn (setf (fill-pointer v) n) v)) + (replace (make-array n :fill-pointer t) v))) + +(defun make-init-vector (n val) (make-array n :initial-element val :fill-pointer t)) + +(in macros.lisp.pamphlet) cut out the lion's share of the gc problem +on this compile. 30min -> 7 min on my box. There is still some gc +churning in cons pages due to many calls to 'list' with small n. One +can likely improve things further with an appropriate (declare +(:dynamic-extent ...)) in the right place -- gcl will allocate such +lists on the C stack (very fast). + +The above timings also incorporated another modification/performance +improvement to gcl, so the actual improvement over the present +situation is likely greater. This is a replacement of the single +(declare (integer count)) in gcl_seqlib.lsp with (declare (fixnum +count)). After a bit more testing I intend to commit this. I first +want to figure out why it got there in the first place. + +root writes: + +> Camm, +> +> Excellent work. I think we can instrument the axiom calls to print +> out which array type we are using during the compile. Since the behavior +> happens every time and we now have a clue it shouldn't be too hard +> to fix (of course, there is no such thing as a simple job). +> +> re: debugsys. That image is only used to run interpreted versions of +> axiom for deep debugging. This might be a case where it is needed. I +> haven't been maintaining debugsys because I haven't needed it so it +> doesn't surprise me that it fails to build. The problem can't be deep +> though as the debugsys build is just a copy of the standard build but +> loads the .lisp rather than the .o files. The src/interp/Makefile +> makes a file called "makeint.lisp" in the obj/linux/interp directory +> which is the final script to build interpsys. I just hack that to +> load the .lisp files and call it debugsys. +> +> re: work. 100% of my time has been spent on documentation. I have an +> axiom--book--1 branch on tenkan where I'm making progress. I have +> requests out to several authors for copies of their research papers +> related to Axiom algebra and Nic has agreed to let me use his thesis +> work. I'll be creating the axiom--coerce--1 branch once that arrives. +> Fabrizio just sent me new algebra and I have to work it into the +> system. I'll put the code into the axiom--algebra--1 branch as soon +> as I doc it. I've also written up, for my own understanding, the +> axiom--crystal--1 design docs (I just got biffed about a conference on +> Mathematical Knowledge Management which is a dead-center target for +> Crystal but they need the paper by April and that can't happen). +> +> Stacked behind that are a bunch of changes to Axiom's latex output +> which needs work. I've been sending myself "fix-this" messages that +> are queueing up for work. +> +> Also on the queue is building a live-CD version of Axiom. Dirk has a +> Quantian CD (which contains quantitative software) based on Debian. I +> think it should be relatively easy (did I mention that there is no +> such thing as a simple job?) to add Axiom (and, by side-effect GCL) to +> the CD. This will give us a plug-and-play platform. I'd like to get a +> lot of the CA systems on one CD so we can use the CD as a basis for +> developing algorithms (literate ones :-)). +> +> I'm happy to see that you're making performance changes to lisp. +> Everything helps. +> +> I'll look at the array issue at the next logical break in the +> documentation work (probably the next chapter boundary). + +\start +Date: Fri, 19 Mar 2004 10:40:59 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] EXPEXPAN problem + +I'll push your changes into a test version and do a build today. + + +\start +To: axiom-developer@nongnu.org +From: Jim Apple +Date: Sun, 21 Mar 2004 00:08:42 -0500 +Subject: [Axiom-developer] Axiom, Aldor, Open Source + +There is an Aldor project, but it is not open source. I can see that +Axiom is, but the only tarball I could find was from the Debian project, +and it fails on make with + +"gcl-2.6.1.tgz: Cannot open: No such file or directory" + +What is the relationship of Aldor to Axiom? Is there a working source +distribution of Axiom out there? Is this the right place to ask these +questions? + +with great respect, +Jim Apple + +\start +Date: Sun, 21 Mar 2004 01:59:25 -0500 +From: root +To: japple@freeshell.org +Subject: Re: [Axiom-developer] Axiom, Aldor, Open Source + +Jim, + +Axiom is now open source and freely available. You can +download the sources from: +http://savannah.nongnu.org/projects/axiom. +The easiest way to get them is: + +cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom login +cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom co axiom + +The login command will give you a password prompt. Just hit enter. +The "co axiom" command will check out the latest axiom and download +it to an "axiom" directory in your current directory (yourpath). + +To build it type: + +cd (yourpath)/axiom +export AXIOM=(yourpath)/axiom/mnt/linux +make + + +Aldor was the result of a design effort to clean up the old language. +Both the internal Axiom compiler (written in lisp) and the Aldor +compiler (written in C) were upgraded to accept the same language. + +For all practical purposes Axiom can use, but does not need, Aldor. +If you want to write new algebra it is infinitely easier to use +Axiom as you can leverage other people's algorithms. + +Aldor can be used within Axiom but also capable of standalone code. +If you want to write a program to do non-algebra work Aldor is a +better language than most. + +Let me know if you have any other questions. + +\start +To: Jim Apple +Subject: Re: [Axiom-developer] Axiom, Aldor, Open Source +From: Camm Maguire +Date: 21 Mar 2004 08:32:46 -0500 + +Greetings! + +Jim Apple writes: + +> There is an Aldor project, but it is not open source. I can see that +> Axiom is, but the only tarball I could find was from the Debian +> project, and it fails on make with +> +> "gcl-2.6.1.tgz: Cannot open: No such file or directory" +> + +Just a note here -- this is a gcl source tarball, not an executable. +If you need access to gcl independently, please check out + +http://www.cs.utexas.edu/users/boyer/gcl (at present) +and +ftp.gnu.org (within a few weeks tops) + +Take care, + +> What is the relationship of Aldor to Axiom? Is there a working source +> distribution of Axiom out there? Is this the right place to ask these +> questions? + +\start +To: axiom-developer@nongnu.org +From: Jim Apple +Date: Sun, 21 Mar 2004 14:22:29 -0500 +Subject: [Axiom-developer] Re: Axiom, Aldor, Open Source + +root wrote: +> The easiest way to get them is: +> +> cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom login +> cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom co axiom + +This timed out for me, but +cvs -z3 -d:ext:anoncvs@savannah.nongnu.org:/cvsroot/axiom co axiom + +worked. + +> Aldor can be used within Axiom but also capable of standalone code. +> If you want to write a program to do non-algebra work Aldor is a +> better language than most. + +Can the internal Axiom compiler generate stand-alone code? + +\start +Date: Sun, 21 Mar 2004 15:58:04 -0500 +From: root +To: japple@freeshell.org +Subject: Re: [Axiom-developer] Re: Axiom, Aldor, Open Source + +no, the internal (spad) compiler compiles to lisp. +the external (aldor) compiler is designed to target multiple languages. +one of the target languages is the axiom internal lisp language. + + +\start +Date: Mon, 22 Mar 2004 16:20:10 +0100 (CET) +From: Bertfried Fauser +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] book + +Dear Tim, + +I saw you have extensively worked on the book, I was working on patch-9, +mostly typos corrected, but now it seems to make no sense to diff my +version to the patch-22 version, what to do? + +\start +Date: Mon, 22 Mar 2004 10:05:21 -0500 +From: Tim Daly +To: bertfried.fauser@uni-konstanz.de +Subject: [Axiom-developer] book + +Bertfried, + +Yes, I've been pushing heavily on the book. I finished working +thru all but the appendix early this morning. I have to revisit +the graphics chapter as I can't figure out how to get two pics +on one page. Other than that the whole thing is there, has been +completely reworked with new material added, and will shortly +be integrated into the system once I figure out how to merge +an arch branch back to the main branch. The appendix is still +broken but I'm debating about auto-generating it anyway. + +You should be able to get the latest changes by just typing + tla update +in the axiom--book-1 project directory. + +You can send me the typos that you've found as I'm sure there +are many that I've missed. I need feedback from many eyes. + +This version will go into the standard distribution very soon +but will only exist in its current form for a short while. I +plan to redo the whole thing to integrate it more with the +whole literate programming thing. However, that is going to +take some design and implementation time on my part before it +shows up in the main branch. + +I did see a section on Clifford algebras (9.10 in the electronic +version, 9.9 in the book). Could you look that over and possibly +update/add to it? + +\start +Date: Tue, 23 Mar 2004 11:39:55 -0500 +From: root +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] configure script + +As you can see from this console message: + +/home/c/axiom/src/include/spadcolors.h:34:19: X11/X.h: No such file or directory + +the spadcolors.h file needs X11/X.h. This implies that the user has not +installed XFree86-devel which contains the X developer libraries. + +This should be checked in the ./configure script for Axiom. +Does anyone have experience writing these scripts and can you +create one to check for this library? I need to climb the +autoconf hill and it would be useful to have a starting example. + +\start +Date: Tue, 23 Mar 2004 15:34:34 -0500 +From: root +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] bugzilla + +At http://www.bugzilla.org/download.html#utils is a command-line utility +to submit bugs to bugzilla. Has anyone tried this yet? + +I'd like to have a program in Axiom so you can just say "reportbug" +that would send bug-email to mozilla at the axiom site. It needs to +figure out the current version of axiom that is running, which opsys, +and send out mail which can be read into the bugzilla database on +savannah. That minimizes the pain users have to go thru to report a bug. + +\start +To: nathanoj@fastmail.fm, "Jonathan S. Shapiro" , Matt Kaufmann , Rex Dieter +From: Camm Maguire +Date: Wed, 24 Mar 2004 16:04:26 -0500 +Subject: [Axiom-developer] GCL and Fedora + +Greetings! Just a note that I've just checked in modifications that +enable gcl and programs compiled with it to dispense with 'setarch +i386' on Fedora. The requisite code should be automatically inserted +by configure. To my understanding, this makes gcl use on Fedora +completely transparent. Please let me know if I've overlooked +anything. + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] bugzilla +From: David MENTRE +Date: Thu, 25 Mar 2004 20:50:15 +0100 + +Hello Tim, + +root writes: + +> At http://www.bugzilla.org/download.html#utils is a command-line utility +> to submit bugs to bugzilla. Has anyone tried this yet? + +No. However, this script requires python and it seems to be bugzilla +specific. As far as I know, savannah is not using bugzilla. + +> I'd like to have a program in Axiom so you can just say "reportbug" +> that would send bug-email to mozilla at the axiom site. It needs to +> figure out the current version of axiom that is running, which opsys, +> and send out mail which can be read into the bugzilla database on +> savannah. That minimizes the pain users have to go thru to report a bug. + +I agree with you that such a script would be helpfull. This script could +also be used in case Axiom does not compile. + +Please call the script something like axiom-report-bug, because some +systems like debian have already a reportbug command. + +Having the same fields as the current bug report form would be useful. + http://savannah.nongnu.org/bugs/?group=axiom&func=additem + +Why not adding a 'make dist' Makefile target that makes the tarball for +source distribution? This target would prepare a shell script that +includes the Arch branch and revision[1] to know on which source code +the bug is reported. Or just a 'make axiom-report-bug' to produce the +script. + +For operating system, "uname -a" should be sufficient. + +However, I don't know how to find current user email and user name (from +$USER env variable?). + +I propose following script as a starting point: + +---start-of-script---- +#!/bin/sh + +emailaddr="daly@idsi.net,axiom-developer@nongnu.org" + +version="axiom@tenkan.org--axiom/axiom--release--1--patch-4" + +reportfile=`mktemp` || (echo "Cannot create temporary file" && exit 1) +system=`uname -a` + +editor=`which emacs` + +echo "Axiom bug report for $version" > $reportfile +echo "System: $system" >> $reportfile +echo "User: $USER" >> $reportfile +echo "-=-=-=-=-=-=-=-=-=-=--=-=-=-=-=-" >> $reportfile +echo "Title: please enter a miningful bug report title here" >> $reportfile +echo >> $reportfile +echo "Please make a detail report on what is failing: the commands you" >> $reportfile +echo "have typed, the results Axiom has produced, the expected results." >> $reportfile +echo >> $reportfile + +$editor $reportfile + +mail "$emailaddr" < $reportfile + +echo "I have sent your bug report to $emailaddr. You can also find it in file $reportfile." +---end-of-script---- + + +I don't know how to guess correctly the $editor part and the $USER part. + +[1] "tla logs -f|tail -1" produces something like: +axiom@tenkan.org--axiom/axiom--release--1--patch-4 + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] configure script +From: Camm Maguire +Date: 25 Mar 2004 15:58:02 -0500 + +Greetings! + +root writes: + +> As you can see from this console message: +> +> /home/c/axiom/src/include/spadcolors.h:34:19: X11/X.h: No such file or directory +> +> the spadcolors.h file needs X11/X.h. This implies that the user has not +> installed XFree86-devel which contains the X developer libraries. +> +> This should be checked in the ./configure script for Axiom. +> Does anyone have experience writing these scripts and can you +> create one to check for this library? I need to climb the +> autoconf hill and it would be useful to have a starting example. +> + +Yes, this is not too hard. GCL's configure.in is a mess, but you can +find an example in there of just about anything you'd like to do. +configure is made from configure.in by 'autoconf'. config.h if any is +made from configure.in by 'autoheader'. + +\start +To: David MENTRE +Subject: Re: [Axiom-developer] bugzilla +From: Camm Maguire +Date: 25 Mar 2004 15:56:09 -0500 + +Greetings! Debian's reportbug is also a good model. Speaking of +which, feel free to use the axiom entry in the Debian BTS if you'd +like -- all reports can be manipulated by email, which is quite +scriptable. + +Take care, + +David MENTRE writes: + +> Hello Tim, +> +> root writes: +> +> > At http://www.bugzilla.org/download.html#utils is a command-line utility +> > to submit bugs to bugzilla. Has anyone tried this yet? +> +> No. However, this script requires python and it seems to be bugzilla +> specific. As far as I know, savannah is not using bugzilla. +> +> > I'd like to have a program in Axiom so you can just say "reportbug" +> > that would send bug-email to mozilla at the axiom site. It needs to +> > figure out the current version of axiom that is running, which opsys, +> > and send out mail which can be read into the bugzilla database on +> > savannah. That minimizes the pain users have to go thru to report a bug. +> +> I agree with you that such a script would be helpfull. This script could +> also be used in case Axiom does not compile. +> +> Please call the script something like axiom-report-bug, because some +> systems like debian have already a reportbug command. +> +> Having the same fields as the current bug report form would be useful. +> http://savannah.nongnu.org/bugs/?group=axiom&func=additem +> +> Why not adding a 'make dist' Makefile target that makes the tarball for +> source distribution? This target would prepare a shell script that +> includes the Arch branch and revision[1] to know on which source code +> the bug is reported. Or just a 'make axiom-report-bug' to produce the +> script. +> +> For operating system, "uname -a" should be sufficient. +> +> However, I don't know how to find current user email and user name (from +> $USER env variable?). +> +> I propose following script as a starting point: +> +> ---start-of-script---- +> #!/bin/sh +> +> emailaddr="daly@idsi.net,axiom-developer@nongnu.org" +> +> version="axiom@tenkan.org--axiom/axiom--release--1--patch-4" +> +> reportfile=`mktemp` || (echo "Cannot create temporary file" && exit 1) +> system=`uname -a` +> +> editor=`which emacs` +> +> echo "Axiom bug report for $version" > $reportfile +> echo "System: $system" >> $reportfile +> echo "User: $USER" >> $reportfile +> echo "-=-=-=-=-=-=-=-=-=-=--=-=-=-=-=-" >> $reportfile +> echo "Title: please enter a miningful bug report title here" >> $reportfile +> echo >> $reportfile +> echo "Please make a detail report on what is failing: the commands you" >> $reportfile +> echo "have typed, the results Axiom has produced, the expected results." >> $reportfile +> echo >> $reportfile +> +> $editor $reportfile +> +> mail "$emailaddr" < $reportfile +> +> echo "I have sent your bug report to $emailaddr. You can also find it in file $reportfile." +> ---end-of-script---- +> +> +> I don't know how to guess correctly the $editor part and the $USER part. +> +> +> Yours, +> d. +> +> [1] "tla logs -f|tail -1" produces something like: +> axiom@tenkan.org--axiom/axiom--release--1--patch-4 + +\start +To: Jim Apple +Subject: Re: [Axiom-developer] Re: Axiom, Aldor, Open Source +From: Camm Maguire +Date: 25 Mar 2004 15:59:54 -0500 + +Greetings! + +Jim Apple writes: + +> root wrote: +> > The easiest way to get them is: +> > cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom login +> > cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom co axiom +> +> This timed out for me, but +> cvs -z3 -d:ext:anoncvs@savannah.nongnu.org:/cvsroot/axiom co axiom +> +> worked. +> +> > Aldor can be used within Axiom but also capable of standalone code. +> > If you want to write a program to do non-algebra work Aldor is a +> > better language than most. +> +> Can the internal Axiom compiler generate stand-alone code? +> + +As Tim said, likely not in the sense you mean. But if axiom is built +on gcl, you can compile your code, load the .o file, and )lisp +(si::save-system "foo") to get a standalone foo executable containing +all of gcl/axiom and your new code together. + +\start +Date: Thu, 25 Mar 2004 18:05:29 -0500 +From: root +To: camm@enhanced.com +Subject: Re: [Axiom-developer] bugzilla + +can you send me "reportbug"? + + +\start +To: daly@idsi.net +Subject: Re: [Axiom-developer] bugzilla +From: David MENTRE +Date: Fri, 26 Mar 2004 19:22:25 +0100 +Cc: camm@enhanced.com + +--=-=-= + +root writes: + +> can you send me "reportbug"? + +To whom are you speaking? :) + +If you are talking of Debian's reportbug script, here it is. But it is a +python and not shell script. + +Yours, +d. +-- +David MENTRE -- http://www.nongnu.org/axiom/ + +--=-=-= +Content-Type: application/octet-stream +Content-Disposition: attachment; filename=reportbug.gz +Content-Transfer-Encoding: base64 +Content-Description: Debian reportbug script + +H4sICIDOMkAAA3JlcG9ydGJ1ZwC8XG1z2ziS/q5fgSjro5SRGcfZq91xxjOr2HLCK1vySXK8qSSl +okhI4pgiGYKMrNu6/e3X3QBIkKJk72zVcafWIgk0uhv98jQA5uWL17lIX8+D6HWyzVZxdGq/ZceT +1kt2/OqYyUf4Ex6kPInTbJ4v2TEb02/mMrwNIpatOLvk88CNmB+ILA3meRbEkQ3dGLtPgyzjEZtv +2cUqDQS7djcpjzzOfgnlL+9vPnW243T5K/W5iJNtGixXGetcdNmbn3/++fj05OTPNQKtl9B4uoIn +SRovU3fN4Oci5Tzclny485CzhKfE5CIOw3gTREsWBh6PBD8DGtfOxWA4GZy32+2vrVuergMhgHuW +xSwXvMc8YKbH1rEfLOCvG/klcQ5UYUwRL7KNm3J6GWSi5cdevuZR5qIaYNQU3mxZkqdJLGSrTQC6 +zTO24By5XvGUg4JAiCjjfq8FAv0IfO4DfTcj1t15/IMTL1IxUZyBCMxNEu6mAmfBDUN8H3BBI2DP +1jzOVpLGbk9qg8orRa4QBZotkSc41aixikx2q+WwS2dycd13blj/+prd98fj/nDqDCbs3pl+ZOPB +h/74kk1HbPrRmbDJ6GoKTQY95gwvru8uneEH7NZybm6vncGl2X10xW4G44uPcNt/71w708+sP7xk +V850OJhMkAAbjtjg02A4ZZOPOLbTej9g107//fWAXY3G0Pwzm9wOLpz+NTa/dMaDiymDFxcjmOj/ +voOe8Ipd9m/6H3BA6tHSt/cf+9PJCOiPQYjJ3fUUeb0aj27Y9WhC7N1NQI7L/rSPXW/HI2Bt0mvd +fxxMP0In4K8P/11MndEQW8Og0zHc9thw8OHa+TAYXgyw44haT0djaHg3UR16rf7YmeCIo7sp9h4R +QaAxHEiKpF3oilzQ+IMxyHzTJ6pXpO2W1rYNNk1e8omnNMGn9p//+o4JMDpv5UZLHsZLMs+U/wio +ARhEFqdb6PInxz8rvb73g72xT08YuuHrk9PXb/7CTt+evf3L2du3TLsxGzwm7E+tVrCm8CCCjLda +oMYJsn3O2mUIQTbarYvR7eex8+HjFF7qZj8x62v0PPdvjh9W63Lw/u7DB1DtObMaWmCDqz5M6+z9 +dIJt5Cur5HsreiwWLfhrJy74zzn7Egvby1M/SHvMopApVuDvrwuJrG/Aue5QUIqTLAHnhBiSciTZ +Y8nG77EsWMNtGHtuSOFlvQZfhJfeinsPP+RMCU0jXXh/PT3tMbHOkjCY94wpYd4EwlC0dEbwOvYe +eNZjUph5psnN8yD0fU1sySEUP0KzJE54dNpqLdJ4zdJ5xtfJIoBAqdpN4f4qQO6w3WwDIZzPhLvg +ukcxk6rDzehyMBv8HWwRzJxu+pef0CQv1e1w9AnCrLqZTMGhITrUiM34o8cTDC9C030lm2hF6scj +anWLj2BG5N0nN8z5IE3jVEuLom5SNynmg6/dIJQU6ad949wMbvIwC4B6VshiPqy3ngJNsyHe19v0 +cz+IzUb0oN7KWbtLbraiB/VW711RaYT3OxJwIWq01COz5Ufu+pAGVSN5Z7zXLwaRF8Mb0YIQ4Cyj +OOUyc77yHigL8CTlnsxrkPIieCZkghFhAGkD8l8EidNlQmbelIccWX6pyOs+rZf6lw2Gl/FU33ba +AY3aBgN2M76EYHR+WQ56L5t1W60s3Z61ACtoo7aDCMYMw45VemW3JU2KOSOyDNkhcYUobKK0vjyY +IR3mCpYHKP6Nuww88E+kG2Xktq0bZziDwDueOZcQF07/86TV+p4HPAPIcc6u3BBEhZ7X7pqDWpNs +ywqbRjDhQ6zMEIvETLiQzkW8xpzug0QtLwS22DBWU9cZ6I5dk+uXEAQ5aBuDdhRvEGJxcs9Ol61d +xBgwE1m+WLBY4jLgPcsFm0M+jzGls7Wylnn8CEgB5pNHOD62v3NaPl9ogq/cdCnU4CnP8jRiWlSg +lAc2JI+ZoqYaF7LrQTYrQH4b5AINyVXaRhW7DIMOw6hj06jQJFmLZQefREBDjUzjROVA9BCvcpqp +K5jeO7aNc5QRQmoS8ozr4RCiIQM+Dtw+Em37K8T7ghBBSAp/qME5p9CckSkrNuPUTRFTghVidnzH +AuA37gHWY2vKUwY1AIcKP2mMh9hvkacwG6lCWDh+jxWSotpGcwGIlLOV6z2ws65UyVbA6B1v7YdB +pBVS2D1ej2B1kJvABbyN3+nSc2Xyo4lh8nhhDluBDB3rtSVbwpPaEC057irezKTuOjJfgO3OElB/ +ej5Nc80JKAHEKd+VQykLwr7d4qG0oZYyZmgveefRjyAFRAkydKxbQGBjUI0lAJ0HEECOqWXJLyWu +Dj2EVhura5tDSe4TdxPNuB/AVHWU2ZTKxhS5cCG8qxbnwziqCVRtYEhF98B1p872J2dy17+2uugY +9XeDSwcwHr0rKJWXVRRghcRyGCUyD7FI2eGgymLL5H6Ha6kgaxjr7os4j/wXYIL1uWGluk66kij3 +UWlyphDb2HOI5vioI4nZAlBJ1ul+OfmmekDcxEoFYw9AJkHjpRD3/meL5SLMm4Di6wFDxDvm+r70 +WcUZlkG2bcvJzlM0SRj6hO6RSgefROB4ZKzonzyCoiQFb6W4UQaPbqkA0IskdI7Y0qLCBxWlBjir +zEo5qhwKYN1pqcpQ0bKx/ksg5ALNIgzZw8H9e2dw7QwHz6ApZUwygRDU0hNo/QjWFslFei/pvGRX +cQqY9xU0wPSBCpOJmWBbpMrblC9TnF0ITZC1IMezeIGPMXeXgUCNerxQcUuPvqMReKYMAEboAHPo +mpH8g5zCHx5C5YA/lurBA/7t1jSgR/TY2ZFvsSM9VFW1HXMwInwMpeeWqEe5FwZQftKYHP8/CbyY ++HGjuMm9LMA1njC0uYepnw5wZDL0O/dxuEf8u0++JXuaGNrhA1istYfGMRlLlU5hH/+h5CF3idMD +NJXftycYDjHBH9EqwRzyi7SRdywhbMYAXAHyGESITChh+xASWbserdo4KhCC5AXgTKm0KUjtDgw+ +XemkMIWAEAYiqxwEiRl5tI6E1QbRVYDpkWKMZNktlCEJ7EY6hRHPoMoRFFIZx0wIiRF8hhDvkTgD +BVMSliz1FLFuJZTqmAcdRSbqyMQc8j2gEAU2yCFBjpSvIQ76LyqJXvfDUhHZ6bzpNs/tWRGSMT/1 +mG4X8Y3GVuesGvLsFPy9Y0hgND3XiKwxL8i1AAFALUUM5BcBRcV4ShUmDuyUtHvmOC+KcVQuBsJ+ +yGfKcjpGEi66x7LigxIWgGgGsd3NMtdb4VITFsxgrtisIXWyvQl8b+JWY9kqbeK7UptIhx6JhyDR +LBeoHl9sVji3byrxEcczO1SdukyoUsd+F+29AaCgL/u7YKVJ7AOXpGmY2T5JDOZ3DAOvxzIr6UsK +/4hzbG1rsUt3AbAuoODzspnSdMe6xFiiWMDw+Tn6bj1XrH/gQMy6iCPonXMZEuRaJEy5/Ww6kCOA +ThtYsXAhVFHb8sxuP5/Ed2RlgCFE43qhKifp+Lb1v90dYqDjRwrO3xs0htdO1dPcqh4u9PVULDDb +KguEtojhSzoJRMQE47A1yedrghWB0NEMqkKIZR2uMUcXs5JyStOStGc95H4sqqIa9Llec9Z8m4Qr +nXQS0WsbmyAMsTQDnWfY5UhQQpExo5ST8qzmBeYIFXLWSFjtYRR0oRyn8lARrtEwRxDPpNjMqak0 +I9I1krT6RoMKXseLlgAUOtlLyaRGrIAPGjlY2lCUK/DR/hy5Hg/CddKuhwllPWeV5ltoPpDNKyXp +bhyQRtArej/ld8r1C4vktNekjPJH4KpFradDgOn6oonaOw2Ve7uQp361adUGSNRWBmgV4+lYYrnI +i5xU6P/cXgH2ciIvzH1Owz5mz+7rYd8LmjudBrH+SWWZ+RwKHOdhLNvXVPcc9YfY/TZIZEWo/T5b +AQRdrugZFfPPIZUQqTSIspJODBHUByd9Tv+11EVMe3AM7UcuxRWSKanaRiCnAE7w38XsFdSRfxHg +g4YAL72SACH5xJJnMx2iO1bBSTGhyEwg5xkkrXr7btz5F0bQxGXzHdpFKNoNlzuDlJg4AUPKBU87 +5fvGBFhD0Ubr5pR4UKX6WiQ65x0aXV/aXH6iJYBXr15RKIRCA+uMkgAAr0Rlzv20oIkXglo7h5qU +EO4U863aTjnYRS1kFfj53xgfNJ5HUDc+PAEriJxqodRJLDc2bjZAfRkJyMblz8h/1sTUACoBk+cP +rDPvhYvRfRFAYAOwUjrRC8q8TXwQTpBW5tWsjBDSPlfSxZlVLCOeV2uKHceClLkrka5HuN/E0brG +kYxUmHC/dB4hS7W7lPspLpWrTzd3ffuBb0Wn+62pty1wNbfb8EqKi4nZiBjqFY5DC3RyHBBbkXsi +2gLUw/SvWlf0ZWHRjVsjs/hBribXVaY67YxQsFsVGldZ5avG8LOPGl567ta5C2Rly8aGc4gKD5U3 +hyzXmMuoNpeH8b6J82vEKAeFtO5Vz0FPOVHBTNgQUP/YSnxFiftX5RuDWbM/o+gqle/pa2i1Xn/i +NJdLHX5jSYtXMzZtnHFrXOwd5ZECvzZjA79eIKW4K0bLkoPvYg8K+QdVj89EoRpj7kGj7QbsSZgO +2dgL6P4QjLMEYXBOgFFu3EXbjbv9/yp1m97veiJehm2IPcPrKmiiqna5PVuVy7Z3qqz94zbbsWxn +LpbtWaXD5TFMWTNVTc8g1hoLZFBzQeLantOaDa6D4Vm8UN2rAKDz31UgRVKUKGrjMqpedq1qHBfv +ynFUH9GtxNUDjGlOusY6YwEiXpQoolSNATGMtjvrxWMu4lBV4cR9A++qGNVM7y46D+PiJcTzzFsh +ld19rlIcWj1sFTYUUhzTKvl1d7EPJ6W+voEVSftWLqZDZZXmRl5mMtjIHXaO2zHgfLjorkWoujlO +nZ5GcHT8GQJsbojbclSIBz/Vl2Pwalwx0tRgIvTwNmhtLQxcoNvU8QI+JwhSogvi9WEp50jsZ1ep +lVqhTt/uSkPvvrw9+4YjoN1aVRBDo2tgyTo0KoZc+/c4KCjD/6qyypUxDW7a8lBPyGsWAoFZuoHo +FbgFp8pqjAPysnbnEfmBMLKLanZtTvVp2jwp2S5mSIK6Lyffdoz9TpheX/pMhf4TLFAcQqwb4/mE +wucJ9dKj2hGQQpvK3jltG2FCIReXejFNeLMKvBWCyOaE1l5huqMtaUhrSRoD1Fj3MK16EotWvAYd +qpmMOiwUoEdBd+IcsLLc1XI1QzTXxiw1Jr4SqRrqqShmnolzfW6Qjgbzc+MEnFKY5IE269WZPHvy +eTId3Ey+wO9vXyxqAKYslLEXC6V/QLeGFttfq0K1C7W2dQyVrBlWJ0eG8rhNqs+2CdgTtbKwntJZ +EkRNOagj4qkbaqp2u8mOC4qWbWwyV7wS1SroBGOxPLjATe6ZvDPcqBr2z2p2XZWKsJAex/yN4ECK +1ORuh12g2FTDuWa/mOcdKwnCmJuOBcYqbOPgaY/OmuLThlUk0MeWi1kUd6w+6BjnVGodXbyYQdp7 +UMe21Zn3A2HK6hRpqEt7LxxcgjrDf66X5W4Ybstj/IcoldAACQ3jkg7gGUlFs6j2Dg9Rw5O3QQaZ +cWHXVVGdFeMsX2uvnpU9Um2Uxr9D/FaqBsUfGy/x6EqD5ukMU6H9HWbaejpEnqrz/qgvP+YC0Tzk +JJBeHnlMuBcsAk9z91sDGDfmgLQuWJbmQECx2QTFK9pGZguNa0dU02JCQ/NSkbspisng1W3ULfrL +JkqS3VrrCY1ZFY3hj40r90JkrcLuh7e3yrp/axKYdOQwMG4XgucPHsb4AQfEpYco3kDQczPmfLXW +MAd4HGGfyogAsmoSwYDg4P7hV5i7khzKCSWkG4kmcv+uYlU7jdPUKTUwFjdUsU5o0Nlj1DkP9KlP ++XpvFpHFuiImrCJcqn5GpHtYlrTUL+q8Axawd9G4KrQWpHi9y7YhsBQ0XiwgqHpxtAiWeUqHeDuq +8q7u2uvFGN3UiPP1Q6DWPQ89PDtb5CZwgReMTQL8LgAK3DCOH9Q5M+05++ORJc9RpUKe8S3zKZ3Y +Nc7bb8B400ORzdK8Y9CGAMfmHAgFcWozNiUAI3iW0ZlpvU14gJjckwQRi3NeeHa1Z2R9TQQ/esKG +B4hR3a9OoQJKpI3AMqjjkeYr53ogp4+SnLEqqOCIAmTIjYJI+HkATilIS33kpyRlpmhix1i8gyQ6 +KTE3UiAUXazKwYNGEnHq8/S8SujamUy7JdAAmzo5Yy/ZZSDwHLrPBJkG8q5ggk+LMZs4Lav6APHW +wvWeKfyhAgG37QpqdbWYincmh5dStXYKahUVFU+baglTHAs3mVQOjSN1HNHAHPdoSWXRGi/wkz1y +Annqeb+wloPDRBzirOeBf/7GWOczBv9VnIeA6SOxgbgL40hLPuSJ1vecC3lWPgrxTBraeBmk8Q79 +j8I+RfL9lJLQpS/46CMYPNVGp6/9PAkDrBSUqEKKOOf8APqx0PV82nSm8/pkP7QfHvHQ7u7feJR5 +zFgJUBoRIl9TlFrhOXhSmvby/UyAgtFWmRtu3G1jltIti9yHqzR6smPPc/G7IkIOuGuKi3qHVQjT +zoMfnD2x0a6rpY4ZwyHo0xFdlQChzQxRS3EAeya/OTGXnDCL0tOOziGy/U6tYN2jMeBrWRYptc5V +vEZn0ydzUOuHvVQjTDDbL0fim8WODjfXqcsu2MODW4Z43Sd2RlT/8y9mp297Kx88rjhzfT9tUgOm +ASgK5QlqUii2BHMCZ6tp5QktANLDg5+m3v41vZSKkYwordBNt1cRmp59e2q7vkEf1ENkeRL4KkPt +AaLWZVwmcZe1iaMshVAky1jAzVmbdW6m/a7ECIPHYN1jt7HIFsEj8m58zzGZ3ExvWQFKfPlhDYQx +/Mokh9BnQlgNXT2IPrgMKL8VVMf7feJDnx5bxWlKh1OBGAKCFa1uIaA1R3doeokeuazULh1ilQep +XG+F/l2eSctkxRgx4vsjyGTSg4KJzEXudfUkTJemUmQ4LA4papter8JKxCUkyek7ZmMMUFoVV0MG +dtQMRAxUbRKrxAr8snEFJHSw0PfGec3iEU5NcVi+NIUy5xmdq+5SMTdtIMQo6YMEwY6/sTsh6+Ig ++2rBLMNvhA8Q+WmipMFU3cmiEMkfXfzsCEt95BM5MZ/Z9U7/lQOb6uz1cDoYo0jIlFRiPeIWLqQl +3B8ztHpUw/oGpOE/5YHQKnIwtGjVPhGoHuZoQJAllcqXSiQDhk2qkHb7NaHRn6x/Grsx+75rondq +c+cuoq8OqSyg6Hwk5KG+f+4BvE9A1BIXy2hcnDppEgA3PlXRhmvzv/5KB0Es899OgOmGagi/XpZf +nFmN7fXX2vHC6KoWfar9obKGUqL4FxaayJUfOKpPi1mbPr9uHroZ2J+pVdgzZZTVXsU6/D5EXm1O +tifP3uDPg2zg+aISxzaxnAeKVtGqkaACJEV8PKbvrvGIJkZNsJc5V1CpCC8Uo6LqBzFVsoqo1bj+ +WRm/0rLOGxmqWwR3zWKHeIiOlS7UAVkov2lZTKEPrAjV+Gt8IUmYT+EeAQR+n9op0QR+PbI/Ye+y +CcMesY4Jep4EQrtEgMUjgyNqkAd+8Q0j/O4UKxj44hdmfG+7V7lskicyjpK5OJcK9SMSJK/Bx9ae +3lF8TK2PYTyrWObdjZ07YxKAhqIJ7GdJBQmpEauE6r80gmT2DV7EWZowUI5+UDLSkOPqrKgaly2A +Hfy8R9bi8602cdp7zLMqX2eHFOLte7mSH5G3/358KVeyjy8uzphivjazB8RduwKc1Vwbf9qFmEMu +STkYG1LpTvXVWn9v+JKpfyxlzpdBhFhqnxwv9WbK/7X37c1tJEee/+tT9EChaNAEoJFsr8fU0jqK +omSu9TqRM+MJisY2gSbZFoDGdDdE8rzez36Vr3p3A6Bmwhd3h4gZgejqqqysqqysrMxfmnFqrsGI +Aqu0buXNw07mPPw67jxcxx74RAXIT6whQjglnU61mSm7pCukoqbAxURN3BYx9DhvJgbRAs1wBF2T +XK7UPId7XZxJxsE+5U3RcUgMbHUvWZaHexftW2Abg/1aq9iDltNKGtyt822IEoPDoX69x/Rx2FJW +T4piXKEHNKgztFWdTa6r/q3tSAcF+r99Onjy9A875zsP4Kof3sQz6gh0fdz207O/pbvqh7yeZMu8 +b1W+s5uep+a9p1u8WKWfanj3wcPkxwqOAeR4p/ElCBrgBeAcVPJjX76wwgWm1vG4WBTNeNyHm5VB +MqbY7XG9uoALvX0wihSgBo0n1wCd0dihU/CRKkfdFcGuWw+xB5Z69jB5D/YGVS3F/lITyTKrslzp +zuRqDfvZwcnh8THINlyppbUeHorjJvhc4fREuQZVZZMGQCmkJPtiIKNHdZ5Vk+s+Uum7xsEVU432 ++Sqb91OmyuIBX/HmCHsxLi7HcMLJpxz3zoUG9FxN//30Z7lCooKOFv3Ao01I8yh7CK/MMBQTTpPm +bPElu1rlyETyuWMuVWR3vi6urokiqyaCcco1geiwxqNjs0vGA2519Oi5zNJF1DGxLofffff7Pw6f +/N6sRbb+E3SIy6CY+TFW3J44yPfqcvL029/9Ycz8Z/tFH/61uD9fZfZcXeQ37MbC3ijG7LHPgDmj +A/UTFDqEtYP17YCKkfHPLKwwqNxYprgejCzXdToXvFLW5RwTpB1UKDjl+6aY1SPVxDzDdsObsr46 +nPY9FtAmYhFlc2FnxxBp+aiHrmg+RfxSYt/PWJo7F48PClNE/7SPCtyOrzIduErFzbLgn4OF5lXL +JKizSnF5xy6abFtCs/dALZLZCj1YCP3HhimButQawDKoV8IzIQ7fw/l/nc+WYaR0+giCrChICpRd +XVmqfmU+Yb025313RXQio5bUHMLi1rE6B/exqk+kj7BYLcZ8td3X0ruOsOqUQHmmSnJerWp9WICJ +jFHNQr1h1Y7LUpoR/5dxNjA1XK1l9Y6sDYvj2A6ZGQ4ahviLWBs2Gccz/PX8VxlJJV0WfR6Yq1l5 +kc0EmWeA0EUBRwhrDDZC+tbnH94cjg/evFHjIGgj1Hd+ij0fJLcRlZy9tfMK/L0hnkZi7pVIuTVr +3uwoXOViNp4pnadYXJZCwyHcAh6xpUBp+XAnx5brBYAR6i0Qo9MJMSlTekSh3jaqAeodSgVkG4fM +TCZAaaTqbcLrSDO1t45vfzv63fDJH//tO2u2Wvuf3qY46p78Po3F+fjk4PT0J3wGGoyxk1m+rhhP +LroZaMCwO/3DGFQpIjRN9tRXdAlP2TiCPy3KL6r3+FOT4S+hLdk2z+Ihdpx9UT+D0gRvoIMbXqpV +d+O6mli/qaMF6Mv6F1MPo89Ag6ll4lB/sydySnLEqoyahvNzWF2jFoP0SSqwYoXg57NzQA3J7+h9 +bBV4Cn8g9oGpDH5Gqxk/Sv7pwDXwpCwWI3UgVsPVt1QuGYLRajkFtJh/KB6UiwZ5Y3WFBzrsSPhJ +cTHAHZuUTv6pIXAOYSYuQBzsIYBYAefC/2QBcVmqUYdJgs5T0yHU8Qwm+R3f7mGMulrjXBleWleF +WjVqxpMEzAC5qwHgzgUIkDtSudWUBfAGdUJjUEGCEuHjGtcGCqPjjUHOt+oU9iODdYmNP5v+HUzU +mewLN+IlUWd3XFlP9cWy06u/eqKRwjntkrR+rOY/odsE7QN7h3P3h4KUfUQw6Kq29DPZotRbqJep +l8Vr2VHNqJwbFHX4/t2r49fjg4+vT1wRLvPhjN46px2tQ6EyEm/kw4ysFni3NEPMsKb8rLoO9hwS +31S/5ZlAmwYxDb+PbDRDoyOu4PS8nz4CP7+EyazPk38X96z/0rLmT2rJsNzbZxzNHaspPP9If/u/ ++Y18dcoo/VBUgnQ4gTU4HIKxA4dkiEMC/s0TKLHfQzS1caPmfGsAMeyC+2o9oZgZJKAY7KslhwuV +T3k4DbXvOEeYtVN1SFThYdjQkk7Y6qV+olMuXfi0XlhL+X1HxRwQwb3PUHsP4tQbJUur/fTwzcHJ +ydrKxjAr9/spwgc3jXYbSpBasChtCDRhvLywYbSht71KPCWvwzunQVw3r98dnJ4kL05P8rqDq1Pi +qmp3dWVxlUYYsQ/TAWEg7guwaveQ87YmQ15b0UPokABuSrtSVTtdQ9g5Wqac9jmgHaWLnJ5sQK0T +Fcns0X0HAd/kNTkjJRBWiIJYrdcVuqLP7nZ67TTnxEveQnlKyY662ShmC4PS5oZetjd7Sc2KONAN +k/Hhcm3bEh1O5aHhjsaGcP2nm5BgoG1lgz18TEVJ1iMkgdzcm2sy8KkOttNzRZ2/WqyW8nXZOpG7 +J25xtdBzPcVauodMlZeZjXS+fvd98qEqvmSTu+T1KqumHWS/1mTXrauOyFJn6nbxg7Q64bBnKdbZ +6l9hrUoDeaBmNxw9VAdOOof+armGWOJhJ7Up1dLCww+vP3RQ8BfiGimLLO97JO97WoLDwzWrXZWB +ayL2Y4CVptp9/Hqx+vA6AZKyZlXldcdK/zMRQrYLiyd0pNTsoOdtUaEyGGC2z5KJUpLKefLx1eF3 +T5+y9QQo3EwGDBnQPhgfWIjphhKTx+S6vLHg4kGd48oTOLeBNUvV30HLnJiDwtMVDtusRtlGeNZY +tW01s9mxzpLkWEk79W+Z+lXT/NIrE+u818rENztGf17AWT02Ee0pBmEXUrKT+VSoS23IiEvZ5S/N +I1XjvTiUdW0SCx7Ta1Zs8ct9ye4cp+vHWPlWs+I6Pe8aWiDlK8lCIGiKTlGqKfl+dU6nxmoTv6+r +vc2/MHWb9b3wuiVa3cBta6t0hQLwfD1DMpRnIgsMSWwV76BiSTMGz/rtshW3tWozAVWumuWq8UQU +IIxPlcaQ8NM1MmpIbw7R6rduS2ZB2r0pS02WRmhty4JiTUPYHmeQ+qK2ggEn5HgYrS5O/0ycjnfJ +4TTbOtfwucqnK/b4Vye9i7Iumju59Scu+9tiO2010VavLji6jJrAyUS/baGu35rT9UT3SR2UJy29 +7uwln6jtWc59NJMLyIKL0A6a/pd14p+jL41Nmf6phZToWLn0AV5ycjHLFp/JxaJ9CpF9Ch1XanJ0 +JSMEmak6+lBSH6yxBfIZwE8TZC2/VhJc1cGIC6yonYD3TACbTDUL2D0HrnzzW4iVQHt9DrHK27C0 +veGCGmazSkRgdk4hscaEfZVQzrVT+oC1ATTstgts2/C7RiUmjLwISTwoa0m60DMabbzDiyY8aHWu +LyLZGIkHzoTG35ASUKpMgE/XBO2g5BLkj+aT1Wgnl+5DxCnxpcnsQ7JlQyMK1OP2IfItaM6N4iDZ +zgwXWs6g7XvYy04PXoO1bPdMSSy1+s7XmM1AI3anl2p349k1vG6aJXhe396JgkBfqfKV+NHjz4TH +0iZs/nx6+oGjgDrF2zCnKx/PYMQXAw1B2lgxIN3qAzkXBLWZqJrN97Oh+K0FtaFTvSr/hR2agDyY +E92KzeyuYVGOfwxtYyJX/BEfnHYoIuLvsEU3aHXWqvCk4xhNCojcqG2yPtHDByrVkB6I7pNcqGFT +j+XHLtK0FGuhjsVHpySziPbJ8yhZq33K7eE99BXZbLgK46gogSnrx0kxo40AT4xKqU6K8tsWilD3 +2Iymv9N8hXsuAAAgA8nA67LztH3mktcyeKqDeCWddTMqfmBRRMM45Cshc0D5fKV/2sgWzaozZQZc +zS94FVsYJB3ErEQnEd99/HNVRHedLa9q3A2Gu2e1tOGW8wO6srghBu27nvcxh/gfDt4cvxx/f3yy +Zsfh+CqK3nZbZUtkBzv/p5yOQApEjWobKDP4Nr9sGd0dNaKDhoZVB8X9Tt0Bn3/VkG41gPBqbWJl +NlYd+ikYevFop2FZNhtCYBVC5OhGBdyig3sviHuu9hcw76JDNf4VeIeBRXJCpzwcG6+AAJCCkao2 +4yForIIIYh1XwdrQwcQTPoizbPzVhIlpYCt28mt4sLP5c/TDBhe5xRQ8Rlju2tJ/M40UECHBBeE+ +uzIfiglWcmbi49dqAtrp/j6tWi7/lk+/G7XT1TaG7RiPp3tQYOKEFvmN5CqsIYpEo69ZQRjdOsk6 +cjbR0XwnLs+K4pLbYb6gfnRaeMtpixAPJJ0JBWxtMQT/gIub+IJrqSO6DInKrU+QbvDiPbZ0RCYR +cdbOxS8kjdghruXIQPykMu0cBFXgShY8Z7LMDXYZGdrVXKxX83UnhRZyXN1YCm1iXGTaDeYWUrfu +FvAz39VCQpBf4lYSLZwQ5zcpVNNfcj7tBvd7g0SNPcRAdRipM3R6I2Q1g3WwXtjogbm39jVVWri1 +yGxwEtca0Uq9HobamieI3qC7xMK7ryNHOzqGrpZydw5/9Px79c6bdPusgJ6wckKwM31yTWuoGLKd +lv/kvwxh8EMrNVuQvKqjts6sNp1wNt0Ouo+N2XzN/Fgn/WkdkBdqMF3WLFLEXAjnUmyi8EwQsA50 +qkToX+4dOWLCj1YisQ5gri5wL11Ie/J/a3nyS6XsWuD7mOvc4O7vXqk3x4dH706Ooi3hjw8Zdot9 +Q8lTH9O8XgFgETq4ggNtPitvIIl2clVQLOkc3V6rAi33YBAjz1Vvg7ZcX70nWFrbca1y+rcHNITo +IGI9l1/UMuLgJgKnt6DqaTrq07z10PyIZUxmYinAv+BTrWJaOBv8Ez1vx+Gg53zzZT2mXx7wUIC3 +SBS4Tsqr3xDRg5FUqbsVnqxMpXTQqqTCMzpfctyXuVCw3rB+JVZdLQVCR4qgk1AwwWHtm4nIjv2S +RRzyVM/6dtHIbBY51RGZwtUiioT/WpC3iwIy1mNdZFOWvmCz4gyElGQ4aMKpK5aHECuSJKnwx0ht +vTUczPqQP3XH4xDlVEkDZmpjgx1g4a+eMHTSQ5Da7GV/sZkEZ1aNeK9gxiW74hhC+7l+DPkY8R4B +78CorDsMpgJep67PuPM4IIWdUi1Bqlcg3Nart8RDNigBZCJKNl1z3J8/eg4YOaDqrObZzOgeZo1j +JIcTUR8wIOwlHSbvN4ZGeJnoG4dukouWlNIJHL1embO0kjU3RX0NZMf6KN+gHHI3GDi+TbbxL7Tf +x94ayqQuW2jBMoOgSbPgw8xvGPtLSc3VBgtsQ09JdntaJJADBeEl7zQeZEGRZW42A1dYWrPShv2v +6mZcrRZeaAWiqFZXHhroRps/8gPj1eKC59uuKNYgo+vCwvv0o1gA/Fox4kNVTvKcQqExeSEstJEd +jEHIkizwGAkphK4ZFYtpftuPvGIQN4yvKGngAIEv0wHmCEwEjXHzMOlrEMq7lAaKQv8o+wQxAj1i +rS1V/Snj1Ld0gOgM3MH5BK9YMadUX8pz+T5wKybxgd4WVsU0OlI9G5tBdRHhilcLUK6rUn2H+H+0 +eoN2/CWf3bnpGZyZ8cSFJeZm7Y7rwLMWhOJI6iWTMLP3cYUQITbGtKaTrm4v1CDfgfKcT9QYf+MC +z8fTf6yvH3E65sVCyaCKDrJ4F+Cjtjufnk0PQRpfleU0KaZ55pFlpzpLEkmdaqFnOxwS6DydedYk +W0Uh48J+Q/bTtYn22sCSwxkCCWGWKKW8KQCfYBo8TF4Vt8lqKbFtiR3bxgEv798eeThQUI2SXF+S +ff31bO/JebKL/mh9PP74Qt5ArdrzL3jK4OOLEu/R00V+0/jo4j4WSk9JacrDresgSO96tQSuYIqh +7w32aXdCyh6CoULgzpVJQ4tAxZzYm+03cOBVA5esq46xBtfV+vJ98u796brKcJuESxXKGaCmeFGu +4Iit5r+oGfBXa54jqQhy2yBkK+PL1xYGvuYj5r3orCcYvniaH/lYI88AugZHbVWM092gPktnzydJ +WszR/pHuFs7DFQDK5Ooc2i+ICC3co7uwFrhWKD72ZpOtV3bPUyuBgz2QVe6g6bjaQnCUxv2Vk0Bq +Tcsg9eufWLZAxhcyLkgXjIrLYUn6SZBWx03L4CZkiJ8dBW8d+y2JfKh9J4mPSCGdrYevOSi1SIZ3 +IMU8d2WSvHT2Uu0/sEQU8WA/UIo6XpuojQ7OR2o7AsTvy7IiA1MwsXvSL+jJ83OnjSjcQcAy05G+ +Hg+TzAWPlV7ipqAKnVpq2+TiZg25KaBcdscGER7Y+WusJANWgo5R3WRVwwfNx74o3bS/GpCee7nj +hIgHGUTCvFHGLviMdiiAZG0dqta9A6EGEHQ7VO4RMCGCYA/CX03K57ibgXUPb6IYqz9RbxGiFVQF +B322abgQyqBMjJViJwShldyYAVx0PjeRECQQAg0FvU3QksBeVJyJi5tUFODLjmXjYpZdA+YqIIDM +ynREMC99Fx6I0CXelOXn1dKD1fB3SmfsLVMH7GXGcOvCP0DQ9TNcn0ZXygNTepoXBOD9989A4qSG +qYXxnRV6ERzUSp4wXoWSHupRAbgSWNavSttVFYcA0gmxkwHVSVFKMFcCy0TGGIcd8LEgJxhvglZU +BC6k9zJv1OHU7zUBhYSiRsPWI/AZDin1iQA1KCcCnCorgHfHjAA9G4QHB3V1xTY8Bp9QT/PH6tfH +qVKg7LRj6jfc9vY5u2FW669ozQD/cXW49vYJAZMtarSGcXO0Y6hn5BQpPw/gp7+O3//FNkDpZrmQ +JTp13dOi0lW7Gl20+d30cT2piqVS5uKEmAIxkqJkmVcebEQAs8uXgYaLYdHNKgZgiaqcBRlEedAG +9pj58Ayg+vD747ZqY/zHsv4E4huPx+muFubWAcjl+9p3u6fG2tfbJs16mp3mWpZKvLlfbApuvYlb +n/8/e1W1X8NA/tgLgGTbYkK4FvtJzyRd0yoCZXjXDcP2A5f+7SU8xjD49mXklG0Qqi/DA45FVgq7 +hpcIXR6rrb4zE3pLBvK4QWSzHN0RYmOJYHUHnEuH5ecrNCkn+3bsmYZkmuYQnmDlrjSwI/qnov5S +VJAPDVCSreRi+tLJytXHfiGwMsO5ozV8hDmR9ylL06JccCtq5zg7Z84WNXuH71v3+S2gkvatHwoG ++64F7orJAChEk7co3iGfh/rEawYcU202q5pxxyRlbJAVikv56qao3vTYJJMypwAenIHTOyp+9uR8 +IF9/b44HD5MP4omOBgK0puKch3kzLZObvKimPK5KwbrjFAq6AvUEhopsPob//LN1yKVUVzR5gHNc +Ilh4hnQ7oaAa3+gL7qTj/j09D5fjpRSLZyxe5DfB3PU/Gr+2sya3thFEoS2m/du4CcS0aV6JFuRj +HxdBcLUn7e3L4eelGTZhJCjuCWqi9bKEpjtTWfEnpQSGTiWkZWutgClTR892Y485pZrS0cJx8Saf +khKrnfVvB90r5Hbn7EkXPfLxBzZOFHwkK+Wf9ikt5cHLHw7eHR69bCdWE7wLFAu7NtwIZel+e76b +Jv1pMJo76U47rfDZYCh08q1HlKoyCZtRZ+W1U8T6mGw5Lur3VnXoAJmi1inUi8Vz2Dy3ZCJ8YAS2 +KW/nJo6lH47PqftJe/uzpeSPVbHFJmDLZt7xjHzGXVW2and+P0S7AgOWY15n7K0TeOWqozKYfsfo +HelfvGORTOHfhuutribJfrTxaB3t8lPnrne6s73cTN1Ir5jMFHKUGGyVm2GSaiodKn9hSvVWm2+k +ASvjt2IlZAp0+p/uJOvo04KkZfn7K3pTcZDK0jcMg/QWy6Y7s3SMVsres/3ibrNo2p/7WDftT/Qu +1iJAKv1mH+Z6Nw3/MgHUvnFbqrfjWdL+lixExVBfxqj+eHGUI2OuZX7RqcDWJa2lEEo46xdqZG+9 +BJMfITj5SzHF5NoxzjTzJa9f33PGolVPwNjgd2QAhk96YA5D2Vx1F6UVpE2mCy21srOKM+9onjwD +9b4l+4OdSNhA1YF7cTEvZlk1hKSviKAsGLytOa3TbBE62a/dxlNrh6EEFnARqdvX7bZdkZu7dfbU +tpJ5W5yCq3ZM5tUiG81p13Wekk/7fOfRbtuQ4NM1C/R0DPZkKBE22VdzjJb2hjc1fgUsYVoW79o8 +1PLp+TMRLzrWzMSOa+leybHKFDD3LLkub8DFbEAVM3hvLbOEZ397dfCWUmc5J52TK9sK/KW8g5Fb +RVOR9NIOplotpj0w7jgb/ACWf0emSkpjKI7ywdbR5QOCeQLRi3q15Eg2WKrRPO/y0ZeyjvFEi4T1 ++xR8Wveq1lkU3iiCu6/M2VZL1v02sq/YxFCLWiuON1gM6akta9aK4omIqxYhasQXx8+oBUCY9hr8 +Ahw2BHEa62qVjeBbpLGmvEiWruT29sjce/7EbI2a831f03+Ct4L6J9J9QQcKrwXkA/wYm0lmDt1w +t6lJfQzucWjogsR0WssN9erNFdxgl+tKhG4Nh3fCNWpusut0ZhM1d51uu0kdjm79r1eGg7pb99x/ +mfprpIa/W99X31wvZNYKGJzcRrJEhv5eEuTe0sOXHJpkJrR7VkS3nL6x0Q8swweb8Qbm9mHgBC3q +hWr1jrB9ANx9MQXHHeoPXYYvq6IEp3YMF1NnY3X+Qgcp63VI28YP1YCjuwxNFuN05swNuU3geE++ +ebRvnOhuE1JQuKGo8JG505fpZTnqYhAoeycDKegcYwWlhS4yPyAN1hE90RGyuGishsEywAHs++Ic +iv7N1Fl6FJKeDOt028s/Xfv8c1aZg5VzoeCfgzdaNZDaBKLSLiBftcx63F9RA7RDbkGE6rvksAPp +s08Ldwugqy5nk5+rBY65/Cp2EJnuKZaGlRHvdtNPC1ZO6wa8uh0VNdO7/z3WMsQtFLV0PdyZAEGu +KtVcR2z2S5PV+7K4zaeOdqoGhvI2ZzO4uLyLGohZQDEp0KwSDOCBVUOGQk6rnRPY+yU7zCxX1dVX +SB0430D82H7Lmc4XQSYSnMP9Aa117QYV80lzLwyDgI6+kfvg5FQbO4YcyDxzgx1x6OWiZ2+jfNFw +8OkXk8J4G7uaCW+29EqYu7Mi3+xaSFfUJ7TJ93/ZSVszZeMe6QclaUHmSC+LL+rrBlR4gWwRGXcI +DUvKp0V+o1jHbGuDoPBFX583l6ZUutUNCHjsjNTiB6W6osecCK0Ni97AaCPIdtinmyW6WDo5PXj3 +8uDjS+/gaKDw9nUQq/7JEY1E5tbi8dPiJxCC1pR6VCf9R5Cmr2a+oVs5XhYXi+Ql8usb8A8I6tpA +jrmnZc2byHH515FvmJQeq0TtG5N+13AgAA+R2TSKbKAxP2TBGc8oxL/7lALGCgekZEr+30YhBtIa +M24+5lg/Z9/5VfSudzh6TPxUhngbYec/cz725MNV4FKCP4GPrnEWcR5xeCN+Z6+PeKFRrfrrPSQ4 +lBmmLJJyISMMCRSw42R+U68PqMSZ+noe2jXWrJy+v3Rw0dD6IX2gltTngDl9mUBqLMXy06jETo1K +sbCHrQ+aHaQo1RKUYWNpHUZnfTW5Lr7ke9xPR2MWnWpXsyai5PwfpI4Ey5WIshYtBsBE1+wESrQs +3V9f4/j6xYcPL9Dz4eXRq4Pv35yOX5yeiP5hhWpYjpJOqP5FY1xLhKwfgX122iA1tI/YBz3EElDf +z89SBDM9tzZ1Ojq57r74Exw9HILspkUHE1DVnFEgpXk6iLk8MYcy/yLFIoQcOeJ4aduS8iwp1VBV +eLdj26HjluFejcaXAvNht3SBxwRb2qZv5nG8D98vYHEshAdA+o0eXGtU+ZwbI980cfbEu42uKBd1 +4POp/cA1nVLkF6FS17ZB4PLWdV9IWrZW/m7Wa3spwWHmEQq8ppyUs0Tt6Kh1Ws17lZqetYIqMEqH +2rMgvqQpU49C2FEFVXF9bQYMBjI6mKoYDEXcANK/Dl9SncPDwz11Ck51AmO3hh0WTWjfy9yrMt42 +HZQLCfxvdU6o8JaVq+NzRG20RDVskHnVtQP4dvo+tzLQgASD5HqAhAwIg3MHR9N1tjMIMfJtN7mO +6QFYQ8QRsQ32weWPGQ6NQOFCUtCsvPVlgZwlTTPOOcmzAFnBYZ+vBq5/zEAfQR2hbXu4jgMnA6rB +6VcAuKKJVpqSOiZMZ/lYjdcYa+wjHTh8Oriect9s4ZkVnnoG7BSwr+jzwVwU75rj+VLpHnBa9sPo +AwY7L77Lm5uy+hyVNVaQFN5Aqums9mJtayWwCMAZcI+Quu4PMds5D2+A6ULAFcbZGv5cb+HCYOcE +YB8h08mle/XNSqODSBo7oeBep/pwYmkI0wKCmCi5oKEqpkCdrE0PBTryCNRSyzq7cT2Aaspcjl14 +totG+ejVZ1oPh+rFync5tvxSDJ5dzZgY8fH+SGi5LdWgRzXCTOoAxWcwOxuOZfN1IMjtrn9qXcAI +kyKlsdRkIshMSqsE93ilp6Cz9tuD4zeHh2kQnA+JUixtsvP9F7oCd4de/5YT7cgUmBEJfenfmvlD +Nzsw1/Fe377fsS3+zl6R/pzZQKN4aIi0Bh8/UDJN008PnGsX9XWyqiolXdSC6JXVUgm9fNp7JgeW +CR7WpAwIaSWzYCcAMIoHfGibqi1qBjiaA3xnjqngdCbjbArDAQYCgBVg4x/Yrm8yPF9lDSqmD3hx +wHkK91xYLnU5+wKYe+hGc3ON1++UMtiyedFfaOm9yPPFA+kFvwYcSJYAKUBypJjneAQtLxvMOzwv +sQkx5/JxE+Zt6s1cxU6Z9J8WrwCypUT4A8X6Wa0j5es830M7197jxzc3N9ZYPUZGPb5ZLJePjbuX +NV9x43POIW0j27n0W6FxjNTXCaFtaUaz0SzdtOWyMTjVTfMlb0UcwfQweV1lF7YnNuhaA+I2zAUx +MqhZMi2o88IMCSnwoQA85vh3pVZbVubBdXenhnL3wtTUNsb8836YAHccQRXofSteyLUSQZ8XiE3l +6JUmsGjLjvIlTDQv98g9hgt5A/2S30/+3U2nbW4dN9dr4h+TD8q9adAt2AgAdW0dyY0EhzwLaHjh +yyf9hg6FC57YfT+7hHzdqTDgzMopPT1PTYtSoFWtR/HjO13fkqpI52bG+qxDnaaHUfwHH98dv3u9 +B/Bb1pVbZByNMIuc03vzcop+CHtqrHeTnvo/HWu4BzuhCazHGpC8GWtTrY70p2j+p3+kd+keKTFo +QeiqJeqyky7Svd7LEmL66nVkjGLQLOlUEfCyqJcztTl0N//PwPf+Fk+eizTUsLonkHy2mEj256LK +M9cvDKcZUTONUPPh4PXRx4iagb/D4VVfSism1oDtNlwqkVRF3L1J7+3jm7spnH3l6CtzZJNoTOqB +La9c64It6j4thkMAkLIG5BWub/tiReIopSrfTE5D6JnH9SB58sKjQH/dBVXKmMUvB/YAWhA6GmOV +U7ms82CAQkNId5u60ZyB5MaatL+Cpdj3ycdAHBB2ujwQnG6mL49eHL5/92pMtsCPh/tPEvnp3XsW +Kyf7d4G/VrwDCYXwBnshGL+QhhYm78o4O5XRlbM9zCTAsR/BAbHfcS1qzoQoLl0pGWTcuclJ90KY +i70IqoX12WXfBCUHj00CO9TVohmFOuGhLEnoE9WNd2aLwPjrPdcaHzkUtg6GrfTsQZQ2gxhixzdY +7BtVnHD+I2+4/frCuhZlrDodlG20akEfR6OZF9vcrihHUTn76akSdp/JfY4mO0ykR/U3wezHGUvm +FEf7ZpOXB3lAmLzWHaBFrQuWqsmKe0BQ1AWcryKJQSFKq86fbeDEkCruSgVkMG7KpYPGt7aKLpeH +jWyebSwAf2qCbYieSBB8gAsInvFu6obCtHHRlXRyrqyK/FIp2+DKVhUX7BQv93d9OtKqeTzLLsoK +L+b8O8cUUDjB3PYM0BfRlVSPRoy9O3IR6FWjhONqNmUnraK5vlMdUcK+QsD4G/Q+UEKsKk1oh3UR +79UF0yK/zcAQOEh6IHFrCmxRw4GYTT2Y8D3tkIjgWFTt8Ge/MoY3Nw76vbjPi62v8xhEobBkfO4F +hQXu0lwBekt/+y1Fzct0ykhdzAFuFNxKjv764ejjaWzld02On0jaEjAJdB7jhC+KBo0Dz+TkTh5J +ajVeA7xiJZWPfA72D+ITowJLAFkmUYNAF16uY8dbhSHDEbfcAkV3Q+ZSsBqk2zFH1aDDFgIUFGab +QepTR4m9pKf+sYnwx/sjfrE6hn5WSqHA47WMpKsK9BHYNR9hEFy/6n062d37VFvFHaAEAcPgZ210 +S/Ffkmphu8aABrrQDGtNOAMVbe5oAfMrr9Tk44d9c2mDr3PVn2fqjGtdluDf9jLzna37bOLvuBuR +BcoNBgqXuXujBGaRwGOdh8rp08nRD0cfj0+Pj07G+GbwHmMVJYgEvhhOoI6JjQdOEyCmbAgKwT6j +ELx7/8Px4VH8+OWQ9w+NBroXJfVMnp9vFGswL1TxtK0qerpZTRopvK0yXWCj+v4ZlGkPGlg7ft0j +RxjuDyI13lkhI70/K1X/Bnc02ENx6wxTjymx2g3QmkDgGW/GOgPU897A6sRa9shWTzYXENdCwwzM +q5vEiEgKFf4XrtSnebUfJmFzAnK7l9LD5BCXt07z5zyVpa/5+SNoADWG6l0a/6IqJ/byLf3V8zVA +tYbiwzcHJydHJ4OQPRNoei1XhCVpfTOklFw+T7AFiyttoPnOlHLzmBrR5/wuItAwWK68nJ3B3QXX +bHyaJARe1sJJ8eeqyr7k/oWbT6eMU8Az0CVwnPQYKRanya60t5vCpdozztzZ6tFs+ccBberVjOJJ +lE4yz/PmeWS4zFD8x/cnp8evjg8PTo/fvzs5k7YjosWbDUBMMV/CfS+TpoiFuWHGf0VeKKm3iZvR +VqPAAM3pWh62aWStnBToZ4uHNXkkdfCSr6E+lLNicpe8Rd9+E1mLcbBzRRspyVX+86qo8mkvVhPd +DVNaH9DQm+RLUUJaivp5kvSPRlcjpX8/GT0d/ba3kyT/sQKUKZizkap6zMieXKVBV0mXrjBsu+XM +JR/0CmGdKT37dvjH891PI/h3dA6uLA6zI4YCfzBS5g6AcYaLzxlqINIpskHtMmscgemVsop1TxzP +vbYr5wgSLYAnUm6qmlCrfJqj21SP3umNnCs3Zz7DyhuqbivJV8xs2yxhftkoajiCHD4VuJfgr5Gg +eWhPntJVRjyKIIpzEkQAIJFT616RLRxqMuKjmrx2yf8/KvWFGM+zT73cSFgAN0KU4pN+JGpsg88a +j39/zmNT7VgaJyvEtrxczewOq64mTZVTGsesFikS+h5g563pJIJs/QRflHhWVKdC5jFeGHOK9Q1U +XsvpojZ9iJNPcPDZolnfAV10gy5ouwG2Gu9ASLxJ6NF6dPhVKGln5QZwIn/GBH2Wn4Ph+eyOLtZo +tusEsm3YH+ANADbmVaW9jnDiaVMSAIlwDlqE4G6pKFi0vkFAl0Q4BQFdBn/tCXpnQCqUqpyuJvlU +9MXW+HiAVSjAJUJVMLvJ7mrqMlba5m4En42WBny+YnnAZ+1hZt2MitLQNauwhtO3H14ex67Y6AHe +sTXzJS+5P79/exQvDk+wcGqnZIgrr/b1EGbj8u+OWkNgEzT6GZDrqBqsq7Jjr+g4bY3xw+St0u2K +5SwfTq7LYpKzjC9vdRGToMtcZ8/5Jf82qgS3tRA+ACLv7si5TYfjPXdyW58evD5xp6yvn0LatSRy ++FBvwtHDfTm/baqstkod/fX048EYWuGBWYL6BDCtKX6zE7SZoQsytnHWNH1pqt8I564UTSXvzNFt +Plk15JpI9kZpRqCS17h7hNC9qTiiqknFSM/u4qHniGI7ehwU7pDt1osWELU2bUfq0q9fXg8MdtJ+ +cprPl3Dha1/cXgfIv3wvzc3izTRzBb9LfZZWkE2n4lmEF0nseDpkY/MEr5PQEYJwjKUGPzeiYulq +MSsWn00Rm+PSDF3dTiJXzRYcshQm3wv1jzxzT0xcbF01MnE+KLbDEcG4ZMrEaZkoJntU+mlhX8ix +Cu+kioPPyfHrV8dvjkig4QTD2c1yDrzjdYoyT+sI3KTd9nvQvhocPQzcUjAKyBvyKT1+7yV1kI/l +B2RPV9Oa7cC0gNzdaoJC9O6YHrjCSmcY0HeAXgyrsdQ6+8lAPMNciSM3mwMbD8hAYaNvOMlsHSeB +lh9tZHarA+khTv1OzriT1YUipgFBovZhRSEnsOYcG/oQI4EdMG/T/5Fq4zl6BzoyBZ6SWT0S3aK9 +CeVxtz7o35Raj7gm2KOorojB2WkxfTQdMqS4MI6ebYObYuhvKq5mxzdpSgn8sqvYset0FpdsNwtj +3d6wy9t2N97V7m4Gi9QUF4xvnETpuWrditPA9mhRnqoZG1mWrRVZl7RSpLqcfPf06Wi6mlMeXTVb +x8usqPp9/TLF320Fp5EmL5RYPBVX/xPcR1LNO0nPmFGQ4z4pVm2ZD+0fJe0osd8SaSd848mY9wiL +pmNyuJzj7g0tW76Jm2yPdCTUlVlP/I2znE0pT6jXJ0nwzGTYaoUTs9SectjtNm/4+RRvy/ReqXus +I1+E9RvaAqx0ohEnXKGcOmmjywR7WDy/tYxCUFpPiBD9MJIiQTSDcOV1qQ/GScITGfCh1OPCPefR +w+Qj+p6jFg3zsKzAOwAa+HUIhY8dTmGxXvhO+rLOI+cln201UZFrLNgwY/u5qpJTwbFFWEhrObz/ +yM4ReLqQNaTjnYHAPpK90IgF5C/bdoQniBftq6lOxrTZo2dKnRy9Oz36uBMzuMNnjZWWeag7Gd+f +iJHMBDOYS8VUSCXV16/HIQrCGWAq7EBKtIZPgiKt91pfCx1X5dONai8Wrkfkg4IK0jdKRne12V6j +5XxK+hFHNCrxUedKETahjkYfnKiz5GK1HM/rK52kVF6z7+Fh03by3grpHzKCOhKBiFGvaCPSmjFb +VfGHQIJJ8nhPBpiU8q7zPe6i+KivI4jOnli7qjq3Z59JQKwW0CIEqsAswqyPulhfHtKe82TH3nE8 +cZRfFrf7fZOgcijvKrVkqJQTF9GEcv8uIffvjg2gLS/xFmYS3DsPZRez+vOuvFFSmftk9cj0xe7J +0616smk/rPNoC508Qeiud3nlKXTwaDIHV7eeepgMhwj9NMTMvAjqOhzCTKygHOgNMv4dSrVVpSqd +DFdc0WUG11ZWFQ/8N8DF8t/TXQ9sjKaBOlT/KfroqWFBoDUqVvExnZtwVy0EPOij9lN1aPT9z4mn +7CR5GzsB3oYMZ6ZH9rknazc5D9clXs3TtdU8jSOmmO5EIjSzos7VlH5L4sJ5zgwwr/u6dl+/N5DD +8CB5f4JfPGJBmWzmS6TSXhC8BkyW5KEHwaF1THeB8qNoXiaWhGpiP4aZKIBixWJJICI5JUpHGSg0 +rYkOg/3RltlWbCW70qrayBbhlENPUICaQ/ZJVTGlxFH8OJnuvJjnIPONVUb/MioWhR1iEDEyvD1+ +e0Q206xq+iliIFkTHSiCJ6rki7xp8grKn+a3TZ82qzHnRtwPkjjKmyO1nMfU0T5ifasODSHEpawx +Hg7sywXMTtsWw/Spo0yezS9QmyCQOrwpQHPtEMkCcnRvEFrm4s5J3mvbi6TWfFnMyqtV7t7AylPi +e1/odwM0zKAghJEZoniEuJuzzRTvwJ/5MasAj2oP7lwkN5jVqgmftWoLKhPsHtemw3HWAa79hJJt +8hCuETIm1AL6FLtgYTumHfIRwE3iAhsOYaaqf9CZOU22Oil70t7ixlb1pMnTP0G46uPFajaL3EHO +2bBu3DrT/tnfng2S89/s9Afq2/nuzvP+871nifpn9BuA1SNzRcCVS6qrJfaKbGh/Xy0+D9jcjzGv +6oXRVVWulj7KVoQ+whRXBMqaVIQOznf/q6f+6Z3v9oA2qrpV++6gEKmkiWKR5YONPUyOL0l6gqsB +TGCAZhjA7gtKplp06iBygchKpTgQNxDl5flnSPik65PqcUvSyAJJWuRhE2P4Hj91mYkCCLBVMWn2 +CY9t2/ZBeiAGIxlSH5eTJm+GNdxvzz0/Qww9FjAZfhfrGNXqfVgXamjC7V1ei2VNlo9JbdglD+Ii +XGczVHKcCdvnfwftCancj9kAHOlvyGvJiuh3j6Xv1/YQtzMGAcBTx4grHsPBg3JcXnaB/Ntd83jy +Fb0r5pv3DVTNi4gksnp4DNV1Dd9XkJqtpkX5y5F6ANX9QqTGjtD3JOsFQPQFyzL+ihKsACx+NytV +D7bPAIq041Q8wvTfVc15wMcgB//td31Xy9CtbqA3mS6vcXoV69K+bObQNFqmrDXl0uCpQ4bItuuq +LfRD/N/D5KRRG3hWTcXk8cCq8Cx9pRZsek6W9qff/u4PY+YaG9u1JUHn5x6AerzjVnJadlXBpl2v +AqwBlL0+0TVIvmQziFtRGl+g2avlQ7/BUyZajYxqV/3/cAL/fzHBf2yYLvj7Y76c3Q2hYMvQpW/V +pBm+QreD1RJKnu/FhuiMCOjoJ9If41M4nhvVy9OytVo5whCiTDBZzoAxHeTSa9FhAfeC1lqB0R3V +XnTUW8FgEMCX6wPT+3j04c1Pp+97BguLy2oQHv47QpAe4g6q+O223gYXLrryvw5hfuQVVv7D0ceT +4/fvwlIvsybHEiSCvm+KWT2iwFTANe2jSQegYvxoSLGUO6DP3VdLUSI/6jP7D3QVjdT0no5+912P +lxoevcFqDjbJMSzKuZ/KaV5f8Q0Tn9geJkoWok9pPW+W12Xd8MUIgo3m2qdAuiGlrAAnec94tcCY +YMJSuHe83THpRsXKitbMbDbr0wI/O19/2AjeRKFwrzdJkECOZIJgydiRyR5aVZhnVl73sT+C4DLh +0kHngnYsScUNUnvs7zWeTLoapYZ2jAxwfY6m+cyeHlZLJqMLVMbUGjBDu15vjtmVtK80qbVtqfnz +OXqnakUCF6jHgxWobqYlB5/L2nHLdd2ROjAwqho8PRFeoH/21teBTWYvNr02IrWos8WXrAJvv8eP +6hEEvLQgInhNcaXe8T7qH1OCSERlgl8aCEm76X97ahjbBNn81+49bACcqGoTZwoozQB78d9tPt8W +SzQhHWZgHsZymS/G2Pi4zi6trqQ3IU5clHwwXi7yGzMavvnSNuFr2/02Jo8kWW/pJ0rcG/dRVktw +Sliyyzj6IweT8vUQm0ij14/pTVU2tlMXvYTmU81Lwx5P19Q8MyXM2kDrdCC+g4G8pc1bMWVyY1vi +u8ashGwA06Lqo4ur/CpTQq0ImBb2sttNk2GTDMtC/YeOGc70CDYwAyBq9OTIoIgEivSy1HvS7dmT +cyO0UfYbiQlvjk0bYA1aXYCt6vl8529no3MUoxCM43p0WIPdU2eMBcQEaRBchhITojrW0ES9CqJQ +lZwVF6OTt6cf+uFrUnIkDLJUeO7nwOlI5NWfV45BW64Y6nLyOW9GOV0u2HQcYQnMVJDcegtW9I4w +zakEYagKCHwAyq6qfE+m9K2/jgbJr7jw77Xqt1zp61Zv7PAHC6WtUdgG6c1olE/vhWkLfgGIwozg +jHpWm3Z12Bp3grBVneW26eD+PzFWlvpr+WphNl5C319lbHv0dnhwDoQbWfYOVMX3PEcJGcCTZXaz +oB1ZRAVUDmiR9vHSqzDq6IRZHh5ZIRh8MQvPHvmWfu3vc/Zkzwa3R18MGnWYHH1PGINvg4gk1wk9 +7nVsc/zT4q19xaTOesJw36exHfT808Ka8eyRiXF7ezLppS5HDUadOtGoizKM6GYh20AwgvAUdotv +tJviEhRedMDgVtTjUPvSDWo3GoP1ylUDjoku1oLSf1guIUhfeBUkTJAOwF0A9EGqa1cHE+F3q9cl +/7HjUmudWDTEhRO60tkBxDq54EHPLgEpZVmVEF5Fm+Tanpnmf/mudcJmbNPbNIi989F0H/R6veNL +Jw+vRnSaEqppNrPxrjRE7E1WQPEHENtVsAegg2W9WM0vIMNTkdGB8hkB62Z3UJSckzEGB++tHtgI +XaST9tWxdaS+qN39BtG0F+JQB81Q7SCbeh6+QD/iKpwqPgziT/6In3RH+60rdtzkqepR3ZRVPiWA +XMy3BPk8J+VShw1ph1J18M0JTILrgJKStQRKorYh4P76UBo/lsVQ/CLekjGnl3b/TlSVvNMRBCkI +LfoM29V43FfhYSISFDLJFLWaHnhzB8Jqkbz9/gB+X9X5dBTsMwcOO1mAYkYZ5HzGuYHAe8jtk7iA +qjbGGM87HuNqGI/B8D8e83KAAzz2RPIpxCKEeIU4/IRa5AxPeuhf8ruLMqumx4CvVK2WERypTwtd +557gDyfTFR510bGqkHcNphTXboV/kZ57G1SfogacZBMRUi9OT0zqJKW0/m/OfuxH3CgBAA== +--=-=-=-- + +\start +To: axiom-developer@nongnu.org +From: David MENTRE +Date: Sat, 27 Mar 2004 11:10:18 +0100 +Subject: [Axiom-developer] Strange compilation failure while compiling axiom--book--1 + +Hello, + +I tried to compile latest axiom--book--1--patch-26 and the compilation +failed on RDETRS with following error: + +[...] +0 making /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB from /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.spad + AXIOM Computer Algebra System + Version of Saturday March 27, 2004 at 10:09:41 +----------------------------------------------------------------------------- + Issue )copyright to view copyright notices. + Issue )summary for a summary of useful system commands. + Issue )quit to leave AXIOM and return to shell. +----------------------------------------------------------------------------- + + Using local database /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/compress.daase.. Using local database /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/interp.daase.. + Using local database /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/operation.daase.. + Using local database /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/category.daase.. + Using local database /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/browse.daase.. +(1) -> Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/apply. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/c-doc. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/c-util. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/profile. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/category. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/compiler. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/define. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/functor. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/info. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/iterator. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/modemap. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/nruncomp. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/package. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/htcheck. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/xruncomp. + Compiling AXIOM source code from file + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.spad + using old system compiler. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/parsing. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/bootlex. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/def. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/fnewmeta. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/metalex. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/metameta. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/parse. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/postpar. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/postprop. + Loading /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/preparse. + RDETRS abbreviates package TranscendentalRischDESystem + processing macro definition N ==> NonNegativeInteger + processing macro definition Z ==> Integer + processing macro definition RF ==> Fraction UP + processing macro definition V ==> Vector UP + processing macro definition U ==> Union(List UP,failed) + processing macro definition REC ==> Record(z1: UP,z2: UP,r1: UP,r2: UP) + processing macro definition Exports ==> -- the constructor category + processing macro definition Implementation ==> -- the constructor capsule +------------------------------------------------------------------------ + initializing NRLIB RDETRS for TranscendentalRischDESystem + compiling into NRLIB RDETRS + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/FIELD.o + for category Field +[...] + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/STEP.o + for category StepThrough + importing MonomialExtensionTools(F,UP) + importing SmithNormalForm(UP,Vector UP,Vector UP,Matrix UP) + compiling exported monomRDEsys : (Fraction UP,Fraction UP,Fraction UP,UP -> UP) -> Union(Record(a: UP,b: Fraction UP,h: UP,c1: Fraction UP,c2: Fraction UP,t: UP),failed) +Time: 0.41 SEC. + + compiling exported baseRDEsys : (Fraction UP,Fraction UP,Fraction UP) -> Union(List Fraction UP,failed) + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/INT.o + for domain Integer +[...] + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/URAGG-.o + for domain UnaryRecursiveAggregate& +Time: 0.21 SEC. + + compiling local diophant : (UP,UP,UP,UP,UP) -> Union(Record(z1: UP,z2: UP,r1: UP,r2: UP),failed) + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/VECTOR.o + for domain Vector +[...] + Loading + /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/NNI.o + for domain NonNegativeInteger +Time: 0.24 SEC. + + compiling local SPDEsys : (UP,UP,UP,UP,UP,Integer,UP -> UP,(F,F,F,UP,UP,Integer) -> Union(List UP,failed)) -> Union(List UP,failed) +Time: 0.06 SEC. + + compiling local DSPDEsys : (F,UP,UP,UP,UP,Integer,UP -> UP) -> Union(List UP,failed) +Time: 0.07 SEC. + + + >> System error: + Caught fatal error [memory may be damaged] + +protected-symbol-warn called with (NIL) +(1) -> 0 making /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/RDETRS.o from /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB +cp: ne peut évaluer `/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB/code.o': Aucun fichier ou répertoire de ce type +make[3]: *** [/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/RDETRS.o] Erreur 1 +make[3]: quittant le répertoire « /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/algebra » +make[2]: *** [algebradir] Erreur 2 +make[2]: quittant le répertoire « /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src » +make[1]: *** [srcdir] Erreur 2 +make[1]: quittant le répertoire « /home/david/pub/axiom-libre/axiom-i386/axiom--book--1 » +make: *** [all] Erreur 2 +david@morgana:~/pub/axiom-libre/axiom-i386/axiom--book--1$ exit + + +The full compilation log is at: +http://www.linux-france.org/~dmentre/tmp/make-x86-axiom--book--1-2004-03-27.log.gz + + +Any ideas on what I have done wrong? In fact, I have relaunched the +compilation and the failing file seems to have been compiled now. I +really don't understand. A latent memory bug in GCL? + +My system, Debian GNU/Linux sarge (aka testing), linux kernel 2.6, 1 GB +of RAM. + +\start +Date: Sat, 27 Mar 2004 11:43:41 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: Another error while building axiom--book--1 on axiom.sty + +fixed... + +--- src/doc/Makefile.pamphlet.orig 2004-03-27 14:07:21.000000000 +0100 ++++ src/doc/Makefile.pamphlet 2004-03-27 14:27:24.000000000 +0100 +@@ -31,7 +31,7 @@ + <>= + ${OUT}/tex/axiom.sty: ${IN}/axiom.sty.pamphlet + @echo 5 making ${OUT}/tex/axiom.sty from ${IN}/axiom.sty.pamphlet +- @(cd ${OUT}/tex ; ++ @(cd ${OUT}/tex ; \ + ${TANGLE} -Raxiom.sty ${IN}/axiom.sty.pamphlet >axiom.sty ) + + @ + +\start +Date: Sat, 27 Mar 2004 11:52:21 -0500 +From: root +To: David MENTRE +Cc: axiom-developer@nongnu.org +Subject: [Axiom-developer] [david.mentre@wanadoo.fr: Patch to produce the book in the ${MNT}/${SYS}/doc directory] + +changes applied. + +------- Start of forwarded message ------- +To: axiom-developer@nongnu.org +Cc: Tim Daly +Subject: Patch to produce the book in the ${MNT}/${SYS}/doc directory +From: David MENTRE +Date: Sat, 27 Mar 2004 14:58:27 +0100 + + +- --=-=-= + +Hello, + +Here is a patch that adds the Axiom Book as a target in the +Makefile. The ps/ directory is copied into the target directory, +otherwise the dvi book lacks graphics. + + +- --=-=-= +Content-Type: text/x-patch +Content-Disposition: inline; filename=axiom-book.patch +Content-Description: Add the book as a Makefile target + +- --- src/doc/Makefile.pamphlet.orig 2004-03-27 14:07:21.000000000 +0100 ++++ src/doc/Makefile.pamphlet 2004-03-27 14:51:05.000000000 +0100 +@@ -31,7 +31,7 @@ + <>= + ${OUT}/tex/axiom.sty: ${IN}/axiom.sty.pamphlet + @echo 5 making ${OUT}/tex/axiom.sty from ${IN}/axiom.sty.pamphlet +- - @(cd ${OUT}/tex ; ++ @(cd ${OUT}/tex ; \ + ${TANGLE} -Raxiom.sty ${IN}/axiom.sty.pamphlet >axiom.sty ) + + @ +@@ -49,6 +49,20 @@ + cp DeveloperNotes.dvi ${DVI} ) + + @ ++\section{Book} ++This file contains the main documentation for Axiom, the Axiom Book. We ++take care to copy the whole [[ps/]] directory that contains images used ++by the book. ++<>= ++${DVI}/book.dvi: ${IN}/book.pamphlet ++ @echo 7 making ${DVI}/book.dvi from ${IN}/book.pamphlet ++ @(cd ${MID} ; \ ++ cp ${IN}/book.pamphlet ${MID} ; \ ++ ${SPADBIN}/document ${NOISE} book ; \ ++ cp book.dvi ${DVI}; \ ++ cp -r ${IN}/ps ${DVI} ) ++ ++@ + \section{The Makefile} + We need to document the commands. + <<*>>= +@@ -57,7 +71,8 @@ + OUT=${MNT}/${SYS}/bin + DVI=${MNT}/${SYS}/doc + +- -FILES= ${MID}/axiom.bib ${OUT}/tex/axiom.sty ${DVI}/DeveloperNotes.dvi ++FILES= ${MID}/axiom.bib ${OUT}/tex/axiom.sty ${DVI}/DeveloperNotes.dvi \ ++ ${DVI}/book.dvi + + all: ${FILES} + @echo 1 making ${SRC}/doc +@@ -65,6 +80,7 @@ + <> + <> + <> ++<> + document: + @echo 3 documenting ${SRC}/doc + + +- --=-=-= + +\start +To: Tim Daly , axiom-developer@nongnu.org +From: David MENTRE +Date: Sat, 27 Mar 2004 16:15:29 +0100 +Subject: [Axiom-developer] Forward -> Forword ? + +Hello Tim, + +For the "New Forward" and "Forward" sections, is using the word Forward +instead of Forword intentional ? + +\start +Date: Sat, 27 Mar 2004 11:05:23 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: Forward -> Forword ? + +nope. I'll correct that. + +\start +Date: Sat, 27 Mar 2004 11:40:58 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: Forward -> Forword ? + +Forward -> Foreword fixed. + +\start +Date: Sat, 27 Mar 2004 11:04:37 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: Patch to produce the book in the ${MNT}/${SYS}/doc directory + +I'll add your patch to build the book. thanks. +I've been busy writing it but hadn't yet integrated it into the makefile. + +\start +To: axiom-developer@nongnu.org +From: David MENTRE +Date: Sat, 27 Mar 2004 14:58:27 +0100 +Subject: [Axiom-developer] Patch to produce the book in the ${MNT}/${SYS}/doc directory + +--=-=-= + +Hello, + +Here is a patch that adds the Axiom Book as a target in the +Makefile. The ps/ directory is copied into the target directory, +otherwise the dvi book lacks graphics. + + +--=-=-= +Content-Type: text/x-patch +Content-Disposition: inline; filename=axiom-book.patch +Content-Description: Add the book as a Makefile target + +--- src/doc/Makefile.pamphlet.orig 2004-03-27 14:07:21.000000000 +0100 ++++ src/doc/Makefile.pamphlet 2004-03-27 14:51:05.000000000 +0100 +@@ -31,7 +31,7 @@ + <>= + ${OUT}/tex/axiom.sty: ${IN}/axiom.sty.pamphlet + @echo 5 making ${OUT}/tex/axiom.sty from ${IN}/axiom.sty.pamphlet +- @(cd ${OUT}/tex ; ++ @(cd ${OUT}/tex ; \ + ${TANGLE} -Raxiom.sty ${IN}/axiom.sty.pamphlet >axiom.sty ) + + @ +@@ -49,6 +49,20 @@ + cp DeveloperNotes.dvi ${DVI} ) + + @ ++\section{Book} ++This file contains the main documentation for Axiom, the Axiom Book. We ++take care to copy the whole [[ps/]] directory that contains images used ++by the book. ++<>= ++${DVI}/book.dvi: ${IN}/book.pamphlet ++ @echo 7 making ${DVI}/book.dvi from ${IN}/book.pamphlet ++ @(cd ${MID} ; \ ++ cp ${IN}/book.pamphlet ${MID} ; \ ++ ${SPADBIN}/document ${NOISE} book ; \ ++ cp book.dvi ${DVI}; \ ++ cp -r ${IN}/ps ${DVI} ) ++ ++@ + \section{The Makefile} + We need to document the commands. + <<*>>= +@@ -57,7 +71,8 @@ + OUT=${MNT}/${SYS}/bin + DVI=${MNT}/${SYS}/doc + +-FILES= ${MID}/axiom.bib ${OUT}/tex/axiom.sty ${DVI}/DeveloperNotes.dvi ++FILES= ${MID}/axiom.bib ${OUT}/tex/axiom.sty ${DVI}/DeveloperNotes.dvi \ ++ ${DVI}/book.dvi + + all: ${FILES} + @echo 1 making ${SRC}/doc +@@ -65,6 +80,7 @@ + <> + <> + <> ++<> + document: + @echo 3 documenting ${SRC}/doc + + +--=-=-= + + + +By the way, Tim, I think it would be useful to produce a PDF file which +is the defacto standard for documentation. We have several options: + + - use pdflatex (it would consist in making a pdfdocument command). The + main issue is that pdflatex can only import graphics in the pdf + format. It can be tricky to write a latex file that can be compiled + for both dvi and pdf formats. I've done that once but I don't + remember how. I'll dig into my archives; + + - produce a postscript file and then translate it into PDF format + (using a command like ps2pdf). There might be issues with the quality + of the produced PDF file (issue related to true type font 1 vs. 3 + format). + +\start +Date: Sat, 27 Mar 2004 11:59:38 -0500 +From: root +To: David MENTRE +Subject: [Axiom-developer] [david.mentre@wanadoo.fr: Patch to produce the book in the ${MNT}/${SYS}/doc directory] + +>By the way, Tim, I think it would be useful to produce a PDF file which +>is the defacto standard for documentation. We have several options: +> +> - use pdflatex (it would consist in making a pdfdocument command). The +> main issue is that pdflatex can only import graphics in the pdf +> format. It can be tricky to write a latex file that can be compiled +> for both dvi and pdf formats. I've done that once but I don't +> remember how. I'll dig into my archives; +> +> - produce a postscript file and then translate it into PDF format +> (using a command like ps2pdf). There might be issues with the quality +> of the produced PDF file (issue related to true type font 1 vs. 3 +> format). + +I find this command gives me fuzzy output and have not been able to +find a good way to produce readable PDF files. Also, the PDF files are huge. + +This gets back to the subject of handling the axiom documentation. +Clearly we're going to have hundreds of doc files. We're going to +need a way to organize them, navigate among them, etc. PDF format +seems to make that process harder. However, PDFs are widely readable. +The way foreword (:-)) seems uncertain. + +\start +To: axiom-developer@nongnu.org +From: David MENTRE +Date: Sat, 27 Mar 2004 14:35:27 +0100 +Subject: [Axiom-developer] Another error while building axiom--book--1 on axiom.sty + +Hello, + +I have another error while building axiom--book--1, this time on the +axiom.sty: + +2 making /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/doc/axiom.bib from /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/doc/axiom.bib.pamphlet +5 making /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/bin/tex/axiom.sty from /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/doc/axiom.sty.pamphlet +/bin/sh: -c: line 2: syntax error: unexpected end of file + +Here is the patch that fixes this small bug: + +--- src/doc/Makefile.pamphlet.orig 2004-03-27 14:07:21.000000000 +0100 ++++ src/doc/Makefile.pamphlet 2004-03-27 14:27:24.000000000 +0100 +@@ -31,7 +31,7 @@ + <>= + ${OUT}/tex/axiom.sty: ${IN}/axiom.sty.pamphlet + @echo 5 making ${OUT}/tex/axiom.sty from ${IN}/axiom.sty.pamphlet +- @(cd ${OUT}/tex ; ++ @(cd ${OUT}/tex ; \ + ${TANGLE} -Raxiom.sty ${IN}/axiom.sty.pamphlet >axiom.sty ) + + @ + +\start +Date: Sat, 27 Mar 2004 11:08:40 -0500 +From: root +To: david.mentre@wanadoo.fr +Subject: [Axiom-developer] Re: Strange compilation failure while compiling axiom--book--1 + +If the file compiled the second time I'm confused about why it failed. +I haven't changed anything in the algebra. + +\start +From: "Bill Page" +To: , "'David MENTRE'" +Subject: RE: [Axiom-developer] [david.mentre@wanadoo.fr: Patch to produce thebook in the ${MNT}/${SYS}/doc directory] +Date: Sat, 27 Mar 2004 22:42:13 -0500 + +On Firday, March 27, 2004 12:00 PM Tim wrote: + +> > +> > - produce a postscript file and then translate it into PDF format +> > (using a command like ps2pdf). There might be issues with +> > the quality of the produced PDF file (issue related to true +> > type font 1 vs. 3 format). +> +> I find this command gives me fuzzy output and have not been +> able to find a good way to produce readable PDF files. + +I think the problem is not with the quality of the PDF that +is produced but rather with the PDF reader/view software. +Newer versions of Ghostscript (since at least 7.x, I think) +and Acrobat Reader (newest version 6), have very good display +of type 1 fonts. + +> Also, the PDF files are huge. + +Usually, compared to postscript PDF files are quite small. +But of course compared to original LaTeX and dvi files, +PDF is usually larger. But if you are seeing differences +that qualify as huge, then perhaps there may be problems +with the choice of the format of included graphic files. + +> +> This gets back to the subject of handling the axiom +> documentation. Clearly we're going to have hundreds of doc +> files. We're going to need a way to organize them, navigate +> among them, etc. PDF format seems to make that process +> harder. However, PDFs are widely readable. The way foreword +> (:-)) seems uncertain. +> + +I think it would be a mistake to not to include PDF as +at least one of the standard formats. + +\start +Date: Sat, 27 Mar 2004 23:37:45 -0500 +From: root +To: "Bill Page" +Subject: [Axiom-developer] pdf + +> I think the problem is not with the quality of the PDF that +> is produced but rather with the PDF reader/view software. +> Newer versions of Ghostscript (since at least 7.x, I think) +> and Acrobat Reader (newest version 6), have very good display +> of type 1 fonts. + +I use dvipdf to do the dvi -> pdf conversion and the result is fuzzy. +I think that the problem might be in the conversion program. +I'll download the latest reader and see if this improves things. + +> I think it would be a mistake to not to include PDF as +> at least one of the standard formats. + +Whatever we do should be autogenerated from the original files. +PDFs are fine and quite useful and we may want to include them +(at least as a ./configure option) but the real issue will be +finding ways to move among all the documentation that gets generated. +PDFs can have hyperlinks but I don't think they support linking "into" +a PDF document. + +\start +From: Jason White +Date: Sun, 28 Mar 2004 15:02:29 +1000 +To: axiom-developer@nongnu.org +Subject: Re: [Axiom-developer] pdf + +Does pdflatex work better? + +Properly configured, it uses type 1 fonts by default. + +If you want compressed PDF output, hyperlinks, or to set the PDF +title/author/keyword fields, the hyperref package can be used. + +\start +Date: Sat, 27 Mar 2004 22:43:07 -0800 (PST) +From: C Y +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] Book, other questions + +Hi all. Firstoff, wanted to thank Tim for the amazing work on the +Axiom book. Having the bare beginnings of a manual in Maxima, I'm +green with envy at the complete state of the book. Is Oreilly or +someone going to publish a copy at some point in the future? 1000+ +pages is a little stiff for the printer at work, let alone mine. + +Second question - how would one go about packaging axiom up for a Linux +distribution, particularly a source comple based one? Gentoo, for +example, has some definite ideas about sandbox type behavior and I was +wondering if anyone has tried making an axiom package for a source +based distro? FreeBSD has a similar system, so that might also be +relevant. I'm not able to try anything yet here since (time crunch +aside) I'm having problems compiling gcl. + + +\start +Date: Sun, 28 Mar 2004 13:00:15 +0200 (CEST) +From: Bertfried Fauser +To: root +Subject: Re: [Axiom-developer] Re: Another error while building axiom--book--1 on axiom.sty + +Hi, + +I downloaded yesterday the axiom--book--1 via tla and it compiled without +error on my SuSE 8.0 Laptop. + +\start +Date: Sun, 28 Mar 2004 12:59:00 +0200 (CEST) +From: Bertfried Fauser +To: David MENTRE +Subject: Re: [Axiom-developer] Forward -> Forword ? + +Hi, + + at least in the original book there is the correct term. I wanted to post +my list of corrections, but the book is so fast changing, that whene I +have compiled my diff file, the version against I diffed is totally +outdated... + +\start +Date: Sun, 28 Mar 2004 12:43:44 -0500 +From: root +To: smustudent1@yahoo.com +Subject: Re: [Axiom-developer] Book, other questions + +CY, + +I have no plans to publish a paper copy but it's open source so +anyone can publish it. I do have plans to break it up and restructure +it so that it fits into the long term plans but that won't happen for +quite a while. The short term plan is to finish the current review +(to fix up the remaining issues) and then move on to getting the +graphics back to life, followed by hypertex, aldor, openmath, and the +numeric library support. At which point "axiom" will exist with the +capabilities it used to have but will have been rebuilt to fit the +new, long term directions. + +As for printing, I find that dvips has a couple useful options. +I can print it two-sided (on a single-sided laser printer (about +3 inches thick)) and print smaller sections of it by: + + dvips -A -pp 100-200 -r book.dvi <== print even pages 100-200 + (reload the pages into the feeder) + dvips -B -pp 100-200 book.dvi <== print odd pages 100-200 + +notes: -A and -B specify even-only or odd-only pages + -pp specifies a page range + -r stacks the pages in reverse order (so you don't have to + restack the pages before putting them back into the printer) + + +You can get a source-only distribution by just doing: + +cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom login +cvs -d:pserver:anoncvs@subversions.gnu.org:/projects/axiom co axiom +tar -zcf axiom.tgz axiom + +which will download the lastest version and tar up the directory. +I'm not sure what other packaging constraints Gentoo has as I've +never used that distro. + +I tried to build axiom on a BSD system but failed. BSD uses old-style +make and the commands are not gnu-compatible. It's a goal to get +axiom running everywhere, including BSD, but my week-long attempt failed. +I also tried to get it to run on Apple's OS-X which is BSDish and failed +again. My years-old Unix skills have been badly mangled by Gnu-ish versions. +I'll make a sustained effort at some point but not in the near future. + +If you're having trouble with building axiom I recommend that you +build it in an emacs shell, save the console output, and send it +to me. That way I can see what happened. + +\start +Date: Sun, 28 Mar 2004 13:05:08 -0500 +From: root +To: Bertfried.Fauser@uni-konstanz.de +Subject: Re: [Axiom-developer] Forward -> Forword ? + +Sorry about that :-). I've been working on the book since Sept. +and I've finally decided to devote all of my effort to getting it done. +I've finished the first, major pass and now I'm reviewing it for typos, +changes, line overruns, etc. + +The big changes left to do are to include the graphics (I can't figure +out how to get two pictures on one page in latex), to fix up the +appendix, and to add a few items like the end-flap charts (assuming I +can figure out a way to draw pictures), possibly some BNF for the +language (assuming I can work it out), and removing the "what's new" +chapter. I'd like to add a chapter explaining the pamphlet format +as well as some build-from-scratch instructions. I'd also like a +chapter that develops a domain in detail so people can learn how +to program in spad. I wrote a similar chapter for the aldor compiler +years ago. + +There has been a drumbeat for a PDF version and Bill has suggested that +I try pdflatex rather than dvipdf. It's on the to-do list. + +The only pervasive change I'm contemplating is a global margins change +to use more of the "paper" width. Of course, this change will destroy +some of my carefully hand-crafted examples but such is life, eh? +The original book was very cleverly crafted to use wide paper and +marginal notes but my version is almost nowhere the same (internally) +as I've rewritten everything. I simplified the internals as much as +I could so that it would fit better with the long-term plans. + +A later change, not contemplated for the near term, is to use David's +booklet program to change from a book.pamphlet format to a book.booklet +format. This will allow me to split the book into chapters, integrate +it with the literate program output, etc. + +Anyway, I expect the changes to slow down in the next two weeks as I +finally accomplish goals. This whole effort took much longer than I +expected. + +\start +Date: Sun, 28 Mar 2004 13:35:38 -0500 +From: root +To: smustudent1@yahoo.com +Subject: Re: [Axiom-developer] Book, other questions + +CY, + +One of the things under discussion (though not of late) is to +combine Axiom and Maxima. Clearly they can both live in the same +lisp image and, from Axiom, it is possible to start maxima by doing: + +)lisp (maxima) + +When you exit maxima you are back in Axiom. + +There are algorithms in Maxima which exist nowhere else. It would +be useful to be able to use these algorithms in Axiom. I believe +this is possible by writing Axiom "cover functions", perhaps in +a "Maxima domain". I'm not quite sure how to use Axiom functions +in Maxima (although Axiom is really just common lisp it assumes a +lot of machinery). And there are issues about "carrying the type" +that need some deep thought. + +There are advantages to working on a joint effort, the primary one +being that we share rare and much needed expertise. There are few +people who are computational mathematicians and, since we are all +working on the same subject matter, it is painful to see such a +division of labor without the usual benefit. + +If you think this might be of interest to you please let me know. + +\start +Date: Sun, 28 Mar 2004 13:43:13 -0500 +From: root +To: axiom-developer@nongnu.org +Subject: [Axiom-developer] noweb + +*, + +Another pending change in the longer term is to redo the literate +programming tool. The current plan is to change it to use latex +syntax so that: + + +<>= becomes \begin{chunk}{some chunk name} +@ becomes \end{chunk} +[[escaped text]] becomes \escape{escaped text} +<> becomes \chunk{some chunk name} + +This allows latex to at least parse the pamphlet files and +makes the "transition" to literate programming seems less painful. +Since Axiom doesn't make use of any other features of noweb this +is a syntactic change. The pre-process step still occurs and will +expand to handle chunk protocols beyond the current syntax of: + + <> + +\start +Date: Sun, 28 Mar 2004 19:15:02 -0500 +From: root +To: wyscc@cunyvm.cuny.edu +Subject: [Axiom-developer] Re: axiom book + +Bill, + +Thanks for the examples. I've just reached the edge of the graphics +chapter. Unfortunately I have to shift gears and start writing this +week's class notes. + +\start +To: axiom-developer@nongnu.org +From: David MENTRE +Date: Mon, 29 Mar 2004 21:26:47 +0200 +Subject: [Axiom-developer] A PDF version of the book + +Hello Tim, + +As a proof of concept, I have produced a PDF version of the Axiom Book +using the hyperref package and pdflatex. + +You'll find it at: http://www.linux-france.org/~dmentre/tmp/book.pdf + +I had issues with graphics. I have transformed all of them with ps2pdf +and epstopdf but the transformation of bessintr.ps failed (lack of +Bounding Box). Moreover, once included, they have strange behavior (the +graphic is alone on a page). I've not investigated much on this issue. + +You'll notice that the PDF version of the book as internal hyperlinks +(see the table of content). The produced file is about 3 MB. It should +be viewable on any platform. + +To produce the pdf, I modified book.pamphlet with: + + %\usepackage{axiom} + \usepackage{graphicx} ++\usepackage{hyperref} + % struggle with latex figure-floating behavior + +And all the lines included the graphics with: + \begin{figure}[htbp] +-\includegraphics[bbllx=14, bblly=14, bburx=176, bbury=186]{ps/P28a.eps} ++\includegraphics[bbllx=14, bblly=14, bburx=176, bbury=186]{pdf/P28a.pdf} + \caption{$J_0(\sqrt{x^2+y^2})$ for $-20 \leq x,y \leq 20$} + + +\start +Date: Mon, 29 Mar 2004 15:20:54 -0500 +From: Eugene Surowitz +To: David MENTRE +Subject: Re: [Axiom-developer] A PDF version of the book + +I just downloaded the pdf file that David Mentre produced. + +There is a Tex Typo on page 14 (New Foreword); +the second paragraph contains the word "re-implementation" in quotes; +the left quotation mark looks like we had "\rq\rq" instead of "\lq\lq" +in the source file. +In other words the opening of the quotation is made with closing +quotation marks! + +Cheers, Eugene Surowitz + +David MENTRE wrote: + +>Hello Tim, +> +>As a proof of concept, I have produced a PDF version of the Axiom Book +>using the hyperref package and pdflatex. +> +>You'll find it at: http://www.linux-france.org/~dmentre/tmp/book.pdf +> +>I had issues with graphics. I have transformed all of them with ps2pdf +>and epstopdf but the transformation of bessintr.ps failed (lack of +>Bounding Box). Moreover, once included, they have strange behavior (the +>graphic is alone on a page). I've not investigated much on this issue. +> +>You'll notice that the PDF version of the book as internal hyperlinks +>(see the table of content). The produced file is about 3 MB. It should +>be viewable on any platform. +> +>To produce the pdf, I modified book.pamphlet with: +> +> %\usepackage{axiom} +> \usepackage{graphicx} +>+\usepackage{hyperref} +> % struggle with latex figure-floating behavior +> +>And all the lines included the graphics with: +> \begin{figure}[htbp] +>-\includegraphics[bbllx=14, bblly=14, bburx=176, bbury=186]{ps/P28a.eps} +>+\includegraphics[bbllx=14, bblly=14, bburx=176, bbury=186]{pdf/P28a.pdf} +> \caption{$J_0(\sqrt{x^2+y^2})$ for $-20 \leq x,y \leq 20$} + +\start +From: "Page, Bill" +To: 'David MENTRE' +Subject: RE: [Axiom-developer] A PDF version of the book +Date: Mon, 29 Mar 2004 16:02:13 -0500 + +David, + +Thanks for your effort. The resulting PDF file looks +very good to me when viewed using Acrobat reader 6 on +Windows 2000. + +> -----Original Message----- +> From: David MENTRE [mailto:david.mentre@wanadoo.fr] +> Sent: Monday, March 29, 2004 2:27 PM +> To: axiom-developer@nongnu.org +> Cc: Tim Daly +> Subject: [Axiom-developer] A PDF version of the book +> +> +> Hello Tim, +> +> As a proof of concept, I have produced a PDF version of the Axiom Book +> using the hyperref package and pdflatex. +> +> You'll find it at: http://www.linux-france.org/~dmentre/tmp/book.pdf +> +> I had issues with graphics. I have transformed all of them with ps2pdf +> and epstopdf but the transformation of bessintr.ps failed (lack of +> Bounding Box). Moreover, once included, they have strange +> behavior (the +> graphic is alone on a page). I've not investigated much on this issue. +> +> You'll notice that the PDF version of the book as internal hyperlinks +> (see the table of content). The produced file is about 3 MB. It should +> be viewable on any platform. + +\start +Date: Mon, 29 Mar 2004 20:19:44 -0500 +From: root +To: cw@agere.com +Subject: [Axiom-developer] Re: AXIOM issues + +Clifton, + +>I'm having a good bit of trouble running Axiom at work. The problem +>involves the way I access our Linux machines. We have a program called +>LSF (Load Sharing Facility) to which we submit jobs. The program then +>finds an available machine and the job is run on that machine. This +>helps to avoid having any one machine overloaded due to too many jobs +>being run on that machine. As a result, I cannot directly log on to a +>Linux machine and can only access Axiom via LSF. +> +>Here's my problem: when I run Axiom I get the following error message +> +>clef trying to execvp its argument: No such file or directory +>Process --> /usr/local/axiom/mnt/linux/bin/AXIOMsys +> +>The program then crashes. Ever seen this before? It looks like $AXIOM +>is hardwired into the source code somewhere. (I may be having the same +>problem on my home computer because the clef editor doesn't work when I +>run Axiom on that machine.) + +>The problem I described in my last note is intermittant. Sometimes the +>error message appears and the program crashes, sometimes there is no +>error message and the program runs without any problems. + + +It appears that $AXIOM is not being set properly every time. +axiom is actually a shell script that lives in $AXIOM/bin. +You can modify it to echo $AXIOM and see if it differs on each run. +What .bashrc does LSF execute? + +\start +Date: Mon, 29 Mar 2004 20:31:26 -0500 +From: root +To: cw@agere.com +Subject: [Axiom-developer] Re: AXIOM issues + +Clifton, + +Also note that if you are running .input files in "batch mode", +meaning that you will either get a console output back or use +an axiom )spool command to create an output file you can run +AXIOMsys directly: + +(export AXIOM=(yourpath)/axiom/mnt/linux; (yourpath)/axiom/mnt/linux/bin/AXIOMsys <(otherpath)/foo.input ) + +\start +Date: Tue, 30 Mar 2004 10:00:59 +0100 +From: Mike Dewar +To: David MENTRE +Subject: Re: [Axiom-developer] A PDF version of the book +Cc: Mike Dewar + +David, + +On Mon, Mar 29, 2004 at 09:26:47PM +0200, David MENTRE wrote: + +> I had issues with graphics. I have transformed all of them with ps2pdf +> and epstopdf but the transformation of bessintr.ps failed (lack of +> Bounding Box). Moreover, once included, they have strange behavior (the +> graphic is alone on a page). I've not investigated much on this issue. + +This is normal when you use this approach. We use the graphicx package +to import images into LaTeX which is designed to deal with latex vs +pdflatex issues. Given a postscript file we convert it to a png using +the convert utility from the ImageMafick package (on Linux). If you +then have a line like: \includegraphics[width=7.5cm]{pic} in your source +file it will use the ps file when processing with latex and the png file +when processing with pdflatex. The results usually look identical. + +\start +Date: Tue, 30 Mar 2004 08:24:07 -0500 +From: root +To: surow@attglobal.net +Subject: Re: [Axiom-developer] A PDF version of the book + +Eugene, + +Hi, and welcome back. + +>There is a Tex Typo on page 14 (New Foreword); +>the second paragraph contains the word "re-implementation" in quotes; +>the left quotation mark looks like we had "\rq\rq" instead of "\lq\lq" +>in the source file. +>In other words the opening of the quotation is made with closing +>quotation marks! + +The problem was the wrong quoting style. I fixed the quotes to use +latex style in several places in the document. + +\start +Date: Tue, 30 Mar 2004 08:53:44 -0500 +From: root +To: David MENTRE , Mike Dewar +Subject: [Axiom-developer] PDF version + +David, + +I'll look at the PDF version tomorrow (class prep today). +The graphics issue will get worse because I'm just about to start +on the graphics chapter. It turns out that one of the key issues +is the lack of bounding box information in the .ps files. I've +been fixing that as I go and it should go away later this week. +I also tripped across a bug in the way the ps files are constructed +by Axiom. That won't get fixed until get the graphics code integrated. + +Mike, I'll look for the ImageMafick package. Thanks. + +\start +Date: Wed, 31 Mar 2004 07:32:29 -0500 +From: root +To: clifton_williamson@yahoo.com +Subject: [Axiom-developer] clef + +>Thanks for your help. We installed AXIOM without +>going through the "proper channels" and it really +>helps when I can provide support for dealing with +>AXIOM issues. +> +>'clef' is still a little bit funky, but we've gotten +>AXIOM to run, so no big deal (at least for the time +>being). I solved my problem by running AXIOMsys +>instead of axiom. Ironically, I still get the clef +>editor. The sys admin gets a "clef not found" error +>when he tries to run axiom. And with my home +>computer, clef doesn't work at all. As Allan Goodman +>so aptly put it: "We're in banana split territory!" +>I'll let you know if we make any progress with this +>issue. + + +If you could figure out some condition that causes the +failure I'll try to reproduce it. It is sufficient to +run AXIOMsys as that's all clef ends up doing. + +\start +Date: Wed, 31 Mar 2004 07:39:18 -0500 +From: root +To: nicolas.ratier@lpmo.edu +Subject: [Axiom-developer] clef + +>I builded Axiom sources version 20040321 with success +>on Linux / Suse 9.0. (almost 3 H of compilation). +> +>I got only one error at the end of the compilation process +>in the file .../obj/linux/clef/edible.c line 256. +>I solved it by replace termio by termios. +>- struct termio ptermio +>+ struct termios ptermio +> +>Can you check this ? Thanks. +> +>Nicolas Ratier + +ok. I'll look this evening. + + + + + diff --git a/changelog b/changelog index fce4a08..9e9c9fc 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140422 tpd src/axiom-website/patches.html 20140422.02.tpd.patch +20140422 tpd book/2004-03.txt regularize 20140422 tpd src/axiom-website/patches.html 20140422.01.tpd.patch 20140422 tpd book/2004-02.txt regularize 20140421 tpd src/axiom-website/patches.html 20140421.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 5ecef7b..2728375 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4290,6 +4290,8 @@ book/2003-12.txt regularize book/2004-01.txt regularize 20140422.01.tpd.patch book/2004-02.txt regularize +20140422.02.tpd.patch +book/2004-03.txt regularize