search

michaelmusty / Belyi

MIT License
2 stars 5 forks source link

S3 fixes #8

Closed jvoight closed 2 years ago

jvoight commented 2 years ago

Weirdly, the function S3Action was giving two wrong maps (stupid sign errors). I don't know how we missed these!

Hopefully I got it all right!

sigma := [ Sym(6) | (1, 4)(2, 5)(3, 6), (1, 3, 5)(2, 4, 6), (1, 2, 3, 4, 5, 6) ]; for tau in Sym(3) do for> BelyiMap(S3Action(tau,sigma)); for> end for; Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field x^3 + 1 Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field x^3/(x^3 + 1) Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field -1/x^3 Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field (x^3 + 1)/x^3 Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field -x^3 Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field 1/(x^3 + 1)