  We consider the problem of efficient computation in the Jacobian of a
hyperelliptic curve of genus 3 defined over a field whose characteristic is not
2. For curves with a rational Weierstrass point, fast explicit formulas are
well known and widely available. Here we address the general case, in which we
do not assume the existence of a rational Weierstrass point, using a balanced
divisor approach.
