Todo

Todo

  • Add examples to all class functions

  • Add _repr_ to the classes and modify the examples accordingly

  • Field of definition

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/analytic_theta_point.py:docstring of avisogenies_sage.analytic_theta_point.AnalyticThetaPoint, line 5.)

Todo

Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/analytic_theta_point.py:docstring of avisogenies_sage.analytic_theta_point.AnalyticThetaPoint.add_twotorsion_point, line 14.)

Todo

Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/analytic_theta_point.py:docstring of avisogenies_sage.analytic_theta_point.AnalyticThetaNullPoint.to_algebraic, line 11.)

Todo

Add reference, see FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_aux.py:docstring of avisogenies_sage.morphisms_aux.IgusaTheorem, line 22.)

Todo

Test against Magma (minus the possible mistake)!

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_aux.py:docstring of avisogenies_sage.morphisms_aux.YS_fromMumford_Delta, line 19.)

Todo

Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_aux.py:docstring of avisogenies_sage.morphisms_aux.prodYp_fromMumford_with2torsion, line 24.)

Todo

Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_aux.py:docstring of avisogenies_sage.morphisms_aux.Y_fromMumford_with2torsion, line 30.)

Todo

  • Test against Magma in the case that uses YS_fromMumford_Delta

  • Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level2.py:docstring of avisogenies_sage.morphisms_level2.MumfordToTheta_2_Generic, line 21.)

Todo

  • Add tests that cover the missing cases.

  • Address FIXME.

  • We might want to change the input to take an actual mumford representation, we can compute the point list later!

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level2.py:docstring of avisogenies_sage.morphisms_level2.MumfordToLevel2ThetaPoint, line 36.)

Todo

Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level2.py:docstring of avisogenies_sage.morphisms_level2.ThetaToMumford_2_Generic, line 20.)

Todo

  • Difference with funcion above? Do we need this or can we join them somehow?

  • Test against Magma, add examples

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level2.py:docstring of avisogenies_sage.morphisms_level2.ThetaToMumford_2_algclose, line 9.)

Todo

Test against Magma, add examples

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level2.py:docstring of avisogenies_sage.morphisms_level2.Level2ThetaPointToMumford, line 11.)

Todo

  • Sort documentation by source (to maintain layout)

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4, line 19.)

Todo

  • Test against Magma, add examples

  • Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4.MumfordToTheta_4_Generic, line 11.)

Todo

  • Check question in code.

  • Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4.MumfordToLevel4ThetaPoint, line 26.)

Todo

  • Test against Magma, add examples.

  • Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4.Ylm_fromTheta, line 9.)

Todo

  • Test against Magma, add examples

  • Address FIXME.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4.ThetaToMumford_4_Generic, line 9.)

Todo

Test against Magma, add examples

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/morphisms_level4.py:docstring of avisogenies_sage.morphisms_level4.Level4ThetaPointToMumford, line 8.)

Todo

  • Add more info to the paragraph above

  • Change coefficients in examples to be powers of gen?

  • Can we use equations to generate random points?

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_null_point.py:docstring of avisogenies_sage.theta_null_point, line 41.)

Todo

  • Check change with David.

  • Rename?

  • If we only want the addition of the two-torsion elements, why not store _riemann only with that? see _addition_formula

  • Private or public?

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_null_point.py:docstring of avisogenies_sage.theta_null_point.Variety_ThetaStructure.riemann_relation, line 18.)

Todo

  • Add tests.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_null_point.py:docstring of avisogenies_sage.theta_null_point.Variety_ThetaStructure._addition_formula, line 6.)

Todo

  • Find a couple of examples

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_null_point.py:docstring of avisogenies_sage.theta_null_point.AbelianVariety_ThetaStructure.equations, line 3.)

Todo

  • Find a couple of examples

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_null_point.py:docstring of avisogenies_sage.theta_null_point.KummerVariety.equations, line 8.)

Todo

  • Add more info to the paragraph above

  • On binary operations, test that all the points belong to the same abelian variety.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point, line 9.)

Todo

Find tests that are not level 2!

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.VarietyThetaStructurePoint._add_, line 19.)

Todo

Find tests that are not level 2!

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.VarietyThetaStructurePoint._rmul_, line 11.)

Todo

Find tests that are not level 2!

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.VarietyThetaStructurePoint._mult, line 21.)

Todo

If we don’t need kP, then we don’t need to compute kP, only (k/2)P, so we lose 2 differential additions. Could be optimized here.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.VarietyThetaStructurePoint.diff_multadd, line 18.)

Todo

  • Add examples

  • Add check keyword to assert that all the quotients are equal vs just taking one.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.VarietyThetaStructurePoint.compatible_lift, line 16.)

Todo

  • When v is a point already and check is \(True\), we should make sure that v has been checked when generated. maybe with a boolean in X (or in the point) that saves if it has been checked.

  • Make check on the point/AV a method that caches the result.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.AbelianVarietyPoint, line 25.)

Todo

  • Deal with case where self or other is the thetanullpoint.

  • Find tests where P and Q are not rational in the av but rational in the kummer variety, so P+Q won’t be rational

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.AbelianVarietyPoint._add, line 8.)

Todo

  • When v is a point already and check is \(True\), we should make sure that v has been checked when generated. maybe with a boolean in X (or in the point) that saves if it has been checked.

  • Make check on the point/AV a method that caches the result.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.KummerVarietyPoint, line 21.)

Todo

  • Deal with case where self or other is the thetanullpoint.

  • Find tests where P and Q are not rational in the av but rational in the kummer variety, so P+Q won’t be rational

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/theta_point.py:docstring of avisogenies_sage.theta_point.KummerVarietyPoint._add, line 8.)

Todo

Is s minimal in any sense among all the ones that satisfy that condition?

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/tools.py:docstring of avisogenies_sage.tools.reduce_symtwotorsion_couple, line 8.)

Todo

add minimal docstring. Twotorsion elements should be returned as elements in the twotorsion.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/tools.py:docstring of avisogenies_sage.tools.get_dual_quadruplet, line 1.)

Todo

add minimal docstring.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/tools.py:docstring of avisogenies_sage.tools.eval_car, line 1.)

Todo

add minimal docstring.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/avisogenies/conda/latest/lib/python3.10/site-packages/avisogenies_sage/tools.py:docstring of avisogenies_sage.tools.evaluate_formal_points, line 1.)