Implementing an algorithm for contructing genus 2 hyperelliptic curves over fields of characteristic 2

[sagetrac-florian]

Mestre's algorithm for constructing hyperelliptic curves has been implemented see ticket #6341 but it does not work over finite field of characteristic 2

    .. TODO::
    
        Mestre's algorithm also only works over finite field of charateristic different from two, another algorithm will be needed for field of characteristic two.
        sage: HyperellipticCurve_from_invariants([GF(2)(1),GF(2)(1),GF(2)(0),GF(2)(1)]) # todo: not implemented
        

Depends on #6341

CC: @mstreng @jpflori

Component: number theory

Keywords: mestre algorithm genus 2 hyperelliptic curves

Issue created by migration from https://trac.sagemath.org/ticket/12200

[mstreng]

comment:1

This can be done by porting the g2twists magma package

http://iml.univ-mrs.fr/~ritzenth/programming.html

[mstreng]

Changed keywords from Hyperelliptic curve sd35 to mestre algorithm genus 2 hyperelliptic curves sd51

[mstreng]

Changed keywords from mestre algorithm genus 2 hyperelliptic curves sd51 to mestre algorithm genus 2 hyperelliptic curves