Home Online Manual
Top
Back: pdivisorplus
Forward: RiemannRochHess
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.5 hess_lib

Library:
hess.lib
Purpose:
Riemann-Roch space of divisors on function fields and curves

Authors:
I. Stenger: stenger@mathematik.uni-kl.de

Overview:
Let f be an absolutely irreducible polynomial in two variables x,y. Assume that f is monic as a polynomial in y. Let F = Quot(k[x,y]/f) be the function field defined by f.
Define O_F = IntCl(k[x],F) and O_(F,inf) = IntCl(k[1/x],F). We represent a divisor D on F by two fractional ideals I and J of O_F and O_(F,inf), respectively. The Riemann-Roch space L(D) is then the intersection of I^(-1) and J^(-1).

Procedures:

D.5.5.1 RiemannRochHess  Computes a vector space basis of the Riemann-Roch space of a divisor