Faithful tropicalization of hyperelliptic curves

We provide explicit faithful re-embeddings for all hyperelliptic curves of genus at most three and an algorithmic way to construct them. Both in the faithful tropicalization algorithm and the proofs of correctness, we showcase OSCAR-methods for commutative algebra, polyhedral and tropical geometry.