Elliptic Curves over an Algebraic Number Field

New features:

• IsIntegralModel and IntegralModel for elliptic curves over number fields.

• IsIntegralModel for elliptic curves at a given prime ideal of a number field.

• Several functions have been provided which work with elliptic curves over number fields. They are the Reduction of a curve at an ideal, and the TorsionBound, pPowerTorsion and TorsionSubgroup of a curve.

• For isogenies between elliptic curves defined over number fields, SelmerGroup has been implemented. Accompanying this are the functions IsogenyMu and RankBound.

• The functions AbsoluteAlgebra, pSelmerGroup and LocalTwoSelmerMap have been provided for working with etale algebras.