cjdoris / Genus2Conductor

A package for computing the conductor exponent of hyperelliptic curves of genus 2 defined over number fields.
https://cjdoris.github.io/Genus2Conductor
GNU General Public License v3.0
2 stars 0 forks source link

input not accepted #3

Closed mhaluk closed 6 years ago

mhaluk commented 6 years ago

Hi Chris, I defined an hyperelliptic curve over an imaginary quadratic field. While "OddConductor" works fine on it, Conductor_Genus2 does not accept the input and EvenConductorExponent_Genus2 gives a bug. I am using the latest version of Magma for the below run.

best Haluk

Magma V2.23-5     Fri Nov 10 2017 21:23:02 on hecke    [Seed = 3432025749]
Type ? for help.  Type <Ctrl>-D to quit.
> AttachSpec("ExactpAdics/spec");
> AttachSpec("Genus2Conductor/spec_ExactpAdics");
> 
> R<x>:=PolynomialRing(Rationals());
> K<u>:=NumberField(x^2+6);  
> PK<z>:=PolynomialRing(K);
> 
> f:=z^6 + 1/2*(-5*u + 6)*z^5 + 1/2*(13*u + 18)*z^4 + 1/3*(-11*u - 21)*z^3 + (6*u + 6)*z^2 + 1/2*(-5*u - 12)*z + 1/6*(5*u + 12\
);
> 
> C:=HyperellipticCurve(f);
> 
> OddConductor(C);
Ideal
Basis:
[    729 1735749]
[      0 1750329]
> 
> Conductor_Genus2(C);

>> Conductor_Genus2(C);
                   ^
Runtime error in 'Conductor_Genus2': Bad argument types
Argument types given: CrvHyp[FldNum[FldRat]]

> fac:=Factorization(2*Integers(K));
> P:=fac[1,1];
> EvenConductorExponent_Genus2(C,P);
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (68, Infinity except (0->54, 1->54, 2->54))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (74, Infinity except (0->70, 1->70, 2->70))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (78, Infinity except (0->76, 1->76, 2->76))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (96, Infinity except (0->80, 1->80, 2->80))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (100, Infinity except (0->98, 1->98, 2->98))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (173, Infinity except (0->102, 1->102, 2->102))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (187, Infinity except (0->175, 1->175, 2->175))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (309, Infinity except (0->189, 1->189, 2->189))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (333, Infinity except (0->311, 1->311, 2->311))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (435, Infinity except (0->335, 1->335, 2->335))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (1235, Infinity except (0->437, 1->437, 2->437))
WARNING: Field is not known to required precision.
         This is a bug in the ExactpAdics package.
         Please report this to github.com/cjdoris/ExactpAdics/issues
         Applying workaround (2655, Infinity except (0->1237, 1->1237, 2->1237))
EvenConductorExponent_Genus2(
    C: Hyperelliptic Curve defined by y^2 = x^6 + 1/2*(-5*u + 6)*x^...,
    p: Prime Ideal Two element generators: [2, 0] [0, 1]
)
evencondexp(
    C: Hyperelliptic Curve defined by y^2 = x^6 + 1/2*(-5*u + 6)*x^...,
    p: Prime Ideal Two element generators: [2, 0] [0, 1]
)
evencondexpdata(
    C: Hyperelliptic Curve defined by y^2 = x^6 + 1/2*(-5*u + 6)*x^...,
    p: Prime Ideal Two element generators: [2, 0] [0, 1]
)
find_3torsion(
    f: 4*z^6 + (-10*u + 12)*z^5 + (26*u + 36)*z^4 + 1/3*(-44*u - 84...,
    p: Prime Ideal Two element generators: [2, 0] [0, 1]
)
go(
    r: rec<recformat<success, err, seed, moebius, groebner_basis, K...
)
Factorization(
    f: (1 + O($.1))*$.1^40 + ($.1^3 + O($.1^4))*$.1^39 + ($.1^-11 +...
)
ExactpAdics_ExecutePrecisionStrategy(
    cb: function(pr) ... end function,
    strategy: [* 100, <limit, Infinity>, <randomize, true>, <double> *]
)
[/home/haluk/ExactpAdics/Factorization.mag:56](
    pr: 382
)
Factorization: Insufficient prec in Round Four main loop
> 
cjdoris commented 6 years ago

@mhaluk Thank you for the bug report. This issue has now been fixed, I had missed out this case of the Conductor_Genus2 intrinsic. The other issue highlighted in the Factorization intrinsic has also been fixed in the ExactpAdics package. I have released a new version of both.

I did notice, however, that your example does not appear to ever terminate. There seems to be a bug in Magma's own Factorization routine in which it gets into an infinite loop. Please let me know if you have the same experience on your computer.