
D.15.15 hess_lib
 Library:
 hess.lib
 Purpose:
 RiemannRoch space of divisors
on function fields and curves
 Authors:
 I. Stenger: stenger@mathematik.unikl.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 RiemannRoch
space L(D) is then the intersection of I^(1) and J^(1).
Procedures:
