edgarcosta / endomorphisms

Rigorous computation of the endomorphism ring of a Jacobian
GNU General Public License v2.0
10 stars 8 forks source link

changing default prec argument to be false #72

Closed edgarcosta closed 4 months ago

edgarcosta commented 4 months ago

Now:

> R<x> := PolynomialRing(RationalsExtra(222));
> f := x^6 + 5*x^4 + 6*x^2 + 1;
> K := NumberFieldExtra(R ! f);
> K`CC;
Complex field of precision 222
> F := RationalsExtra(333);
> R := PolynomialRing(F);
> K := NumberFieldExtra(R ! f);
> K`CC;
Complex field of precision 333

before we would get Complex field of precision 100

CC: @SamSchiavone, @JRSijsling

in particular:


> R<x> := PolynomialRing(RationalsExtra());
> f := x^6 + 5*x^4 + 6*x^2 + 1;
> taus := FullEnumerationG3(f : prec := 150);
> tau := taus[1];
> Pi := HorizontalJoin(tau, IdentityMatrix(BaseRing(Parent(tau)), 3));
> R := GeometricEndomorphismRepresentationCC(Pi);
> #R;
6