System Features

The Magma system offers several features designed to assist the user to perform Magma tasks as easily as possible. These include commands for storing Magma information in files and retrieving it from them, for editing input lines, and for timing computations.

Subscreens

• Control-C key
• Databases of Structure Definitions
• Documentation
• History
• Intrinsics
• Libraries of Functions in the Magma Language
• Loading files
• The Magma System
• Prompt
• Quitting
• Saving and restoring Magma states
• Performing shell commands from Magma
• Signature
• Timing