\contentsline {section}{\numberline {0.1}Introduction to Axiom}{1}{section.0.1}
\contentsline {subsection}{\numberline {0.1.1}Symbolic Computation}{1}{subsection.0.1.1}
\contentsline {subsection}{\numberline {0.1.2}Numeric Computation}{2}{subsection.0.1.2}
\contentsline {subsection}{\numberline {0.1.3}Graphics}{3}{subsection.0.1.3}
\contentsline {subsection}{\numberline {0.1.4}HyperDoc}{3}{subsection.0.1.4}
\contentsline {subsection}{\numberline {0.1.5}Interactive Programming }{4}{subsection.0.1.5}
\contentsline {subsection}{\numberline {0.1.6}Data Structures}{6}{subsection.0.1.6}
\contentsline {subsection}{\numberline {0.1.7}Mathematical Structures}{7}{subsection.0.1.7}
\contentsline {subsection}{\numberline {0.1.8}Pattern Matching}{8}{subsection.0.1.8}
\contentsline {subsection}{\numberline {0.1.9}Polymorphic Algorithms}{8}{subsection.0.1.9}
\contentsline {subsection}{\numberline {0.1.10}Extensibility}{9}{subsection.0.1.10}
\contentsline {subsection}{\numberline {0.1.11}Types are Defined by Abstract Datatype Programs}{10}{subsection.0.1.11}
\contentsline {subsection}{\numberline {0.1.12}The Type of Basic Objects is a Domain or Subdomain}{11}{subsection.0.1.12}
\contentsline {subsection}{\numberline {0.1.13}Domains Have Types Called Categories}{11}{subsection.0.1.13}
\contentsline {subsection}{\numberline {0.1.14}Operations Can Refer To Abstract Types}{12}{subsection.0.1.14}
\contentsline {subsection}{\numberline {0.1.15}Categories Form Hierarchies}{12}{subsection.0.1.15}
\contentsline {subsection}{\numberline {0.1.16}Domains Belong to Categories by Assertion}{13}{subsection.0.1.16}
\contentsline {subsection}{\numberline {0.1.17}Packages Are Clusters of Polymorphic Operations}{13}{subsection.0.1.17}
\contentsline {subsection}{\numberline {0.1.18}The Interpreter Builds Domains Dynamically}{14}{subsection.0.1.18}
\contentsline {subsection}{\numberline {0.1.19}Axiom Code is Compiled}{14}{subsection.0.1.19}
\contentsline {subsection}{\numberline {0.1.20}Axiom is Extensible}{15}{subsection.0.1.20}
\contentsline {section}{\numberline {0.2}Using Axiom as a Pocket Calculator}{15}{section.0.2}
\contentsline {subsection}{\numberline {0.2.1}Basic Arithmetic}{16}{subsection.0.2.1}
\contentsline {subsection}{\numberline {0.2.2}Type Conversion}{17}{subsection.0.2.2}
\contentsline {subsection}{\numberline {0.2.3}Useful Functions}{19}{subsection.0.2.3}
\contentsline {section}{\numberline {0.3}Using Axiom as a Symbolic Calculator}{22}{section.0.3}
\contentsline {subsection}{\numberline {0.3.1}Expressions Involving Symbols}{22}{subsection.0.3.1}
\contentsline {subsection}{\numberline {0.3.2}Complex Numbers}{24}{subsection.0.3.2}
\contentsline {subsection}{\numberline {0.3.3}Number Representations}{25}{subsection.0.3.3}
\contentsline {subsection}{\numberline {0.3.4}Modular Arithmetic}{29}{subsection.0.3.4}
\contentsline {section}{\numberline {0.4}General Points about Axiom}{30}{section.0.4}
\contentsline {subsection}{\numberline {0.4.1}Computation Without Output}{30}{subsection.0.4.1}
\contentsline {subsection}{\numberline {0.4.2}Accessing Earlier Results}{31}{subsection.0.4.2}
\contentsline {subsection}{\numberline {0.4.3}Splitting Expressions Over Several Lines}{31}{subsection.0.4.3}
\contentsline {subsection}{\numberline {0.4.4}Comments and Descriptions}{31}{subsection.0.4.4}
\contentsline {subsection}{\numberline {0.4.5}Control of Result Types}{32}{subsection.0.4.5}
\contentsline {section}{\numberline {0.5}Data Structures in Axiom}{33}{section.0.5}
\contentsline {subsection}{\numberline {0.5.1}Lists}{33}{subsection.0.5.1}
\contentsline {subsection}{\numberline {0.5.2}Segmented Lists}{41}{subsection.0.5.2}
\contentsline {subsection}{\numberline {0.5.3}Streams}{42}{subsection.0.5.3}
\contentsline {subsection}{\numberline {0.5.4}Arrays, Vectors, Strings, and Bits}{45}{subsection.0.5.4}
\contentsline {subsection}{\numberline {0.5.5}Flexible Arrays}{47}{subsection.0.5.5}
\contentsline {section}{\numberline {0.6}Functions, Choices, and Loops}{50}{section.0.6}
\contentsline {subsection}{\numberline {0.6.1}Reading Code from a File}{50}{subsection.0.6.1}
\contentsline {subsection}{\numberline {0.6.2}Blocks}{50}{subsection.0.6.2}
\contentsline {subsection}{\numberline {0.6.3}Functions}{54}{subsection.0.6.3}
\contentsline {subsection}{\numberline {0.6.4}Choices}{57}{subsection.0.6.4}
\contentsline {subsection}{\numberline {0.6.5}Loops}{57}{subsection.0.6.5}
\contentsline {subsubsection}{The {\tt repeat} loop}{58}{section*.2}
\contentsline {subsubsection}{The {\tt while} loop}{59}{section*.3}
\contentsline {subsubsection}{The {\tt for} loop}{63}{section*.4}
\contentsline {chapter}{\numberline {1}An Overview of Axiom}{67}{chapter.1}
\contentsline {section}{\numberline {1.1}Starting Up and Winding Down}{67}{section.1.1}
\contentsline {subsection}{\numberline {1.1.1}Clef}{68}{subsection.1.1.1}
\contentsline {section}{\numberline {1.2}Typographic Conventions}{69}{section.1.2}
\contentsline {section}{\numberline {1.3}The Axiom Language}{69}{section.1.3}
\contentsline {subsection}{\numberline {1.3.1}Arithmetic Expressions}{70}{subsection.1.3.1}
\contentsline {subsection}{\numberline {1.3.2}Previous Results}{70}{subsection.1.3.2}
\contentsline {subsection}{\numberline {1.3.3}Some Types}{71}{subsection.1.3.3}
\contentsline {subsection}{\numberline {1.3.4}Symbols, Variables, Assignments, and Declarations}{72}{subsection.1.3.4}
\contentsline {subsection}{\numberline {1.3.5}Conversion}{75}{subsection.1.3.5}
\contentsline {subsection}{\numberline {1.3.6}Calling Functions}{76}{subsection.1.3.6}
\contentsline {subsection}{\numberline {1.3.7}Some Predefined Macros}{77}{subsection.1.3.7}
\contentsline {subsection}{\numberline {1.3.8}Long Lines}{77}{subsection.1.3.8}
\contentsline {subsection}{\numberline {1.3.9}Comments}{78}{subsection.1.3.9}
\contentsline {section}{\numberline {1.4}Numbers}{78}{section.1.4}
\contentsline {section}{\numberline {1.5}Data Structures}{86}{section.1.5}
\contentsline {section}{\numberline {1.6}Expanding to Higher Dimensions}{93}{section.1.6}
\contentsline {section}{\numberline {1.7}Writing Your Own Functions}{95}{section.1.7}
\contentsline {section}{\numberline {1.8}Polynomials}{101}{section.1.8}
\contentsline {section}{\numberline {1.9}Limits}{102}{section.1.9}
\contentsline {section}{\numberline {1.10}Series}{104}{section.1.10}
\contentsline {section}{\numberline {1.11}Derivatives}{106}{section.1.11}
\contentsline {section}{\numberline {1.12}Integration}{109}{section.1.12}
\contentsline {section}{\numberline {1.13}Differential Equations}{113}{section.1.13}
\contentsline {section}{\numberline {1.14}Solution of Equations}{115}{section.1.14}
\contentsline {section}{\numberline {1.15}System Commands}{117}{section.1.15}
\contentsline {subsection}{\numberline {1.15.1}Undo}{118}{subsection.1.15.1}
\contentsline {section}{\numberline {1.16}Graphics}{121}{section.1.16}
\contentsline {chapter}{\numberline {2}Using Types and Modes}{123}{chapter.2}
\contentsline {section}{\numberline {2.1}The Basic Idea}{123}{section.2.1}
\contentsline {subsection}{\numberline {2.1.1}Domain Constructors}{125}{subsection.2.1.1}
\contentsline {section}{\numberline {2.2}Writing Types and Modes}{130}{section.2.2}
\contentsline {subsection}{\numberline {2.2.1}Types with No Arguments}{131}{subsection.2.2.1}
\contentsline {subsection}{\numberline {2.2.2}Types with One Argument}{132}{subsection.2.2.2}
\contentsline {subsection}{\numberline {2.2.3}Types with More Than One Argument}{133}{subsection.2.2.3}
\contentsline {subsection}{\numberline {2.2.4}Modes}{133}{subsection.2.2.4}
\contentsline {subsection}{\numberline {2.2.5}Abbreviations}{134}{subsection.2.2.5}
\contentsline {section}{\numberline {2.3}Declarations}{135}{section.2.3}
\contentsline {section}{\numberline {2.4}Records}{138}{section.2.4}
\contentsline {section}{\numberline {2.5}Unions}{142}{section.2.5}
\contentsline {subsection}{\numberline {2.5.1}Unions Without Selectors}{142}{subsection.2.5.1}
\contentsline {subsection}{\numberline {2.5.2}Unions With Selectors}{146}{subsection.2.5.2}
\contentsline {section}{\numberline {2.6}The ``Any'' Domain}{147}{section.2.6}
\contentsline {section}{\numberline {2.7}Conversion}{148}{section.2.7}
\contentsline {section}{\numberline {2.8}Subdomains Again}{151}{section.2.8}
\contentsline {section}{\numberline {2.9}Package Calling and Target Types}{155}{section.2.9}
\contentsline {section}{\numberline {2.10}Resolving Types}{158}{section.2.10}
\contentsline {section}{\numberline {2.11}Exposing Domains and Packages}{160}{section.2.11}
\contentsline {section}{\numberline {2.12}Commands for Snooping}{163}{section.2.12}
\contentsline {chapter}{\numberline {3}Using HyperDoc}{167}{chapter.3}
\contentsline {section}{\numberline {3.1}Headings}{168}{section.3.1}
\contentsline {section}{\numberline {3.2}Key Definitions}{168}{section.3.2}
\contentsline {section}{\numberline {3.3}Scroll Bars}{169}{section.3.3}
\contentsline {section}{\numberline {3.4}Input Areas}{169}{section.3.4}
\contentsline {section}{\numberline {3.5}Radio Buttons and Toggles}{170}{section.3.5}
\contentsline {section}{\numberline {3.6}Search Strings}{170}{section.3.6}
\contentsline {subsection}{\numberline {3.6.1}Logical Searches}{171}{subsection.3.6.1}
\contentsline {section}{\numberline {3.7}Example Pages}{171}{section.3.7}
\contentsline {section}{\numberline {3.8}X Window Resources for HyperDoc}{172}{section.3.8}
\contentsline {chapter}{\numberline {4}Input Files and Output Styles}{175}{chapter.4}
\contentsline {section}{\numberline {4.1}Input Files}{175}{section.4.1}
\contentsline {section}{\numberline {4.2}The .axiom.input File}{176}{section.4.2}
\contentsline {section}{\numberline {4.3}Common Features of Using Output Formats}{177}{section.4.3}
\contentsline {section}{\numberline {4.4}Monospace Two-Dimensional Mathematical Format}{178}{section.4.4}
\contentsline {section}{\numberline {4.5}TeX Format}{179}{section.4.5}
\contentsline {section}{\numberline {4.6}IBM Script Formula Format}{179}{section.4.6}
\contentsline {section}{\numberline {4.7}FORTRAN Format}{180}{section.4.7}
\contentsline {chapter}{\numberline {5}Overview of Interactive Language}{185}{chapter.5}
\contentsline {section}{\numberline {5.1}Immediate and Delayed Assignments}{185}{section.5.1}
\contentsline {section}{\numberline {5.2}Blocks}{189}{section.5.2}
\contentsline {section}{\numberline {5.3}if-then-else}{193}{section.5.3}
\contentsline {section}{\numberline {5.4}Loops}{195}{section.5.4}
\contentsline {subsection}{\numberline {5.4.1}Compiling vs. Interpreting Loops}{195}{subsection.5.4.1}
\contentsline {subsection}{\numberline {5.4.2}return in Loops}{195}{subsection.5.4.2}
\contentsline {subsection}{\numberline {5.4.3}break in Loops}{196}{subsection.5.4.3}
\contentsline {subsection}{\numberline {5.4.4}break vs. {\tt =>} in Loop Bodies}{198}{subsection.5.4.4}
\contentsline {subsection}{\numberline {5.4.5}More Examples of break}{198}{subsection.5.4.5}
\contentsline {subsection}{\numberline {5.4.6}iterate in Loops}{201}{subsection.5.4.6}
\contentsline {subsection}{\numberline {5.4.7}while Loops}{201}{subsection.5.4.7}
\contentsline {subsection}{\numberline {5.4.8}for Loops}{204}{subsection.5.4.8}
\contentsline {subsection}{\numberline {5.4.9}for i in n..m repeat}{205}{subsection.5.4.9}
\contentsline {subsection}{\numberline {5.4.10}for i in n..m by s repeat}{206}{subsection.5.4.10}
\contentsline {subsection}{\numberline {5.4.11}for i in n.. repeat}{207}{subsection.5.4.11}
\contentsline {subsection}{\numberline {5.4.12}for x in l repeat}{207}{subsection.5.4.12}
\contentsline {subsection}{\numberline {5.4.13}``Such that'' Predicates}{209}{subsection.5.4.13}
\contentsline {subsection}{\numberline {5.4.14}Parallel Iteration}{209}{subsection.5.4.14}
\contentsline {subsection}{\numberline {5.4.15}Mixing Loop Modifiers}{212}{subsection.5.4.15}
\contentsline {section}{\numberline {5.5}Creating Lists and Streams with Iterators}{212}{section.5.5}
\contentsline {section}{\numberline {5.6}An Example: Streams of Primes}{216}{section.5.6}
\contentsline {chapter}{\numberline {6}User-Defined Functions, Macros and Rules}{221}{chapter.6}
\contentsline {section}{\numberline {6.1}Functions vs. Macros}{221}{section.6.1}
\contentsline {section}{\numberline {6.2}Macros}{222}{section.6.2}
\contentsline {section}{\numberline {6.3}Introduction to Functions}{225}{section.6.3}
\contentsline {section}{\numberline {6.4}Declaring the Type of Functions}{227}{section.6.4}
\contentsline {section}{\numberline {6.5}One-Line Functions}{228}{section.6.5}
\contentsline {section}{\numberline {6.6}Declared vs. Undeclared Functions}{230}{section.6.6}
\contentsline {section}{\numberline {6.7}Functions vs. Operations}{232}{section.6.7}
\contentsline {section}{\numberline {6.8}Delayed Assignments vs. Functions with No Arguments}{233}{section.6.8}
\contentsline {section}{\numberline {6.9}How Axiom Determines What Function to Use}{234}{section.6.9}
\contentsline {section}{\numberline {6.10}Compiling vs. Interpreting}{237}{section.6.10}
\contentsline {section}{\numberline {6.11}Piece-Wise Function Definitions}{238}{section.6.11}
\contentsline {subsection}{\numberline {6.11.1}A Basic Example}{238}{subsection.6.11.1}
\contentsline {subsection}{\numberline {6.11.2}Picking Up the Pieces}{241}{subsection.6.11.2}
\contentsline {subsection}{\numberline {6.11.3}Predicates}{244}{subsection.6.11.3}
\contentsline {section}{\numberline {6.12}Caching Previously Computed Results}{246}{section.6.12}
\contentsline {section}{\numberline {6.13}Recurrence Relations}{248}{section.6.13}
\contentsline {section}{\numberline {6.14}Making Functions from Objects}{250}{section.6.14}
\contentsline {section}{\numberline {6.15}Functions Defined with Blocks}{254}{section.6.15}
\contentsline {section}{\numberline {6.16}Free and Local Variables}{258}{section.6.16}
\contentsline {section}{\numberline {6.17}Anonymous Functions}{264}{section.6.17}
\contentsline {subsection}{\numberline {6.17.1}Some Examples}{265}{subsection.6.17.1}
\contentsline {subsection}{\numberline {6.17.2}Declaring Anonymous Functions}{266}{subsection.6.17.2}
\contentsline {section}{\numberline {6.18}Example: A Database}{269}{section.6.18}
\contentsline {section}{\numberline {6.19}Example: A Famous Triangle}{271}{section.6.19}
\contentsline {section}{\numberline {6.20}Example: Testing for Palindromes}{274}{section.6.20}
\contentsline {section}{\numberline {6.21}Rules and Pattern Matching}{276}{section.6.21}
\contentsline {chapter}{\numberline {7}Graphics}{285}{chapter.7}
\contentsline {section}{\numberline {7.1}Two-Dimensional Graphics}{286}{section.7.1}
\contentsline {subsection}{\numberline {7.1.1}Plotting Two-Dimensional Functions of One Variable}{286}{subsection.7.1.1}
\contentsline {subsection}{\numberline {7.1.2}Plotting Two-Dimensional Parametric Plane Curves}{287}{subsection.7.1.2}
\contentsline {subsection}{\numberline {7.1.3}Plotting Plane Algebraic Curves}{288}{subsection.7.1.3}
\contentsline {subsection}{\numberline {7.1.4}Two-Dimensional Options}{289}{subsection.7.1.4}
\contentsline {subsection}{\numberline {7.1.5}Color}{290}{subsection.7.1.5}
\contentsline {subsection}{\numberline {7.1.6}Palette}{291}{subsection.7.1.6}
\contentsline {subsection}{\numberline {7.1.7}Two-Dimensional Control-Panel}{292}{subsection.7.1.7}
\contentsline {subsubsection}{Transformations}{292}{section*.5}
\contentsline {subsubsection}{Messages}{293}{section*.6}
\contentsline {subsubsection}{Multiple Graphs}{293}{section*.7}
\contentsline {subsubsection}{Buttons}{294}{section*.8}
\contentsline {subsection}{\numberline {7.1.8}Operations for Two-Dimensional Graphics}{294}{subsection.7.1.8}
\contentsline {subsection}{\numberline {7.1.9}Addendum: Building Two-Dimensional Graphs}{297}{subsection.7.1.9}
\contentsline {subsubsection}{Creating a Two-Dimensional Viewport from a List of Points}{297}{section*.9}
\contentsline {subsubsection}{Creating a Two-Dimensional Viewport of a List of Points from a File}{303}{section*.10}
\contentsline {subsection}{\numberline {7.1.10}Addendum: Appending a Graph to a Viewport Window Containing a Graph}{304}{subsection.7.1.10}
\contentsline {section}{\numberline {7.2}Three-Dimensional Graphics}{305}{section.7.2}
\contentsline {subsection}{\numberline {7.2.1}Plotting Three-Dimensional Functions of Two Variables}{305}{subsection.7.2.1}
\contentsline {subsection}{\numberline {7.2.2}Plotting Three-Dimensional Parametric Space Curves}{306}{subsection.7.2.2}
\contentsline {subsection}{\numberline {7.2.3}Plotting Three-Dimensional Parametric Surfaces}{307}{subsection.7.2.3}
\contentsline {subsection}{\numberline {7.2.4}Axiom Images}{308}{subsection.7.2.4}
\contentsline {subsection}{\numberline {7.2.5}Three-Dimensional Options}{317}{subsection.7.2.5}
\contentsline {subsection}{\numberline {7.2.6}The makeObject Command}{320}{subsection.7.2.6}
\contentsline {subsection}{\numberline {7.2.7}Building Three-Dimensional Objects From Primitives}{321}{subsection.7.2.7}
\contentsline {subsubsection}{Cube Example}{323}{section*.11}
\contentsline {subsection}{\numberline {7.2.8}Coordinate System Transformations}{326}{subsection.7.2.8}
\contentsline {subsection}{\numberline {7.2.9}Three-Dimensional Clipping}{328}{subsection.7.2.9}
\contentsline {subsection}{\numberline {7.2.10}Three-Dimensional Control-Panel}{329}{subsection.7.2.10}
\contentsline {subsubsection}{Transformations}{329}{section*.12}
\contentsline {subsubsection}{Messages}{330}{section*.13}
\contentsline {subsubsection}{Colormap}{330}{section*.14}
\contentsline {subsubsection}{Buttons}{331}{section*.15}
\contentsline {subsubsection}{Light}{332}{section*.16}
\contentsline {subsubsection}{View Volume}{333}{section*.17}
\contentsline {subsection}{\numberline {7.2.11}Operations for Three-Dimensional Graphics}{333}{subsection.7.2.11}
\contentsline {subsection}{\numberline {7.2.12}Customization using .Xdefaults}{337}{subsection.7.2.12}
\contentsline {chapter}{\numberline {8}Advanced Problem Solving}{339}{chapter.8}
\contentsline {section}{\numberline {8.1}Numeric Functions}{339}{section.8.1}
\contentsline {section}{\numberline {8.2}Polynomial Factorization}{349}{section.8.2}
\contentsline {subsection}{\numberline {8.2.1}Integer and Rational Number Coefficients}{349}{subsection.8.2.1}
\contentsline {subsection}{\numberline {8.2.2}Finite Field Coefficients}{350}{subsection.8.2.2}
\contentsline {subsection}{\numberline {8.2.3}Simple Algebraic Extension Field Coefficients}{350}{subsection.8.2.3}
\contentsline {subsection}{\numberline {8.2.4}Factoring Rational Functions}{352}{subsection.8.2.4}
\contentsline {section}{\numberline {8.3}Manipulating Symbolic Roots of a Polynomial}{353}{section.8.3}
\contentsline {subsection}{\numberline {8.3.1}Using a Single Root of a Polynomial}{353}{subsection.8.3.1}
\contentsline {subsection}{\numberline {8.3.2}Using All Roots of a Polynomial}{354}{subsection.8.3.2}
\contentsline {section}{\numberline {8.4}Computation of Eigenvalues and Eigenvectors}{356}{section.8.4}
\contentsline {section}{\numberline {8.5}Solution of Linear and Polynomial Equations}{360}{section.8.5}
\contentsline {subsection}{\numberline {8.5.1}Solution of Systems of Linear Equations}{360}{subsection.8.5.1}
\contentsline {subsection}{\numberline {8.5.2}Solution of a Single Polynomial Equation}{362}{subsection.8.5.2}
\contentsline {subsection}{\numberline {8.5.3}Solution of Systems of Polynomial Equations}{364}{subsection.8.5.3}
\contentsline {section}{\numberline {8.6}Limits}{367}{section.8.6}
\contentsline {section}{\numberline {8.7}Laplace Transforms}{371}{section.8.7}
\contentsline {section}{\numberline {8.8}Integration}{372}{section.8.8}
\contentsline {section}{\numberline {8.9}Working with Power Series}{376}{section.8.9}
\contentsline {subsection}{\numberline {8.9.1}Creation of Power Series}{376}{subsection.8.9.1}
\contentsline {subsection}{\numberline {8.9.2}Coefficients of Power Series}{379}{subsection.8.9.2}
\contentsline {subsection}{\numberline {8.9.3}Power Series Arithmetic}{380}{subsection.8.9.3}
\contentsline {subsection}{\numberline {8.9.4}Functions on Power Series}{381}{subsection.8.9.4}
\contentsline {subsection}{\numberline {8.9.5}Converting to Power Series}{384}{subsection.8.9.5}
\contentsline {subsection}{\numberline {8.9.6}Power Series from Formulas}{388}{subsection.8.9.6}
\contentsline {subsection}{\numberline {8.9.7}Substituting Numerical Values in Power Series}{391}{subsection.8.9.7}
\contentsline {subsection}{\numberline {8.9.8}Example: Bernoulli Polynomials and Sums of Powers}{392}{subsection.8.9.8}
\contentsline {section}{\numberline {8.10}Solution of Differential Equations}{396}{section.8.10}
\contentsline {subsection}{\numberline {8.10.1}Closed-Form Solutions of Linear Differential Equations}{396}{subsection.8.10.1}
\contentsline {subsection}{\numberline {8.10.2}Closed-Form Solutions of Non-Linear Differential Equations}{399}{subsection.8.10.2}
\contentsline {subsection}{\numberline {8.10.3}Power Series Solutions of Differential Equations}{404}{subsection.8.10.3}
\contentsline {section}{\numberline {8.11}Finite Fields}{406}{section.8.11}
\contentsline {subsection}{\numberline {8.11.1}Modular Arithmetic and Prime Fields}{406}{subsection.8.11.1}
\contentsline {subsection}{\numberline {8.11.2}Extensions of Finite Fields}{410}{subsection.8.11.2}
\contentsline {subsection}{\numberline {8.11.3}Irreducible Modulus Polynomial Representations}{412}{subsection.8.11.3}
\contentsline {subsection}{\numberline {8.11.4}Cyclic Group Representations}{415}{subsection.8.11.4}
\contentsline {subsection}{\numberline {8.11.5}Normal Basis Representations}{418}{subsection.8.11.5}
\contentsline {subsection}{\numberline {8.11.6}Conversion Operations for Finite Fields}{420}{subsection.8.11.6}
\contentsline {subsection}{\numberline {8.11.7}Utility Operations for Finite Fields}{424}{subsection.8.11.7}
\contentsline {section}{\numberline {8.12}Primary Decomposition of Ideals}{431}{section.8.12}
\contentsline {section}{\numberline {8.13}Computation of Galois Groups}{434}{section.8.13}
\contentsline {section}{\numberline {8.14}Non-Associative Algebras and Modelling Genetic Laws}{443}{section.8.14}
\contentsline {chapter}{\numberline {9}Some Examples of Domains and Packages}{449}{chapter.9}
\contentsline {section}{\numberline {9.1}ApplicationProgramInterface}{449}{section.9.1}
\contentsline {section}{\numberline {9.2}ArrayStack}{450}{section.9.2}
\contentsline {section}{\numberline {9.3}AssociationList}{454}{section.9.3}
\contentsline {section}{\numberline {9.4}BalancedBinaryTree}{457}{section.9.4}
\contentsline {section}{\numberline {9.5}BasicOperator}{459}{section.9.5}
\contentsline {section}{\numberline {9.6}BinaryExpansion}{463}{section.9.6}
\contentsline {section}{\numberline {9.7}BinarySearchTree}{465}{section.9.7}
\contentsline {section}{\numberline {9.8}CardinalNumber}{467}{section.9.8}
\contentsline {section}{\numberline {9.9}CartesianTensor}{471}{section.9.9}
\contentsline {subsubsection}{Forming tensors}{472}{section*.18}
\contentsline {subsubsection}{Multiplication}{474}{section*.19}
\contentsline {subsubsection}{Selecting Components}{475}{section*.20}
\contentsline {subsubsection}{Contraction}{477}{section*.21}
\contentsline {subsubsection}{Transpositions}{479}{section*.22}
\contentsline {subsubsection}{Arithmetic}{480}{section*.23}
\contentsline {subsubsection}{Specific Tensors}{481}{section*.24}
\contentsline {subsubsection}{Properties of the CartesianTensor domain}{482}{section*.25}
\contentsline {subsubsection}{Tensor Calculus}{482}{section*.26}
\contentsline {section}{\numberline {9.10}Character}{483}{section.9.10}
\contentsline {section}{\numberline {9.11}CharacterClass}{485}{section.9.11}
\contentsline {section}{\numberline {9.12}CliffordAlgebra}{488}{section.9.12}
\contentsline {subsection}{\numberline {9.12.1}The Complex Numbers as a Clifford Algebra}{488}{subsection.9.12.1}
\contentsline {subsection}{\numberline {9.12.2}The Quaternion Numbers as a Clifford Algebra}{490}{subsection.9.12.2}
\contentsline {subsection}{\numberline {9.12.3}The Exterior Algebra on a Three Space}{492}{subsection.9.12.3}
\contentsline {subsection}{\numberline {9.12.4}The Dirac Spin Algebra}{494}{subsection.9.12.4}
\contentsline {section}{\numberline {9.13}Complex}{496}{section.9.13}
\contentsline {section}{\numberline {9.14}ContinuedFraction}{499}{section.9.14}
\contentsline {section}{\numberline {9.15}CycleIndicators}{505}{section.9.15}
\contentsline {section}{\numberline {9.16}DeRhamComplex}{516}{section.9.16}
\contentsline {section}{\numberline {9.17}DecimalExpansion}{523}{section.9.17}
\contentsline {section}{\numberline {9.18}Dequeue}{525}{section.9.18}
\contentsline {section}{\numberline {9.19}DistributedMultivariatePolynomial}{531}{section.9.19}
\contentsline {section}{\numberline {9.20}DoubleFloat}{534}{section.9.20}
\contentsline {section}{\numberline {9.21}EqTable}{536}{section.9.21}
\contentsline {section}{\numberline {9.22}Equation}{537}{section.9.22}
\contentsline {section}{\numberline {9.23}EuclideanGroebnerBasisPackage}{539}{section.9.23}
\contentsline {section}{\numberline {9.24}Exit}{540}{section.9.24}
\contentsline {section}{\numberline {9.25}Expression}{541}{section.9.25}
\contentsline {section}{\numberline {9.26}Factored}{547}{section.9.26}
\contentsline {subsection}{\numberline {9.26.1}Decomposing Factored Objects}{547}{subsection.9.26.1}
\contentsline {subsection}{\numberline {9.26.2}Expanding Factored Objects}{549}{subsection.9.26.2}
\contentsline {subsection}{\numberline {9.26.3}Arithmetic with Factored Objects}{550}{subsection.9.26.3}
\contentsline {subsection}{\numberline {9.26.4}Creating New Factored Objects}{552}{subsection.9.26.4}
\contentsline {subsection}{\numberline {9.26.5}Factored Objects with Variables}{553}{subsection.9.26.5}
\contentsline {section}{\numberline {9.27}FactoredFunctions2}{554}{section.9.27}
\contentsline {section}{\numberline {9.28}File}{556}{section.9.28}
\contentsline {section}{\numberline {9.29}FileName}{558}{section.9.29}
\contentsline {section}{\numberline {9.30}FlexibleArray}{562}{section.9.30}
\contentsline {section}{\numberline {9.31}Float}{565}{section.9.31}
\contentsline {subsection}{\numberline {9.31.1}Introduction to Float}{565}{subsection.9.31.1}
\contentsline {subsection}{\numberline {9.31.2}Conversion Functions}{566}{subsection.9.31.2}
\contentsline {subsection}{\numberline {9.31.3}Output Functions}{569}{subsection.9.31.3}
\contentsline {subsection}{\numberline {9.31.4}An Example: Determinant of a Hilbert Matrix}{571}{subsection.9.31.4}
\contentsline {section}{\numberline {9.32}Fraction}{573}{section.9.32}
\contentsline {section}{\numberline {9.33}FullPartialFractionExpansion}{576}{section.9.33}
\contentsline {section}{\numberline {9.34}GeneralDistributedMultivariatePolynomial}{581}{section.9.34}
\contentsline {section}{\numberline {9.35}GeneralSparseTable}{583}{section.9.35}
\contentsline {section}{\numberline {9.36}GroebnerFactorizationPackage}{584}{section.9.36}
\contentsline {section}{\numberline {9.37}GroebnerPackage}{586}{section.9.37}
\contentsline {section}{\numberline {9.38}Heap}{587}{section.9.38}
\contentsline {section}{\numberline {9.39}HexadecimalExpansion}{589}{section.9.39}
\contentsline {section}{\numberline {9.40}HomogeneousDistributedMultivariatePolynomial}{591}{section.9.40}
\contentsline {section}{\numberline {9.41}Integer}{593}{section.9.41}
\contentsline {subsection}{\numberline {9.41.1}Basic Functions}{593}{subsection.9.41.1}
\contentsline {subsection}{\numberline {9.41.2}Primes and Factorization}{599}{subsection.9.41.2}
\contentsline {subsection}{\numberline {9.41.3}Some Number Theoretic Functions}{600}{subsection.9.41.3}
\contentsline {section}{\numberline {9.42}IntegerLinearDependence}{602}{section.9.42}
\contentsline {section}{\numberline {9.43}IntegerNumberTheoryFunctions}{604}{section.9.43}
\contentsline {section}{\numberline {9.44}Kernel}{609}{section.9.44}
\contentsline {section}{\numberline {9.45}KeyedAccessFile}{613}{section.9.45}
\contentsline {section}{\numberline {9.46}LexTriangularPackage}{617}{section.9.46}
\contentsline {section}{\numberline {9.47}LazardSetSolvingPackage}{644}{section.9.47}
\contentsline {section}{\numberline {9.48}Library}{654}{section.9.48}
\contentsline {section}{\numberline {9.49}LieExponentials}{656}{section.9.49}
\contentsline {section}{\numberline {9.50}LiePolynomial}{658}{section.9.50}
\contentsline {section}{\numberline {9.51}LinearOrdinaryDifferentialOperator}{663}{section.9.51}
\contentsline {subsection}{\numberline {9.51.1}Differential Operators with Series Coefficients}{663}{subsection.9.51.1}
\contentsline {section}{\numberline {9.52}LinearOrdinaryDifferentialOperator1}{668}{section.9.52}
\contentsline {subsection}{\numberline {9.52.1}Differential Operators with Rational Function Coefficients}{668}{subsection.9.52.1}
\contentsline {section}{\numberline {9.53}LinearOrdinaryDifferentialOperator2}{673}{section.9.53}
\contentsline {subsection}{\numberline {9.53.1}Differential Operators with Constant Coefficients}{673}{subsection.9.53.1}
\contentsline {subsection}{\numberline {9.53.2} Differential Operators with Matrix Coefficients Operating on Vectors}{675}{subsection.9.53.2}
\contentsline {section}{\numberline {9.54}List}{679}{section.9.54}
\contentsline {subsection}{\numberline {9.54.1}Creating Lists}{679}{subsection.9.54.1}
\contentsline {subsection}{\numberline {9.54.2}Accessing List Elements}{680}{subsection.9.54.2}
\contentsline {subsection}{\numberline {9.54.3}Changing List Elements}{683}{subsection.9.54.3}
\contentsline {subsection}{\numberline {9.54.4}Other Functions}{684}{subsection.9.54.4}
\contentsline {subsection}{\numberline {9.54.5}Dot, Dot}{686}{subsection.9.54.5}
\contentsline {section}{\numberline {9.55}LyndonWord}{686}{section.9.55}
\contentsline {section}{\numberline {9.56}Magma}{690}{section.9.56}
\contentsline {section}{\numberline {9.57}MakeFunction}{694}{section.9.57}
\contentsline {section}{\numberline {9.58}MappingPackage1}{696}{section.9.58}
\contentsline {section}{\numberline {9.59}Matrix}{702}{section.9.59}
\contentsline {subsection}{\numberline {9.59.1}Creating Matrices}{702}{subsection.9.59.1}
\contentsline {subsection}{\numberline {9.59.2}Operations on Matrices}{707}{subsection.9.59.2}
\contentsline {section}{\numberline {9.60}Multiset}{710}{section.9.60}
\contentsline {section}{\numberline {9.61}MultivariatePolynomial}{713}{section.9.61}
\contentsline {section}{\numberline {9.62}None}{716}{section.9.62}
\contentsline {section}{\numberline {9.63}NottinghamGroup}{716}{section.9.63}
\contentsline {section}{\numberline {9.64}Octonion}{717}{section.9.64}
\contentsline {section}{\numberline {9.65}OneDimensionalArray}{720}{section.9.65}
\contentsline {section}{\numberline {9.66}Operator}{722}{section.9.66}
\contentsline {section}{\numberline {9.67}OrderedVariableList}{726}{section.9.67}
\contentsline {section}{\numberline {9.68}OrderlyDifferentialPolynomial}{728}{section.9.68}
\contentsline {section}{\numberline {9.69}PartialFraction}{735}{section.9.69}
\contentsline {section}{\numberline {9.70}Permanent}{738}{section.9.70}
\contentsline {section}{\numberline {9.71}Permutation}{739}{section.9.71}
\contentsline {section}{\numberline {9.72}Polynomial}{740}{section.9.72}
\contentsline {section}{\numberline {9.73}Quaternion}{750}{section.9.73}
\contentsline {section}{\numberline {9.74}Queue}{752}{section.9.74}
\contentsline {section}{\numberline {9.75}RadixExpansion}{755}{section.9.75}
\contentsline {section}{\numberline {9.76}RealClosure}{758}{section.9.76}
\contentsline {section}{\numberline {9.77}RealSolvePackage}{772}{section.9.77}
\contentsline {section}{\numberline {9.78}RegularTriangularSet}{773}{section.9.78}
\contentsline {section}{\numberline {9.79}RomanNumeral}{789}{section.9.79}
\contentsline {section}{\numberline {9.80}Segment}{791}{section.9.80}
\contentsline {section}{\numberline {9.81}SegmentBinding}{794}{section.9.81}
\contentsline {section}{\numberline {9.82}Set}{795}{section.9.82}
\contentsline {section}{\numberline {9.83}SingleInteger}{799}{section.9.83}
\contentsline {section}{\numberline {9.84}SparseTable}{801}{section.9.84}
\contentsline {section}{\numberline {9.85}SquareMatrix}{803}{section.9.85}
\contentsline {section}{\numberline {9.86}SquareFreeRegularTriangularSet}{804}{section.9.86}
\contentsline {section}{\numberline {9.87}Stack}{810}{section.9.87}
\contentsline {section}{\numberline {9.88}Stream}{813}{section.9.88}
\contentsline {section}{\numberline {9.89}String}{815}{section.9.89}
\contentsline {section}{\numberline {9.90}StringTable}{822}{section.9.90}
\contentsline {section}{\numberline {9.91}Symbol}{822}{section.9.91}
\contentsline {section}{\numberline {9.92}Table}{827}{section.9.92}
\contentsline {section}{\numberline {9.93}TextFile}{831}{section.9.93}
\contentsline {section}{\numberline {9.94}TwoDimensionalArray}{833}{section.9.94}
\contentsline {section}{\numberline {9.95}TwoDimensionalViewport}{838}{section.9.95}
\contentsline {section}{\numberline {9.96}UnivariatePolynomial}{845}{section.9.96}
\contentsline {section}{\numberline {9.97}UnivariateSkewPolynomial}{853}{section.9.97}
\contentsline {subsection}{\numberline {9.97.1}A second example}{855}{subsection.9.97.1}
\contentsline {subsection}{\numberline {9.97.2}A third example}{856}{subsection.9.97.2}
\contentsline {subsection}{\numberline {9.97.3}A fourth example}{857}{subsection.9.97.3}
\contentsline {section}{\numberline {9.98}UniversalSegment}{858}{section.9.98}
\contentsline {section}{\numberline {9.99}Vector}{860}{section.9.99}
\contentsline {section}{\numberline {9.100}Void}{863}{section.9.100}
\contentsline {section}{\numberline {9.101}WuWenTsunTriangularSet}{864}{section.9.101}
\contentsline {section}{\numberline {9.102}XPBWPolynomial}{868}{section.9.102}
\contentsline {section}{\numberline {9.103}XPolynomial}{875}{section.9.103}
\contentsline {section}{\numberline {9.104}XPolynomialRing}{878}{section.9.104}
\contentsline {section}{\numberline {9.105}ZeroDimensionalSolvePackage}{882}{section.9.105}
\contentsline {chapter}{\numberline {10}Interactive Programming}{905}{chapter.10}
\contentsline {section}{\numberline {10.1}Drawing Ribbons Interactively}{905}{section.10.1}
\contentsline {section}{\numberline {10.2}A Ribbon Program}{907}{section.10.2}
\contentsline {section}{\numberline {10.3}Coloring and Positioning Ribbons}{908}{section.10.3}
\contentsline {section}{\numberline {10.4}Points, Lines, and Curves}{909}{section.10.4}
\contentsline {section}{\numberline {10.5}A Bouquet of Arrows}{911}{section.10.5}
\contentsline {section}{\numberline {10.6}Diversion: When Things Go Wrong}{912}{section.10.6}
\contentsline {section}{\numberline {10.7}Drawing Complex Vector Fields}{912}{section.10.7}
\contentsline {section}{\numberline {10.8}Drawing Complex Functions}{914}{section.10.8}
\contentsline {section}{\numberline {10.9}Functions Producing Functions}{915}{section.10.9}
\contentsline {section}{\numberline {10.10}Automatic Newton Iteration Formulas}{916}{section.10.10}
\contentsline {chapter}{\numberline {11}Packages}{921}{chapter.11}
\contentsline {section}{\numberline {11.1}Names, Abbreviations, and File Structure}{921}{section.11.1}
\contentsline {section}{\numberline {11.2}Syntax}{922}{section.11.2}
\contentsline {section}{\numberline {11.3}Abstract Datatypes}{923}{section.11.3}
\contentsline {section}{\numberline {11.4}Capsules}{923}{section.11.4}
\contentsline {section}{\numberline {11.5}Input Files vs. Packages}{924}{section.11.5}
\contentsline {section}{\numberline {11.6}Compiling Packages}{925}{section.11.6}
\contentsline {section}{\numberline {11.7}Parameters}{926}{section.11.7}
\contentsline {section}{\numberline {11.8}Conditionals}{927}{section.11.8}
\contentsline {section}{\numberline {11.9}Testing}{929}{section.11.9}
\contentsline {section}{\numberline {11.10}How Packages Work}{931}{section.11.10}
\contentsline {chapter}{\numberline {12}Categories}{933}{chapter.12}
\contentsline {section}{\numberline {12.1}Definitions}{934}{section.12.1}
\contentsline {section}{\numberline {12.2}Exports}{935}{section.12.2}
\contentsline {section}{\numberline {12.3}Documentation}{935}{section.12.3}
\contentsline {section}{\numberline {12.4}Hierarchies}{936}{section.12.4}
\contentsline {section}{\numberline {12.5}Membership}{937}{section.12.5}
\contentsline {section}{\numberline {12.6}Defaults}{937}{section.12.6}
\contentsline {section}{\numberline {12.7}Axioms}{938}{section.12.7}
\contentsline {section}{\numberline {12.8}Correctness}{939}{section.12.8}
\contentsline {section}{\numberline {12.9}Attributes}{940}{section.12.9}
\contentsline {section}{\numberline {12.10}Parameters}{941}{section.12.10}
\contentsline {section}{\numberline {12.11}Conditionals}{941}{section.12.11}
\contentsline {section}{\numberline {12.12}Anonymous Categories}{942}{section.12.12}
\contentsline {chapter}{\numberline {13}Domains}{945}{chapter.13}
\contentsline {section}{\numberline {13.1}Domains vs. Packages}{945}{section.13.1}
\contentsline {section}{\numberline {13.2}Definitions}{946}{section.13.2}
\contentsline {section}{\numberline {13.3}Category Assertions}{946}{section.13.3}
\contentsline {section}{\numberline {13.4}A Demo}{948}{section.13.4}
\contentsline {section}{\numberline {13.5}Browse}{949}{section.13.5}
\contentsline {section}{\numberline {13.6}Representation}{949}{section.13.6}
\contentsline {section}{\numberline {13.7}Multiple Representations}{950}{section.13.7}
\contentsline {section}{\numberline {13.8}Add Domain}{951}{section.13.8}
\contentsline {section}{\numberline {13.9}Defaults}{951}{section.13.9}
\contentsline {section}{\numberline {13.10}Origins}{952}{section.13.10}
\contentsline {section}{\numberline {13.11}Short Forms}{952}{section.13.11}
\contentsline {section}{\numberline {13.12}Example 1: Clifford Algebra}{953}{section.13.12}
\contentsline {section}{\numberline {13.13}Example 2: Building A Query Facility}{955}{section.13.13}
\contentsline {subsection}{\numberline {13.13.1}A Little Query Language}{955}{subsection.13.13.1}
\contentsline {subsection}{\numberline {13.13.2}The Database Constructor}{956}{subsection.13.13.2}
\contentsline {subsection}{\numberline {13.13.3}Query Equations}{958}{subsection.13.13.3}
\contentsline {subsection}{\numberline {13.13.4}DataLists}{958}{subsection.13.13.4}
\contentsline {subsection}{\numberline {13.13.5}Index Cards}{959}{subsection.13.13.5}
\contentsline {subsection}{\numberline {13.13.6}Creating a Database}{959}{subsection.13.13.6}
\contentsline {subsection}{\numberline {13.13.7}Putting It All Together}{960}{subsection.13.13.7}
\contentsline {subsection}{\numberline {13.13.8}Example Queries}{960}{subsection.13.13.8}
\contentsline {chapter}{\numberline {14}Browse}{963}{chapter.14}
\contentsline {section}{\numberline {14.1}The Front Page: Searching the Library}{963}{section.14.1}
\contentsline {subsubsection}{Constructors}{964}{section*.27}
\contentsline {subsubsection}{Operations}{965}{section*.28}
\contentsline {subsubsection}{Attributes}{965}{section*.29}
\contentsline {subsubsection}{General}{966}{section*.30}
\contentsline {subsubsection}{Documentation}{967}{section*.31}
\contentsline {subsubsection}{Complete}{967}{section*.32}
\contentsline {section}{\numberline {14.2}The Constructor Page}{967}{section.14.2}
\contentsline {subsection}{\numberline {14.2.1}Constructor Page Buttons}{969}{subsection.14.2.1}
\contentsline {subsubsection}{Description}{969}{section*.33}
\contentsline {subsubsection}{Operations}{970}{section*.34}
\contentsline {subsubsection}{Attributes}{971}{section*.35}
\contentsline {subsubsection}{Examples}{971}{section*.36}
\contentsline {subsubsection}{Exports}{972}{section*.37}
\contentsline {subsubsection}{Related Operations}{973}{section*.38}
\contentsline {subsection}{\numberline {14.2.2}Cross Reference}{974}{subsection.14.2.2}
\contentsline {subsubsection}{Parents}{974}{section*.39}
\contentsline {subsubsection}{Ancestors}{974}{section*.40}
\contentsline {subsubsection}{Relatives}{974}{section*.41}
\contentsline {subsubsection}{Dependents}{975}{section*.42}
\contentsline {subsubsection}{Lineage}{975}{section*.43}
\contentsline {subsubsection}{Clients}{976}{section*.44}
\contentsline {subsubsection}{Benefactors}{976}{section*.45}
\contentsline {subsubsection}{Children}{976}{section*.46}
\contentsline {subsubsection}{Descendants}{976}{section*.47}
\contentsline {subsubsection}{Domains}{977}{section*.48}
\contentsline {subsection}{\numberline {14.2.3}Views Of Constructors}{977}{subsection.14.2.3}
\contentsline {subsubsection}{names}{977}{section*.49}
\contentsline {subsubsection}{abbrs}{977}{section*.50}
\contentsline {subsubsection}{kinds}{977}{section*.51}
\contentsline {subsubsection}{files}{977}{section*.52}
\contentsline {subsubsection}{parameters}{977}{section*.53}
\contentsline {subsubsection}{filter}{978}{section*.54}
\contentsline {subsubsection}{documentation}{978}{section*.55}
\contentsline {subsubsection}{conditions}{978}{section*.56}
\contentsline {subsection}{\numberline {14.2.4}Giving Parameters to Constructors}{978}{subsection.14.2.4}
\contentsline {section}{\numberline {14.3}Miscellaneous Features of Browse}{979}{section.14.3}
\contentsline {subsection}{\numberline {14.3.1}The Description Page for Operations}{979}{subsection.14.3.1}
\contentsline {subsubsection}{Arguments}{979}{section*.57}
\contentsline {subsubsection}{Returns}{979}{section*.58}
\contentsline {subsubsection}{Origin}{980}{section*.59}
\contentsline {subsubsection}{Conditions}{980}{section*.60}
\contentsline {subsubsection}{Description}{980}{section*.61}
\contentsline {subsubsection}{Where}{980}{section*.62}
\contentsline {subsection}{\numberline {14.3.2}Views of Operations}{981}{subsection.14.3.2}
\contentsline {subsubsection}{names}{981}{section*.63}
\contentsline {subsubsection}{filter}{981}{section*.64}
\contentsline {subsubsection}{documentation}{981}{section*.65}
\contentsline {subsubsection}{signatures}{981}{section*.66}
\contentsline {subsubsection}{parameters}{981}{section*.67}
\contentsline {subsubsection}{origins}{981}{section*.68}
\contentsline {subsubsection}{conditions}{981}{section*.69}
\contentsline {subsubsection}{usage}{982}{section*.70}
\contentsline {subsubsection}{implementation}{982}{section*.71}
\contentsline {subsubsection}{generalize}{982}{section*.72}
\contentsline {subsubsection}{all domains}{983}{section*.73}
\contentsline {subsection}{\numberline {14.3.3}Capitalization Convention}{984}{subsection.14.3.3}
\contentsline {chapter}{\numberline {15}What's New in Axiom Version 2.0}{985}{chapter.15}
\contentsline {section}{\numberline {15.1}Important Things to Read First}{985}{section.15.1}
\contentsline {section}{\numberline {15.2}The NAG Library Link}{985}{section.15.2}
\contentsline {subsection}{\numberline {15.2.1}Interpreting NAG Documentation}{986}{subsection.15.2.1}
\contentsline {subsubsection}{Correspondence Between Fortran and Axiom types}{986}{section*.74}
\contentsline {subsubsection}{Classification of NAG parameters}{987}{section*.75}
\contentsline {subsubsection}{IFAIL}{987}{section*.76}
\contentsline {subsection}{\numberline {15.2.2}Using the Link}{987}{subsection.15.2.2}
\contentsline {subsection}{\numberline {15.2.3}Providing values for Argument Subprograms}{989}{subsection.15.2.3}
\contentsline {subsubsection}{Providing ASPs via {\tt FortranExpression}}{989}{section*.77}
\contentsline {subsubsection}{Providing ASPs via {\tt FortranCode}}{989}{section*.78}
\contentsline {subsubsection}{Providing ASPs via {\tt FileName}}{990}{section*.79}
\contentsline {subsection}{\numberline {15.2.4}General Fortran-generation utilities in Axiom}{990}{subsection.15.2.4}
\contentsline {subsubsection}{Template Manipulation}{990}{section*.80}
\contentsline {subsubsection}{Manipulating the Fortran Output Stream}{993}{section*.81}
\contentsline {subsubsection}{Fortran Types}{993}{section*.82}
\contentsline {subsubsection}{FortranScalarType}{993}{section*.83}
\contentsline {subsubsection}{FortranType}{994}{section*.84}
\contentsline {subsubsection}{SymbolTable}{994}{section*.85}
\contentsline {subsubsection}{TheSymbolTable}{995}{section*.86}
\contentsline {subsubsection}{Advanced Fortran Code Generation}{997}{section*.87}
\contentsline {subsubsection}{Switch}{997}{section*.88}
\contentsline {subsubsection}{FortranCode}{997}{section*.89}
\contentsline {subsubsection}{FortranProgram}{998}{section*.90}
\contentsline {subsection}{\numberline {15.2.5}Some technical information}{998}{subsection.15.2.5}
\contentsline {section}{\numberline {15.3}Interactive Front-end and Language}{999}{section.15.3}
\contentsline {section}{\numberline {15.4}Library}{1000}{section.15.4}
\contentsline {section}{\numberline {15.5}HyperTex}{1001}{section.15.5}
\contentsline {section}{\numberline {15.6}Documentation}{1002}{section.15.6}
\contentsline {chapter}{\numberline {A}Axiom System Commands}{1003}{appendix.A}
\contentsline {section}{\numberline {A.1}Introduction}{1003}{section.A.1}
\contentsline {section}{\numberline {A.2})abbreviation}{1004}{section.A.2}
\contentsline {section}{\numberline {A.3})boot}{1006}{section.A.3}
\contentsline {section}{\numberline {A.4})browse}{1006}{section.A.4}
\contentsline {section}{\numberline {A.5})cd}{1007}{section.A.5}
\contentsline {section}{\numberline {A.6})close}{1007}{section.A.6}
\contentsline {section}{\numberline {A.7})clear}{1008}{section.A.7}
\contentsline {section}{\numberline {A.8})compile}{1009}{section.A.8}
\contentsline {section}{\numberline {A.9})display}{1012}{section.A.9}
\contentsline {section}{\numberline {A.10})edit}{1013}{section.A.10}
\contentsline {section}{\numberline {A.11})fin}{1014}{section.A.11}
\contentsline {section}{\numberline {A.12})frame}{1014}{section.A.12}
\contentsline {section}{\numberline {A.13})help}{1016}{section.A.13}
\contentsline {section}{\numberline {A.14})history}{1016}{section.A.14}
\contentsline {section}{\numberline {A.15})include}{1019}{section.A.15}
\contentsline {section}{\numberline {A.16})library}{1019}{section.A.16}
\contentsline {section}{\numberline {A.17})lisp}{1020}{section.A.17}
\contentsline {section}{\numberline {A.18})load}{1020}{section.A.18}
\contentsline {section}{\numberline {A.19})trace}{1021}{section.A.19}
\contentsline {section}{\numberline {A.20})pquit}{1021}{section.A.20}
\contentsline {section}{\numberline {A.21})quit}{1022}{section.A.21}
\contentsline {section}{\numberline {A.22})read}{1022}{section.A.22}
\contentsline {section}{\numberline {A.23})set}{1023}{section.A.23}
\contentsline {section}{\numberline {A.24})show}{1024}{section.A.24}
\contentsline {section}{\numberline {A.25})spool}{1025}{section.A.25}
\contentsline {section}{\numberline {A.26})synonym}{1025}{section.A.26}
\contentsline {section}{\numberline {A.27})system}{1026}{section.A.27}
\contentsline {section}{\numberline {A.28})trace}{1027}{section.A.28}
\contentsline {section}{\numberline {A.29})undo}{1031}{section.A.29}
\contentsline {section}{\numberline {A.30})what}{1032}{section.A.30}
\contentsline {chapter}{\numberline {B}Categories}{1035}{appendix.B}
\contentsline {chapter}{\numberline {C}Domains}{1047}{appendix.C}
\contentsline {chapter}{\numberline {D}Packages}{1079}{appendix.D}
\contentsline {chapter}{\numberline {E}Operations}{1095}{appendix.E}
\contentsline {chapter}{\numberline {F}Programs for AXIOM Images}{1199}{appendix.F}
\contentsline {section}{\numberline {F.1}images1.input}{1199}{section.F.1}
\contentsline {section}{\numberline {F.2}images2.input}{1200}{section.F.2}
\contentsline {section}{\numberline {F.3}images3.input}{1200}{section.F.3}
\contentsline {section}{\numberline {F.4}images5.input}{1200}{section.F.4}
\contentsline {section}{\numberline {F.5}images6.input}{1202}{section.F.5}
\contentsline {section}{\numberline {F.6}images7.input}{1202}{section.F.6}
\contentsline {section}{\numberline {F.7}images8.input}{1203}{section.F.7}
\contentsline {section}{\numberline {F.8}conformal.input}{1203}{section.F.8}
\contentsline {section}{\numberline {F.9}tknot.input}{1206}{section.F.9}
\contentsline {section}{\numberline {F.10}ntube.input}{1207}{section.F.10}
\contentsline {section}{\numberline {F.11}dhtri.input}{1208}{section.F.11}
\contentsline {section}{\numberline {F.12}tetra.input}{1209}{section.F.12}
\contentsline {section}{\numberline {F.13}antoine.input}{1211}{section.F.13}
\contentsline {section}{\numberline {F.14}scherk.input}{1212}{section.F.14}
\contentsline {chapter}{\numberline {G}Glossary}{1215}{appendix.G}
\contentsline {chapter}{\numberline {H}License}{1237}{appendix.H}
