Code I've written in Sage