|
D.12.4.9 cantoradd
Procedure from library hyperel.lib (see hyperel_lib).
- Usage:
- cantoradd(D,Q,h,f);
- Return:
- list P
- Note:
- Cantor's Algorithm - composition
important: D and Q have to be semireduced!
Computes semireduced divisor div(P[1],P[2])= div(D[1],D[2]) + div(Q[1],Q[2])
The divisors are defined over the basering.
Curve C: y^2+h(x)y=f(x) is defined over the basering.
Example:
|