Home Online Manual
Top
Back: hyperel_lib
Forward: isoncurve
FastBack:
FastForward:
Up: hyperel_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.3.1 ishyper

Procedure from library hyperel.lib (see hyperel_lib).

Usage:
ishyper(h,f); h,f=poly

Return:
1 if y^2+h(x)y=f(x) is hyperelliptic, 0 otherwise

Note:
Tests, if y^2+h(x)y=f(x) is a hyperelliptic curve.
Curve is defined over basering. Additionally shows error-messages.

Example:
 
LIB "hyperel.lib";
ring R=7,x,dp;
// hyperelliptic curve y^2 + h*y = f
poly h=x;
poly f=x5+5x4+6x2+x+3;
ishyper(h,f);
==> 1