\contentsline {section}{\numberline {0.1}How Axiom Builds}{1}{section.0.1}
\contentsline {subsection}{\numberline {0.1.1}The environment variables}{1}{subsection.0.1.1}
\contentsline {subsection}{\numberline {0.1.2}The build step}{2}{subsection.0.1.2}
\contentsline {subsection}{\numberline {0.1.3}Where each output file is created}{6}{subsection.0.1.3}
\contentsline {subsubsection}{AXIOM/algebra}{6}{section*.2}
\contentsline {subsubsection}{AXIOM/autoload}{6}{section*.3}
\contentsline {subsubsection}{AXIOM/bin}{7}{section*.4}
\contentsline {subsubsection}{AXIOM/doc}{9}{section*.5}
\contentsline {subsubsection}{AXIOM/graph}{11}{section*.6}
\contentsline {subsubsection}{AXIOM/input}{11}{section*.7}
\contentsline {subsubsection}{AXIOM/lib}{11}{section*.8}
\contentsline {subsubsection}{AXIOM/src}{12}{section*.9}
\contentsline {subsubsection}{AXIOM/timestamp}{12}{section*.10}
\contentsline {section}{\numberline {0.2}How Axiom Works}{12}{section.0.2}
\contentsline {subsection}{\numberline {0.2.1}Input and Type Selection}{12}{subsection.0.2.1}
\contentsline {subsection}{\numberline {0.2.2}A simple integral, expansion 1 interpreter}{18}{subsection.0.2.2}
\contentsline {subsection}{\numberline {0.2.3}A simple integral, expansion 2 integrate}{22}{subsection.0.2.3}
\contentsline {subsection}{\numberline {0.2.4}A simple integral, expansion 2 internalIntegrate}{24}{subsection.0.2.4}
\contentsline {subsection}{\numberline {0.2.5}A simple integral, expansion 3 univariate}{27}{subsection.0.2.5}
\contentsline {subsection}{\numberline {0.2.6}A simple integral, expansion 4 integrate}{29}{subsection.0.2.6}
\contentsline {subsection}{\numberline {0.2.7}A simple integral, expansion 5 monomialIntegrate}{30}{subsection.0.2.7}
\contentsline {subsection}{\numberline {0.2.8}A simple integral, expansion 6 HermiteIntegrate}{34}{subsection.0.2.8}
\contentsline {section}{\numberline {0.3}Tools}{37}{section.0.3}
\contentsline {subsection}{\numberline {0.3.1}svn}{37}{subsection.0.3.1}
\contentsline {subsection}{\numberline {0.3.2}git}{37}{subsection.0.3.2}
\contentsline {subsection}{\numberline {0.3.3}cvs}{37}{subsection.0.3.3}
\contentsline {section}{\numberline {0.4}Common Lisps}{41}{section.0.4}
\contentsline {subsection}{\numberline {0.4.1}GCL}{41}{subsection.0.4.1}
\contentsline {subsection}{\numberline {0.4.2}CCL}{42}{subsection.0.4.2}
\contentsline {subsection}{\numberline {0.4.3}CMU CL}{42}{subsection.0.4.3}
\contentsline {subsection}{\numberline {0.4.4}Franz Lisp}{42}{subsection.0.4.4}
\contentsline {subsection}{\numberline {0.4.5}Lucid Common Lisp}{42}{subsection.0.4.5}
\contentsline {subsection}{\numberline {0.4.6}Symbolics Common Lisp}{43}{subsection.0.4.6}
\contentsline {subsection}{\numberline {0.4.7}Golden Common Lisp}{43}{subsection.0.4.7}
\contentsline {subsection}{\numberline {0.4.8}VM/LISP 370}{43}{subsection.0.4.8}
\contentsline {subsection}{\numberline {0.4.9}Maclisp}{43}{subsection.0.4.9}
\contentsline {section}{\numberline {0.5}Literate Programming}{43}{section.0.5}
\contentsline {subsection}{\numberline {0.5.1}Pamphlet files}{43}{subsection.0.5.1}
\contentsline {subsection}{\numberline {0.5.2}noweb}{44}{subsection.0.5.2}
\contentsline {section}{\numberline {0.6}Databases}{46}{section.0.6}
\contentsline {subsection}{\numberline {0.6.1}libcheck}{46}{subsection.0.6.1}
\contentsline {subsection}{\numberline {0.6.2}asq}{46}{subsection.0.6.2}
\contentsline {section}{\numberline {0.7}Axiom internal representations}{46}{section.0.7}
\contentsline {section}{\numberline {0.8}axiom command}{49}{section.0.8}
\contentsline {section}{\numberline {0.9}help command documentation}{49}{section.0.9}
\contentsline {subsection}{\numberline {0.9.1}help documentation for algebra}{49}{subsection.0.9.1}
\contentsline {subsection}{\numberline {0.9.2}Adding help documentation in Makefile}{50}{subsection.0.9.2}
\contentsline {subsection}{\numberline {0.9.3}Using help documentation for regression testing}{51}{subsection.0.9.3}
\contentsline {subsection}{\numberline {0.9.4}help documentation as algebra test files}{51}{subsection.0.9.4}
\contentsline {section}{\numberline {0.10}debugsys}{51}{section.0.10}
\contentsline {subsection}{\numberline {0.10.1}debugging hyperdoc}{52}{subsection.0.10.1}
\contentsline {section}{\numberline {0.11}Understanding a compiled function}{52}{section.0.11}
\contentsline {section}{\numberline {0.12}The axiom.input startup file}{61}{section.0.12}
\contentsline {section}{\numberline {0.13}Where are Axiom symbols stored?}{61}{section.0.13}
\contentsline {section}{\numberline {0.14}Translating individual boot files to common lisp}{64}{section.0.14}
\contentsline {section}{\numberline {0.15}Directories}{65}{section.0.15}
\contentsline {subsection}{\numberline {0.15.1}The mnt/linux/bin directory}{65}{subsection.0.15.1}
\contentsline {subsection}{\numberline {0.15.2}The mnt/linux/doc directory}{67}{subsection.0.15.2}
\contentsline {subsection}{\numberline {0.15.3}The mnt/linux/algebra directory}{70}{subsection.0.15.3}
\contentsline {subsection}{\numberline {0.15.4}The mnt/linux/lib directory}{71}{subsection.0.15.4}
\contentsline {subsection}{\numberline {0.15.5}The mnt/linux/lib directory}{73}{subsection.0.15.5}
\contentsline {section}{\numberline {0.16}The )set command}{73}{section.0.16}
\contentsline {subsection}{\numberline {0.16.1}The example bug}{78}{subsection.0.16.1}
\contentsline {subsection}{\numberline {0.16.2}Operating system level I/O trace (strace)}{95}{subsection.0.16.2}
\contentsline {section}{\numberline {0.17}How to make graphs in algebra books}{96}{section.0.17}
\contentsline {section}{\numberline {0.18}Adding or Editing pages in Hyperdoc}{97}{section.0.18}
\contentsline {section}{\numberline {0.19}Graphviz file creation}{98}{section.0.19}
\contentsline {section}{\numberline {0.20}Adding Algebra}{100}{section.0.20}
\contentsline {subsection}{\numberline {0.20.1}Adding algebra to the books}{100}{subsection.0.20.1}
\contentsline {subsection}{\numberline {0.20.2}Creating a stand-alone pamphlet file}{112}{subsection.0.20.2}
\contentsline {section}{\numberline {0.21}Makefile}{112}{section.0.21}
