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