Loading files

The statement

load "FILENAME";

causes Magma to read in the file with the name specified by the string, treating the file's contents as Magma input. `Tilde expansion' of file names is allowed.

The statement is often used to load library files.

If you want to load a file as you start up Magma, you may prefer to type

magma -s FILENAME

when you start Magma. A search for the specified file is conducted, starting in the current directory, and in directories specified by the environment variable MAGMA_PATH after that if necessary. If the file is not found, an empty start-up file is used; if the file has been found it will be loaded before the `prompt' appears.

Example

> load "real.m";