Part 3: The CoCoA Programming Language

Part 3 - Chapter 1 - Introduction to CoCoA Programming
3.1.1. An Overview of CoCoA Programming
Back to the top

Part 3 - Chapter 2 - Language Elements
3.2.1. Character Set and Special Symbols
3.2.2. Identifiers
3.2.3. Names of Indeterminates
3.2.4. Reserved Names
3.2.5. Comments
3.2.6. Data Types
3.2.7. Commands and Functions for Data Types
Back to the top

Part 3 - Chapter 3 - Operators
3.3.1. CoCoA Operators
3.3.2. Algebraic Operators
3.3.3. Relational Operators
3.3.4. Boolean Operators
3.3.5. Selection Operators
3.3.6. Range Operator
Back to the top

Part 3 - Chapter 4 - Evaluation and Assignment
3.4.1. Evaluation
3.4.2. Assignment
Back to the top

Part 3 - Chapter 5 - User-Defined Functions
3.5.1. Introduction to User-Defined Functions
3.5.2. Commands and Functions for User-Defined Functions
Back to the top

Part 3 - Chapter 6 - Flow Control: Conditional Statements and Loops
3.6.1. Commands and Functions for Branching
3.6.2. Commands and Functions for Loops
Back to the top

Part 3 - Chapter 7 - Input/Output
3.7.1. Introduction to IO
3.7.2. Standard IO
3.7.3. File IO
3.7.4. String IO
3.7.5. Commands and Functions for IO
3.7.6. Tagged Printing
3.7.7. Tagging an Object
3.7.8. Printing a Tagged Object
3.7.9. Describing a Tagged Object
3.7.10. Another Example Using Tags
3.7.11. Commands and Functions for Tags
Back to the top

Part 3 - Chapter 8 - Memory Management
3.8.1. Introduction to Memory
3.8.2. Working Memory
3.8.3. Global Memory
3.8.4. Ring-Bound Memory
3.8.5. Commands and Functions for Memory
Back to the top

Part 3 - Chapter 9 - CoCoA Packages
3.9.1. Introduction to Packages
3.9.2. First Example of a Package
3.9.3. Package Essentials
3.9.4. Package Sourcing and Autoloading
3.9.5. Global Aliases
3.9.6. Local Aliases
3.9.7. More Examples of Packages
3.9.8. Package Initialization
3.9.9. Sharing Your Package
3.9.10. Commands and Functions for Packages
3.9.11. Supported Packages
3.9.12. Galois Package
3.9.13. Integer Programming
3.9.14. Algebra of Invariants
3.9.15. Primary Ideals
3.9.16. Special Varieties
3.9.17. Statistics
3.9.18. Geometrical Theorem-Proving
3.9.19. Typevectors
3.9.20. Conductor
3.9.21. Matrix Normal Form
3.9.22. CantStop
3.9.23. Control
Back to the top