First time here? Check out the FAQ!
answered 2020-06-03 20:04:00 +0100
This is (highly) nonytivial. This non-answer is here only to point to a sage-devel ongoing discussion.
sage-devel