 The algorithm works as follows


The proof that the algorithm is correct can be found in 
.As an example consider the curve

of genus 2 over the real numbers.For the points 
and the reduced divisors 
we know that 
are the Mumford representations of formula_318 and formula_319 respectively.