|
D.12.4.8 semidiv
Procedure from library hyperel.lib (see hyperel_lib).
- Usage:
- semidiv(D,h,f);
- Return:
- list P
- Note:
- important: Divisor D has to be semireduced!
Computes semireduced divisor P[1][3]*(P[1][1], P[1][2]) +...+ P[size(P)][3]*
*(P[size(P)][1], P[size(P)][2]) - (*)infty=div(D[1],D[2])
Curve C:y^2+h(x)y=f(x) is defined over basering.
Example:
|