Issues in relative with field compositum

[jvoight]

L := QuadraticField(13); _ := PolynomialRing(L); u := (1 + w)/2; C := HyperellipticCurve((32u + 36)x^6 + (24u + 40)x^5 + (-u -32)x^4 + (-16u + 8)x^3 + (17u - 28)x^2 + (-6u + 16)x + 6u -16); HeuristicEndomorphismDescription(C: Geometric:=true); abelian variety of dimension 2 with endomorphism algebra the number field defined by t^2 - 2

CertifiedEndomorphismAlgebra(C);

CertifiedEndomorphismAlgebra( X: X ) Correspondence( X: X, Y: X, mor: [ [1 0] [0 1], [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] ] ) ChangeRingCurve( X: X, h: Composition of Mapping from: Rational Field to Number Field... ) In file "/Users/edgarcosta/projects/CHIMP/endomorphisms/endomorphisms/magma/heuristic/Curves.m", line 102, column 50:

if fK eq 0 then fL := S ! 0; else fL := &+[ h(Coefficient(fK, d))*S.1^d : d in [0..Degree(fK)] ]; end if;

^ Runtime error in map application: Application of map failed

[edgarcosta]

fixed via 1a7f3f02ae8fa3dc01954565a9fe305cd65ae9d2