Top
Back: semidiv
Forward: cantorred
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.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:
 


Top Back: semidiv Forward: cantorred FastBack: crypto_lib FastForward: teachstd_lib Up: hyperel_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.