Introduction to MAGMA (Computer Algebra system)