First time here? Check out the FAQ!
answered 2021-04-01 09:04:10 +0200
The code seems to work as given over here. Have you tried it in the latest version of Sage?