edgarcosta / endomorphisms

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

higher genus upper bounds #8

Closed edgarcosta closed 6 years ago

edgarcosta commented 6 years ago

initial commit regarding the methods in Section 7.2, 7.3 and 7.4

@JRSijsling, check if you agree with file organization.

You can test it by doing:

sage --python  endomorphisms/UpperBounds/test.py
JRSijsling commented 6 years ago

I am fine with the organization. But after reinstalling, your suggested test gives

Traceback (most recent call last):
  File "endomorphisms/UpperBounds/test.py", line 7, in <module>
    from upper_bounds import endomorphisms_upper_bound
  File "/Users/jrsijsling/Programs/endomorphisms/endomorphisms/UpperBounds/upper_bounds.py", line 6, in <module>
    from endomorphisms.OverFiniteField import endomorphism_frob
  File "/Users/jrsijsling/Programs/sage/local/lib/python2.7/site-packages/endomorphisms/__init__.py", line 22, in <module>
    from UpperBounds import endomorphisms_upper_bound, RR_upper_bound, hyperelliptic_endomorphisms_upper_bound, hyperelliptic_RR_upper_bound
ImportError: No module named UpperBounds
edgarcosta commented 6 years ago

I will look into it.

edgarcosta commented 6 years ago

@JRSijsling, I fixed you that you noticed. I forgot to add the paths to setup.py

@jvoight, the nonlazy version of field intersection has been implemented.

Here is the new output of running the test.py mentioned previously: https://gist.github.com/fd2067b50f0e76bd3440e184f0d6b077