First time here? Check out the FAQ!
answered 2018-04-13 14:03:37 +0100
This points to a bug in the code to compute connected_sum.
connected_sum
This issue is now tracked at
Thanks for reporting!