|
|
|
|
— |
axiom_book_contents [2011/09/10 14:53] (current)
admin created |
| | <html> |
| | |
| | |
| | |
| | <body> |
| | |
| | <a name="chapter0"/> |
| | <h3>Chapter 0: Introduction to Axiom</h3> |
| | <a href="section-0.1.xhtml">0.1 Introduction to Axiom</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.1" class="subseccontents">0.1.1 Symbolic Computation</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.2" class="subseccontents">0.1.2 Numeric Computation</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.3" class="subseccontents">0.1.3 Graphics</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.4" class="subseccontents">0.1.4 HyperDoc</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.5" class="subseccontents">0.1.5 Interactive Programming </a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.6" class="subseccontents">0.1.6 Data Structures</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.7" class="subseccontents">0.1.7 Mathematical Structures</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.8" class="subseccontents">0.1.8 Pattern Matching</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.9" class="subseccontents">0.1.9 Polymorphic Algorithms</a><br/> |
| | <a href="section-0.1.xhtml#subsec-0.1.10" class="subseccontents">0.1.10 Extensibility</a><br/> |
| | <a href="section-0.2.xhtml">0.2 A Technical Introduction</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.1" class="subseccontents">0.2.1 Types are Defined by Abstract Datatype Programs</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.2" class="subseccontents">0.2.2 The Type of Basic Objects is a Domain or Subdomain</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.3" class="subseccontents">0.2.3 Domains Have Types Called Categories</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.4" class="subseccontents">0.2.4 Operations Can Refer To Abstract Types</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.5" class="subseccontents">0.2.5 Categories Form Hierarchies</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.6" class="subseccontents">0.2.6 Domains Belong to Categories by Assertion</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.7" class="subseccontents">0.2.7 Packages Are Clusters of Polymorphic Operations</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.8" class="subseccontents">0.2.8 The Interpreter Builds Domains Dynamically</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.9" class="subseccontents">0.2.9 Axiom Code is Compiled</a><br/> |
| | <a href="section-0.2.xhtml#subsec-0.2.10" class="subseccontents">0.2.10 Axiom is Extensible</a><br/> |
| | <a href="section-0.3.xhtml">0.3 Using Axiom as a Pocket Calculator</a><br/> |
| | <a href="section-0.3.xhtml#subsec-0.3.1" class="subseccontents">0.3.1 Basic Arithmetic</a><br/> |
| | <a href="section-0.3.xhtml#subsec-0.3.2" class="subseccontents">0.3.2 Type Conversion</a><br/> |
| | <a href="section-0.3.xhtml#subsec-0.3.3" class="subseccontents">0.3.3 Useful Functions</a><br/> |
| | <a href="section-0.4.xhtml">0.4 Using Axiom as a Symbolic Calculator</a><br/> |
| | <a href="section-0.4.xhtml#subsec-0.4.1" class="subseccontents">0.4.1 Expressions Involving Symbols</a><br/> |
| | <a href="section-0.4.xhtml#subsec-0.4.2" class="subseccontents">0.4.2 Complex Numbers</a><br/> |
| | <a href="section-0.4.xhtml#subsec-0.4.3" class="subseccontents">0.4.3 Number Representations</a><br/> |
| | <a href="section-0.4.xhtml#subsec-0.4.4" class="subseccontents">0.4.4 Modular Arithmetic</a><br/> |
| | <a href="section-0.5.xhtml">0.5 General Points about Axiom</a><br/> |
| | <a href="section-0.5.xhtml#subsec-0.5.1" class="subseccontents">0.5.1 Computation Without Output</a><br/> |
| | <a href="section-0.5.xhtml#subsec-0.5.2" class="subseccontents">0.5.2 Accessing Earlier Results</a><br/> |
| | <a href="section-0.5.xhtml#subsec-0.5.3" class="subseccontents">0.5.3 Splitting Expressions Over Several Lines</a><br/> |
| | <a href="section-0.5.xhtml#subsec-0.5.4" class="subseccontents">0.5.4 Comments and Descriptions</a><br/> |
| | <a href="section-0.5.xhtml#subsec-0.5.5" class="subseccontents">0.5.5 Control of Result Types</a><br/> |
| | <a href="section-0.6.xhtml">0.6 Data Structures in Axiom</a><br/> |
| | <a href="section-0.6.xhtml#subsec-0.6.1" class="subseccontents">0.6.1 Lists</a><br/> |
| | <a href="section-0.6.xhtml#subsec-0.6.2" class="subseccontents">0.6.2 Segmented Lists</a><br/> |
| | <a href="section-0.6.xhtml#subsec-0.6.3" class="subseccontents">0.6.3 Streams</a><br/> |
| | <a href="section-0.6.xhtml#subsec-0.6.4" class="subseccontents">0.6.4 Arrays, Vectors, Strings, and Bits</a><br/> |
| | <a href="section-0.6.xhtml#subsec-0.6.5" class="subseccontents">0.6.5 Flexible Arrays</a><br/> |
| | <a href="section-0.7.xhtml">0.7 Functions, Choices, and Loops</a><br/> |
| | <a href="section-0.7.xhtml#subsec-0.7.1" class="subseccontents">0.7.1 Reading Code from a File</a><br/> |
| | <a href="section-0.7.xhtml#subsec-0.7.2" class="subseccontents">0.7.2 Blocks</a><br/> |
| | <a href="section-0.7.xhtml#subsec-0.7.3" class="subseccontents">0.7.3 Functions</a><br/> |
| | <a href="section-0.7.xhtml#subsec-0.7.4" class="subseccontents">0.7.4 Choices</a><br/> |
| | <a href="section-0.7.xhtml#subsec-0.7.5" class="subseccontents">0.7.5 Loops</a><br/> |
| | <a href="section-0.7.xhtml#subsubsec-0.7.5.1" class="subsubseccontents">0.7.5.1 The <span class="teletype">repeat</span> loop</a><br/> |
| | <a href="section-0.7.xhtml#subsubsec-0.7.5.2" class="subsubseccontents">0.7.5.2 The <span class="teletype">while</span> loop</a><br/> |
| | <a href="section-0.7.xhtml#subsubsec-0.7.5.3" class="subsubseccontents">0.7.5.3 The <span class="teletype">for</span> loop</a><br/> |
| | |
| | <a name="chapter1"/> |
| | <h3>Chapter 1: An Overview of Axiom</h3> |
| | <a href="section-1.0.xhtml">1.0 An Overview of Axiom</a><br/> |
| | <a href="section-1.1.xhtml">1.1 Starting Up and Winding Down</a><br/> |
| | <a href="section-1.1.xhtml#subsec-1.1.1" class="subseccontents">1.1.1 Clef</a><br/> |
| | <a href="section-1.2.xhtml">1.2 Typographic Conventions</a><br/> |
| | <a href="section-1.3.xhtml">1.3 The Axiom Language</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.1" class="subseccontents">1.3.1 Arithmetic Expressions</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.2" class="subseccontents">1.3.2 Previous Results</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.3" class="subseccontents">1.3.3 Some Types</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.4" class="subseccontents">1.3.4 Symbols, Variables, Assignments, and Declarations</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.5" class="subseccontents">1.3.5 Conversion</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.6" class="subseccontents">1.3.6 Calling Functions</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.7" class="subseccontents">1.3.7 Some Predefined Macros</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.8" class="subseccontents">1.3.8 Long Lines</a><br/> |
| | <a href="section-1.3.xhtml#subsec-1.3.9" class="subseccontents">1.3.9 Comments</a><br/> |
| | <a href="section-1.4.xhtml">1.4 Numbers</a><br/> |
| | <a href="section-1.5.xhtml">1.5 Data Structures</a><br/> |
| | <a href="section-1.6.xhtml">1.6 Expanding to Higher Dimensions</a><br/> |
| | <a href="section-1.7.xhtml">1.7 Writing Your Own Functions</a><br/> |
| | <a href="section-1.8.xhtml">1.8 Polynomials</a><br/> |
| | <a href="section-1.9.xhtml">1.9 Limits</a><br/> |
| | <a href="section-1.10.xhtml">1.10 Series</a><br/> |
| | <a href="section-1.11.xhtml">1.11 Derivatives</a><br/> |
| | <a href="section-1.12.xhtml">1.12 Integration</a><br/> |
| | <a href="section-1.13.xhtml">1.13 Differential Equations</a><br/> |
| | <a href="section-1.14.xhtml">1.14 Solution of Equations</a><br/> |
| | <a href="section-1.15.xhtml">1.15 System Commands</a><br/> |
| | <a href="section-1.15.xhtml#subsec-1.15.1" class="subseccontents">1.15.1 Undo</a><br/> |
| | <a href="section-1.16.xhtml">1.16 Graphics</a><br/> |
| | |
| | <a name="chapter2"/> |
| | <h3>Chapter 2: Using Types and Modes</h3> |
| | <a href="section-2.0.xhtml">2.0 Using Types and Modes</a><br/> |
| | <a href="section-2.1.xhtml">2.1 The Basic Idea</a><br/> |
| | <a href="section-2.1.xhtml#subsec-2.1.1" class="subseccontents">2.1.1 Domain Constructors</a><br/> |
| | <a href="section-2.2.xhtml">2.2 Writing Types and Modes</a><br/> |
| | <a href="section-2.2.xhtml#subsec-2.2.1" class="subseccontents">2.2.1 Types with No Arguments</a><br/> |
| | <a href="section-2.2.xhtml#subsec-2.2.2" class="subseccontents">2.2.2 Types with One Argument</a><br/> |
| | <a href="section-2.2.xhtml#subsec-2.2.3" class="subseccontents">2.2.3 Types with More Than One Argument</a><br/> |
| | <a href="section-2.2.xhtml#subsec-2.2.4" class="subseccontents">2.2.4 Modes</a><br/> |
| | <a href="section-2.2.xhtml#subsec-2.2.5" class="subseccontents">2.2.5 Abbreviations</a><br/> |
| | <a href="section-2.3.xhtml">2.3 Declarations</a><br/> |
| | <a href="section-2.4.xhtml">2.4 Records</a><br/> |
| | <a href="section-2.5.xhtml">2.5 Unions</a><br/> |
| | <a href="section-2.5.xhtml#subsec-2.5.1" class="subseccontents">2.5.1 Unions Without Selectors</a><br/> |
| | <a href="section-2.5.xhtml#subsec-2.5.2" class="subseccontents">2.5.2 Unions With Selectors</a><br/> |
| | <a href="section-2.6.xhtml">2.6 The ``Any'' Domain</a><br/> |
| | <a href="section-2.7.xhtml">2.7 Conversion</a><br/> |
| | <a href="section-2.8.xhtml">2.8 Subdomains Again</a><br/> |
| | <a href="section-2.9.xhtml">2.9 Package Calling and Target Types</a><br/> |
| | <a href="section-2.10.xhtml">2.10 Resolving Types</a><br/> |
| | <a href="section-2.11.xhtml">2.11 Exposing Domains and Packages</a><br/> |
| | <a href="section-2.12.xhtml">2.12 Commands for Snooping</a><br/> |
| | |
| | <a name="chapter3"/> |
| | <h3>Chapter 3: Using HyperDoc</h3> |
| | <a href="section-3.0.xhtml">3.0 Using HyperDoc</a><br/> |
| | <a href="section-3.1.xhtml">3.1 Headings</a><br/> |
| | <a href="section-3.2.xhtml">3.2 Key Definitions</a><br/> |
| | <a href="section-3.3.xhtml">3.3 Scroll Bars</a><br/> |
| | <a href="section-3.4.xhtml">3.4 Input Areas</a><br/> |
| | <a href="section-3.5.xhtml">3.5 Radio Buttons and Toggles</a><br/> |
| | <a href="section-3.6.xhtml">3.6 Search Strings</a><br/> |
| | <a href="section-3.6.xhtml#subsec-3.6.1" class="subseccontents">3.6.1 Logical Searches</a><br/> |
| | <a href="section-3.7.xhtml">3.7 Example Pages</a><br/> |
| | <a href="section-3.8.xhtml">3.8 X Window Resources for HyperDoc</a><br/> |
| | |
| | <a name="chapter4"/> |
| | <h3>Chapter 4: Input Files and Output Styles</h3> |
| | <a href="section-4.0.xhtml">4.0 Input Files and Output Styles</a><br/> |
| | <a href="section-4.1.xhtml">4.1 Input Files</a><br/> |
| | <a href="section-4.2.xhtml">4.2 The .axiom.input File</a><br/> |
| | <a href="section-4.3.xhtml">4.3 Common Features of Using Output Formats</a><br/> |
| | <a href="section-4.4.xhtml">4.4 Monospace Two-Dimensional Mathematical Format</a><br/> |
| | <a href="section-4.5.xhtml">4.5 TeX Format</a><br/> |
| | <a href="section-4.6.xhtml">4.6 IBM Script Formula Format</a><br/> |
| | <a href="section-4.7.xhtml">4.7 FORTRAN Format</a><br/> |
| | |
| | <a name="chapter5"/> |
| | <h3>Chapter 5: Overview of Interactive Language</h3> |
| | <a href="section-5.0.xhtml">5.0 Interactive Language</a><br/> |
| | <a href="section-5.1.xhtml">5.1 Immediate and Delayed Assignments</a><br/> |
| | <a href="section-5.2.xhtml">5.2 Blocks</a><br/> |
| | <a href="section-5.3.xhtml">5.3 if-then-else</a><br/> |
| | <a href="section-5.4.xhtml">5.4 Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.1" class="subseccontents">5.4.1 Compiling vs. Interpreting Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.2" class="subseccontents">5.4.2 return in Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.3" class="subseccontents">5.4.3 break in Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.4" class="subseccontents">5.4.4 break vs. <span class="teletype">=></span> in Loop Bodies</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.5" class="subseccontents">5.4.5 More Examples of break</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.6" class="subseccontents">5.4.6 iterate in Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.7" class="subseccontents">5.4.7 while Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.8" class="subseccontents">5.4.8 for Loops</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.9" class="subseccontents">5.4.9 for i in n..m repeat</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.10" class="subseccontents">5.4.10 for i in n..m by s repeat</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.11" class="subseccontents">5.4.11 for i in n.. repeat</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.12" class="subseccontents">5.4.12 for x in l repeat</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.13" class="subseccontents">5.4.13 ``Such that'' Predicates</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.14" class="subseccontents">5.4.14 Parallel Iteration</a><br/> |
| | <a href="section-5.4.xhtml#subsec-5.4.15" class="subseccontents">5.4.15 Mixing Loop Modifiers</a><br/> |
| | <a href="section-5.5.xhtml">5.5 Creating Lists and Streams with Iterators</a><br/> |
| | <a href="section-5.6.xhtml">5.6 An Example: Streams of Primes</a><br/> |
| | |
| | <a name="chapter6"/> |
| | <h3>Chapter 6: User-Defined Functions, Macros and Rules</h3> |
| | <a href="section-6.0.xhtml">6.0 Functions, Macros and Rules</a><br/> |
| | <a href="section-6.1.xhtml">6.1 Functions vs. Macros</a><br/> |
| | <a href="section-6.2.xhtml">6.2 Macros</a><br/> |
| | <a href="section-6.3.xhtml">6.3 Introduction to Functions</a><br/> |
| | <a href="section-6.4.xhtml">6.4 Declaring the Type of Functions</a><br/> |
| | <a href="section-6.5.xhtml">6.5 One-Line Functions</a><br/> |
| | <a href="section-6.6.xhtml">6.6 Declared vs. Undeclared Functions</a><br/> |
| | <a href="section-6.7.xhtml">6.7 Functions vs. Operations</a><br/> |
| | <a href="section-6.8.xhtml">6.8 Delayed Assignments vs. Functions with No Arguments</a><br/> |
| | <a href="section-6.9.xhtml">6.9 How Axiom Determines What Function to Use</a><br/> |
| | <a href="section-6.10.xhtml">6.10 Compiling vs. Interpreting</a><br/> |
| | <a href="section-6.11.xhtml">6.11 Piece-Wise Function Definitions</a><br/> |
| | <a href="section-6.11.xhtml#subsec-6.11.1" class="subseccontents">6.11.1 A Basic Example</a><br/> |
| | <a href="section-6.11.xhtml#subsec-6.11.2" class="subseccontents">6.11.2 Picking Up the Pieces</a><br/> |
| | <a href="section-6.11.xhtml#subsec-6.11.3" class="subseccontents">6.11.3 Predicates</a><br/> |
| | <a href="section-6.12.xhtml">6.12 Caching Previously Computed Results</a><br/> |
| | <a href="section-6.13.xhtml">6.13 Recurrence Relations</a><br/> |
| | <a href="section-6.14.xhtml">6.14 Making Functions from Objects</a><br/> |
| | <a href="section-6.15.xhtml">6.15 Functions Defined with Blocks</a><br/> |
| | <a href="section-6.16.xhtml">6.16 Free and Local Variables</a><br/> |
| | <a href="section-6.17.xhtml">6.17 Anonymous Functions</a><br/> |
| | <a href="section-6.17.xhtml#subsec-6.17.1" class="subseccontents">6.17.1 Some Examples</a><br/> |
| | <a href="section-6.17.xhtml#subsec-6.17.2" class="subseccontents">6.17.2 Declaring Anonymous Functions</a><br/> |
| | <a href="section-6.18.xhtml">6.18 Example: A Database</a><br/> |
| | <a href="section-6.19.xhtml">6.19 Example: A Famous Triangle</a><br/> |
| | <a href="section-6.20.xhtml">6.20 Example: Testing for Palindromes</a><br/> |
| | <a href="section-6.21.xhtml">6.21 Rules and Pattern Matching</a><br/> |
| | |
| | <a name="chapter7"/> |
| | <h3>Chapter 7: Graphics</h3> |
| | <a href="section-7.0.xhtml">7.0 Graphics</a><br/> |
| | <a href="section-7.1.xhtml">7.1 Two-Dimensional Graphics</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.1" class="subseccontents">7.1.1 Plotting Two-Dimensional Functions of One Variable</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.2" class="subseccontents">7.1.2 Plotting Two-Dimensional Parametric Plane Curves</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.3" class="subseccontents">7.1.3 Plotting Plane Algebraic Curves</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.4" class="subseccontents">7.1.4 Two-Dimensional Options</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.5" class="subseccontents">7.1.5 Color</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.6" class="subseccontents">7.1.6 Palette</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.7" class="subseccontents">7.1.7 Two-Dimensional Control-Panel</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.7.1" class="subsubseccontents">7.1.7.1 Transformations</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.7.2" class="subsubseccontents">7.1.7.2 Messages</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.7.3" class="subsubseccontents">7.1.7.3 Multiple Graphs</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.7.4" class="subsubseccontents">7.1.7.4 Buttons</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.8" class="subseccontents">7.1.8 Operations for Two-Dimensional Graphics</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.9" class="subseccontents">7.1.9 Addendum: Building Two-Dimensional Graphs</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.9.1" class="subsubseccontents">7.1.9.1 Creating a Two-Dimensional Viewport from a List of Points</a><br/> |
| | <a href="section-7.1.xhtml#subsubsec-7.1.9.2" class="subsubseccontents">7.1.9.2 Creating a Two-Dimensional Viewport of a List of Points from a File</a><br/> |
| | <a href="section-7.1.xhtml#subsec-7.1.10" class="subseccontents">7.1.10 Addendum: Appending a Graph to a Viewport Window Containing a Graph</a><br/> |
| | <a href="section-7.2.xhtml">7.2 Three-Dimensional Graphics</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.1" class="subseccontents">7.2.1 Plotting Three-Dimensional Functions of Two Variables</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.2" class="subseccontents">7.2.2 Plotting Three-Dimensional Parametric Space Curves</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.3" class="subseccontents">7.2.3 Plotting Three-Dimensional Parametric Surfaces</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.4" class="subseccontents">7.2.4 Three-Dimensional Options</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.5" class="subseccontents">7.2.5 The makeObject Command</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.6" class="subseccontents">7.2.6 Building Three-Dimensional Objects From Primitives</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.6.1" class="subsubseccontents">7.2.6.1 Cube Example</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.7" class="subseccontents">7.2.7 Coordinate System Transformations</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.8" class="subseccontents">7.2.8 Three-Dimensional Clipping</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.9" class="subseccontents">7.2.9 Three-Dimensional Control-Panel</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.1" class="subsubseccontents">7.2.9.1 Transformations</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.2" class="subsubseccontents">7.2.9.2 Messages</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.3" class="subsubseccontents">7.2.9.3 Colormap</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.4" class="subsubseccontents">7.2.9.4 Buttons</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.5" class="subsubseccontents">7.2.9.5 Light</a><br/> |
| | <a href="section-7.2.xhtml#subsubsec-7.2.9.6" class="subsubseccontents">7.2.9.6 View Volume</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.10" class="subseccontents">7.2.10 Operations for Three-Dimensional Graphics</a><br/> |
| | <a href="section-7.2.xhtml#subsec-7.2.11" class="subseccontents">7.2.11 Customization using .Xdefaults</a><br/> |
| | |
| | <a name="chapter8"/> |
| | <h3>Chapter 8: Advanced Problem Solving</h3> |
| | <a href="section-8.0.xhtml">8.0 Advanced Problem Solving</a><br/> |
| | <a href="section-8.1.xhtml">8.1 Numeric Functions</a><br/> |
| | <a href="section-8.2.xhtml">8.2 Polynomial Factorization</a><br/> |
| | <a href="section-8.2.xhtml#subsec-8.2.1" class="subseccontents">8.2.1 Integer and Rational Number Coefficients</a><br/> |
| | <a href="section-8.2.xhtml#subsec-8.2.2" class="subseccontents">8.2.2 Finite Field Coefficients</a><br/> |
| | <a href="section-8.2.xhtml#subsec-8.2.3" class="subseccontents">8.2.3 Simple Algebraic Extension Field Coefficients</a><br/> |
| | <a href="section-8.2.xhtml#subsec-8.2.4" class="subseccontents">8.2.4 Factoring Rational Functions</a><br/> |
| | <a href="section-8.3.xhtml">8.3 Manipulating Symbolic Roots of a Polynomial</a><br/> |
| | <a href="section-8.3.xhtml#subsec-8.3.1" class="subseccontents">8.3.1 Using a Single Root of a Polynomial</a><br/> |
| | <a href="section-8.3.xhtml#subsec-8.3.2" class="subseccontents">8.3.2 Using All Roots of a Polynomial</a><br/> |
| | <a href="section-8.4.xhtml">8.4 Computation of Eigenvalues and Eigenvectors</a><br/> |
| | <a href="section-8.5.xhtml">8.5 Solution of Linear and Polynomial Equations</a><br/> |
| | <a href="section-8.5.xhtml#subsec-8.5.1" class="subseccontents">8.5.1 Solution of Systems of Linear Equations</a><br/> |
| | <a href="section-8.5.xhtml#subsec-8.5.2" class="subseccontents">8.5.2 Solution of a Single Polynomial Equation</a><br/> |
| | <a href="section-8.5.xhtml#subsec-8.5.3" class="subseccontents">8.5.3 Solution of Systems of Polynomial Equations</a><br/> |
| | <a href="section-8.6.xhtml">8.6 Limits</a><br/> |
| | <a href="section-8.7.xhtml">8.7 Laplace Transforms</a><br/> |
| | <a href="section-8.8.xhtml">8.8 Integration</a><br/> |
| | <a href="section-8.9.xhtml">8.9 Working with Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.1" class="subseccontents">8.9.1 Creation of Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.2" class="subseccontents">8.9.2 Coefficients of Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.3" class="subseccontents">8.9.3 Power Series Arithmetic</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.4" class="subseccontents">8.9.4 Functions on Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.5" class="subseccontents">8.9.5 Converting to Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.6" class="subseccontents">8.9.6 Power Series from Formulas</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.7" class="subseccontents">8.9.7 Substituting Numerical Values in Power Series</a><br/> |
| | <a href="section-8.9.xhtml#subsec-8.9.8" class="subseccontents">8.9.8 Example: Bernoulli Polynomials and Sums of Powers</a><br/> |
| | <a href="section-8.10.xhtml">8.10 Solution of Differential Equations</a><br/> |
| | <a href="section-8.10.xhtml#subsec-8.10.1" class="subseccontents">8.10.1 Closed-Form Solutions of Linear Differential Equations</a><br/> |
| | <a href="section-8.10.xhtml#subsec-8.10.2" class="subseccontents">8.10.2 Closed-Form Solutions of Non-Linear Differential Equations</a><br/> |
| | <a href="section-8.10.xhtml#subsec-8.10.3" class="subseccontents">8.10.3 Power Series Solutions of Differential Equations</a><br/> |
| | <a href="section-8.11.xhtml">8.11 Finite Fields</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.1" class="subseccontents">8.11.1 Modular Arithmetic and Prime Fields</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.2" class="subseccontents">8.11.2 Extensions of Finite Fields</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.3" class="subseccontents">8.11.3 Irreducible Modulus Polynomial Representations</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.4" class="subseccontents">8.11.4 Cyclic Group Representations</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.5" class="subseccontents">8.11.5 Normal Basis Representations</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.6" class="subseccontents">8.11.6 Conversion Operations for Finite Fields</a><br/> |
| | <a href="section-8.11.xhtml#subsec-8.11.7" class="subseccontents">8.11.7 Utility Operations for Finite Fields</a><br/> |
| | <a href="section-8.12.xhtml">8.12 Primary Decomposition of Ideals</a><br/> |
| | <a href="section-8.13.xhtml">8.13 Computation of Galois Groups</a><br/> |
| | <a href="section-8.14.xhtml">8.14 Non-Associative Algebras and Modelling Genetic Laws</a><br/> |
| | |
| | <a name="chapter9"/> |
| | <h3>Chapter 9: Some Examples of Domains and Packages</h3> |
| | <a href="section-9.1.xhtml">9.1 AssociationList</a><br/> |
| | <a href="section-9.2.xhtml">9.2 BalancedBinaryTree</a><br/> |
| | <a href="section-9.3.xhtml">9.3 BasicOperator</a><br/> |
| | <a href="section-9.4.xhtml">9.4 BinaryExpansion</a><br/> |
| | <a href="section-9.5.xhtml">9.5 BinarySearchTree</a><br/> |
| | <a href="section-9.6.xhtml">9.6 CardinalNumber</a><br/> |
| | <a href="section-9.7.xhtml">9.7 CartesianTensor</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.1" class="subseccontents">7.1 Forming tensors</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.2" class="subseccontents">7.2 Multiplication</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.3" class="subseccontents">7.3 Selecting Components</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.4" class="subseccontents">7.4 Contraction</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.5" class="subseccontents">7.5 Transpositions</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.6" class="subseccontents">7.6 Arithmetic</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.7" class="subseccontents">7.7 Specific Tensors</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.8" class="subseccontents">7.8 Properties of the CartesianTensor domain</a><br/> |
| | <a href="section-9.7.xhtml#subsec-7.9" class="subseccontents">7.9 Tensor Calculus</a><br/> |
| | <a href="section-9.8.xhtml">9.8 Character</a><br/> |
| | <a href="section-9.9.xhtml">9.9 CharacterClass</a><br/> |
| | <a href="section-9.10.xhtml">9.10 CliffordAlgebra</a><br/> |
| | <a href="section-9.10.xhtml#subsec-9.10.1" class="subseccontents">9.10.1 The Complex Numbers as a Clifford Algebra</a><br/> |
| | <a href="section-9.10.xhtml#subsec-9.10.2" class="subseccontents">9.10.2 The Quaternion Numbers as a Clifford Algebra</a><br/> |
| | <a href="section-9.10.xhtml#subsec-9.10.3" class="subseccontents">9.10.3 The Exterior Algebra on a Three Space</a><br/> |
| | <a href="section-9.10.xhtml#subsec-9.10.4" class="subseccontents">9.10.4 The Dirac Spin Algebra</a><br/> |
| | <a href="section-9.11.xhtml">9.11 Complex</a><br/> |
| | <a href="section-9.12.xhtml">9.12 ContinuedFraction</a><br/> |
| | |
| | <a href="section-9.13.xhtml">9.13 CycleIndicators</a><br/> |
| | <a href="section-9.14.xhtml">9.14 DeRhamComplex</a><br/> |
| | <a href="section-9.15.xhtml">9.15 DecimalExpansion</a><br/> |
| | <a href="section-9.16.xhtml">9.16 DistributedMultivariatePolynomial</a><br/> |
| | <a href="section-9.17.xhtml">9.17 DoubleFloat</a><br/> |
| | <a href="section-9.18.xhtml">9.18 EqTable</a><br/> |
| | <a href="section-9.19.xhtml">9.19 Equation</a><br/> |
| | <a href="section-9.20.xhtml">9.20 Exit</a><br/> |
| | <a href="section-9.21.xhtml">9.21 Expression</a><br/> |
| | <a href="section-9.22.xhtml">9.22 Factored</a><br/> |
| | <a href="section-9.22.xhtml#subsec-9.22.1" class="subseccontents">9.22.1 Decomposing Factored Objects</a><br/> |
| | <a href="section-9.22.xhtml#subsec-9.22.2" class="subseccontents">9.22.2 Expanding Factored Objects</a><br/> |
| | <a href="section-9.22.xhtml#subsec-9.22.3" class="subseccontents">9.22.3 Arithmetic with Factored Objects</a><br/> |
| | <a href="section-9.22.xhtml#subsec-9.22.4" class="subseccontents">9.22.4 Creating New Factored Objects</a><br/> |
| | <a href="section-9.22.xhtml#subsec-9.22.5" class="subseccontents">9.22.5 Factored Objects with Variables</a><br/> |
| | <a href="section-9.23.xhtml">9.23 FactoredFunctions2</a><br/> |
| | <a href="section-9.24.xhtml">9.24 File</a><br/> |
| | <a href="section-9.25.xhtml">9.25 FileName</a><br/> |
| | <a href="section-9.26.xhtml">9.26 FlexibleArray</a><br/> |
| | |
| | <a href="section-9.27.xhtml">9.27 Float</a><br/> |
| | <a href="section-9.27.xhtml#subsec-9.27.1" class="subseccontents">9.27.1 Introduction to Float</a><br/> |
| | <a href="section-9.27.xhtml#subsec-9.27.2" class="subseccontents">9.27.2 Conversion Functions</a><br/> |
| | <a href="section-9.27.xhtml#subsec-9.27.3" class="subseccontents">9.27.3 Output Functions</a><br/> |
| | <a href="section-9.27.xhtml#subsec-9.27.4" class="subseccontents">9.27.4 An Example: Determinant of a Hilbert Matrix</a><br/> |
| | <a href="section-9.28.xhtml">9.28 Fraction</a><br/> |
| | <a href="section-9.29.xhtml">9.29 FullPartialFractionExpansion</a><br/> |
| | <a href="section-9.30.xhtml">9.30 GeneralSparseTable</a><br/> |
| | <a href="section-9.31.xhtml">9.31 GroebnerFactorizationPackage</a><br/> |
| | <a href="section-9.32.xhtml">9.32 Heap</a><br/> |
| | <a href="section-9.33.xhtml">9.33 HexadecimalExpansion</a><br/> |
| | <a href="section-9.34.xhtml">9.34 Integer</a><br/> |
| | <a href="section-9.34.xhtml#subsec-9.34.1" class="subseccontents">9.34.1 Basic Functions</a><br/> |
| | <a href="section-9.34.xhtml#subsec-9.34.2" class="subseccontents">9.34.2 Primes and Factorization</a><br/> |
| | <a href="section-9.34.xhtml#subsec-9.34.3" class="subseccontents">9.34.3 Some Number Theoretic Functions</a><br/> |
| | <a href="section-9.35.xhtml">9.35 IntegerLinearDependence</a><br/> |
| | <a href="section-9.36.xhtml">9.36 IntegerNumberTheoryFunctions</a><br/> |
| | <a href="section-9.37.xhtml">9.37 Kernel</a><br/> |
| | |
| | <a href="section-9.38.xhtml">9.38 KeyedAccessFile</a><br/> |
| | <a href="section-9.39.xhtml">9.39 LexTriangularPackage</a><br/> |
| | <a href="section-9.40.xhtml">9.40 LazardSetSolvingPackage</a><br/> |
| | <a href="section-9.41.xhtml">9.41 Library</a><br/> |
| | <a href="section-9.42.xhtml">9.42 LieExponentials</a><br/> |
| | <a href="section-9.43.xhtml">9.43 LiePolynomial</a><br/> |
| | <a href="section-9.44.xhtml">9.44 LinearOrdinaryDifferentialOperator</a><br/> |
| | <a href="section-9.44.xhtml#subsec-9.44.1" class="subseccontents">9.44.1 Differential Operators with Series Coefficients</a><br/> |
| | |
| | <a href="section-9.45.xhtml">9.45 LinearOrdinaryDifferentialOperator1</a><br/> |
| | <a href="section-9.45.xhtml#subsec-9.45.1" class="subseccontents">9.45.1 Differential Operators with Rational Function Coefficients</a><br/> |
| | <a href="section-9.46.xhtml">9.46 LinearOrdinaryDifferentialOperator2</a><br/> |
| | <a href="section-9.46.xhtml#subsec-9.46.1" class="subseccontents">9.46.1 Differential Operators with Constant Coefficients</a><br/> |
| | <a href="section-9.46.xhtml#subsec-9.46.2" class="subseccontents">9.46.2 Differential Operators with Matrix Coefficients Operating on Vectors</a><br/> |
| | <a href="section-9.47.xhtml">9.47 List</a><br/> |
| | <a href="section-9.47.xhtml#subsec-9.47.1" class="subseccontents">9.47.1 Creating Lists</a><br/> |
| | <a href="section-9.47.xhtml#subsec-9.47.2" class="subseccontents">9.47.2 Accessing List Elements</a><br/> |
| | <a href="section-9.47.xhtml#subsec-9.47.3" class="subseccontents">9.47.3 Changing List Elements</a><br/> |
| | <a href="section-9.47.xhtml#subsec-9.47.4" class="subseccontents">9.47.4 Other Functions</a><br/> |
| | <a href="section-9.47.xhtml#subsec-9.47.5" class="subseccontents">9.47.5 Dot, Dot</a><br/> |
| | <a href="section-9.48.xhtml">9.48 LyndonWord</a><br/> |
| | <a href="section-9.49.xhtml">9.49 Magma</a><br/> |
| | <a href="section-9.50.xhtml">9.50 MakeFunction</a><br/> |
| | <a href="section-9.51.xhtml">9.51 MappingPackage1</a><br/> |
| | <a href="section-9.52.xhtml">9.52 Matrix</a><br/> |
| | <a href="section-9.52.xhtml#subsec-9.52.1" class="subseccontents">9.52.1 Creating Matrices</a><br/> |
| | <a href="section-9.52.xhtml#subsec-9.52.2" class="subseccontents">9.52.2 Operations on Matrices</a><br/> |
| | <a href="section-9.53.xhtml">9.53 MultiSet</a><br/> |
| | <a href="section-9.54.xhtml">9.54 MultivariatePolynomial</a><br/> |
| | <a href="section-9.55.xhtml">9.55 None</a><br/> |
| | <a href="section-9.56.xhtml">9.56 Octonion</a><br/> |
| | <a href="section-9.57.xhtml">9.57 OneDimensionalArray</a><br/> |
| | |
| | <a href="section-9.58.xhtml">9.58 Operator</a><br/> |
| | <a href="section-9.59.xhtml">9.59 OrderedVariableList</a><br/> |
| | <a href="section-9.60.xhtml">9.60 OrderlyDifferentialPolynomial</a><br/> |
| | <a href="section-9.61.xhtml">9.61 PartialFraction</a><br/> |
| | <a href="section-9.62.xhtml">9.62 Permanent</a><br/> |
| | <a href="section-9.63.xhtml">9.63 Polynomial</a><br/> |
| | <a href="section-9.64.xhtml">9.64 Quaternion</a><br/> |
| | <a href="section-9.65.xhtml">9.65 RadixExpansion</a><br/> |
| | <a href="section-9.66.xhtml">9.66 RealClosure</a><br/> |
| | <a href="section-9.67.xhtml">9.67 RegularTriangularSet</a><br/> |
| | <a href="section-9.68.xhtml">9.68 RomanNumeral</a><br/> |
| | |
| | <a href="section-9.69.xhtml">9.69 Segment</a><br/> |
| | <a href="section-9.70.xhtml">9.70 SegmentBinding</a><br/> |
| | <a href="section-9.71.xhtml">9.71 Set</a><br/> |
| | <a href="section-9.72.xhtml">9.72 SingleInteger</a><br/> |
| | <a href="section-9.73.xhtml">9.73 SparseTable</a><br/> |
| | <a href="section-9.74.xhtml">9.74 SquareMatrix</a><br/> |
| | <a href="section-9.75.xhtml">9.75 SquareFreeRegularTriangularSet</a><br/> |
| | <a href="section-9.76.xhtml">9.76 Stream</a><br/> |
| | <a href="section-9.77.xhtml">9.77 String</a><br/> |
| | <a href="section-9.78.xhtml">9.78 StringTable</a><br/> |
| | <a href="section-9.79.xhtml">9.79 Symbol</a><br/> |
| | <a href="section-9.80.xhtml">9.80 Table</a><br/> |
| | <a href="section-9.81.xhtml">9.81 TextFile</a><br/> |
| | <a href="section-9.82.xhtml">9.82 TwoDimensionalArray</a><br/> |
| | |
| | <a href="section-9.83.xhtml">9.83 UnivariatePolynomial</a><br/> |
| | <a href="section-9.84.xhtml">9.84 UniversalSegment</a><br/> |
| | <a href="section-9.85.xhtml">9.85 Vector</a><br/> |
| | <a href="section-9.86.xhtml">9.86 Void</a><br/> |
| | <a href="section-9.87.xhtml">9.87 WuWenTsunTriangularSet</a><br/> |
| | <a href="section-9.88.xhtml">9.88 XPBWPolynomial</a><br/> |
| | <a href="section-9.89.xhtml">9.89 XPolynomial</a><br/> |
| | <a href="section-9.90.xhtml">9.90 XPolynomialRing</a><br/> |
| | <a href="section-9.91.xhtml">9.91 ZeroDimensionalSolvePackage</a><br/> |
| | |
| | <a name="chapter10"/> |
| | <h3>Chapter 10: Interactive Programming</h3> |
| | <a href="section-10.0.xhtml">10.0 Interactive Programming</a><br/> |
| | <a href="section-10.1.xhtml">10.1 Drawing Ribbons Interactively</a><br/> |
| | <a href="section-10.2.xhtml">10.2 A Ribbon Program</a><br/> |
| | <a href="section-10.3.xhtml">10.3 Coloring and Positioning Ribbons</a><br/> |
| | <a href="section-10.4.xhtml">10.4 Points, Lines, and Curves</a><br/> |
| | <a href="section-10.5.xhtml">10.5 A Bouquet of Arrows</a><br/> |
| | <a href="section-10.6.xhtml">10.6 Diversion: When Things Go Wrong</a><br/> |
| | <a href="section-10.7.xhtml">10.7 Drawing Complex Vector Fields</a><br/> |
| | <a href="section-10.8.xhtml">10.8 Drawing Complex Functions</a><br/> |
| | <a href="section-10.9.xhtml">10.9 Functions Producing Functions</a><br/> |
| | <a href="section-10.10.xhtml">10.10 Automatic Newton Iteration Formulas</a><br/> |
| | |
| | <a name="chapter11"/> |
| | <h3>Chapter 11: Packages</h3> |
| | <a href="section-11.0.xhtml">11.0 Packages</a><br/> |
| | <a href="section-11.1.xhtml">11.1 Names, Abbreviations, and File Structure</a><br/> |
| | <a href="section-11.2.xhtml">11.2 Syntax</a><br/> |
| | <a href="section-11.3.xhtml">11.3 Abstract Datatypes</a><br/> |
| | <a href="section-11.4.xhtml">11.4 Capsules</a><br/> |
| | <a href="section-11.5.xhtml">11.5 Input Files vs. Packages</a><br/> |
| | <a href="section-11.6.xhtml">11.6 Compiling Packages</a><br/> |
| | <a href="section-11.7.xhtml">11.7 Parameters</a><br/> |
| | <a href="section-11.8.xhtml">11.8 Conditionals</a><br/> |
| | <a href="section-11.9.xhtml">11.9 Testing</a><br/> |
| | <a href="section-11.10.xhtml">11.10 How Packages Work</a><br/> |
| | |
| | <a name="chapter12"/> |
| | <h3>Chapter 12: Categories</h3> |
| | <a href="section-12.0.xhtml">12.0 Categories</a><br/> |
| | <a href="section-12.1.xhtml">12.1 Definitions</a><br/> |
| | <a href="section-12.2.xhtml">12.2 Exports</a><br/> |
| | <a href="section-12.3.xhtml">12.3 Documentation</a><br/> |
| | <a href="section-12.4.xhtml">12.4 Hierarchies</a><br/> |
| | <a href="section-12.5.xhtml">12.5 Membership</a><br/> |
| | <a href="section-12.6.xhtml">12.6 Defaults</a><br/> |
| | <a href="section-12.7.xhtml">12.7 Axioms</a><br/> |
| | <a href="section-12.8.xhtml">12.8 Correctness</a><br/> |
| | <a href="section-12.9.xhtml">12.9 Attributes</a><br/> |
| | <a href="section-12.10.xhtml">12.10 Parameters</a><br/> |
| | <a href="section-12.11.xhtml">12.11 Conditionals</a><br/> |
| | <a href="section-12.12.xhtml">12.12 Anonymous Categories</a><br/> |
| | |
| | <a name="chapter13"/> |
| | <h3>Chapter 13: Domains</h3> |
| | <a href="section-13.0.xhtml">13.0 Domains</a><br/> |
| | <a href="section-13.1.xhtml">13.1 Domains vs. Packages</a><br/> |
| | <a href="section-13.2.xhtml">13.2 Definitions</a><br/> |
| | <a href="section-13.3.xhtml">13.3 Category Assertions</a><br/> |
| | <a href="section-13.4.xhtml">13.4 A Demo</a><br/> |
| | <a href="section-13.5.xhtml">13.5 Browse</a><br/> |
| | <a href="section-13.6.xhtml">13.6 Representation</a><br/> |
| | <a href="section-13.7.xhtml">13.7 Multiple Representations</a><br/> |
| | <a href="section-13.8.xhtml">13.8 Add Domain</a><br/> |
| | <a href="section-13.9.xhtml">13.9 Defaults</a><br/> |
| | <a href="section-13.10.xhtml">13.10 Origins</a><br/> |
| | <a href="section-13.11.xhtml">13.11 Short Forms</a><br/> |
| | <a href="section-13.12.xhtml">13.12 Example 1: Clifford Algebra</a><br/> |
| | <a href="section-13.13.xhtml">13.13 Example 2: Building A Query Facility</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.1" class="subseccontents">13.13.1 A Little Query Language</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.2" class="subseccontents">13.13.2 The Database Constructor</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.3" class="subseccontents">13.13.3 Query Equations</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.4" class="subseccontents">13.13.4 DataLists</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.5" class="subseccontents">13.13.5 Index Cards</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.6" class="subseccontents">13.13.6 Creating a Database</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.7" class="subseccontents">13.13.7 Putting It All Together</a><br/> |
| | <a href="section-13.13.xhtml#subsec-13.13.8" class="subseccontents">13.13.8 Example Queries</a><br/> |
| | |
| | <a name="chapter14"/> |
| | <h3>Chapter 14: Browse</h3> |
| | <a href="section-14.0.xhtml">14.0 Browse</a><br/> |
| | <a href="section-14.1.xhtml">14.1 The Front Page: Searching the Library</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.1" class="subseccontents">14.1.1 Constructors</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.2" class="subseccontents">14.1.2 Operations</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.3" class="subseccontents">14.1.3 Attributes</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.4" class="subseccontents">14.1.4 General</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.5" class="subseccontents">14.1.5 Documentation</a><br/> |
| | <a href="section-14.1.xhtml#subsec-14.1.6" class="subseccontents">14.1.6 Complete</a><br/> |
| | <a href="section-14.2.xhtml">14.2 The Constructor Page</a><br/> |
| | <a href="section-14.2.xhtml#subsec-14.2.1" class="subseccontents">14.2.1 Constructor Page Buttons</a><br/> |
| | <a href="section-14.2.xhtml#subsec-14.2.2" class="subseccontents">14.2.2 Cross Reference</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.1" class="subsubseccontents">14.2.2.1 Parents</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.2" class="subsubseccontents">14.2.2.2 Ancestors</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.3" class="subsubseccontents">14.2.2.3 Relatives</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.4" class="subsubseccontents">14.2.2.4 Dependents</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.5" class="subsubseccontents">14.2.2.5 Lineage</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.6" class="subsubseccontents">14.2.2.6 Clients</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.7" class="subsubseccontents">14.2.2.7 Benefactors</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.8" class="subsubseccontents">14.2.2.8 Children</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.9" class="subsubseccontents">14.2.2.9 Descendants</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.2.10" class="subsubseccontents">14.2.2.10 Domains</a><br/> |
| | <a href="section-14.2.xhtml#subsec-14.2.3" class="subseccontents">14.2.3 Views Of Constructors</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.1" class="subsubseccontents">14.2.3.1 names</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.2" class="subsubseccontents">14.2.3.2 abbrs</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.3" class="subsubseccontents">14.2.3.3 kinds</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.4" class="subsubseccontents">14.2.3.4 files</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.5" class="subsubseccontents">14.2.3.5 parameters</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.6" class="subsubseccontents">14.2.3.6 filter</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.7" class="subsubseccontents">14.2.3.7 documentation</a><br/> |
| | <a href="section-14.2.xhtml#subsubsec-14.2.3.8" class="subsubseccontents">14.2.3.8 conditions</a><br/> |
| | <a href="section-14.2.xhtml#subsec-14.2.4" class="subseccontents">14.2.4 Giving Parameters to Constructors</a><br/> |
| | <a href="section-14.3.xhtml">14.3 Miscellaneous Features of Browse</a><br/> |
| | <a href="section-14.3.xhtml#subsec-14.3.1" class="subseccontents">14.3.1 The Description Page for Operations</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.1" class="subsubseccontents">14.3.1.1 Arguments</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.2" class="subsubseccontents">14.3.1.2 Returns</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.3" class="subsubseccontents">14.3.1.3 Origin</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.4" class="subsubseccontents">14.3.1.4 Conditions</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.5" class="subsubseccontents">14.3.1.5 Description</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.1.6" class="subsubseccontents">14.3.1.6 Where</a><br/> |
| | <a href="section-14.3.xhtml#subsec-14.3.2" class="subseccontents">14.3.2 Views of Operations</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.1" class="subsubseccontents">14.3.2.1 names</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.2" class="subsubseccontents">14.3.2.2 filter</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.3" class="subsubseccontents">14.3.2.3 documentation</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.4" class="subsubseccontents">14.3.2.4 signatures</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.5" class="subsubseccontents">14.3.2.5 parameters</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.6" class="subsubseccontents">14.3.2.6 origins</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.7" class="subsubseccontents">14.3.2.7 conditions</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.8" class="subsubseccontents">14.3.2.8 usage</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.9" class="subsubseccontents">14.3.2.9 implementation</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.10" class="subsubseccontents">14.3.2.10 generalize</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.2.11" class="subsubseccontents">14.3.2.11 all domains</a><br/> |
| | <a href="section-14.3.xhtml#subsec-14.3.3" class="subseccontents">14.3.3 Capitalization Convention</a><br/> |
| | <a href="section-14.3.xhtml#subsec-14.3.4" class="subseccontents">14.3.4 Browse Options</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.4.1" class="subsubseccontents">14.3.4.1 Exposure</a><br/> |
| | <a href="section-14.3.xhtml#subsubsec-14.3.4.2" class="subsubseccontents">14.3.4.2 Threshold</a><br/> |
| | |
| | <a name="chapter15"/> |
| | <h3>Chapter 15: What's New in Axiom Version 2.0</h3> |
| | <a href="section-15.0.xhtml">15.0 Axiom Packages</a><br/> |
| | <a href="section-15.1.xhtml">15.1 Important Things to Read First</a><br/> |
| | <a href="section-15.2.xhtml">15.2 The New Axiom Library Compiler</a><br/> |
| | <a href="section-15.3.xhtml">15.3 The NAG Library Link</a><br/> |
| | <a href="section-15.3.xhtml#subsec-15.3.1" class="subseccontents">15.3.1 Interpreting NAG Documentation</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.1.1" class="subsubseccontents">15.3.1.1 Correspondence Between Fortran and Axiom types</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.1.2" class="subsubseccontents">15.3.1.2 Classification of NAG parameters</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.1.3" class="subsubseccontents">15.3.1.3 IFAIL</a><br/> |
| | <a href="section-15.3.xhtml#subsec-15.3.2" class="subseccontents">15.3.2 Using the Link</a><br/> |
| | <a href="section-15.3.xhtml#subsec-15.3.3" class="subseccontents">15.3.3 Providing values for Argument Subprograms</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.3.1" class="subsubseccontents">15.3.3.1 Providing ASPs via <span class="teletype">FortranExpression</span></a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.3.2" class="subsubseccontents">15.3.3.2 Providing ASPs via <span class="teletype">FortranCode</span></a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.3.3" class="subsubseccontents">15.3.3.3 Providing ASPs via <span class="teletype">FileName</span></a><br/> |
| | <a href="section-15.3.xhtml#subsec-15.3.4" class="subseccontents">15.3.4 General Fortran-generation utilities in Axiom</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.1" class="subsubseccontents">15.3.4.1 Template Manipulation</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.2" class="subsubseccontents">15.3.4.2 Manipulating the Fortran Output Stream</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.3" class="subsubseccontents">15.3.4.3 Fortran Types</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.4" class="subsubseccontents">15.3.4.4 FortranScalarType</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.5" class="subsubseccontents">15.3.4.5 FortranType</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.6" class="subsubseccontents">15.3.4.6 SymbolTable</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.7" class="subsubseccontents">15.3.4.7 TheSymbolTable</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.8" class="subsubseccontents">15.3.4.8 Advanced Fortran Code Generation</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.9" class="subsubseccontents">15.3.4.9 Switch</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.10" class="subsubseccontents">15.3.4.10 FortranCode</a><br/> |
| | <a href="section-15.3.xhtml#subsubsec-15.3.4.11" class="subsubseccontents">15.3.4.11 FortranProgram</a><br/> |
| | <a href="section-15.3.xhtml#subsec-15.3.5" class="subseccontents">15.3.5 Some technical information</a><br/> |
| | <a href="section-15.4.xhtml">15.4 Interactive Front-end and Language</a><br/> |
| | <a href="section-15.5.xhtml">15.5 Library</a><br/> |
| | <a href="section-15.6.xhtml">15.6 HyperTex</a><br/> |
| | <a href="section-15.7.xhtml">15.7 Documentation</a><br/> |
| | |
| | <a name="chapter16"/> |
| | <h3>Chapter 16: Axiom System Commands</h3> |
| | <a href="section-16.0.xhtml">16.0 Axiom System Commands</a><br/> |
| | <a href="section-16.1.xhtml">16.1 Introduction</a><br/> |
| | <a href="section-16.2.xhtml">16.2 )abbreviation</a><br/> |
| | <a href="section-16.3.xhtml">16.3 )boot</a><br/> |
| | <a href="section-16.4.xhtml">16.4 )cd</a><br/> |
| | <a href="section-16.5.xhtml">16.5 )close</a><br/> |
| | <a href="section-16.6.xhtml">16.6 )clear</a><br/> |
| | <a href="section-16.7.xhtml">16.7 )compile</a><br/> |
| | <a href="section-16.8.xhtml">16.8 )display</a><br/> |
| | <a href="section-16.9.xhtml">16.9 )edit</a><br/> |
| | <a href="section-16.10.xhtml">16.10 )fin</a><br/> |
| | <a href="section-16.11.xhtml">16.11 )frame</a><br/> |
| | <a href="section-16.12.xhtml">16.12 )help</a><br/> |
| | <a href="section-16.13.xhtml">16.13 )history</a><br/> |
| | <a href="section-16.14.xhtml">16.14 )library</a><br/> |
| | <a href="section-16.15.xhtml">16.15 )lisp</a><br/> |
| | <a href="section-16.16.xhtml">16.16 )load</a><br/> |
| | <a href="section-16.17.xhtml">16.17 )trace</a><br/> |
| | <a href="section-16.18.xhtml">16.18 )pquit</a><br/> |
| | <a href="section-16.19.xhtml">16.19 )quit</a><br/> |
| | <a href="section-16.20.xhtml">16.20 )read</a><br/> |
| | <a href="section-16.21.xhtml">16.21 )set</a><br/> |
| | <a href="section-16.22.xhtml">16.22 )show</a><br/> |
| | <a href="section-16.23.xhtml">16.23 )spool</a><br/> |
| | <a href="section-16.24.xhtml">16.24 )synonym</a><br/> |
| | <a href="section-16.25.xhtml">16.25 )system</a><br/> |
| | <a href="section-16.26.xhtml">16.26 )trace</a><br/> |
| | <a href="section-16.27.xhtml">16.27 )undo</a><br/> |
| | <a href="section-16.28.xhtml">16.28 )what</a><br/> |
| | |
| | <a name="chapter17"/> |
| | <h3>Chapter 17: Categories</h3> |
| | <a href="section-17.1.xhtml">17.1 Axiom Categories</a><br/> |
| | |
| | <a name="chapter18"/> |
| | <h3>Chapter 18: Domains</h3> |
| | <a href="section-18.1.xhtml">18.1 Axiom Domains</a><br/> |
| | |
| | <a name="chapter19"/> |
| | <h3>Chapter 19: Packages</h3> |
| | <a href="section-19.1.xhtml">19.1 Axiom Packages</a><br/> |
| | |
| | <a name="chapter21"/> |
| | <h3>Chapter 21: Programs for AXIOM Images</h3> |
| | <a href="section-21.0.xhtml">21.0 Programs for AXIOM Images</a><br/> |
| | <a href="section-21.1.xhtml">21.1 images1.input</a><br/> |
| | <a href="section-21.2.xhtml">21.2 images2.input</a><br/> |
| | <a href="section-21.3.xhtml">21.3 images3.input</a><br/> |
| | <a href="section-21.4.xhtml">21.4 images5.input</a><br/> |
| | <a href="section-21.5.xhtml">21.5 images6.input</a><br/> |
| | <a href="section-21.6.xhtml">21.6 images7.input</a><br/> |
| | <a href="section-21.7.xhtml">21.7 images8.input</a><br/> |
| | <a href="section-21.8.xhtml">21.8 conformal.input</a><br/> |
| | <a href="section-21.9.xhtml">21.9 tknot.input</a><br/> |
| | <a href="section-21.10.xhtml">21.10 ntube.input</a><br/> |
| | <a href="section-21.11.xhtml">21.11 dhtri.input</a><br/> |
| | <a href="section-21.12.xhtml">21.12 tetra.input</a><br/> |
| | <a href="section-21.13.xhtml">21.13 antoine.input</a><br/> |
| | <a href="section-21.14.xhtml">21.14 scherk.input</a><br/> |
| | |
| | </body> |
| | </html> |
| |