to the Magma language is given in an appendix. The book is simultaneously an invitation