Robert Dodier - 2023-03-18

Hmm, just tried with a current version (877441c2e) and I let it run for the better part of an hour, so it still takes at least that long. There have been some changes in the polynomial code recently but I guess this wasn't affected.