OM representation of prime ideals and applications in function fields

Let $A$ be a Dedekind domain, $K$ the fraction field of $A$, and $f\in A[x]$ a monic irreducible separable polynomial. Denote by $\theta\in K^{\mathrm{sep}}$ a root of $f$ and let $F=K(\theta)$ be the finite separable extension of $K$ generated by $\theta$. We consider $\mathcal{O}$ the integral closure of $A$ in $L$. For a given non-zero prime ideal $\mathfrak{p}$ of $A$ the Montes algorithm determines a parametrization (OM representation) for every prime ideal $\mathfrak{P}$ of $\mathcal{O}$ lying over $\mathfrak{p}$. For a field $k$ and $f\in k[t,x]$ this yields a new representation of places of the function field $F/k$ determined by $f$. In this talk we summarize some applications which improve the arithmetic in the divisor class group of $F$ using this new representation.