Getting started
Download
Attach the module
The package contains a spec
file which you can attach following the instructions here. Briefly, you do one of the following:
-
Option 1: Call
AttachSpec("/path/to/package/spec");
from within Magma. -
Option 2: Add
/path/to/package/spec
to yourMAGMA_SPEC
environment variable.
Now this package is available from within Magma.