FAS Computer Services to Harvard University IT: (617) 4957777.
Magma
is a software package for solving computationally hard problems in algebra, number theory, geometry and combinatorics.
It provides a mathematically rigorous environment for computing with algebraic, numbertheoretic, combinatoric and geometric objects.
Magma can be compared with Mathematica, Maple or Matlab. It strength is in having builtin cutting edge and the most
sophisticated algorithms known. Magma runs at the Mathematics department
on the machine modular.fas.harvard.edu, for which you need a separate account.
More Magma (and Pari ) documentation can be found
here .

Snippets of code examples: (watching simple examples is a good way to learn and appreciate the language).
Some of the examples have been taken from the Magma documentation. More examples
are available here .
