Open alexjbest opened 4 years ago
This one turned out to be wild. I implemented an error message for wild extensions.
x = polygen(Qp(5,400))
R = Cluster.from_polynomial_without_roots(x^5 + 256)
does work so its not all bad, I'm leaving this open as it would be cool to have roots too one day.
$C / \mathbb{Q}_{5}: y^{2}=x^{5}+256$, times out, it would be cool to support this, is it wild?