This course will be supplemented by demonstrations in magma. You will be able to find the files for the demonstrations I run in the class here, and try them for yourself.