Fix Sage's Brill-Noether
See the files
- SAGE_ROOT/devel/sage/sage/schemes/plane_curves/projective_curve.py
- SAGE_ROOT/devel/sage/sage/schemes/plane_curves/affine_curve.py
in the Sage install. Note this in the funciton riemann_roch_space (in projective_curve.py):
The following example illustrates that the Riemann-Roch space
function in Singular doesn't *not* work correctly.
::
sage: R.<x,y,z> = GF(5)[]
sage: f = x^7 + y^7 + z^7
sage: C = Curve(f); pts = C.rational_points()
sage: D = C.divisor([ (3, pts[0]), (-1,pts[1]), (10, pts[5]) ])
sage: C.riemann_roch_basis(D) # output is random (!!!!)
[x/(y + x), (z + y)/(y + x)]
The answer has dimension 2 (confirmed via Magma). But it varies
between 1 and quite large with Singular.
There is a wiki page about general function fields issues in Sage.
