\BOOKMARK [0][-]{chapter.1}{Axiom Features}{}
\BOOKMARK [1][-]{section.1.1}{Introduction to Axiom}{chapter.1}
\BOOKMARK [2][-]{subsection.1.1.1}{Symbolic Computation}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.2}{Numeric Computation}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.3}{Mathematical Structures}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.4}{HyperDoc}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.5}{Interactive Programming }{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.6}{Graphics}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.7}{Data Structures}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.8}{Pattern Matching}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.9}{Polymorphic Algorithms}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.10}{Extensibility}{section.1.1}
\BOOKMARK [2][-]{subsection.1.1.11}{Open Source}{section.1.1}
\BOOKMARK [0][-]{chapter.2}{Ten Fundamental Ideas}{}
\BOOKMARK [1][-]{subsection.2.0.12}{Types are Defined by Abstract Datatype Programs}{chapter.2}
\BOOKMARK [2][-]{subsection.2.0.13}{The Type of Basic Objects is a Domain or Subdomain}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.14}{Domains Have Types Called Categories}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.15}{Operations Can Refer To Abstract Types}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.16}{Categories Form Hierarchies}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.17}{Domains Belong to Categories by Assertion}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.18}{Packages Are Clusters of Polymorphic Operations}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.19}{The Interpreter Builds Domains Dynamically}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.20}{Axiom Code is Compiled}{subsection.2.0.12}
\BOOKMARK [2][-]{subsection.2.0.21}{Axiom is Extensible}{subsection.2.0.12}
\BOOKMARK [0][-]{chapter.3}{Starting Axiom}{}
\BOOKMARK [1][-]{section.3.1}{Starting Up and Winding Down}{chapter.3}
\BOOKMARK [2][-]{subsection.3.1.1}{Clef}{section.3.1}
\BOOKMARK [2][-]{subsection.3.1.2}{Typographic Conventions}{section.3.1}
\BOOKMARK [1][-]{section.3.2}{The Axiom Language}{chapter.3}
\BOOKMARK [2][-]{subsection.3.2.1}{Arithmetic Expressions}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.2}{Previous Results}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.3}{Some Types}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.4}{Symbols, Variables, Assignments, and Declarations}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.5}{Conversion}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.6}{Calling Functions}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.7}{Some Predefined Macros}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.8}{Long Lines}{section.3.2}
\BOOKMARK [2][-]{subsection.3.2.9}{Comments}{section.3.2}
\BOOKMARK [1][-]{section.3.3}{Using Axiom as a Pocket Calculator}{chapter.3}
\BOOKMARK [2][-]{subsection.3.3.1}{Basic Arithmetic}{section.3.3}
\BOOKMARK [2][-]{subsection.3.3.2}{Type Conversion}{section.3.3}
\BOOKMARK [2][-]{subsection.3.3.3}{Useful Functions}{section.3.3}
\BOOKMARK [1][-]{section.3.4}{Using Axiom as a Symbolic Calculator}{chapter.3}
\BOOKMARK [2][-]{subsection.3.4.1}{Expressions Involving Symbols}{section.3.4}
\BOOKMARK [2][-]{subsection.3.4.2}{Complex Numbers}{section.3.4}
\BOOKMARK [2][-]{subsection.3.4.3}{Number Representations}{section.3.4}
\BOOKMARK [2][-]{subsection.3.4.4}{Modular Arithmetic}{section.3.4}
\BOOKMARK [1][-]{section.3.5}{General Points about Axiom}{chapter.3}
\BOOKMARK [2][-]{subsection.3.5.1}{Computation Without Output}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.2}{Accessing Earlier Results}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.3}{Splitting Expressions Over Several Lines}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.4}{Comments and Descriptions}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.5}{Control of Result Types}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.6}{Using system commands}{section.3.5}
\BOOKMARK [2][-]{subsection.3.5.7}{Using undo}{section.3.5}
\BOOKMARK [1][-]{section.3.6}{Data Structures in Axiom}{chapter.3}
\BOOKMARK [2][-]{subsection.3.6.1}{Lists}{section.3.6}
\BOOKMARK [2][-]{subsection.3.6.2}{Segmented Lists}{section.3.6}
\BOOKMARK [2][-]{subsection.3.6.3}{Streams}{section.3.6}
\BOOKMARK [2][-]{subsection.3.6.4}{Arrays, Vectors, Strings, and Bits}{section.3.6}
\BOOKMARK [2][-]{subsection.3.6.5}{Flexible Arrays}{section.3.6}
\BOOKMARK [1][-]{section.3.7}{Functions, Choices, and Loops}{chapter.3}
\BOOKMARK [2][-]{subsection.3.7.1}{Reading Code from a File}{section.3.7}
\BOOKMARK [2][-]{subsection.3.7.2}{Blocks}{section.3.7}
\BOOKMARK [2][-]{subsection.3.7.3}{Functions}{section.3.7}
\BOOKMARK [2][-]{subsection.3.7.4}{Choices}{section.3.7}
\BOOKMARK [2][-]{subsection.3.7.5}{Loops}{section.3.7}
\BOOKMARK [1][-]{section.3.8}{Numbers}{chapter.3}
\BOOKMARK [1][-]{section.3.9}{Data Structures}{chapter.3}
\BOOKMARK [1][-]{section.3.10}{Expanding to Higher Dimensions}{chapter.3}
\BOOKMARK [1][-]{section.3.11}{Writing Your Own Functions}{chapter.3}
\BOOKMARK [1][-]{section.3.12}{Polynomials}{chapter.3}
\BOOKMARK [1][-]{section.3.13}{Limits}{chapter.3}
\BOOKMARK [1][-]{section.3.14}{Series}{chapter.3}
\BOOKMARK [1][-]{section.3.15}{Derivatives}{chapter.3}
\BOOKMARK [1][-]{section.3.16}{Integration}{chapter.3}
\BOOKMARK [1][-]{section.3.17}{Differential Equations}{chapter.3}
\BOOKMARK [1][-]{section.3.18}{Solution of Equations}{chapter.3}
\BOOKMARK [0][-]{chapter.4}{Graphics}{}
\BOOKMARK [1][-]{subsection.4.0.1}{Plotting 2D graphs}{chapter.4}
\BOOKMARK [2][-]{subsection.4.0.2}{Palette}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.3}{Two-Dimensional Control-Panel}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.4}{Operations for Two-Dimensional Graphics}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.5}{Building Two-Dimensional Graphs Manually}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.6}{Appending a Graph to a Viewport Window Containing a Graph}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.7}{Plotting 3D Graphs}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.8}{Three-Dimensional Options}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.9}{Three-Dimensional Control-Panel}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.10}{Operations for Three-Dimensional Graphics}{subsection.4.0.1}
\BOOKMARK [2][-]{subsection.4.0.11}{Customization using .Xdefaults}{subsection.4.0.1}
\BOOKMARK [0][-]{chapter.5}{Using Types and Modes}{}
\BOOKMARK [1][-]{section.5.1}{The Basic Idea}{chapter.5}
\BOOKMARK [2][-]{subsection.5.1.1}{Domain Constructors}{section.5.1}
\BOOKMARK [1][-]{section.5.2}{Writing Types and Modes}{chapter.5}
\BOOKMARK [2][-]{subsection.5.2.1}{Types with No Arguments}{section.5.2}
\BOOKMARK [2][-]{subsection.5.2.2}{Types with One Argument}{section.5.2}
\BOOKMARK [2][-]{subsection.5.2.3}{Types with More Than One Argument}{section.5.2}
\BOOKMARK [2][-]{subsection.5.2.4}{Modes}{section.5.2}
\BOOKMARK [2][-]{subsection.5.2.5}{Abbreviations}{section.5.2}
\BOOKMARK [1][-]{section.5.3}{Declarations}{chapter.5}
\BOOKMARK [1][-]{section.5.4}{Records}{chapter.5}
\BOOKMARK [1][-]{section.5.5}{Unions}{chapter.5}
\BOOKMARK [2][-]{subsection.5.5.1}{Unions Without Selectors}{section.5.5}
\BOOKMARK [2][-]{subsection.5.5.2}{Unions With Selectors}{section.5.5}
\BOOKMARK [1][-]{section.5.6}{The ``Any'' Domain}{chapter.5}
\BOOKMARK [1][-]{section.5.7}{Conversion}{chapter.5}
\BOOKMARK [1][-]{section.5.8}{Subdomains Again}{chapter.5}
\BOOKMARK [1][-]{section.5.9}{Package Calling and Target Types}{chapter.5}
\BOOKMARK [1][-]{section.5.10}{Resolving Types}{chapter.5}
\BOOKMARK [1][-]{section.5.11}{Exposing Domains and Packages}{chapter.5}
\BOOKMARK [1][-]{section.5.12}{Commands for Snooping}{chapter.5}
\BOOKMARK [0][-]{chapter.6}{Using HyperDoc}{}
\BOOKMARK [1][-]{section.6.1}{Headings}{chapter.6}
\BOOKMARK [1][-]{section.6.2}{Key Definitions}{chapter.6}
\BOOKMARK [1][-]{section.6.3}{Scroll Bars}{chapter.6}
\BOOKMARK [1][-]{section.6.4}{Input Areas}{chapter.6}
\BOOKMARK [1][-]{section.6.5}{Radio Buttons and Toggles}{chapter.6}
\BOOKMARK [1][-]{section.6.6}{Search Strings}{chapter.6}
\BOOKMARK [2][-]{subsection.6.6.1}{Logical Searches}{section.6.6}
\BOOKMARK [1][-]{section.6.7}{Example Pages}{chapter.6}
\BOOKMARK [1][-]{section.6.8}{X Window Resources for HyperDoc}{chapter.6}
\BOOKMARK [0][-]{chapter.7}{Input Files and Output Styles}{}
\BOOKMARK [1][-]{section.7.1}{Input Files}{chapter.7}
\BOOKMARK [1][-]{section.7.2}{The .axiom.input File}{chapter.7}
\BOOKMARK [1][-]{section.7.3}{Common Features of Using Output Formats}{chapter.7}
\BOOKMARK [1][-]{section.7.4}{Monospace Two-Dimensional Mathematical Format}{chapter.7}
\BOOKMARK [1][-]{section.7.5}{TeX Format}{chapter.7}
\BOOKMARK [1][-]{section.7.6}{IBM Script Formula Format}{chapter.7}
\BOOKMARK [1][-]{section.7.7}{FORTRAN Format}{chapter.7}
\BOOKMARK [0][-]{chapter.8}{Axiom System Commands}{}
\BOOKMARK [1][-]{section.8.1}{Introduction}{chapter.8}
\BOOKMARK [1][-]{section.8.2}{\)abbreviation}{chapter.8}
\BOOKMARK [1][-]{section.8.3}{\)boot}{chapter.8}
\BOOKMARK [1][-]{section.8.4}{\)cd}{chapter.8}
\BOOKMARK [1][-]{section.8.5}{\)close}{chapter.8}
\BOOKMARK [1][-]{section.8.6}{\)clear}{chapter.8}
\BOOKMARK [1][-]{section.8.7}{\)compile}{chapter.8}
\BOOKMARK [1][-]{section.8.8}{\)display}{chapter.8}
\BOOKMARK [1][-]{section.8.9}{\)edit}{chapter.8}
\BOOKMARK [1][-]{section.8.10}{\)fin}{chapter.8}
\BOOKMARK [1][-]{section.8.11}{\)frame}{chapter.8}
\BOOKMARK [1][-]{section.8.12}{\)hd}{chapter.8}
\BOOKMARK [1][-]{section.8.13}{\)help}{chapter.8}
\BOOKMARK [1][-]{section.8.14}{\)history}{chapter.8}
\BOOKMARK [1][-]{section.8.15}{\)library}{chapter.8}
\BOOKMARK [1][-]{section.8.16}{\)lisp}{chapter.8}
\BOOKMARK [1][-]{section.8.17}{\)ltrace}{chapter.8}
\BOOKMARK [1][-]{section.8.18}{\)pquit}{chapter.8}
\BOOKMARK [1][-]{section.8.19}{\)quit}{chapter.8}
\BOOKMARK [1][-]{section.8.20}{\)read}{chapter.8}
\BOOKMARK [1][-]{section.8.21}{\)set}{chapter.8}
\BOOKMARK [1][-]{section.8.22}{\)show}{chapter.8}
\BOOKMARK [1][-]{section.8.23}{\)spool}{chapter.8}
\BOOKMARK [1][-]{section.8.24}{\)synonym}{chapter.8}
\BOOKMARK [1][-]{section.8.25}{\)system}{chapter.8}
\BOOKMARK [1][-]{section.8.26}{\)trace}{chapter.8}
\BOOKMARK [1][-]{section.8.27}{\)undo}{chapter.8}
\BOOKMARK [1][-]{section.8.28}{\)what}{chapter.8}
\BOOKMARK [1][-]{section.8.29}{Makefile}{chapter.8}
