The EulerFactor of a hyperelliptic curve over the rationals
or a number field can now be computed at a prime or prime ideal.
An intrinsic for Specialization of a hyperelliptic curve over
a function field has been added.
The intrinsic Specialization has been extended to allow the
calculation of a specialisation of an hyperelliptic curve defined
over certain types of function field.
RankBound and RankBounds now provide sharper upper
bounds for the Mordell-Weil rank of a hyperelliptic Jacobian over
a number field in some cases. This is achieved by using additional
information on the Pic1 torsor.
A new implementation of TwoSelmerGroup with improved performance
particularly for higher genus Hyperelliptic Jacobians over Q has been made
available.
RankBounds is now available for higher genus hyperelliptic Jacobians.
RankBounds and RankBound are now available for Jacobians
of cyclic covers of the projective line.
Descent on Jacobians of cyclic covers of the projective line
can now be performed using the intrinsics phiSelmerGroup and
PicnDescent.
Descents on the Pic1 torsor of a cyclic cover of the projective
can now be performed using the intrinsics Pic1Descent and
PicnDescent.
qCoverDescent is now available for cyclic covers of the projective
line which have a singular model.
Whether a cyclic cover of the projective line has index one over a local field
can now be determined using HasIndexOne and HasIndexOneEverywhereLocally.
New package of functions from Lercier and Ritzenthaler for genus 3 hyperelliptic
curves for invariants and curve reconstruction.
Compute the Shioda and Maeda invariants of a genus 3 hyperelliptic curve over
a field of characteristic 0 or 11
with ShiodaInvariants or
MaedaInvariants.
Compute a genus 3 curve in the correct isomorphism class for given Shioda
invariants as well as the geometric automorphism group with
tt HyperellipticCurveFromShiodaInvariants.
Compute geometric automorphism groups for individual genus 3 curves or
compute a list of all possible automorphism groups along with the
number of isomorphism classes over genus 3 curves over k
for a given finite field k of characteristic 11
.
Twists has been extended to compute all twists of a genus 3 curve
over a finite field of characteristic 11
, using the Lercier-Ritzenthaler
package.