Computing Riemann-Roch spaces via Puiseux expansions (Q2171940)

Given a computable field \(K\) of characteristic zero, an irreducible projective plane curve over the algebraic closure of \(K\), and a \(K\)-rational divisor \(D\), the authors deal with the problem of computing the Riemann-Roch space \(L(D)\). The paper presents an efficient probabilistic algorithm of Las Vegas type to compute \(L(D)\) and its complexity is analyzed. In addition, the authors point out that for fields of characteristic big enough, indeed big enough to guarantee that the needed Puiseux expansions are well-defined, the characteristic zero algorithm of the paper can be adapted. Relations to applied issues, as error correcting codes, are commented.