Algebraic Programming with Magma I: An Introduction to the Magma Language