First time here? Check out the FAQ!
answered 2019-12-20 09:36:26 +0100
See PEP263. Note that UTF-8 does not appear in the standard encodings list. So maybe try # -- coding = utf_8 -- (lowercase, underscore).
UTF-8
# -- coding = utf_8 --
The imminent Python 3-based Sage 9 should solve the problem..