user_guide:tutorials:release:4.13:hands_on_tropical_geometry