About
Calculator
Ordering
FAQ
Download
Documentation
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Introduction
Terminology
Assignment
Uninitialized Identifiers
Evaluation in Magma
Call by Value Evaluation
Magma's Evaluation Process
Function Expressions
Function Values Assigned to Identifiers
Recursion and Mutual Recursion
Function Application
The Initial Context
Scope
Local Declarations
The `first use' Rule
Identifier Classes
The Evaluation Process Revisited
The `single use' Rule
Procedure Expressions
Reference Arguments
Dynamic Typing
Traps for Young Players
Trap 1
Trap 2
Appendix A: Precedence
Appendix B: Reserved Words
Up
Contents
Index
Search
V2.28, 13 July 2023