Computer Packages
Instructions on how to use each package are included in the attached README files.
We invite also to look at the code to produce the examples for the corresponding papers.
Don't hesitate to contact me if you have questions and/or comments!
-
EllipticCurves - Macaulay2 - link
- It provides basic functionalities for computations with elliptic curves.
- Written in collaboration with Alessandro Oneto.
- The development is concluded.
-
AlgEt - Magma - link
- It provides functionalities to compute with orders in étale algebras over Q.
- In particular, one can compute isomorphism classes of modules and the monoid of the ideal classes of the fractional ideals of the order.
- A version of this package has been included in Magma 2.28-1 (without documentation).
- The version available through the link is faster and it will be maintained and expanded.
- This packages is based on theory developed in Papers [3], [9], [10] and [13].
-
IdlClQuat - Magma - link
- It provides functionalities to compute the isomorphism classes of ideals of an order in a quaternion algebra.
- This is a collaboration with Harry Smit.
- Currently, there is no plan to expand it.
- This packages is based on theory developed in Paper [11].
-
AbVarFq - Magma - link
- It provides functionalities to
compute isomorphism classes of abelian varieties (in the ordinary case and over a prime field) and polarizations (in the ordinary case).
- The package requires AlgEt.
- This packages is based on theory developed in Papers [3], [4] and [5].
-
PolsAbVarFpCanLift - Magma - link
- It provides functionalities to compute polarizations for squarefree isogeny classes of abelian varieties over a prime field even when they are not ordinary.
- It is an expansion of the package AbVarFq.
- The package will be updated to use the functionalities developed in AlgEt for increased speed.
- This packages is based on theory developed in Paper [7].
-
IsomClAbVarFqCommEndAlg - Magma - link
- It provides functionalities to compute (unpolarized) Fq-isomorphism classes of abelian varieties over Fq belonging to an isogeny class with commutative Fq-endomorphism ring, for any finite field Fq.
In particular, the code works for any p-rank.
- It is an expansion of the package AbVarFq.
- This packages is based on theory developed in Paper [15].