|
D.12.4.11 double
Procedure from library hyperel.lib (see hyperel_lib).
- Usage:
- double(D,h,f);
- Return:
- list Q=2*D
- Note:
- important: Divisor D has to be semireduced!
Special case of Cantor's algorithm.
Computes reduced divisor div(Q[1],Q[2])= 2*div(D[1],D[2]).
The divisors are defined over the basering.
Curve C:y^2+h(x)y=f(x) is defined over the basering.
Example:
|