src/input/directproduct.input.pamphlet @@ -1,4 +1,4 @@ -VERSION="Axiom (May 2008)" +VERSION="Axiom (July 2008)" SPD=$(shell pwd) SYS=$(notdir $(AXIOM)) SPAD=${SPD}/mnt/${SYS} Makefile @@ -292,7 +292,7 @@ The DOCUMENT variable is now set to replace the direct call to the document command. This will allow it to be changed on the command line. <<environment>>= -VERSION="Axiom (May 2008)" +VERSION="Axiom (July 2008)" SPD=$(shell pwd) SYS=$(notdir $(AXIOM)) SPAD=${SPD}/mnt/${SYS} @@ -711,7 +711,7 @@ needed at the moment because certain functions do not yet work on all platforms. <<SRCDIRS>>= SRCDIRS="bootdir interpdir sharedir algebradir etcdir clefdir docdir \ - graphdir smandir hyperdir inputdir " + graphdir smandir hyperdir inputdir browserdir" @ \subsubsection{The [[GCLVERSION]] variable } [[GCLVERSION]] is the name of the GCL version. The one we used to Makefile.pamphlet @@ -1,3 +1,639 @@ +20080722 tpd (July 2008) release +20080721 tpd books/bookvol7.1.pamphlet docs/corrections/updates +20080720 tpd books/Makefile add bookvol7.1 to combined table of contents +20080720 tpd books/bookvol7.1.pamphlet docs/corrections/updates +20080720 tpd books/ps/v71topics.eps -> books/ps/v71topicpage.eps +20080720 tpd books/ps/v71youtriedit.eps added +20080720 tpd books/ps/v71topreferencepage.eps updated +20080720 tpd books/ps/v71usersguidepage.eps added +20080720 tpd books/ps/v71ugsyscmdpage.eps added +20080720 tpd books/ps/v71uglangpage.eps added +20080720 tpd books/ps/v71refsearchpage.eps added +20080720 tpd books/ps/v71htxtoppage.eps added +20080720 tpd books/ps/v71glossary.eps added +20080720 tpd books/ps/v71foundationlibrarydocpage.eps added +20080720 tpd books/ps/v71examplesexposedpage.eps added +20080719 tpd books/bookvol7.1.pamphlet docs/corrections/updates +20080719 tpd books/ps/v71algebrapage.eps +20080719 tpd books/ps/v71calculus.eps added +20080719 tpd books/ps/v71calculuspage.eps added +20080719 tpd books/ps/v71equationpage.eps added +20080719 tpd books/ps/v71functionpage.eps added +20080719 tpd books/ps/v71graphicspage.eps added +20080719 tpd books/ps/v71linalgpage.eps added +20080719 tpd books/ps/v71numberpage.eps added +20080719 tpd books/ps/v71polynomialpage.eps added +20080718 tpd books/bookvol7.1.pamphlet additional docs/corrections/updates +20080718 tpd books/ps/v71basiccommand.eps added +20080718 tpd books/ps/v71man0page.eps added +20080718 tpd books/ps/v71releasenotes.eps added +20080718 tpd books/ps/v71rootpage.eps added +20080718 tpd books/ps/v71rootpagelogo.eps added +20080718 tpd books/ps/v71topexamplepage.eps added +20080718 tpd books/ps/v71topics.eps added +20080718 tpd books/ps/v71topreferencepage.eps added +20080718 tpd books/ps/v71topsettingspage.eps added +20080717 tpd src/graph removed +20080717 tpd src/graph/include/* removed +20080717 tpd src/graph/Makefile.pamphlet removed +20080717 tpd books/bookvol7.pamphlet fix IN Makefile var +20080716 tpd books/bookvol7.1.pamphlet get files from books dir +20080716 tpd books/bookvol7.pamphlet get files from books dir +20080716 tpd src/hyper directory deleted +20080716 tpd src/hyper/bigbayou.png moved to books/ps/bigbayou.png +20080716 tpd src/hyper/doctitle.png moved to books/ps/doctitle.png +20080716 tpd src/hyper/viewports moved to books/viewports +20080716 tpd src/hyper/pages moved to books/pages +20080716 tpd src/hyper/bitmaps moved to books/bitmaps +20080716 tpd src/hyper/axbook.tgz moved to books +20080715 tpd books/bookvol7 remove ht.db processing +20080715 gxv books/bookvol7 add scroll wheel handling +20080715 tpd src/Makefile add bookvol7.1 +20080715 tpd books/bookvol7 move htadd to bookvol7.1 +20080715 tpd books/bookvol7.1 construct hypertex pages +20080715 tpd src/hyper/pages/algebra.ht removed +20080715 tpd src/hyper/pages/alist.ht removed +20080715 tpd src/hyper/pages/anna-es.ht removed +20080715 tpd src/hyper/pages/array1.ht removed +20080715 tpd src/hyper/pages/array2.ht removed +20080715 tpd src/hyper/pages/aspex.ht removed +20080715 tpd src/hyper/pages/basic.ht removed +20080715 tpd src/hyper/pages/bbtree.ht removed +20080715 tpd src/hyper/pages/binary.ht removed +20080715 tpd src/hyper/pages/bmcat.ht removed +20080715 tpd src/hyper/pages/bop.ht removed +20080715 tpd src/hyper/pages/bstree.ht removed +20080715 tpd src/hyper/pages/card.ht removed +20080715 tpd src/hyper/pages/carten.ht removed +20080715 tpd src/hyper/pages/cclass.ht removed +20080715 tpd src/hyper/pages/char.ht removed +20080715 tpd src/hyper/pages/clif.ht removed +20080715 tpd src/hyper/pages/complex.ht removed +20080715 tpd src/hyper/pages/contfrac.ht removed +20080715 tpd src/hyper/pages/coverex.ht removed +20080715 tpd src/hyper/pages/cphelp.ht removed +20080715 tpd src/hyper/pages/cycles.ht removed +20080715 tpd src/hyper/pages/decimal.ht removed +20080715 tpd src/hyper/pages/derham.ht removed +20080715 tpd src/hyper/pages/dfloat.ht removed +20080715 tpd src/hyper/pages/dmp.ht removed +20080715 tpd src/hyper/pages/eq.ht removed +20080715 tpd src/hyper/pages/eqtbl.ht removed +20080715 tpd src/hyper/pages/evalex.ht removed +20080715 tpd src/hyper/pages/exdiff.ht removed +20080715 tpd src/hyper/pages/exint.ht removed +20080715 tpd src/hyper/pages/exit.ht removed +20080715 tpd src/hyper/pages/exlap.ht removed +20080715 tpd src/hyper/pages/exlimit.ht removed +20080715 tpd src/hyper/pages/exmatrix.ht removed +20080715 tpd src/hyper/pages/explot2d.ht removed +20080715 tpd src/hyper/pages/explot3d.ht removed +20080715 tpd src/hyper/pages/expose.ht removed +20080715 tpd src/hyper/pages/expr.ht removed +20080715 tpd src/hyper/pages/exseries.ht removed +20080715 tpd src/hyper/pages/exsum.ht removed +20080715 tpd src/hyper/pages/farray.ht removed +20080715 tpd src/hyper/pages/file.ht removed +20080715 tpd src/hyper/pages/float.ht removed +20080715 tpd src/hyper/pages/fname.ht removed +20080715 tpd src/hyper/pages/fparfrac.ht removed +20080715 tpd src/hyper/pages/fr2.ht removed +20080715 tpd src/hyper/pages/frac.ht removed +20080715 tpd src/hyper/pages/fr.ht removed +20080715 tpd src/hyper/pages/function.ht removed +20080715 tpd src/hyper/pages/gbf.ht removed +20080715 tpd src/hyper/pages/gloss.ht removed +20080715 tpd src/hyper/pages/graphics.ht removed +20080715 tpd src/hyper/pages/grpthry.ht removed +20080715 tpd src/hyper/pages/gstbl.ht removed +20080715 tpd src/hyper/pages/heap.ht removed +20080715 tpd src/hyper/pages/help.ht removed +20080715 tpd src/hyper/pages/hexadec.ht removed +20080715 tpd src/hyper/pages/htxadvpage1.ht removed +20080715 tpd src/hyper/pages/htxadvpage2.ht removed +20080715 tpd src/hyper/pages/htxadvpage3.ht removed +20080715 tpd src/hyper/pages/htxadvpage4.ht removed +20080715 tpd src/hyper/pages/htxadvpage5.ht removed +20080715 tpd src/hyper/pages/htxadvpage6.ht removed +20080715 tpd src/hyper/pages/htxadvtoppage.ht removed +20080715 tpd src/hyper/pages/htxformatpage1.ht removed +20080715 tpd src/hyper/pages/htxformatpage2.ht removed +20080715 tpd src/hyper/pages/htxformatpage3.ht removed +20080715 tpd src/hyper/pages/htxformatpage4.ht removed +20080715 tpd src/hyper/pages/htxformatpage5.ht removed +20080715 tpd src/hyper/pages/htxformatpage6.ht removed +20080715 tpd src/hyper/pages/htxformatpage7.ht removed +20080715 tpd src/hyper/pages/htxformatpage8.ht removed +20080715 tpd src/hyper/pages/htxformattoppage.ht removed +20080715 tpd src/hyper/pages/htxintropage1.ht removed +20080715 tpd src/hyper/pages/htxintropage2.ht removed +20080715 tpd src/hyper/pages/htxintropage3.ht removed +20080715 tpd src/hyper/pages/htxintrotoppage.ht removed +20080715 tpd src/hyper/pages/htxlinkpage1.ht removed +20080715 tpd src/hyper/pages/htxlinkpage2.ht removed +20080715 tpd src/hyper/pages/htxlinkpage3.ht removed +20080715 tpd src/hyper/pages/htxlinkpage4.ht removed +20080715 tpd src/hyper/pages/htxlinkpage5.ht removed +20080715 tpd src/hyper/pages/htxlinkpage6.ht removed +20080715 tpd src/hyper/pages/htxlinktoppage.ht removed +20080715 tpd src/hyper/pages/htxplay.ht removed +20080715 tpd src/hyper/pages/htxtoppage.ht removed +20080715 tpd src/hyper/pages/htxtrypage.ht removed +20080715 tpd src/hyper/pages/hyperdoc.ht removed +20080715 tpd src/hyper/pages/intheory.ht removed +20080715 tpd src/hyper/pages/int.ht removed +20080715 tpd src/hyper/pages/kafile.ht removed +20080715 tpd src/hyper/pages/kernel.ht removed +20080715 tpd src/hyper/pages/lazm3pk.ht removed +20080715 tpd src/hyper/pages/lexp.ht removed +20080715 tpd src/hyper/pages/lextripk.ht removed +20080715 tpd src/hyper/pages/lib.ht removed +20080715 tpd src/hyper/pages/link.ht removed +20080715 tpd src/hyper/pages/list.ht removed +20080715 tpd src/hyper/pages/lodo1.ht removed +20080715 tpd src/hyper/pages/lodo2.ht removed +20080715 tpd src/hyper/pages/lodo.ht removed +20080715 tpd src/hyper/pages/lpoly.ht removed +20080715 tpd src/hyper/pages/lword.ht removed +20080715 tpd src/hyper/pages/magma.ht removed +20080715 tpd src/hyper/pages/man0.ht removed +20080715 tpd src/hyper/pages/mapping.ht removed +20080715 tpd src/hyper/pages/mappkg1.ht removed +20080715 tpd src/hyper/pages/matrix.ht removed +20080715 tpd src/hyper/pages/mkfunc.ht removed +20080715 tpd src/hyper/pages/mpoly.ht removed +20080715 tpd src/hyper/pages/mset.ht removed +20080715 tpd src/hyper/pages/nagaux.ht removed +20080715 tpd src/hyper/pages/nagc.ht removed +20080715 tpd src/hyper/pages/nagd.ht removed +20080715 tpd src/hyper/pages/nage.ht removed +20080715 tpd src/hyper/pages/nagf.ht removed +20080715 tpd src/hyper/pages/nagm.ht removed +20080715 tpd src/hyper/pages/nags.ht removed +20080715 tpd src/hyper/pages/nagx.ht removed +20080715 tpd src/hyper/pages/newuser.ht removed +20080715 tpd src/hyper/pages/none.ht removed +20080715 tpd src/hyper/pages/numbers.ht removed +20080715 tpd src/hyper/pages/oct.ht removed +20080715 tpd src/hyper/pages/odpol.ht removed +20080715 tpd src/hyper/pages/op.ht removed +20080715 tpd src/hyper/pages/ovar.ht removed +20080715 tpd src/hyper/pages/patch.ht removed +20080715 tpd src/hyper/pages/perman.ht removed +20080715 tpd src/hyper/pages/pfr.ht removed +20080715 tpd src/hyper/pages/poly1.ht removed +20080715 tpd src/hyper/pages/poly.ht removed +20080715 tpd src/hyper/pages/quat.ht removed +20080715 tpd src/hyper/pages/radix.ht removed +20080715 tpd src/hyper/pages/reclos.ht removed +20080715 tpd src/hyper/pages/record.ht removed +20080715 tpd src/hyper/pages/regset.ht removed +20080715 tpd src/hyper/pages/releasenotes.ht removed +20080715 tpd src/hyper/pages/roman.ht removed +20080715 tpd src/hyper/pages/rootpage.ht removed +20080715 tpd src/hyper/pages/segbind.ht removed +20080715 tpd src/hyper/pages/seg.ht removed +20080715 tpd src/hyper/pages/set.ht removed +20080715 tpd src/hyper/pages/sint.ht removed +20080715 tpd src/hyper/pages/sqmatrix.ht removed +20080715 tpd src/hyper/pages/srchkey.ht removed +20080715 tpd src/hyper/pages/sregset.ht removed +20080715 tpd src/hyper/pages/stbl.ht removed +20080715 tpd src/hyper/pages/stream.ht removed +20080715 tpd src/hyper/pages/string.ht removed +20080715 tpd src/hyper/pages/strtbl.ht removed +20080715 tpd src/hyper/pages/symbol.ht removed +20080715 tpd src/hyper/pages/table.ht removed +20080715 tpd src/hyper/pages/textfile.ht removed +20080715 tpd src/hyper/pages/topics.ht removed +20080715 tpd src/hyper/pages/type.ht removed +20080715 tpd src/hyper/pages/ug00.ht removed +20080715 tpd src/hyper/pages/ug01.ht removed +20080715 tpd src/hyper/pages/ug02.ht removed +20080715 tpd src/hyper/pages/ug03.ht removed +20080715 tpd src/hyper/pages/ug04.ht removed +20080715 tpd src/hyper/pages/ug05.ht removed +20080715 tpd src/hyper/pages/ug06.ht removed +20080715 tpd src/hyper/pages/ug07.ht removed +20080715 tpd src/hyper/pages/ug08.ht removed +20080715 tpd src/hyper/pages/ug10.ht removed +20080715 tpd src/hyper/pages/ug11.ht removed +20080715 tpd src/hyper/pages/ug12.ht removed +20080715 tpd src/hyper/pages/ug13.ht removed +20080715 tpd src/hyper/pages/ug14.ht removed +20080715 tpd src/hyper/pages/ug15.ht removed +20080715 tpd src/hyper/pages/ug16.ht removed +20080715 tpd src/hyper/pages/ug21.ht removed +20080715 tpd src/hyper/pages/ug.ht removed +20080715 tpd src/hyper/pages/union.ht removed +20080715 tpd src/hyper/pages/uniseg.ht removed +20080715 tpd src/hyper/pages/up.ht removed +20080715 tpd src/hyper/pages/util.ht removed +20080715 tpd src/hyper/pages/vector.ht removed +20080715 tpd src/hyper/pages/void.ht removed +20080715 tpd src/hyper/pages/wutset.ht removed +20080715 tpd src/hyper/pages/xmpexp.ht removed +20080715 tpd src/hyper/pages/xpbwpoly.ht removed +20080715 tpd src/hyper/pages/xpoly.ht removed +20080715 tpd src/hyper/pages/xpr.ht removed +20080715 tpd src/hyper/pages/zdsolve.ht removed +20080715 tpd src/hyper/pages/zlindep.ht removed +20080707 tpd books/bookvol7 construct hypertex +20080705 tpd books/bookvol7 first build +20080704 tpd readme add Samantha Goldrich to credits +20080704 tpd src/interp/setq.lisp add Samantha Goldrich to credits +20080701 tpd faq update with new info on X11 libs +20080621 wxh books/bookvol8 default to close if read fails +20080620 tpd src/input/Makefile test direct product multiply +20080620 tpd src/input/directproduct.input test direct product multiply +20080620 wsp src/algebra/vector.spad handle direct product multiply +20080619 rhx src/interp/ax.boot document makeAxExportForm +20080619 tpd books/bookvol8 systematically index chunks +20080619 tpd readme add Anatoly Raportirenko +20080619 tpd src/interp/setq.lisp add Anatoly Raportirenko +20080619 axr Anatoly Raportirenko <ram@sunct1.jinr.ru> +20080618 tpd books/ps/CRCp27-2.1.1.ps added +20080618 tpd src/Makefile build sman directory from bookvol6 +20080618 tpd src/sman/bookvol6 moved to books directory +20080618 tpd src/Makefile complete build of graph directory from bookvol8 +20080618 tpd books/Makefile use sed to filter the toc files +20080618 tpd books/bookvol8 complete build of graph directory from bookvol8 +20080618 tpd books/bookvol12 use hyperref +20080618 tpd books/bookvol11 use hyperref +20080618 tpd books/bookvol10 use hyperref +20080618 tpd books/bookvol9 use hyperref +20080618 tpd books/bookvol8 use hyperref +20080618 tpd books/bookvol7 use hyperref +20080618 tpd books/bookvol6 use hyperref +20080618 tpd books/bookvol5 use hyperref +20080618 tpd books/bookvol4 use hyperref +20080618 tpd books/bookvol3 use hyperref +20080618 tpd books/bookvol2 use hyperref +20080618 tpd books/bookvol1 use hyperref +20080618 tpd books/bookvol0 use hyperref +20080614 tpd books/bookvol8 compress viewalone to a single C file +20080613 tpd books/bookvol8 compress viewman.c to a single file +20080612 tpd books/bookvol12 point to The Axiom Literate Documentation +20080612 tpd books/bookvol11 point to The Axiom Literate Documentation +20080612 tpd books/bookvol10 point to The Axiom Literate Documentation +20080612 tpd books/bookvol9 point to The Axiom Literate Documentation +20080612 tpd books/bookvol8 point to The Axiom Literate Documentation +20080612 tpd books/bookvol7 point to The Axiom Literate Documentation +20080612 tpd books/bookvol6 point to The Axiom Literate Documentation +20080612 tpd books/bookvol5 point to The Axiom Literate Documentation +20080612 tpd books/bookvol4 point to The Axiom Literate Documentation +20080612 tpd books/bookvol3 point to The Axiom Literate Documentation +20080612 tpd books/bookvol2 point to The Axiom Literate Documentation +20080612 tpd books/bookvol1 point to The Axiom Literate Documentation +20080612 tpd books/bookvol0 numerous fixes, including Appendix work +20080612 tpd books/Makefile makeindex +20080612 tpd scr/Makefile extract Makefile from bookvol10 +20080612 tpd books/bookvol11 add index +20080612 tpd books/bookvol10 document integration +20080612 tpd books/bookvol5 add index +20080611 tpd books/bookvol8 add documentation for gdraws +20080610 tpd books/Makefile stop redundant builds +20080610 tpd books/bookvol7 remove bookvol11 handling +20080610 tpd books/bookvol11 update the Makefile +20080610 tpd Makefile add browserdir to SRCDIR variable +20080610 tpd src/Makefile write browserdir stanze for bookvol11 +20080610 tpd src/hyper/bookvol11 removed +20080609 tpd src/hyper/Makefile removed (use bookvol7) +20080609 tpd src/hyper/addfile removed (use bookvol7) +20080609 tpd src/hyper/bitmaps removed (use bookvol7) +20080609 tpd src/hyper/cond removed (use bookvol7) +20080609 tpd src/hyper/debug removed (use bookvol7) +20080609 tpd src/hyper/dialog removed (use bookvol7) +20080609 tpd src/hyper/display removed (use bookvol7) +20080609 tpd src/hyper/event removed (use bookvol7) +20080609 tpd src/hyper/ex2ht removed (use bookvol7) +20080609 tpd src/hyper/extent removed (use bookvol7) +20080609 tpd src/hyper/extent1 removed (use bookvol7) +20080609 tpd src/hyper/extent2 removed (use bookvol7) +20080609 tpd src/hyper/form-ext removed (use bookvol7) +20080609 tpd src/hyper/group removed (use bookvol7) +20080609 tpd src/hyper/halloc removed (use bookvol7) +20080609 tpd src/hyper/hash removed (use bookvol7) +20080609 tpd src/hyper/htadd removed (use bookvol7) +20080609 tpd src/hyper/hterror removed (use bookvol7) +20080609 tpd src/hyper/hthits removed (use bookvol7) +20080609 tpd src/hyper/htinp removed (use bookvol7) +20080609 tpd src/hyper/hyper removed (use bookvol7) +20080609 tpd src/hyper/initx removed (use bookvol7) +20080609 tpd src/hyper/input removed (use bookvol7) +20080609 tpd src/hyper/item removed (use bookvol7) +20080609 tpd src/hyper/keyin removed (use bookvol7) +20080609 tpd src/hyper/lex removed (use bookvol7) +20080609 tpd src/hyper/macro removed (use bookvol7) +20080609 tpd src/hyper/mem removed (use bookvol7) +20080609 tpd src/hyper/parse-aux removed (use bookvol7) +20080609 tpd src/hyper/parse-input removed (use bookvol7) +20080609 tpd src/hyper/parse-paste removed (use bookvol7) +20080609 tpd src/hyper/parse-types removed (use bookvol7) +20080609 tpd src/hyper/parse removed (use bookvol7) +20080609 tpd src/hyper/readbitmap removed (use bookvol7) +20080609 tpd src/hyper/scrollbar removed (use bookvol7) +20080609 tpd src/hyper/search removed (use bookvol7) +20080609 tpd src/hyper/show-types removed (use bookvol7) +20080609 tpd src/hyper/spadbuf removed (use bookvol7) +20080609 tpd src/hyper/spadint removed (use bookvol7) +20080609 tpd src/hyper/titlebar removed (use bookvol7) +20080609 tpd src/hyper/token removed (use bookvol7) +20080609 tpd src/Makefile make hypertex (use bookvol7) +20080609 tpd books/bookvol7 make hypertex +20080608 tpd books/Makefile call makeindex on bookvol8 +20080608 tpd src/Makefile remove src/graph (use bookvol8) +20080608 tpd books/bookvol8 remove src/graph (use bookvol8) +20080608 tpd src/graph/gdraws/Makefile deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/data.c deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/gdraws0.h deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/gfun.c deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/loadfont.c deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/main.c deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/menu.c deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/psfiles deleted, (use bookvol8) +20080608 tpd src/graph/gdraws/yesorno.c deleted, (use bookvol8) +20080608 tpd books/bookvol8 make gdraws +20080608 tpd src/graph/Makefile make gdraws +20080607 tpd FAQ 48: Getting Axiom sources from git +20080607 tpd src/graph/viewalone/Makefile deleted (use bookvol8) +20080607 tpd src/graph/viewalone/parabola.view/bitmap deleted (use bookvol8) +20080607 tpd src/graph/viewalone/parabola.view/data deleted (use bookvol8) +20080607 tpd src/graph/viewalone/parabola.view/graph0 deleted (use bookvol8) +20080607 tpd src/graph/viewalone/parabola.view/pixmap deleted (use bookvol8) +20080607 tpd src/graph/viewalone/spoon2d.c deleted (use bookvol8) +20080607 tpd src/graph/viewalone/spooncomp.c deleted (use bookvol8) +20080607 tpd src/graph/viewalone/viewalone.c deleted (use bookvol8) +20080607 tpd src/graph/viewalone/viewalone.h deleted (use bookvol8) +20080607 tpd books/bookvol8 make viewalone +20080607 tpd src/graph/Makefile make viewalone +20080606 tpd src/graph/viewman/viewman.h removed, replace by bookvol8 +20080606 tpd src/graph/viewman/viewman.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/sselect.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/readview.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/makegraph.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/Makefile removed, replace by bookvol8 +20080606 tpd src/graph/viewman/make3d.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/make2d.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/globalsm.h removed, replace by bookvol8 +20080606 tpd src/graph/viewman/fun3d.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/fun2d.c removed, replace by bookvol8 +20080606 tpd src/graph/viewman/cleanup.c removed, replace by bookvol8 +20080605 tpd books/bookvol8 make viewman +20080605 tpd src/graph/Makefile extract viewman from bookvol8 +20080604 tpd src/graph/Makefile remove fileformats +20080604 tpd src/graph/fileformats removed, replace by bookvol8 +20080604 tpd src/graph/view3d/Makefile removed, replace by bookvol8 +20080604 tpd src/graph/view3d/buttons3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/closeview3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/component3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/contour.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/contour3d.c.out removed, replace by bookvol8 +20080604 tpd src/graph/view3d/contour_panel3d.c.out replace by bookvol8 +20080604 tpd src/graph/view3d/control3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/cpanel.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/draw.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/eventnames.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/globals.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/header.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/illuminate3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/lightbut3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/lighting3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/main3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/mesh3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/msort3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/pot3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/process.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/process3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/project3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/quit3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/quitbut3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/save3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/savebut3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/smoothshade3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/spadaction3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/static.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/stuff3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/surface3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/testcol.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/transform3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/viewport3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/volume.h removed, replace by bookvol8 +20080604 tpd src/graph/view3d/volume3d.c removed, replace by bookvol8 +20080604 tpd src/graph/view3d/write3d.c removed, replace by bookvol8 +20080604 tpd src/graph/Makefile make view3d from bookvol8 +20080604 tpd books/bookvol8 make view3d +20080602 tpd src/graph/view2d removed. +20080602 tpd src/graph/view2d/write2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/viewport2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/stuff2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/spadaction2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/process2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/pot2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/Makefile removed, replace by bookvol8 +20080602 tpd src/graph/view2d/main2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/header2.h removed, replace by bookvol8 +20080602 tpd src/graph/view2d/graph2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/globals2.h removed, replace by bookvol8 +20080602 tpd src/graph/view2d/control2d.c removed, replace by bookvol8 +20080602 tpd src/graph/view2d/buttons2d.c removed, replace by bookvol8 +20080602 tpd books/bookvol8 make view2d +20080602 tpd src/graph/Makefile make view2d from bookvol8 +20080601 tpd books/bookvol8 document APIs, formats, environment +20080531 tpd src/Makefile handle books subdir +20080531 tpd src/doc/Makefile remove bookvol* +20080531 tpd books/Makefile.pamphlet added +20080531 tpd books/axiom.sty removed +20080531 tpd books/Makefile removed +20080530 tpd books/Makefile +20080530 tpd books/axiom.sty +20080530 tpd books/bookvol0.pamphlet +20080530 tpd books/bookvol1.pamphlet +20080530 tpd books/bookvol10.pamphlet +20080530 tpd books/bookvol11.pamphlet +20080530 tpd books/bookvol12.pamphlet +20080530 tpd books/bookvol2.pamphlet +20080530 tpd books/bookvol3.pamphlet +20080530 tpd books/bookvol4.pamphlet +20080530 tpd books/bookvol5.pamphlet +20080530 tpd books/bookvol6.pamphlet +20080530 tpd books/bookvol7.pamphlet +20080530 tpd books/bookvol8.pamphlet +20080530 tpd books/bookvol9.pamphlet +20080530 tpd books/ps/23dcola.ps +20080530 tpd books/ps/23dcolb.ps +20080530 tpd books/ps/23dpal.ps +20080530 tpd books/ps/2d1vara.ps +20080530 tpd books/ps/2d1varb.ps +20080530 tpd books/ps/2d1vard.ps +20080530 tpd books/ps/2dctrl.ps +20080530 tpd books/ps/2doptad.ps +20080530 tpd books/ps/2doptcp.ps +20080530 tpd books/ps/2doptcpr.ps +20080530 tpd books/ps/2doptcvc.ps +20080530 tpd books/ps/2doptplr.ps +20080530 tpd books/ps/2doptptc.ps +20080530 tpd books/ps/2doptrga.ps +20080530 tpd books/ps/2doptrgb.ps +20080530 tpd books/ps/2doptsc.ps +20080530 tpd books/ps/2doptut.ps +20080530 tpd books/ps/2dpaca.ps +20080530 tpd books/ps/2dppca.ps +20080530 tpd books/ps/2dppcb.ps +20080530 tpd books/ps/2dppcc.ps +20080530 tpd books/ps/2dppce.ps +20080530 tpd books/ps/3d2vara.ps +20080530 tpd books/ps/3d2varb.ps +20080530 tpd books/ps/3dbuilda.ps +20080530 tpd books/ps/3dbuildb.ps +20080530 tpd books/ps/3dctrl.ps +20080530 tpd books/ps/3dgamma11.ps +20080530 tpd books/ps/3dlight.ps +20080530 tpd books/ps/3dmult1a.ps +20080530 tpd books/ps/3dmult1b.ps +20080530 tpd books/ps/3doptcf1.ps +20080530 tpd books/ps/3doptcf2.ps +20080530 tpd books/ps/3doptcf3.ps +20080530 tpd books/ps/3doptcrd.ps +20080530 tpd books/ps/3doptpts.ps +20080530 tpd books/ps/3doptrad.ps +20080530 tpd books/ps/3doptsty.ps +20080530 tpd books/ps/3doptttl.ps +20080530 tpd books/ps/3doptvb.ps +20080530 tpd books/ps/3dpsa.ps +20080530 tpd books/ps/3dpsb.ps +20080530 tpd books/ps/3dpsca.ps +20080530 tpd books/ps/3dpscb.ps +20080530 tpd books/ps/3dvolume.ps +20080530 tpd books/ps/arrow.ps +20080530 tpd books/ps/arrowr.ps +20080530 tpd books/ps/atan-1.epsi +20080530 tpd books/ps/atan-1.ps +20080530 tpd books/ps/axiomfront.ps +20080530 tpd books/ps/basic2d.ps +20080530 tpd books/ps/bessel.ps +20080530 tpd books/ps/bessintr.eps +20080530 tpd books/ps/bessintr.epsi +20080530 tpd books/ps/bessintr.ps +20080530 tpd books/ps/bluebayou.ps +20080530 tpd books/ps/bookvol1a.ps +20080530 tpd books/ps/bookvol1b.ps +20080530 tpd books/ps/bookvol1c.ps +20080530 tpd books/ps/bookvol1d.ps +20080530 tpd books/ps/bookvol1e.ps +20080530 tpd books/ps/bookvol1f.ps +20080530 tpd books/ps/bookvol1g.ps +20080530 tpd books/ps/bookvol1h.ps +20080530 tpd books/ps/bookvol1i.ps +20080530 tpd books/ps/bookvol1j.ps +20080530 tpd books/ps/bookvol1k.ps +20080530 tpd books/ps/bookvol1l.ps +20080530 tpd books/ps/bookvol1m.ps +20080530 tpd books/ps/bookvol1n.ps +20080530 tpd books/ps/bookvol1o.ps +20080530 tpd books/ps/bookvol1p.ps +20080530 tpd books/ps/bookvol1q.ps +20080530 tpd books/ps/bouquet.ps +20080530 tpd books/ps/cartcoord.ps +20080530 tpd books/ps/clipgamma.ps +20080530 tpd books/ps/compatan.ps +20080530 tpd books/ps/compexp.ps +20080530 tpd books/ps/compgamm.ps +20080530 tpd books/ps/complexexp.ps +20080530 tpd books/ps/complexroot.ps +20080530 tpd books/ps/cylcoord.ps +20080530 tpd books/ps/defcoord.ps +20080530 tpd books/ps/exit.ps +20080530 tpd books/ps/h-alldoms.ps +20080530 tpd books/ps/h-allrank.ps +20080530 tpd books/ps/h-atsearch.ps +20080530 tpd books/ps/h-brfront.ps +20080530 tpd books/ps/h-browse.ps +20080530 tpd books/ps/h-comsearch.ps +20080530 tpd books/ps/h-condition.ps +20080530 tpd books/ps/h-consearch.ps +20080530 tpd books/ps/h-consearch2.ps +20080530 tpd books/ps/h-crossref.ps +20080530 tpd books/ps/h-docsearch.ps +20080530 tpd books/ps/h-gensearch.ps +20080530 tpd books/ps/h-inverse.ps +20080530 tpd books/ps/h-matargs.ps +20080530 tpd books/ps/h-matats.ps +20080530 tpd books/ps/h-matdesc.ps +20080530 tpd books/ps/h-matexamp.ps +20080530 tpd books/ps/h-matexports.ps +20080530 tpd books/ps/h-matimp.ps +20080530 tpd books/ps/h-matinv.ps +20080530 tpd books/ps/h-matmap.ps +20080530 tpd books/ps/h-matops.ps +20080530 tpd books/ps/h-matpage.ps +20080530 tpd books/ps/h-matrelops.ps +20080530 tpd books/ps/h-matrix.ps +20080530 tpd books/ps/h-matrixops.ps +20080530 tpd books/ps/h-matrixops1.ps +20080530 tpd books/ps/h-matrixops2.ps +20080530 tpd books/ps/h-matsource.ps +20080530 tpd books/ps/h-matusers.ps +20080530 tpd books/ps/h-matxref.ps +20080530 tpd books/ps/h-opsearch.ps +20080530 tpd books/ps/h-origins.ps +20080530 tpd books/ps/h-parameter.ps +20080530 tpd books/ps/h-root.ps +20080530 tpd books/ps/h-signature.ps +20080530 tpd books/ps/help.ps +20080530 tpd books/ps/home.ps +20080530 tpd books/ps/knot3.ps +20080530 tpd books/ps/modbess.ps +20080530 tpd books/ps/modbessc.ps +20080530 tpd books/ps/newmap.ps +20080530 tpd books/ps/p28a.eps +20080530 tpd books/ps/p28b.eps +20080530 tpd books/ps/quat1.ps +20080530 tpd books/ps/quat10.ps +20080530 tpd books/ps/quat11.ps +20080530 tpd books/ps/quat12.ps +20080530 tpd books/ps/quat13.ps +20080530 tpd books/ps/quat14.ps +20080530 tpd books/ps/quat15.ps +20080530 tpd books/ps/quat16.ps +20080530 tpd books/ps/quat17.ps +20080530 tpd books/ps/quat18.ps +20080530 tpd books/ps/quat19.ps +20080530 tpd books/ps/quat2.ps +20080530 tpd books/ps/quat3.ps +20080530 tpd books/ps/quat4.ps +20080530 tpd books/ps/quat5.ps +20080530 tpd books/ps/quat6.ps +20080530 tpd books/ps/quat7.ps +20080530 tpd books/ps/quat8.ps +20080530 tpd books/ps/quat9.ps +20080530 tpd books/ps/realbeta.ps +20080530 tpd books/ps/ribbon1.ps +20080530 tpd books/ps/ribbon2.ps +20080530 tpd books/ps/ribbon2r.ps +20080530 tpd books/ps/ribbons.ps +20080530 tpd books/ps/ribbons2.ps +20080530 tpd books/ps/ribbons2b.ps +20080530 tpd books/ps/ribbons5.ps +20080530 tpd books/ps/rose-1.ps +20080530 tpd books/ps/torusknot.ps +20080530 tpd books/ps/up.ps +20080530 tpd books/ps/vectorroot.ps +20080530 tpd books/ps/vectorsin.ps +20080530 tpd books/ps/wd-atanz.ps +20080530 tpd books/ps/wd-bessi.ps +20080530 tpd books/ps/wd-bessi3.ps +20080530 tpd books/ps/wd-bessi3s.ps +20080530 tpd books/ps/wd-bessj.ps +20080530 tpd books/ps/wd-beta.ps +20080530 tpd books/ps/wd-expz.ps +20080530 tpd books/ps/wd-gammaz.ps +20080529 tpd setq.lisp add Dan Hatton to credits +20080529 tpd readme add Dan Hatton to credits +20080529 dxh src/hyper/pages/rootpage.ht remove \localinfo +20080529 dxh Dan Hatton <vi5u0-axiom@yahoo.co.uk> +20080528 tpd configure rewrite +20080528 tpd readme rewrite 20080527 tpd Makefile add fedora9 stanza 20080527 tpd faq 47: Axiom won't build on Fedora 9 (SELinux) 20080526 tpd Makefile add fedora8-64 stanza changelog @@ -1,167 +1,43 @@ -# The sysname function uses uname -s to try to decode what kind of -# system to build. Currently the return value of uname is mapped as -# Linux --> linux -# MINGW32_NT-5.1 --> windows -# SunOS --> Solaris9 -# Fedora Core 3 --> fedora3 -# freebsd --> freebsd -# -# The solaris platform needs patch->gpatch, awk->gawk, tar->gtar - -sysname () { -if [ -f /etc/redhat-release ] ; - then - SYSNAME=`cat /etc/redhat-release` - if [ "$SYSNAME" = "Fedora Core release 3 (Heidelberg)" ] ; - then SYSNAME=fedora3 - else if [ "$SYSNAME" = "Fedora Core release 5 (Bordeaux)" ] ; - then SYSNAME=fedora5 - fi - fi - echo SYSNAME=$SYSNAME -fi -if [ ! "$SYSNAME" = "fedora3" ] ; - then - if [ ! "$SYSNAME" = "fedora5" ] ; - then - SYSNAME=`uname -s` - echo $SYSNAME - if [ "$SYSNAME" = "Linux" ] ; then SYSNAME=linux - elif [ "$SYSNAME" = "MINGW32_NT-5.1" ] ; then SYSNAME=windows - elif [ "$SYSNAME" = "SunOS" ] ; then SYSNAME=solaris9 - elif [ "$SYSNAME" = "freebsd" ] ; then SYSNAME=freebsd - else - echo Your system name is $SYSNAME - echo We do not know how to build for this kind of system - echo Send a note to axiom-developer@nongnu.org about it - echo - exit 0 - fi - fi -fi - -} - -# This function checks for the gawk command. -# If it exists then AWKNAME is the complete pathname - -checkgawk() { -AWKNAME=`which gawk 2>>trace` -if [ -n "$AWKNAME" ] ; then - if [ -x $AWKNAME ] ; then - echo - fi -fi -} - -# This function checks for the nawk command. -# If it exists then AWKNAME is the complete pathname - -checknawk() { -AWKNAME=`which nawk 2>>trace` -if [ -n "$AWKNAME" ] ; then - if [ -x $AWKNAME ] ; then - echo - fi -fi -} - -# This function checks for the awk command. -# If it exists then AWKNAME is the complete pathname - -checkawk() { -AWKNAME=`which awk 2>>trace` -if [ -n "$AWKNAME" ] ; then - if [ -x $AWKNAME ] ; then - echo - fi -fi -} - -# This function uses the check*awk functions to decide -# whether the system can build noweb. If one of gawk, nawk or awk -# are not found we fail. -needAwk () -{ -checkgawk -if [ -z "$AWKNAME" ] ; then - checknawk - if [ -z "$AWKNAME" ] ; then - checkawk - if [ -z "$AWKNAME" ] ; then - echo We need the commands gawk, nawk, or awk - exit 0 - fi - fi -fi -} - -# The mustSet function tells the user what needs to be typed on the -# command line. If any extra variables need to be set we add them here. -# Currently the only thing we check if for the presence of gawk, which -# is the default in the Makefile. If gawk does not exist we can use -# either nawk or awk but the user has to specify that on the command line. - -# We check the system we are using with the uname command and try to -# generate the appropriate value. We fail otherwise. - -# We generate the appropriate command line that the user should use. - -mustSet() { +echo Axiom is known to build on the following systems: echo -echo =================================================== -echo You must set your AXIOM and PATH variables. Type: +echo SYSNAME ---- SYSTEM +echo ========================================================= +echo redhat72 --- RedHat 7.2 linux +echo redhat9 ---- RedHat 9 linux +echo debian ----- Debian linux +echo opensuse --- OpenSuse linux +echo ubuntu ----- Ubuntu linux +echo fedora3 ---- Fedora Core 3 linux +echo fedora5 ---- Fedora 5 linux +echo fedora6 ---- Fedora 6 linux +echo fedora7 ---- Fedora 7 linux +echo fedora8 ---- Fedora 8 linux +echo fedora9 ---- Fedora 9 linux +echo fedora8-64 - Fedora 8 linux on 64 bit platform +echo fedora64 --- Fedora generic 64 bit build +echo gentoo ----- Gentoo generic build +echo linux ------ generic linux +echo macosxppc -- Mac OSX 10.4 with XCode installed +echo +echo To use this information to build Axiom, decide which system is +echo closest to your configuration and look under the SYSNAME column. +echo +echo Assuming you put Axiom in /home/me/axiom you would type: +echo +echo export AXIOM=/home/me/axiom/mnt/SYSNAME +echo export PATH=\$AXIOM/bin:\$PATH +echo make +echo +echo Note: On macosxppc type \"make AWK=awk\" instead +echo +echo If the system fails to build the likely cause is SELinux. +echo See the faq. echo -echo To build the rest of the system type: -echo -echo export AXIOM=`pwd`/mnt/$SYSNAME -echo 'export PATH=$AXIOM/bin:$PATH' -if [ "$SYSNAME" = "freebsd" ] ; then - echo Note that freebsd usually has noweb available - echo If you wish to use the standard version you must type - echo touch noweb - echo If you wish to use a pre-installed GCL you must type - echo make GCLVERSION=gcl-system -fi -if [ "$SYSNAME" = "solaris9" ] ; - then echo make AWK=gawk TAR=gtar PATCH=gpatch -elif [ "`basename $AWKNAME`" = "gawk" ] ; - then echo make - else echo make AWK=$AWKNAME -fi -echo -echo configure finished. -} - -######################################################################### -# This is the main line of configure logic. -# (1) We test to see if we understand this system name. So far -# the recognized strings from uname -s are translated as: -# Linux --> linux -# MINGW32_NT-5.1 --> windows -# SunOS --> Solaris9 -# Fedora Core 3 --> fedora3 -# freebsd --> freebsd -# (1) We test for the AWK variable. We need one of gawk, nawk, or awk -# in order to build the noweb software. -# (2) Then we output the final message for the user. -# -# The solaris platform needs patch->gpatch, awk->gawk, tar->gtar -######################################################################### - -sysname -needAwk +echo For new information and details see +echo http://axiom.axiom-developer.org +echo +echo For binary downloads see +echo http://axiom.axiom-developer.org/axiom-website/download.html +echo +echo Mail bug reports to axiom-developer@nongnu.org -if [ "x$AXIOM" = "x" ] ; - then mustSet - else - if [ ! "`dirname $AXIOM`" = "`pwd`/mnt" ] - then mustSet - else - echo Configure complete. Now type - echo - echo make - echo - fi -fi - configure @@ -1,5 +1,5 @@ FAQ 0: How do I use Axiom? -FAQ 1: Xlib.h is not found +FAQ 1: X11 libraries not found FAQ 2: axiom.sty is not found FAQ 3: make hangs FAQ 4: noweb needs to be rebuilt @@ -46,6 +46,7 @@ FAQ 44: I don't have the math fonts FAQ 45: Axiom copyright information FAQ 46: Axiom trademark information FAQ 47: Axiom won't build on Fedora 9 (SELinux) +FAQ 48: Getting Axiom sources from git =================================================================== FAQ 0: How do I use Axiom? @@ -61,7 +62,7 @@ Either way, it will show up in (yourpath)/axiom/mnt/linux/doc/book.dvi =================================================================== -FAQ 1: Xlib.h is not found +FAQ 1: X11 libraries not found =================================================================== You need to have Xlib.h to build the graphics. If you are building @@ -71,6 +72,10 @@ on a RedHat 8 system you need to install the following RPM: On Debian GNU/Linux, the package 'xlibs-dev' is needed. +On Fedora 9: + yum install xorg-x11-proto-devel + rpm -i --nodeps libXt-devel-1.0.4-5.fc9.i386.rpm (for Intrinsics.h) + =================================================================== FAQ 2: axiom.sty is not found =================================================================== @@ -1732,4 +1737,25 @@ then do: cd /etc/selinux/strict/src/policy make load +=================================================================== +FAQ 48: Getting Axiom sources from git +=================================================================== +There are 2 git repositories for Axiom source code. + +The first repository is at github.com. This repository is the +latest released version of Axiom (Gold). To get the source type: + + git-clone git://github.com/daly/axiom.git + +The second repository is at axiom-developer.org. This repository is the +latest development version of Axiom (Silver). To get the source type: + + git-clone ssh://git@axiom-developer.org/home/git/silver + (pswd:linus) + +Once you have the source code visit + +http://axiom.axiom-developer.org/axiom-website/download.html + +for further information. faq @@ -1,23 +1,31 @@ -You've unpacked the Axiom source code to some directory. In this document -we'll call that directory /spad. Note that the path cannot contain uppercase -characters. This is a porting limitation as not all systems can handle -dual case characters. +You've unpacked the Axiom source code to some directory. In this +document we'll call that directory /home/me/axiom. Note that the path +cannot contain uppercase characters or spaces. This is a porting +limitation as not all systems can handle dual case characters. ======================================================================= -================= CONFIGURING AXIOM =================================== +================= MAKING AXIOM ======================================== ======================================================================= -Type: -./configure +Axiom builds a system-specific version based on a string we'll call +the SYSNAME. Currently recognized SYSNAME strings can be found on the +Axiom website at: +<http://axiom.axiom-developer.org/axiom-website/download.html> -======================================================================= -================= MAKING AXIOM ======================================== -======================================================================= +Replace SYSNAME below with the likely name of your system. + +We also assume that you downloaded AXIOM to someplace. Suppose +that place is /home/me/axiom, then: -cd /spad << where you unpacked the sources -export AXIOM=/spad/mnt/linux << which axiom to build -make << build the system - << a system build takes 2+ hours at 2Ghz +cd /home/me/axiom << where you unpacked the sources +export AXIOM=/home/me/axiom/mnt/SYSNAME << which axiom to build +export PATH=$AXIOM/bin:$PATH +make << build the system + +A system build takes 2+ hours at 2Ghz machine. + +A recent cause of likely build failures is SELinux. +See the faq file for possible solutions. When the make completes you'll have an executable called $AXIOM/bin/axiom @@ -39,9 +47,8 @@ make INSTALL=/home/me/myaxiom COMMAND=/home/me/bin/myaxiom install ===================================================================== -Documentation can be found at various places in the system. -At the moment most of the documentation is for developers. -There is a users guide being developed. It will be online when complete. +Documentation can be found at various places in the system or on the +Axiom website: <http://axiom.axiom-developer.org> There is a book (available on Amazon.com): Jenks, Richard D. and Sutor, Robert S. "Axiom, The Scientific Computation @@ -66,7 +73,9 @@ Questions and comments should be sent to: axiom-developer@nongnu.org Tim Daly -axiom@tenkan.org +daly@axiom-developer.org + +===================================================================== Philosophy @@ -192,14 +201,16 @@ at the axiom command prompt will prettyprint the list. "Brian Ford Albrecht Fortenbacher George Frances" "Constantine Frangos Timothy Freeman Korrinn Fu" "Marc Gaetano Rudiger Gebauer Kathy Gerber" -"Patricia Gianni Holger Gollan Teresa Gomez-Diaz" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Klaus Ebbe Grue James Griesmer" -"Vladimir Grinberg Oswald Gschnitzer Jocelyn Guidry" +"Patricia Gianni Samantha Goldrich Holger Gollan" +"Teresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler" +"Johannes Grabmeier Matt Grayson Klaus Ebbe Grue" +"James Griesmer Vladimir Grinberg Oswald Gschnitzer" +"Jocelyn Guidry" "Steve Hague Satoshi Hamaguchi Mike Hansen" "Richard Harke Vilya Harvey Martin Hassner" -"Arthur S. Hathaway Waldek Hebisch Ralf Hemmecke" -"Henderson Antoine Hersen Gernot Hueber" +"Arthur S. Hathaway Dan Hatton Waldek Hebisch" +"Ralf Hemmecke Henderson Antoine Hersen" +"Gernot Hueber" "Pietro Iglio" "Richard Jenks" "Kai Kaminski Grant Keady Tony Kennedy" @@ -221,10 +232,10 @@ at the axiom command prompt will prettyprint the list. "Michel Petitot Didier Pinchon Ayal Pinkus" "Jose Alfredo Portes" "Claude Quitte" -"Arthur C. Ralfs Norman Ramsey Michael Richardson" -"Renaud Rioboo Jean Rivlin Nicolas Robidoux" -"Simon Robinson Raymond Rogers Michael Rothstein" -"Martin Rubey" +"Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko" +"Michael Richardson Renaud Rioboo Jean Rivlin" +"Nicolas Robidoux Simon Robinson Raymond Rogers" +"Michael Rothstein Martin Rubey" "Philip Santas Alfred Scheerhorn William Schelter" "Gerhard Schneider Martin Schoenert Marshall Schor" "Frithjof Schulze Fritz Schwarz Nick Simicich" @@ -529,7 +540,7 @@ Steps in the build process The sequence of steps necessary to build a clean Axiom is simply: - export AXIOM=(path-including-this-directory)/mnt/linux + export AXIOM=(path-including-this-directory)/mnt/SYSNAME make If this fails check the FAQ for possible problems and their fixes. readme @@ -12,15 +12,6 @@ \section{Directory overview} \subsection{Environment variables} DIRS is a list of directories with the suffix {\bf dir}. -DOCS is the same list with {\bf dir} suffix replaced with {\bf document}. -CLNS is the same list with {\bf dir} suffix replaced with {\bf clean}. - -Thus if we have a new directory {\bf foo} add it to the {\bf DIRS} -variable as {\bf foodir}. It will automatically be added to {\bf DOCS} -as {\bf foodocument} and {\bf CLNS} as {\bf fooclean}. - -These variables are used to drive the make, make document, and -make clean processes, respectively. There is a partial order of the directories which is not apparent. @@ -50,8 +41,6 @@ stanza to this Makefile you should check that list. <<environment>>= SETUP=scriptsdir libdir DIRS=${SRCDIRS} -DOCS=scriptsdocument libdocument ${DIRS:dir=document} -CLNS=scriptsclean libclean ${DIRS:dir=clean} @ \subsection{The scripts directory} @@ -117,62 +106,14 @@ clefclean: ${SRC}/clef/Makefile Superman (sman) is the master process that runs all of the other processes including axiom, clef, nagman, graphics, and hyperdoc <<smandir>>= -smandir: ${SRC}/sman/Makefile +smandir: ${SPD}/books/bookvol6.pamphlet @echo 5 making ${SRC}/sman @mkdir -p ${INT}/sman @mkdir -p ${OBJ}/${SYS}/sman @mkdir -p ${MNT}/${SYS}/doc/src/sman - @(cd sman ; ${ENV} ${MAKE} ) - -${SRC}/sman/Makefile: ${SRC}/sman/Makefile.pamphlet - @echo 6 making ${SRC}/sman/Makefile from ${SRC}/sman/Makefile.pamphlet @( cd sman ; \ - ${DOCUMENT} ${NOISE} Makefile ; \ - cp Makefile.dvi ${MNT}/${SYS}/doc/src/sman.Makefile.dvi ) - -smandocument: ${SRC}/sman/Makefile - @echo 7 documenting ${SRC}/sman - @mkdir -p ${INT}/doc/src/sman - @( cd sman ; ${ENV} ${MAKE} document ) - -smanclean: ${SRC}/sman/Makefile - @echo 8 cleaning ${SRC}/sman - @( cd sman ; ${ENV} ${MAKE} clean ) - @rm -f ${SRC}/sman/Makefile - @rm -f ${SRC}/sman/Makefile.dvi - -@ -\subsection{The hyper directory} -Hyperdoc is the Axiom document browser. -<<hyperdir>>= -hyperdir: ${SRC}/hyper/Makefile - @echo 13 making ${SRC}/hyper - @mkdir -p ${INT}/hyper - @mkdir -p ${OBJ}/${SYS}/hyper - @mkdir -p ${OBJ}/${SYS}/bin - @mkdir -p ${OBJ}/${SYS}/lib - @mkdir -p ${MNT}/${SYS}/doc/hypertex/bitmaps - @mkdir -p ${MNT}/${SYS}/doc/hypertex/pages - @mkdir -p ${MNT}/${SYS}/doc/src/hyper - @(cd hyper ; ${ENV} ${MAKE} ) - -${SRC}/hyper/Makefile: ${SRC}/hyper/Makefile.pamphlet - @echo 14 making ${SRC}/hyper/Makefile from \ - ${SRC}/hyper/Makefile.pamphlet - @( cd hyper ; \ - ${DOCUMENT} ${NOISE} Makefile ; \ - cp Makefile.dvi ${MNT}/${SYS}/doc/src/hyper.Makefile.dvi ) - -hyperdocument: ${SRC}/hyper/Makefile - @echo 15 documenting ${SRC}/hyper - @mkdir -p ${INT}/doc/src/hyper - @( cd hyper ; ${ENV} ${MAKE} document ) - -hyperclean: ${SRC}/hyper/Makefile - @echo 16 cleaning ${SRC}/hyper - @( cd hyper ; ${ENV} ${MAKE} clean ) - @rm -f ${SRC}/hyper/Makefile - @rm -f ${SRC}/hyper/Makefile.dvi + ${TANGLE} -t8 ${SPD}/books/bookvol6.pamphlet >Makefile ; \ + ${ENV} ${MAKE} ) @ \subsection{The share directory} @@ -342,84 +283,6 @@ interpclean: ${SRC}/interp/Makefile @rm -f ${SRC}/interp/Makefile.dvi @ -\subsection{The algebra directory} -The algebra directory contains code written in Axiom's computer -algebra language called {\bf spad}. There are two compilers for -this language, the spad compiler and the {\bf Aldor}\cite{1} compiler. - -Both of these compilers accept the same input language except for -some platform-dependent differences. The spad compiler is written -in Common Lisp (well, in boot, anyway) and is built into the -interpreter. The Aldor compiler is written in C and runs -stand-alone. Both compile files that will run in Axiom's -interpreter. Files which end in ``.spad'' use the internal -spad compiler. Files which end in ``.as'' use the external -Aldor compiler. -\subsubsection{Making the Makefile} -The main body of the algebra Makefile is extracted from the -Makefile.pamphlet file as usual. It contains generic rules for -making all the .spad files in a series of ``layers'' such that -each layer depends on only those layers that preceed it, beginning -with the bootstap layer. Because the individual .spad files are -grouped into higher-level algebra pamphlet files, the rules for -extracting them are derived from a simple script [[findAlgebraFiles]] which -appends these additional rules to the Makefile. - -The [[src/algebra/Makefile]] is specially constructed in two -steps. The first step uses the [[document]] command to extract -the normal Makefile information. - -The second step is to extend the [[src/algebra/Makefile]] with -stanzas that describe the steps to extract the algebra from the -[[src/algebra/*.pamphlet]] files into the [[int/algebra/*.spad]] files. -Further details are provided in Makefile for src/algebra. - -The doc/spadhelp directory contains flat files of help text -for the help system command. Algebra pamphlet contain examples -that can be shown from these commands. - -We need to make the int/input file here because the algebra Makefile -will extract input files for regression testing from the algebra pamphlets. - -<<algebradir>>= -algebradir: ${SRC}/algebra/Makefile - @echo 29 making ${SRC}/algebra - @mkdir -p ${INT}/algebra - @mkdir -p ${INT}/input - @mkdir -p ${OBJ}/${SYS}/algebra - @mkdir -p ${MNT}/${SYS}/algebra - @mkdir -p ${MNT}/${SYS}/doc/src/algebra - @mkdir -p ${MNT}/${SYS}/doc/spadhelp - @mkdir -p ${MNT}/${SYS}/src/algebra - @mkdir -p ${INT}/input - @(cd algebra ; ${ENV} ${MAKE} ) - -${SRC}/algebra/Makefile: ${SRC}/algebra/Makefile.pamphlet - @echo 30 making ${SRC}/algebra/Makefile from \ - ${SRC}/algebra/Makefile.pamphlet - @( cd algebra ; ${DOCUMENT} ${NOISE} Makefile ; \ - cp Makefile.dvi ${MNT}/${SYS}/doc/src/algebra.Makefile.dvi ; \ - echo 30a extracting findAlgebraFiles from \ - ${SRC}/algebra/Makefile.pamphlet ; \ - ${TANGLE} -t8 -RfindAlgebraFiles Makefile.pamphlet \ - > ${INT}/algebra/findAlgebraFiles ; \ - echo 30b running ${INT}/algebra/findAlgebraFiles ; \ - . ${INT}/algebra/findAlgebraFiles >> Makefile) - -algebradocument: ${SRC}/algebra/Makefile - @echo 31 documenting ${SRC}/algebra - @mkdir -p ${MNT}/${SYS}/doc/src/algebra - @mkdir -p ${INT}/doc/src/algebra - @( cd algebra ; ${ENV} ${MAKE} document ) - -algebraclean: ${SRC}/algebra/Makefile - @echo 32 cleaning ${SRC}/algebra - @( cd algebra ; ${ENV} ${MAKE} clean ) - @rm -rf ${OBJ}/${SYS}/algebra - @rm -f ${SRC}/algebra/Makefile - @rm -f ${SRC}/algebra/Makefile.dvi - -@ \subsection{The input directory} The input directory contains code used for examples, regression testing, and bug tracking. In a shipped system the working examples @@ -499,13 +362,24 @@ etcclean: ${SRC}/etc/Makefile \subsection{The doc directory} The doc directory contains code used for documenting Axiom. +We've added the books directory above as part of the literate process. +This takes all of the Axiom volumes and creates .pdf copies in the +final doc directory. + <<docdir>>= -docdir: ${SRC}/doc/Makefile +docdir: ${SPD}/books/Makefile ${SRC}/doc/Makefile @echo 41 making ${SRC}/doc @mkdir -p ${INT}/doc @mkdir -p ${MNT}/${SYS}/bin + @(cd ../books ; ${ENV} ${MAKE} ) @(cd doc ; ${ENV} ${MAKE} ) +${SPD}/books/Makefile: ${SPD}/books/Makefile.pamphlet + @echo 52 ${SPD}/books/Makefile from ${SPD}/books/Makefile.pamphlet + @( cd ${SPD}/books ; \ + ${DOCUMENT} ${NOISE} Makefile ; \ + cp Makefile.dvi ${MNT}/${SYS}/doc/src/books.Makefile.dvi ) + ${SRC}/doc/Makefile: ${SRC}/doc/Makefile.pamphlet @echo 42 making ${SRC}/doc/Makefile from ${SRC}/doc/Makefile.pamphlet @( cd doc ; \ @@ -525,34 +399,132 @@ docclean: ${SRC}/doc/Makefile @rm -f ${SRC}/doc/Makefile.dvi @ -\subsection{The graph directory} +\subsection{Volume 7:Axiom Hyperdoc book} +Hyperdoc is the Axiom document browser. +<<hyperdir>>= +hyperdir: ${SPD}/books/bookvol7.pamphlet ${SPD}/books/bookvol7.1.pamphlet + @echo 7 making hyperdoc from bookvol7 + @mkdir -p ${INT}/hyper + @mkdir -p ${OBJ}/${SYS}/hyper + @mkdir -p ${OBJ}/${SYS}/bin + @mkdir -p ${OBJ}/${SYS}/lib + @mkdir -p ${MNT}/${SYS}/doc/hypertex/bitmaps + @mkdir -p ${MNT}/${SYS}/doc/hypertex/pages + @mkdir -p ${MNT}/${SYS}/doc/src/hyper + @(cd ${INT}/hyper ; \ + ${TANGLE} -t8 ${SPD}/books/bookvol7.pamphlet >Makefile ; \ + ${ENV} ${MAKE} ) + @echo 7.1 making pages from bookvol7.1 ${ENV} + @(cd ${INT}/hyper ; \ + ${TANGLE} -t8 ${SPD}/books/bookvol7.1.pamphlet >Makefile ; \ + ${ENV} ${MAKE} ) + +@ +\subsection{Volume 8: Axiom Graphics book} <<graphdir>>= -graphdir: ${SRC}/graph/Makefile - @echo 45 making ${SRC}/graph - @mkdir -p ${INT}/graph/parabola +graphdir: ${SPD}/books/bookvol8.pamphlet + @echo 8 making graph from bookvol8 @mkdir -p ${OBJ}/${SYS}/graph - @(cd graph ; ${ENV} ${MAKE} ) + @(cd ${OBJ}/${SYS}/graph ; \ + ${TANGLE} -t8 ${SPD}/books/bookvol8.pamphlet >Makefile ; \ + ${ENV} ${MAKE} ) -${SRC}/graph/Makefile: ${SRC}/graph/Makefile.pamphlet - @echo 46 making ${SRC}/graph/Makefile from \ - ${SRC}/graph/Makefile.pamphlet - @( cd graph ; \ - ${DOCUMENT} ${NOISE} Makefile ; \ - cp Makefile.dvi ${MNT}/${SYS}/doc/src/graph.Makefile.dvi ) - -graphdocument: ${SRC}/graph/Makefile - @echo 47 documenting ${SRC}/graph - @mkdir -p ${INT}/doc/src/graph - @( cd graph ; ${ENV} ${MAKE} document ) - -graphclean: ${SRC}/graph/Makefile - @echo 48 cleaning ${SRC}/graph - @( cd graph ; ${ENV} ${MAKE} clean ) - @rm -rf ${INT}/graph - @rm -rf ${OBJ}/${SYS}/graph - @rm -rf ${MNT}/${SYS}/graph - @rm -f ${SRC}/graph/Makefile - @rm -f ${SRC}/graph/Makefile.dvi +@ +\subsection{The algebra directory} +The algebra directory contains code written in Axiom's computer +algebra language called {\bf spad}. There are two compilers for +this language, the spad compiler and the {\bf Aldor}\cite{1} compiler. + +Both of these compilers accept the same input language except for +some platform-dependent differences. The spad compiler is written +in Common Lisp (well, in boot, anyway) and is built into the +interpreter. The Aldor compiler is written in C and runs +stand-alone. Both compile files that will run in Axiom's +interpreter. Files which end in ``.spad'' use the internal +spad compiler. Files which end in ``.as'' use the external +Aldor compiler. +\subsubsection{Making the Makefile} +The main body of the algebra Makefile is extracted from the +Makefile.pamphlet file as usual. It contains generic rules for +making all the .spad files in a series of ``layers'' such that +each layer depends on only those layers that preceed it, beginning +with the bootstap layer. Because the individual .spad files are +grouped into higher-level algebra pamphlet files, the rules for +extracting them are derived from a simple script [[findAlgebraFiles]] which +appends these additional rules to the Makefile. + +The [[src/algebra/Makefile]] is specially constructed in two +steps. The first step uses the [[document]] command to extract +the normal Makefile information. + +The second step is to extend the [[src/algebra/Makefile]] with +stanzas that describe the steps to extract the algebra from the +[[src/algebra/*.pamphlet]] files into the [[int/algebra/*.spad]] files. +Further details are provided in Makefile for src/algebra. + +The doc/spadhelp directory contains flat files of help text +for the help system command. Algebra pamphlet contain examples +that can be shown from these commands. + +We need to make the int/input file here because the algebra Makefile +will extract input files for regression testing from the algebra pamphlets. + +\subsection{Volume 10: Axiom Algebra book} +<<algebradir>>= +algebradir: ${SRC}/algebra/Makefile ${SPD}/books/bookvol10.pamphlet + @echo 29 making ${SRC}/algebra + @mkdir -p ${INT}/algebra + @mkdir -p ${INT}/input + @mkdir -p ${OBJ}/${SYS}/algebra + @mkdir -p ${MNT}/${SYS}/algebra + @mkdir -p ${MNT}/${SYS}/doc/src/algebra + @mkdir -p ${MNT}/${SYS}/doc/spadhelp + @mkdir -p ${MNT}/${SYS}/src/algebra + @mkdir -p ${INT}/input + @(cd ${INT}/algebra ; \ + ${TANGLE} -t8 ${SPD}/books/bookvol10.pamphlet >Makefile ; \ + ${ENV} ${MAKE} ) + @(cd algebra ; ${ENV} ${MAKE} ) + +${SRC}/algebra/Makefile: ${SRC}/algebra/Makefile.pamphlet + @echo 30 making ${SRC}/algebra/Makefile from \ + ${SRC}/algebra/Makefile.pamphlet + @( cd algebra ; ${DOCUMENT} ${NOISE} Makefile ; \ + cp Makefile.dvi ${MNT}/${SYS}/doc/src/algebra.Makefile.dvi ; \ + echo 30a extracting findAlgebraFiles from \ + ${SRC}/algebra/Makefile.pamphlet ; \ + ${TANGLE} -t8 -RfindAlgebraFiles Makefile.pamphlet \ + > ${INT}/algebra/findAlgebraFiles ; \ + echo 30b running ${INT}/algebra/findAlgebraFiles ; \ + . ${INT}/algebra/findAlgebraFiles >> Makefile) + +algebradocument: ${SRC}/algebra/Makefile + @echo 31 documenting ${SRC}/algebra + @mkdir -p ${MNT}/${SYS}/doc/src/algebra + @mkdir -p ${INT}/doc/src/algebra + @( cd algebra ; ${ENV} ${MAKE} document ) + +algebraclean: ${SRC}/algebra/Makefile + @echo 32 cleaning ${SRC}/algebra + @( cd algebra ; ${ENV} ${MAKE} clean ) + @rm -rf ${OBJ}/${SYS}/algebra + @rm -f ${SRC}/algebra/Makefile + @rm -f ${SRC}/algebra/Makefile.dvi + +@ +\subsection{Volume 11: Axiom Browser book} +These are the pages for the Axiom Firefox browser interface. +They can be expanded in parallel since they (currently) need no +post processing. Thus the "-j 10" argument to make. We use +``Makefile11'' so that future parallel builds don't step on each other. +<<browserdir>>= +browserdir: ${SPD}/books/bookvol11.pamphlet + @echo 11 making browser from bookvol11 + @mkdir -p ${MNT}/${SYS}/doc/hypertex/bitmaps + @(cd ${MNT}/${SYS}/doc/hypertex ; \ + ${TANGLE} -t8 ${SPD}/books/bookvol11.pamphlet >Makefile11 ; \ + ${ENV} ${MAKE} -j 10 -f Makefile11 ; \ + rm -f Makefile11 ) @ \section{The Makefile} @@ -576,7 +548,6 @@ setup: ${SETUP} <<scriptsdir>> <<clefdir>> <<smandir>> -<<hyperdir>> <<sharedir>> <<docdir>> <<bookletsdir>> @@ -586,13 +557,10 @@ setup: ${SETUP} <<algebradir>> <<inputdir>> <<etcdir>> -<<graphdir>> -document: ${DOCS} - @echo 50 making docs in ${SRC} - -clean: ${CLNS} - @echo 51 cleaning ${SRC} +<<hyperdir>> +<<graphdir>> +<<browserdir>> @ \eject src/Makefile.pamphlet @@ -471,11 +471,12 @@ DirectProductCategory(dim:NonNegativeInteger, R:Type): Category == if R has AbelianSemiGroup then AbelianSemiGroup if R has CancellationAbelianMonoid then CancellationAbelianMonoid if R has Monoid then + Monoid _* : (R, %) -> % ++ r * y multiplies the element r times each component of the ++ vector y. _* : (%, R) -> % - ++ y * r multiplies each component of the vector y by the element r. + ++ y*r multiplies each component of the vector y by the element r. if R has Finite then Finite if R has CommutativeRing then Algebra R @@ -582,7 +583,7 @@ DirectProduct(dim:NonNegativeInteger, R:Type): 1 == new(dim, 1)$Vector(R) pretend % u:% * r:R == map(#1 * r, u) r:R * u:% == map(r * #1, u) - + x:% * y:% == [x.i * y.i for i in 1..dim]$Vector(R) pretend % if R has CancellationAbelianMonoid then subtractIfCan(u:%, v:%):Union(%,"failed") == src/algebra/vector.spad.pamphlet @@ -35,52 +35,6 @@ ${STY}/axiom.sty: ${IN}/axiom.sty.pamphlet ${TANGLE} -R"axiom.sty" ${IN}/axiom.sty.pamphlet >axiom.sty ) @ -\section{Book Volume 4: Developer Notes} -This file contains a random collection of facts about Axiom -intended for developers. It talks about directory structure, -internal representations, debugging tools, and gives a cookbook -for using CVS. There is nothing of interest for the end user. -<<bookvol4>>= -${DVI}/bookvol4.dvi: ${IN}/bookvol4.pamphlet ${STY}/axiom.sty - @echo 3 making ${DVI}/bookvol4.dvi from ${IN}/bookvol4.pamphlet - @(cd ${MID} ; \ - cp ${IN}/bookvol4.pamphlet ${MID} ; \ - ${DOCUMENT} ${NOISE} bookvol4 ; \ - cp bookvol4.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 4 making ${DVI}/book.dvi from ${IN}/book.pamphlet - @(cd ${MID} ; \ - cp ${IN}/book.pamphlet ${MID} ; \ - mkdir -p ${MID}/ps ; \ - cp ${IN}/ps/*ps* ${MID}/ps ; \ - ${DOCUMENT} ${NOISE} book ; \ - cp book.dvi ${DVI} ; \ - mkdir -p ${DVI}/ps ; \ - cp ${IN}/ps/*ps* ${DVI}/ps ) - -@ -\section{Book Volume 1: Tutorial} -This is the tutorial volume, the first book in the new axiom series. -<<bookvol1>>= -${DVI}/bookvol1.dvi: ${IN}/bookvol1.pamphlet - @echo 4 making ${DVI}/bookvol1.dvi from ${IN}/bookvol1.pamphlet - @(cd ${MID} ; \ - cp ${IN}/bookvol1.pamphlet ${MID} ;\ - mkdir -p ${MID}/ps ; \ - cp ${IN}/ps/*ps* ${MID}/ps ; \ - ${DOCUMENT} ${NOISE} bookvol1 ; \ - cp bookvol1.dvi ${DVI} ; \ - mkdir -p ${DVI}/ps ; \ - cp ${IN}/ps/*ps* ${DVI}/ps ) - -@ \section{The Reference Card} This is the one-page, 2 sided reference card <<refcard>>= @@ -174,8 +128,7 @@ STY=${OUT}/tex DVI=${MNT}/${SYS}/doc DOC=${INT}/doc -FILES= ${MID}/axiom.bib ${STY}/axiom.sty ${DVI}/bookvol4.dvi \ - ${DVI}/book.dvi ${DVI}/bookvol1.dvi ${DVI}/refcard.dvi \ +FILES= ${MID}/axiom.bib ${STY}/axiom.sty ${DVI}/refcard.dvi \ ${DVI}/endpaper.dvi ${DVI}/rosetta.dvi ${DVI}/spadhelp/spadhelp.files CMDS=${OUT}/booklet @@ -188,9 +141,6 @@ all: ${FILES} ${CMDS} <<booklet>> <<bibtex>> <<axiom.sty>> -<<bookvol4>> -<<Book>> -<<bookvol1>> <<refcard>> <<Endpapers>> <<rosetta>> src/doc/Makefile.pamphlet @@ -1,10 +1,13 @@ \documentclass{article} \usepackage{axiom} +\newcommand{\file}[1]{\texttt{#1}} \begin{document} \title{\$SPAD/src/interp ax.boot} -\author{The Axiom Team} +\author{Ralf Hemmecke} \maketitle \begin{abstract} +We give an overview of what \file{ax.boot} does and in particular +describe the function \verb'makeAxExportForm'. \end{abstract} \eject \tableofcontents @@ -21,7 +24,29 @@ but was changed to read: axForm := ['Sequence, _ ['Import, [], 'AxiomLib], ['Import, [], 'Boolean], :axForms] @ +\section{Overview} \subsection{makeAxExportForm} +The most important function in \file{ax.boot} is the function +\verb'makeAxExportForm'. + +The function takes as input a filename and a list of constructors. +Via LISP it would be called like +\begin{verbatim} +(|makeAxExportForm| filename constructors) +\end{verbatim} +where \verb'filename' is actually unused and could be removed and +\verb'constructors' should be a list of constructor names, i.e., names +of categories, domains, and packages in their unabbreviated form. + +It returns a list that represents the \texttt{.ap} (parsed source) +(see \verb'aldor -hall') form of the constructors. However, since the +output is only needed for a construction of an Aldor-Axiom +interaction, \verb'makeAxExportForm' will only construct the category +part of the constructor. + +The function is actually used in \file{src/aldor/genax.lsp} and is an +auxiliary part in the construction of the interface for the +interaction of the Aldor compiler with Axiom. <<makeAxExportForm>>= makeAxExportForm(filename, constructors) == $defaultFlag : local := false @@ -42,7 +67,417 @@ makeAxExportForm(filename, constructors) == axForm @ -\subsection{axFormatPref} +The basic translation is easily demonstrated with a few examples. For +better readability, we look at the corresponding SPAD form of the +constructor (instead of its internal LISP representation). + +Let us first state what different situations we identified. +\begin{enumerate} +\item Ordinary domains. See Section~\ref{sec:Domain}. +\item Ordinary categories. See Section~\ref{sec:Category}. +\item Ordinary categories with default packages. See + Section~\ref{sec:Category+Default}. +\item Initial domains, i.e., domains that will be extended in the + course of building \file{libaxiom.al}. These domains are listed in + the variable \verb'$extendedDomains'. %$ + + See Sections~\ref{sec:InitDomain} and + \ref{sec:ParametrizedInitDomain}. There is a subdivision for these + domains. + \begin{enumerate} + \item For domains that take no arguments, see + Section~\ref{sec:InitDomain}. + \item For domains that take arguments, see + Section~\ref{sec:ParametrizedInitDomain}. + \end{enumerate} +\end{enumerate} +\section{Ordinary Domains}\label{sec:Domain} +The domain \verb'Stack'. +\begin{verbatim} +Stack(S:SetCategory): StackAggregate S with + stack: List S -> % + == add + Rep := Reference List S + ... +\end{verbatim} +It is translated into \ldots +\begin{verbatim} +(|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|) + (|Export| + (|Declare| |Stack| + (|Apply| -> (|Declare| |#1| |SetCategory|) + (|With| NIL + (|Sequence| + (|Apply| |StackAggregate| |#1|) + (|Declare| |stack| + (|Apply| -> + (|Comma| (|Apply| |List| |#1|)) + %)))))) + NIL NIL)) +\end{verbatim} +That is the parsed source of the Aldor code \ldots +\begin{verbatim} +import from AxiomLib; +import from Boolean; +export Stack: (T: SetCategory) -> with { + StackAggregate T; + stack: List T -> %; + } +\end{verbatim} +Note that nothing appears before the \verb'with'. No problem because +that is equivalent to a \verb'Join' in Aldor. +\section{Ordinary Categories}\label{sec:Category} +The category \verb'SquareFreeNormalizedTriangularSetCategory' without +a default package. +\begin{verbatim} +SquareFreeNormalizedTriangularSetCategory(_ + R: GcdDomain,_ + E: OrderedAbelianMonoidSup,_ + V: OrderedSet,_ + P:RecursivePolynomialCategory(R, E, V)): Category == + Join(_ + SquareFreeRegularTriangularSetCategory(R,E,V,P),_ + NormalizedTriangularSetCategory(R,E,V,P)) +\end{verbatim} +It is translated into \ldots +\begin{verbatim} +(|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|) + (|Define| + (|Declare| |SquareFreeNormalizedTriangularSetCategory| + (|Apply| -> + (|Comma| (|Declare| |#1| |GcdDomain|) + (|Declare| |#2| + |OrderedAbelianMonoidSup|) + (|Declare| |#3| |OrderedSet|) + (|Declare| |#4| + (|Apply| |RecursivePolynomialCategory| + |#1| |#2| |#3|))) + |Category|)) + (|Lambda| + (|Comma| (|Declare| |#1| |GcdDomain|) + (|Declare| |#2| |OrderedAbelianMonoidSup|) + (|Declare| |#3| |OrderedSet|) + (|Declare| |#4| + (|Apply| |RecursivePolynomialCategory| |#1| + |#2| |#3|))) + |Category| + (|Label| |SquareFreeNormalizedTriangularSetCategory| + (|With| NIL + (|Sequence| + (|Apply| |SquareFreeRegularTriangularSetCategory| + |#1| |#2| |#3| |#4|) + (|Apply| |NormalizedTriangularSetCategory| + |#1| |#2| |#3| |#4|))))))) +\end{verbatim} +That is the parsed source of the Aldor code \ldots +\begin{verbatim} +import from AxiomLib; +import from Boolean; +SquareFreeNormalizedTriangularSetCategory: ( + R: GcdDomain, + E: OrderedAbelianMonoidSup, + V: OrderedSet, + P: RecursivePolynomialCategory(R, E, V) +) -> Category == ( + R: GcdDomain, + E: OrderedAbelianMonoidSup, + V: OrderedSet, + P: RecursivePolynomialCategory(R, E, V) +): Category +-> with { + SquareFreeRegularTriangularSetCategory(R, E, V, P), + NormalizedTriangularSetCategory(R, E, V, P) +} +\end{verbatim} + Again, nothing appears in front of the \verb'with'. No problem + because that is equivalent to a \verb'Join' in Aldor. +\section{Ordinary Categories with Default Packages} +\label{sec:Category+Default} +The category \verb'StringAggregate' with default package. +\begin{verbatim} +StringAggregate: Category == OneDimensionalArrayAggregate Character with + lowerCase : % -> % + lowerCase_!: % -> % + upperCase : % -> % + ... + rightTrim: (%, CharacterClass) -> % + elt: (%, %) -> % + add + trim(s: %, c: Character) == leftTrim(rightTrim(s, c), c) + trim(s: %, cc: CharacterClass) == leftTrim(rightTrim(s, cc), cc) + lowerCase s == lowerCase_! copy s + upperCase s == upperCase_! copy s + prefix?(s, t) == substring?(s, t, minIndex t) + coerce(c:Character):% == new(1, c) + elt(s:%, t:%): % == concat(s,t)$% +\end{verbatim} +It is translated into \ldots +\begin{verbatim} +(|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|) + (|Foreign| (|Declare| |dummyDefault| |Exit|) |Lisp|) + (|Define| (|Declare| |StringAggregate| |Category|) + (|With| NIL + (|Sequence| + (|Apply| |OneDimensionalArrayAggregate| + |Character|) + (|Declare| |lowerCase| (|Apply| -> (|Comma| %) %)) + (|Declare| |lowerCase!| (|Apply| -> (|Comma| %) %)) + (|Declare| |upperCase| (|Apply| -> (|Comma| %) %)) + ... + (|Declare| |rightTrim| + (|Apply| -> (|Comma| % |CharacterClass|) %)) + (|Declare| |apply| (|Apply| -> (|Comma| % %) %)) + (|Default| + (|Sequence| + (|Define| + (|Declare| |coerce| + (|Apply| -> (|Comma| |Character|) + %)) + (|Lambda| + (|Comma| + (|Declare| |t#1| |Character|)) + % + (|Label| |coerce| |dummyDefault|))) + (|Define| + (|Declare| |apply| + (|Apply| -> (|Comma| % %) %)) + (|Lambda| + (|Comma| (|Declare| |t#1| %) + (|Declare| |t#2| %)) + % (|Label| |apply| |dummyDefault|))) + (|Define| + (|Declare| |lowerCase| + (|Apply| -> (|Comma| %) %)) + (|Lambda| (|Comma| (|Declare| |t#1| %)) + % + (|Label| |lowerCase| + |dummyDefault|))) + ... + )))))) +\end{verbatim} +That is the parsed source of the Aldor code \ldots +\begin{verbatim} +import from AxiomLib; +import from Boolean; +import dummyDefault: Exit from Foreign Lisp; +StringAggregate: Category == with { + OneDimensionalArrayAggregate Character; + lowerCase: % -> %; + lowerCase!: % -> %; + upperCase: % -> %; + ... + rightTrim: (%, CharacterClass) -> %; + apply: (%, %) -> % + default { + coerce: Character -> % == (t: Character): % +-> dummyDefault; + apply: (%, %) -> % == (t1: %, t2: %): % +-> dummyDefault; + lowerCase: % -> % == (t: %): % +-> dummyDefault; + ... +} +\end{verbatim} +It is important to note that the actual default functions are given by +a dummy implementation that is imported from LISP. + +And again, nothing appears in front of the \verb'with'. No problem +because that is equivalent to a \verb'Join' in Aldor. + +Note that the \verb'elt' function is translated into \verb'apply'. +\section{Initial Domains without Arguments} +\label{sec:InitDomain} +\begin{verbatim} +SingleInteger(): Join(IntegerNumberSystem,Logic,OpenMath) with + canonical + canonicalsClosed + noetherian + max : () -> % + min : () -> % + "not": % -> % + "~" : % -> % + "/\": (%, %) -> % + "\/" : (%, %) -> % + "xor": (%, %) -> % + Not : % -> % + And : (%,%) -> % + Or : (%,%) -> % + == add + ... +\end{verbatim} +It is translated into \ldots +\begin{verbatim} +(|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|) + (|Extend| + (|Define| + (|Declare| |SingleInteger| + (|With| NIL + (|Sequence| |IntegerNumberSystem| |Logic| + |OpenMath| + (|RestrictTo| |canonical| |Category|) + (|RestrictTo| |canonicalsClosed| + |Category|) + (|RestrictTo| |noetherian| |Category|) + (|Declare| |max| (|Apply| -> (|Comma|) %)) + (|Declare| |min| (|Apply| -> (|Comma|) %)) + (|Declare| |not| + (|Apply| -> (|Comma| %) %)) + (|Declare| ~ (|Apply| -> (|Comma| %) %)) + (|Declare| |/\\| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |\\/| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |xor| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |Not| + (|Apply| -> (|Comma| %) %)) + (|Declare| |And| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |Or| + (|Apply| -> (|Comma| % %) %))))) + (|Add| (|PretendTo| (|Add| NIL NIL) + (|With| NIL + (|Sequence| |IntegerNumberSystem| + |Logic| |OpenMath| + (|RestrictTo| |canonical| + |Category|) + (|RestrictTo| |canonicalsClosed| + |Category|) + (|RestrictTo| |noetherian| + |Category|) + (|Declare| |max| + (|Apply| -> (|Comma|) %)) + (|Declare| |min| + (|Apply| -> (|Comma|) %)) + (|Declare| |not| + (|Apply| -> (|Comma| %) %)) + (|Declare| ~ + (|Apply| -> (|Comma| %) %)) + (|Declare| |/\\| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |\\/| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |xor| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |Not| + (|Apply| -> (|Comma| %) %)) + (|Declare| |And| + (|Apply| -> (|Comma| % %) %)) + (|Declare| |Or| + (|Apply| -> (|Comma| % %) %))))) + NIL)))) +\end{verbatim} +That is the parsed source of the Aldor code \ldots +\begin{verbatim} +import from AxiomLib; +import from Boolean; +extend SingleInteger: with { + IntegerNumberSystem; + Logic; + OpenMath; + canonical @ Category; + canonicalsClosed @ Category; + noetherian @ Category; + max: () -> %; + min: () -> %; + _not: % -> %; + ~: % -> %; + /\: (%, %) -> %; + \/: (%, %) -> %; + xor: (%, %) -> %; + Not: % -> %; + And: (%,%) -> %; + Or : (%,%) -> %; +} + == (add pretend with { + IntegerNumberSystem; + Logic; + OpenMath; + canonical @ Category; + canonicalsClosed @ Category; + noetherian @ Category; + max: () -> %; + min: () -> %; + _not: % -> %; + ~: % -> %; + /\: (%, %) -> %; + \/: (%, %) -> %; + xor: (%, %) -> %; + Not: % -> %; + And: (%,%) -> %; + Or : (%,%) -> %; +}) add; +\end{verbatim} +\section{Initial Domains with Arguments} +\label{sec:ParametrizedInitDomain} +\begin{verbatim} +SegmentBinding(S:Type): Type with + equation: (Symbol, Segment S) -> % + variable: % -> Symbol + segment : % -> Segment S + if S has SetCategory then SetCategory + == add + Rep := Record(var:Symbol, seg:Segment S) + ... +\end{verbatim} +It is translated into \ldots +\begin{verbatim} +(|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|) + (|Sequence| + (|Define| + (|Declare| |SegmentBindingExtendCategory| + (|Apply| -> (|Declare| |#1| |Type|) |Category|)) + (|Lambda| (|Comma| (|Declare| |#1| |Type|)) |Category| + (|Label| |SegmentBindingExtendCategory| + (|With| NIL + (|Sequence| + (|Declare| |equation| + (|Apply| -> + (|Comma| |Symbol| + (|Apply| |Segment| |#1|)) + %)) + (|Declare| |variable| + (|Apply| -> (|Comma| %) |Symbol|)) + (|Declare| |segment| + (|Apply| -> (|Comma| %) + (|Apply| |Segment| |#1|))) + (|If| + (|Test| + (|Has| |#1| |SetCategory|)) + |SetCategory| NIL)))))) + (|Extend| + (|Define| + (|Declare| |SegmentBinding| + (|Apply| -> (|Declare| |#1| |Type|) + (|Apply| |SegmentBindingExtendCategory| + |#1|))) + (|Lambda| (|Comma| (|Declare| |#1| |Type|)) + (|Apply| |SegmentBindingExtendCategory| |#1|) + (|Label| |SegmentBinding| + (|Add| (|PretendTo| (|Add| NIL NIL) + (|Apply| + |SegmentBindingExtendCategory| + |#1|)) + NIL))))))) +\end{verbatim} +That is the parsed source of the Aldor code \ldots +\begin{verbatim} +import from AxiomLib; +import from Boolean; +SegmentBindingExtendCategory: (S: Type) -> Category == + (T: Type): Category +-> with { + equation: (Symbol, Segment S) -> %; + variable: % -> Symbol; + segment : % -> Segment S; + if S has SetCategory then SetCategory; +} +extend SegmentBinding: (S: Type) -> SegmentBindingExtendCategory S == + (S: Type): SegmentBindingExtendCategory S +-> + (add pretend SegmentBindingExtendCategory S) add; +\end{verbatim} +The last lines are actually equivalent to +\begin{verbatim} +extend SegmentBinding(S: Type): SegmentBindingExtendCategory S == + (add pretend SegmentBindingExtendCategory S) add; +\end{verbatim} + +\section{axFormatPref} Here we add an else clause. The original code read: \begin{verbatim} if name = '$ then name := '% src/interp/ax.boot.pamphlet @@ -612,14 +612,16 @@ "Brian Ford Albrecht Fortenbacher George Frances" "Constantine Frangos Timothy Freeman Korrinn Fu" "Marc Gaetano Rudiger Gebauer Kathy Gerber" -"Patricia Gianni Holger Gollan Teresa Gomez-Diaz" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Klaus Ebbe Grue James Griesmer" -"Vladimir Grinberg Oswald Gschnitzer Jocelyn Guidry" +"Patricia Gianni Samantha Goldrich Holger Gollan" +"Teresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler" +"Johannes Grabmeier Matt Grayson Klaus Ebbe Grue" +"James Griesmer Vladimir Grinberg Oswald Gschnitzer" +"Jocelyn Guidry" "Steve Hague Satoshi Hamaguchi Mike Hansen" "Richard Harke Vilya Harvey Martin Hassner" -"Arthur S. Hathaway Waldek Hebisch Ralf Hemmecke" -"Henderson Antoine Hersen Gernot Hueber" +"Arthur S. Hathaway Dan Hatton Waldek Hebisch" +"Ralf Hemmecke Henderson Antoine Hersen" +"Gernot Hueber" "Pietro Iglio" "Richard Jenks" "Kai Kaminski Grant Keady Tony Kennedy" @@ -641,10 +643,10 @@ "Michel Petitot Didier Pinchon Ayal Pinkus" "Jose Alfredo Portes" "Claude Quitte" -"Arthur C. Ralfs Norman Ramsey Michael Richardson" -"Renaud Rioboo Jean Rivlin Nicolas Robidoux" -"Simon Robinson Raymond Rogers Michael Rothstein" -"Martin Rubey" +"Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko" +"Michael Richardson Renaud Rioboo Jean Rivlin" +"Nicolas Robidoux Simon Robinson Raymond Rogers" +"Michael Rothstein Martin Rubey" "Philip Santas Alfred Scheerhorn William Schelter" "Gerhard Schneider Martin Schoenert Marshall Schor" "Frithjof Schulze Fritz Schwarz Nick Simicich" src/interp/setq.lisp.pamphlet 2dcb2138133f97753fc9898a07ac4d72f6502d3e Tim Daly daly@axiom-developer.org http://github.com/daly/axiom/commit/7aa22bb5d33db493391ea58e6d2b6f1f3c5e19e5 7aa22bb5d33db493391ea58e6d2b6f1f3c5e19e5 2008-06-23T17:52:40-07:00 2008-06-23T17:52:40-07:00 July 2008 release 2d84b11b90305d1a643b69161f426a4bd5d10435 Tim Daly daly@axiom-developer.org