With only a handful of WUs left to go, we are declaring victory on the first search. This is a major achievement! In a nutshell, this search has obtained all degree 5 extensions of Q(i) (the Gaussian rationals) which are ramified at 2 and/or 5. The final tabulated results will be posted within the next couple of weeks. Thank you!
More...
