Mathematical Areas

The Magma Language

The Magma language is an interpreted, strongly-typed language built for algebraic computation. It provides user-defined functions, procedures, iterators, and a rich system of built-in types. Control flow, recursion, and introspection are all first-class features.

All Areas
magma — magma-language
Type ? for help. Type <Ctrl>-D to quit.
Jump to Handbook

Handbook Chapter Authors

  • Statements and Expressions — W. Bosma, A. Steel
  • Functions, Procedures and Packages — W. Bosma, A. Steel
  • Input and Output — W. Bosma, A. Steel
  • Environment and Options — A. Steel, W. Bosma
  • Parallelism — G. Bailey, J. Cannon, A. Steel
  • Magma Semantics — G. Matthews
  • The Magma Profiler — D. Fisher
  • Debugging Magma Code — D. Fisher
  • Introduction to Aggregates — W. Bosma