Test if an algebraic curve is hyperelliptic - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : Algebraic Curves : algcurves/is_hyperelliptic

algcurves[is_hyperelliptic] - Test if an algebraic curve is hyperelliptic

Calling Sequence

is_hyperelliptic(f, x, y)

Parameters

f

-

irreducible polynomial in x and y

x

-

variable

y

-

variable

Description

• 

An irreducible algebraic curve fx,y is called rational if the genus is 0. In this case a parametrization can be computed. It is called elliptic if the genus is 1. It is called hyperelliptic if the genus is more than 1 and fx,y is birational to a curve FX,Y with degree(F,Y)=2. In the elliptic or hyperelliptic case a normal form can be computed with Weierstrassform.

• 

If the genus is less than 2, then the curve is not hyperelliptic and the output will be false. If the genus is 2, then the output will be true. For higher genus, the output can be true or false.

Examples

withalgcurves:

f:=y2+x5+1

f:=x5+y2+1

(1)

g:=y9+2x2y6+2x4y3+x6+y2

g:=y9+2x2y6+2x4y3+x6+y2

(2)

h:=y9+3x2y6+3x4y3+x6+y2

h:=y9+3x2y6+3x4y3+x6+y2

(3)

is_hyperellipticf,x,y

true

(4)

is_hyperellipticg,x,y

false

(5)

is_hyperelliptich,x,y

true

(6)

Weierstrassformh,x,y,x0,y0

x07+7x0621x05+35x0435x03+21x02+y027x0+2,yy3+x2+1y6+2x2y3+x4+y,xy3+x2y,x01y0,x03+3x023x0+1

(7)

See Also

algcurves[genus], algcurves[parametrization], algcurves[Weierstrassform]


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam