Addition via reduction algorithm on trigonal curves

Abstract

In this paper we propose a direct and explicit realization of addition of divisors by means of an iterative reduction algorithm. Each iteration of the algorithm is the reduction of a degree $g+1$ divisor to a divisor of degree~$g$. Such an approach allows to carry out all computations explicitly in a symbolic form, which is done for curves $C_{3,4}$, $C_{3,5}$ in this paper, and also for curves of higher genera up to $C_{3,13}$, $C_{3,14}$.