A tutorial on lattice based crypto in Sage