Home Online Manual
Top
Back: ishyper
Forward: chinrestp
FastBack: crypto_lib
FastForward: teachstd_lib
Up: hyperel_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.4.2 isoncurve

Procedure from library hyperel.lib (see hyperel_lib).

Usage:
isoncurve(P,h,f); h,f=poly; P=list

Return:
1 or 0 (if P is on curve or not)

Note:
Tests, if P=(P[1],P[2]) is on the hyperelliptic curve y^2+h(x)y=f(x). Curve is defined over basering.

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;
list P=2,3;
isoncurve(P,h,f);
==> 1