Oh probably. I just copy-pasted these commands from the Sage webpage.