| Download
All published worksheets from http://sagenb.org
Project: sagenb.org published worksheets
Views: 168741Image: ubuntu2004
Tutorial: Images of Galois in Sage
Any prime not in the output of E.non_surjective() is such that is provably surjective.
One can ask about surjectivity for a specific prime. If the output is Yes, then the representation is definitely surjective. If no, then in some rare case (depending on the optional parameter ), it could still be surjective.
(False, '5-torsion')
(True, None)
(False, [-1])
We can also check for reducibility, which is currently (lazily!) determined by simply computing the isogeny class and looking at the degrees that appear (dumb!).
True
False
False
A table of images: