\documentclass{book}
%\newcommand{\VolumeName}{Volume 2: Axiom Users Guide}
%\input{bookheader.tex}
\pagenumbering{arabic}
\mainmatter
\setcounter{chapter}{0} % Chapter 1

\usepackage{makeidx}
\makeindex
\begin{document}
\begin{verbatim}
\start
Date: 01 Mar 2004 12:02:55 -0500
From: Camm Maguire
To: Bill Page
Subject: re: [TeXmacs] Axiom plugin
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... <sigh>
> 
> Couldn't they have at least used /usr/bin/AXIOMsys ??
> 
> Is this standard Debian policy to put such absolute
> names in products instead of update PATH or putting
> a link in a standard place?  This seems wrong to me.
> 

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.
> 
> > Greetings!
> > 
> > ... 
> > > Do you still have problems with compatibility between
> > > TeXmacs and Axiom on the Debian platforms? (unrelated
> > > question)
> > 
> > The Debian texmacs maintainer has beat me to it.  He has 
> > applied the following patch to texmacs for Debian, which 
> > (I've just confirmed) makes axiom thereunder work just fine:
> > 
> > diff -urNad 
> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/
> > init-axiom.scm texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm
> > --- 
> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/
> > init-axiom.scm	2004-01-13 21:00:39.000000000 +0100
> > +++ texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm	
> > 2004-01-23 21:12:22.000000000 +0100
> > @@ -17,7 +17,7 @@
> >    (lazy-input-converter (axiom-input) axiom))
> >  
> >  (plugin-configure axiom
> > -  (:require (url-exists-in-path? "AXIOMsys"))
> > +  (:require (url-exists-in-path? "/usr/bin/axiom"))
> >    (:initialize (axiom-initialize))
> >    (:launch "tm_axiom")
> >    (:session "Axiom"))
> > diff -urNad 
> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm
> > _axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c
> > --- 
> > /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm
> > _axiom.c	2004-01-13 21:00:39.000000000 +0100
> > +++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c	
> > 2004-01-23 21:12:20.000000000 +0100
> > @@ -299,8 +299,8 @@
> >      case 0: /* Axiom */
> >        dup2(p1[1],1); close(p1[1]); close(p1[0]);
> >        dup2(p2[0],0); close(p2[0]); close(p2[1]);
> > -      execlp("AXIOMsys","AXIOMsys","-noclef",0);
> > -      fatal("exec AXIOMsys");
> > +      execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef",0);
> > +      fatal("exec /usr/bin/axiom");
> >      default: /* parent */
> >        close(p1[1]); close(p2[0]);
> >        axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r");
> > 
> > I haven't yet released the new Debian axiom with the symlink 
> > and am wondering if it is still advisable.

\start
Date: 01 Mar 2004 11:58:34 -0500
From: Camm Maguire
To: Tim Daly
Subject: Re: gnu-arch axiom--book--1
Cc: Martin Dunstan

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 Maguire
Subject: 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
Date: Mon, 01 Mar 2004 21:05:09 +0100
From: David Mentre
To: Tim Daly
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

Tim Daly 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: Tim Daly
To: David Mentre
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

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: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

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: Tim Daly
To: Bertfried Fauser
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

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: Tim Daly
To: Bertfried Fauser
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

Martin,

> % tla my-id "Martin Dunstan <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 <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: Tim Daly
To: Bertfried Fauser
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Martin Dunstan

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 Dunstan
To: Tim Daly
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Bertfried Fauser

Hi Tim,

> I just reread your message. You should only need to do:
> 
> tla my-id "Martin Dunstan <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 <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: Tim Daly
To: Martin Dunstan
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Bertfried Fauser

Martin,

clearly my mistake. I forgot a step I did long ago. This works as a
brand-new user:

tla my-id "Martin Dunstan <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: Tim Daly
To: Martin Dunstan
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Bertfried Fauser

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: Tim Daly
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Bertfried Fauser

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: Tim Daly
To: Martin Dunstan
Subject: gnu-arch tutorial instructions)
Cc: Bertfried Fauser

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 Dunstan
To: Tim Daly
Subject: Re: gnu-arch axiom--book--1 (corrected version of instructions)
Cc: Bertfried Fauser

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: Tim Daly
Subject: Re: 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 <your@email.location>"
> 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: Tim Daly
Subject: Re: 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
Date: Tue, 02 Mar 2004 19:17:56 +0100
From: David Mentre
To: Camm Maguire
Subject: Re: gnu-arch axiom--book--1
Cc: Martin Dunstan

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
Date: Tue, 02 Mar 2004 19:23:34 +0100
From: David Mentre
To: Tim Daly
Subject: About Arch mirrors (was: Re: which branches exist)
Cc: Camm Maguire

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
Subject: 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: Tim Daly
Subject: 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: Tim Daly
Subject: 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: Tim Daly
To: Bertfried Fauser
Subject: 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: Tim Daly
To: Bertfried Fauser
Subject: 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
Date: Wed, 03 Mar 2004 19:04:20 +0100
From: David Mentre
To: Tim Daly
Subject: 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
David Mentre--2004-code
    /home/david/{archives}/2004-code

  ## its mirror on linux-france.org
David Mentre--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: Xin Li
To: list
Subject: 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: Fri, 5 Mar 2004 09:54:18 +0100
From: Aurelien Chanudet
To: list
Subject: Axiom on OSX
Cc: Peter Horn

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: Tim Daly
To: Xin Li
Subject: Re: a problem

Yes that is a bug but one that has been fixed.
You'll need a later release.

\start
Date: Sun, 7 Mar 2004 17:04:51 -0500
From: Bill Page
To: Xin Li
Subject: RE: a problem

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. :)

> 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: Tim Daly
To: Camm Maguire
Subject: 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
Date: 08 Mar 2004 09:24:24 -0500
From: Camm Maguire
To: Tim Daly
Subject: 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
Date: 08 Mar 2004 18:04:48 -0500
From: Camm Maguire
To: Tim Daly
Subject: 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,

Tim Daly 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: list
Subject: Re: GCL on Redhat FC1
Cc: Jonathan S. Shapiro

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

   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
Date: 08 Mar 2004 16:38:32 -0500
From: Camm Maguire
To: list
Subject: Re: GCL on Redhat FC1
Cc: Jonathan S. Shapiro

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
Date: Tue, 9 Mar 2004 07:17:55 +0100
From: Aurelien Chanudet
To: Tim Daly
Subject: Re: Axiom on OSX
Cc: Peter Horn

--Apple-Mail-13--425855836
	charset=US-ASCII;
	format=flowed

 > Send me the src/src/axiom/Makefile* files.

There you go. Thanks !

--Apple-Mail-13--425855836
	x-unix-mode=0644;
	name="tim.tar.gz"
	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: Tim Daly
To: Camm Maguire
Subject: 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: list
Subject: 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: Tim Daly
To: Aurelien Chanudet
Subject: Re: Axiom on OSX
Cc: Peter Horn

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
Date: 08 Mar 2004 14:18:00 -0500
From: Camm Maguire
To: Tim Daly
Subject: Re: Fedora

Greetings!

Tim Daly 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: list
Subject: Re: 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: Tim Daly
To: list
Subject: 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: list
Subject: RE: 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
Date: Sat, 13 Mar 2004 11:11:31 +0100
From: David Mentre
To: Martin Rubey
Subject: Re: Build trouble on Mandrake

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: 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 <stdio.h>
	#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 <stdio.h>
	#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 <assert.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 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 <readline/readline.h>
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 <assert.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 _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 <signal.h>
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
Date: Sun, 14 Mar 2004 09:46:22 +0100
From: David Mentre
To: Martin Rubey
Subject: Re: Build trouble on Mandrake

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: 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 <<CEOF
${ac_dA}MAXPAGE${ac_dB}MAXPAGE${ac_dC}128*1024${ac_dD}
${ac_uA}MAXPAGE${ac_uB}MAXPAGE${ac_uC}128*1024${ac_uD}
${ac_eA}MAXPAGE${ac_eB}MAXPAGE${ac_eC}128*1024${ac_eD}
${ac_dA}VSSIZE${ac_dB}VSSIZE${ac_dC}65536*2${ac_dD}
${ac_uA}VSSIZE${ac_uB}VSSIZE${ac_uC}65536*2${ac_uD}
${ac_eA}VSSIZE${ac_eB}VSSIZE${ac_eC}65536*2${ac_eD}
${ac_dA}MP_LIMB_BYTES${ac_dB}MP_LIMB_BYTES${ac_dC}4${ac_dD}
${ac_uA}MP_LIMB_BYTES${ac_uB}MP_LIMB_BYTES${ac_uC}4${ac_uD}
${ac_eA}MP_LIMB_BYTES${ac_eB}MP_LIMB_BYTES${ac_eC}4${ac_eD}
${ac_dA}GMP${ac_dB}GMP${ac_dC}1${ac_dD}
${ac_uA}GMP${ac_uB}GMP${ac_uC}1${ac_uD}
${ac_eA}GMP${ac_eB}GMP${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_LIBBFD${ac_dB}HAVE_LIBBFD${ac_dC}1${ac_dD}
${ac_uA}HAVE_LIBBFD${ac_uB}HAVE_LIBBFD${ac_uC}1${ac_uD}
${ac_eA}HAVE_LIBBFD${ac_eB}HAVE_LIBBFD${ac_eC}1${ac_eD}
${ac_dA}HAVE_BFD_BOOLEAN${ac_dB}HAVE_BFD_BOOLEAN${ac_dC}1${ac_dD}
${ac_uA}HAVE_BFD_BOOLEAN${ac_uB}HAVE_BFD_BOOLEAN${ac_uC}1${ac_uD}
${ac_eA}HAVE_BFD_BOOLEAN${ac_eB}HAVE_BFD_BOOLEAN${ac_eC}1${ac_eD}
${ac_dA}SIZEOF_LONG${ac_dB}SIZEOF_LONG${ac_dC}4${ac_dD}
${ac_uA}SIZEOF_LONG${ac_uB}SIZEOF_LONG${ac_uC}4${ac_uD}
${ac_eA}SIZEOF_LONG${ac_eB}SIZEOF_LONG${ac_eC}4${ac_eD}
${ac_dA}SIZEOF_CONTBLOCK${ac_dB}SIZEOF_CONTBLOCK${ac_dC}8${ac_dD}
${ac_uA}SIZEOF_CONTBLOCK${ac_uB}SIZEOF_CONTBLOCK${ac_uC}8${ac_uD}
${ac_eA}SIZEOF_CONTBLOCK${ac_eB}SIZEOF_CONTBLOCK${ac_eC}8${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_ENDIAN_H${ac_dB}HAVE_ENDIAN_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_ENDIAN_H${ac_uB}HAVE_ENDIAN_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_ENDIAN_H${ac_eB}HAVE_ENDIAN_H${ac_eC}1${ac_eD}
${ac_dA}LITTLE_END${ac_dB}LITTLE_END${ac_dC}1${ac_dD}
${ac_uA}LITTLE_END${ac_uB}LITTLE_END${ac_uC}1${ac_uD}
${ac_eA}LITTLE_END${ac_eB}LITTLE_END${ac_eC}1${ac_eD}
${ac_dA}DBEGIN${ac_dB}DBEGIN${ac_dC}0x8000000 /* where data begins 
*/${ac_dD}
${ac_uA}DBEGIN${ac_uB}DBEGIN${ac_uC}0x8000000 /* where data begins 
*/${ac_uD}
${ac_eA}DBEGIN${ac_eB}DBEGIN${ac_eC}0x8000000 /* where data begins 
*/${ac_eD}
${ac_dA}CSTACK_ADDRESS${ac_dB}CSTACK_ADDRESS${ac_dC}-1073745548 ${ac_dD}
${ac_uA}CSTACK_ADDRESS${ac_uB}CSTACK_ADDRESS${ac_uC}-1073745548 ${ac_uD}
${ac_eA}CSTACK_ADDRESS${ac_eB}CSTACK_ADDRESS${ac_eC}-1073745548 ${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_LONG_LONG${ac_dB}HAVE_LONG_LONG${ac_dC}1${ac_dD}
${ac_uA}HAVE_LONG_LONG${ac_uB}HAVE_LONG_LONG${ac_uC}1${ac_uD}
${ac_eA}HAVE_LONG_LONG${ac_eB}HAVE_LONG_LONG${ac_eC}1${ac_eD}
${ac_dA}PAGEWIDTH${ac_dB}PAGEWIDTH${ac_dC}12${ac_dD}
${ac_uA}PAGEWIDTH${ac_uB}PAGEWIDTH${ac_uC}12${ac_uD}
${ac_eA}PAGEWIDTH${ac_eB}PAGEWIDTH${ac_eC}12${ac_eD}
${ac_dA}HAVE_GETCWD${ac_dB}HAVE_GETCWD${ac_dC}1${ac_dD}
${ac_uA}HAVE_GETCWD${ac_uB}HAVE_GETCWD${ac_uC}1${ac_uD}
${ac_eA}HAVE_GETCWD${ac_eB}HAVE_GETCWD${ac_eC}1${ac_eD}
${ac_dA}HAVE_GETWD${ac_dB}HAVE_GETWD${ac_dC}1${ac_dD}
${ac_uA}HAVE_GETWD${ac_uB}HAVE_GETWD${ac_uC}1${ac_uD}
${ac_eA}HAVE_GETWD${ac_eB}HAVE_GETWD${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_SYS_IOCTL_H${ac_dB}HAVE_SYS_IOCTL_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_SYS_IOCTL_H${ac_uB}HAVE_SYS_IOCTL_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_SYS_IOCTL_H${ac_eB}HAVE_SYS_IOCTL_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_MATH_H${ac_dB}HAVE_MATH_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_MATH_H${ac_uB}HAVE_MATH_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_MATH_H${ac_eB}HAVE_MATH_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_MATH_H${ac_dB}HAVE_MATH_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_MATH_H${ac_uB}HAVE_MATH_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_MATH_H${ac_eB}HAVE_MATH_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_VALUES_H${ac_dB}HAVE_VALUES_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_VALUES_H${ac_uB}HAVE_VALUES_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_VALUES_H${ac_eB}HAVE_VALUES_H${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_VALUES_H${ac_dB}HAVE_VALUES_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_VALUES_H${ac_uB}HAVE_VALUES_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_VALUES_H${ac_eB}HAVE_VALUES_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_FLOAT_H${ac_dB}HAVE_FLOAT_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_FLOAT_H${ac_uB}HAVE_FLOAT_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_FLOAT_H${ac_eB}HAVE_FLOAT_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_FLOAT_H${ac_dB}HAVE_FLOAT_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_FLOAT_H${ac_uB}HAVE_FLOAT_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_FLOAT_H${ac_eB}HAVE_FLOAT_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_ISNORMAL${ac_dB}HAVE_ISNORMAL${ac_dC}1${ac_dD}
${ac_uA}HAVE_ISNORMAL${ac_uB}HAVE_ISNORMAL${ac_uC}1${ac_uD}
${ac_eA}HAVE_ISNORMAL${ac_eB}HAVE_ISNORMAL${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_ISFINITE${ac_dB}HAVE_ISFINITE${ac_dC}1${ac_dD}
${ac_uA}HAVE_ISFINITE${ac_uB}HAVE_ISFINITE${ac_uC}1${ac_uD}
${ac_eA}HAVE_ISFINITE${ac_eB}HAVE_ISFINITE${ac_eC}1${ac_eD}
${ac_dA}HAVE_NSOCKET${ac_dB}HAVE_NSOCKET${ac_dC}1${ac_dD}
${ac_uA}HAVE_NSOCKET${ac_uB}HAVE_NSOCKET${ac_uC}1${ac_uD}
${ac_eA}HAVE_NSOCKET${ac_eB}HAVE_NSOCKET${ac_eC}1${ac_eD}
${ac_dA}LISTEN_USE_FCNTL${ac_dB}LISTEN_USE_FCNTL${ac_dC}1${ac_dD}
${ac_uA}LISTEN_USE_FCNTL${ac_uB}LISTEN_USE_FCNTL${ac_uC}1${ac_uD}
${ac_eA}LISTEN_USE_FCNTL${ac_eB}LISTEN_USE_FCNTL${ac_eC}1${ac_eD}
${ac_dA}HAVE_SETENV${ac_dB}HAVE_SETENV${ac_dC}1${ac_dD}
${ac_uA}HAVE_SETENV${ac_uB}HAVE_SETENV${ac_uC}1${ac_uD}
${ac_eA}HAVE_SETENV${ac_eB}HAVE_SETENV${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}HAVE_SV_ONSTACK${ac_dB}HAVE_SV_ONSTACK${ac_dC}1${ac_dD}
${ac_uA}HAVE_SV_ONSTACK${ac_uB}HAVE_SV_ONSTACK${ac_uC}1${ac_uD}
${ac_eA}HAVE_SV_ONSTACK${ac_eB}HAVE_SV_ONSTACK${ac_eC}1${ac_eD}
${ac_dA}HAVE_SIGSYS${ac_dB}HAVE_SIGSYS${ac_dC}1${ac_dD}
${ac_uA}HAVE_SIGSYS${ac_uB}HAVE_SIGSYS${ac_uC}1${ac_uD}
${ac_eA}HAVE_SIGSYS${ac_eB}HAVE_SIGSYS${ac_eC}1${ac_eD}
${ac_dA}HAVE_ASM_SIGCONTEXT_H${ac_dB}HAVE_ASM_SIGCONTEXT_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_ASM_SIGCONTEXT_H${ac_uB}HAVE_ASM_SIGCONTEXT_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_ASM_SIGCONTEXT_H${ac_eB}HAVE_ASM_SIGCONTEXT_H${ac_eC}1${ac_eD}
${ac_dA}HAVE_ASM_SIGNAL_H${ac_dB}HAVE_ASM_SIGNAL_H${ac_dC}1${ac_dD}
${ac_uA}HAVE_ASM_SIGNAL_H${ac_uB}HAVE_ASM_SIGNAL_H${ac_uC}1${ac_uD}
${ac_eA}HAVE_ASM_SIGNAL_H${ac_eB}HAVE_ASM_SIGNAL_H${ac_eC}1${ac_eD}
CEOF
  sed -f conftest.frag conftest.in > conftest.out
  rm -f conftest.in
  mv conftest.out conftest.in

  cat > conftest.frag <<CEOF
${ac_dA}SIGNAL_H_HAS_SIGCONTEXT${ac_dB}SIGNAL_H_HAS_SIGCONTEXT${ac_dC}1${ac_dD}
${ac_uA}SIGNAL_H_HAS_SIGCONTEXT${ac_uB}SIGNAL_H_HAS_SIGCONTEXT${ac_uC}1${ac_uD}
${ac_eA}SIGNAL_H_HAS_SIGCONTEXT${ac_eB}SIGNAL_H_HAS_SIGCONTEXT${ac_eC}1${ac_eD}
${ac_dA}HAVE_ALLOCA${ac_dB}HAVE_ALLOCA${ac_dC}1${ac_dD}
${ac_uA}HAVE_ALLOCA${ac_uB}HAVE_ALLOCA${ac_uC}1${ac_uD}
${ac_eA}HAVE_ALLOCA${ac_eB}HAVE_ALLOCA${ac_eC}1${ac_eD}
s%^[ 	]*#[ 	]*undef[ 	][ 	]*[a-zA-Z_][a-zA-Z_0-9]*%/* & */%
CEOF
  sed -f conftest.frag conftest.in > 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
Date: 16 Mar 2004 10:06:22 -0500
From: Camm Maguire
To: Martin Rubey
Subject: Re: [Gcl-devel] Re: Build trouble on Mandrake

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
Date: Tue, 16 Mar 2004 11:42:35 -0500
From: Bill Page
To: Camm Maguire
Subject: 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
Date: 17 Mar 2004 19:54:49 -0500
From: Camm Maguire
To: Bill Page
Subject: re: [Gcl-devel] compiler speed

Greetings!

Bill Page 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: Tim Daly
To: Camm Maguire
Subject: 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: Tim Daly
To: list
Subject: 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
Date: Thu, 18 Mar 2004 06:25:41 +0100 (CET)
From: Andrey G. Grozin
To: Tim Daly
Subject: 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: Tim Daly
To: list
Subject: 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
Date: Thu, 18 Mar 2004 20:09:58 +0100
From: David Mentre
To: Andrey G. Grozin
Subject: Re: LaTeX output

Hello Andrej,

Andrey G. 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: Tim Daly
To: Andrey G. Grozin, David Mentre
Subject: Re: 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
Date: 19 Mar 2004 07:33:41 -0500
From: Camm Maguire
To: Tim Daly
Subject: Re: EXPEXPAN problem

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.

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

I'll push your changes into a test version and do a build today.


\start
Date: Sun, 21 Mar 2004 00:08:42 -0500
From: Jim Apple
To: list
Subject: 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: Tim Daly
To: Jim Apple
Subject: Re: 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
Date: 21 Mar 2004 08:32:46 -0500
From: Camm Maguire
To: Jim Apple
Subject: Re: Axiom, Aldor, Open Source

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
Date: Sun, 21 Mar 2004 14:22:29 -0500
From: Jim Apple
To: list
Subject: 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: Tim Daly
To: Jim Apple
Subject: 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: list
Subject: 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
Subject: 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: Tim Daly
To: list
Subject: 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: Tim Daly
To: list
Subject: 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
Date: Wed, 24 Mar 2004 16:04:26 -0500
From: Camm Maguire
To: Jonathan Hudson, Jonathan S. Shapiro, Matt Kaufmann, Rex Dieter
Subject: 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
Date: Thu, 25 Mar 2004 20:50:15 +0100
From: David Mentre
To: Tim Daly
Subject: Re: bugzilla

Hello Tim,

Tim Daly 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="Tim Daly,list"

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
Date: 25 Mar 2004 15:58:02 -0500
From: Camm Maguire
To: Tim Daly
Subject: Re: configure script

Greetings!

Tim Daly 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
Date: 25 Mar 2004 15:56:09 -0500
From: Camm Maguire
To: David Mentre
Subject: Re: bugzilla

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,
> 
> Tim Daly 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="Tim Daly,list"
> 
> 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
Date: 25 Mar 2004 15:59:54 -0500
From: Camm Maguire
To: Jim Apple
Subject: Re: Axiom, Aldor, Open Source

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

can you send me "reportbug"?


\start
Date: Fri, 26 Mar 2004 19:22:25 +0100
From: David Mentre
To: Tim Daly
Subject: Re: bugzilla
Cc: Camm Maguire

--=-=-=

Tim Daly 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/

--=-=-=

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
Date: Sat, 27 Mar 2004 11:10:18 +0100
From: David Mentre
To: list
Subject: 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 rpertoire 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 rpertoire  /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/algebra 
make[2]: *** [algebradir] Erreur 2
make[2]: quittant le rpertoire  /home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src 
make[1]: *** [srcdir] Erreur 2
make[1]: quittant le rpertoire  /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: Tim Daly
To: David Mentre
Subject: 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 @@
 <<axiom.sty>>=
 ${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: Tim Daly
To: David Mentre
Subject: [David Mentre: Patch to produce the book in the ${MNT}/${SYS}/doc directory]

changes applied.

------- Start of forwarded message -------
To: list
Cc: Tim Daly <axiom@tenkan.org>
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.


- --=-=-=

- --- 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 @@
 <<axiom.sty>>=
 ${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.
+<<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 @@
 <<bibtex>>
 <<axiom.sty>>
 <<DeveloperNotes>>
+<<Book>>
 document:
 	@echo 3 documenting ${SRC}/doc
 

- --=-=-=

\start
Date: Sat, 27 Mar 2004 16:15:29 +0100
From: David Mentre
To: Tim Daly
Subject: 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: Tim Daly
To: David Mentre
Subject: Re: Forward -> Forword ?

nope. I'll correct that.

\start
Date: Sat, 27 Mar 2004 11:40:58 -0500
From: Tim Daly
To: David Mentre
Subject: Re: Forward -> Forword ?

Forward -> Foreword fixed.

\start
Date: Sat, 27 Mar 2004 11:04:37 -0500
From: Tim Daly
To: David Mentre
Subject: 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
Date: Sat, 27 Mar 2004 14:58:27 +0100
From: David Mentre
To: list
Subject: 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.


--=-=-=

--- 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 @@
 <<axiom.sty>>=
 ${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.
+<<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 @@
 <<bibtex>>
 <<axiom.sty>>
 <<DeveloperNotes>>
+<<Book>>
 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: Tim Daly
To: David Mentre
Subject: [David Mentre: 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
Date: Sat, 27 Mar 2004 14:35:27 +0100
From: David Mentre
To: list
Subject: 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 @@
 <<axiom.sty>>=
 ${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: Tim Daly
To: David Mentre
Subject: 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
Date: Sat, 27 Mar 2004 22:42:13 -0500
From: Bill Page
To: Tim Daly, David Mentre
Subject: RE: [David Mentre: Patch to produce thebook in the ${MNT}/${SYS}/doc directory]

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: Tim Daly
To: Bill Page
Subject: 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
Date: Sun, 28 Mar 2004 15:02:29 +1000
From: Jason White
To: list
Subject: Re: 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: Cliff Yapp
To: list
Subject: 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: Tim Daly
Subject: 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: 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: Tim Daly
To: Cliff Yapp
Subject: Re: 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: Tim Daly
To: Bertfried Fauser
Subject: Re: 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: Tim Daly
To: Cliff Yapp
Subject: Re: 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: Tim Daly
To: list
Subject: 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:


<<some chunk name>>=   becomes \begin{chunk}{some chunk name}
@                      becomes \end{chunk}
[[escaped text]]       becomes \escape{escaped text}
<<some chunk name>>    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:

  <<pamphlet://URI>>

\start
Date: Sun, 28 Mar 2004 19:15:02 -0500
From: Tim Daly
To: William Sit
Subject: 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
Date: Mon, 29 Mar 2004 21:26:47 +0200
From: David Mentre
To: list
Subject: 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: 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
Date: Mon, 29 Mar 2004 16:02:13 -0500
From: Bill Page
To: David Mentre
Subject: RE: A PDF version of the book

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]
> Sent: Monday, March 29, 2004 2:27 PM
> To: list
> Cc: Tim Daly
> Subject: 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: Tim Daly
To: Clifton Williamson
Subject: 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: Tim Daly
To: Clifton Williamson
Subject: 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: A PDF version of the book

David,

On Mon, Mar 29, 2004 at 09:26:47PM +0200, David Mentre wrote:
<snip>
> 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: Tim Daly
To: Eugene Surowitz
Subject: Re: 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: Tim Daly
To: David Mentre, Mike Dewar
Subject: 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: Tim Daly
To: Clifton Williamson
Subject: 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: Tim Daly
To: Nicolas Ratier
Subject: 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.





\end{verbatim}
\eject
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cleardoublepage
%\phantomsection
\addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{axiom}
\bibliography{axiom}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cleardoublepage
%\phantomsection
\addcontentsline{toc}{chapter}{Index}
\printindex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{document}
