user_guide:tutorials:master:hands_on_tropical_geometry