[mitchellpkt]

edit: nevermind, it's sage code not python code

[IanCal]

It's not python, it's sage, so those actually work.