First time here? Check out the FAQ!
answered 2017-10-11 15:47:25 +0100
1) Your question would be better addressed on sage-support.
2) ISTR that similar problems have arisen in the past and been solved either in sage-support or on sage-devel.