The hull-bound technique is different from the technique used in the safegcd paper-- it's more accessible to a less mathematical audience, it is easily adapted to algorithm variations (which let us find a variation with a much better worst case), and also usually results in tighter bounds.
https://github.com/sipa/safegcd-bounds#bounds-on-divsteps-it...
The hull-bound technique is different from the technique used in the safegcd paper-- it's more accessible to a less mathematical audience, it is easily adapted to algorithm variations (which let us find a variation with a much better worst case), and also usually results in tighter bounds.