search

alexjbest / cluster-pictures

This package implements the machinery of cluster pictures of Maistret, Morgan, Dokchitser and Dokchitser in Sage.
https://alexjbest.github.io/cluster-pictures/
GNU General Public License v2.0
3 stars 4 forks source link

The following code produces a bug #9

Closed alexjbest closed 4 years ago

alexjbest commented 4 years ago 
sage: from sage_cluster_pictures.cluster_pictures import *
....: K = Qp(3)
....: x = polygen(K)
....: L.<b> = K.extension(x^2-3)
....: y = polygen(L)
....: H = HyperellipticCurve(y^6 - 27)
....: R = Cluster.from_curve(H)
....: %display ascii_art
rbommel commented 4 years ago

Yes, factorisation is not implemented over extensions of Qp right? You can use the without_roots method still.

alexjbest commented 4 years ago

Yeah we should do something better than hit maximum recursion depth!

rbommel commented 4 years ago

Should be fixed now. I put an assertion on the absolute degree.