Thibaut Delcroix, Bijan Mohammadi
Relative K-stability of toric varieties can be tested through explicit Donaldson-Futaki computations, yet finding unstable examples remains challenging. We develop a reproducible symbolic-numeric framework to investigate all fifteen families of Delzant octagons corresponding to smooth toric surfaces of Picard rank six. While numerical optimization identifies several apparently destabilizing configurations, exact rational reconstruction systematically removes the observed instability. We explain why Wang and Zhou's 2014 tentative construction of a relatively K-unstable octagon does not allow to find an explicit example.