Effective calculation of local Weil functions via presentations of Cartier divisors

We address the question of effectivity for calculation of local Weil functions from the viewpoint of presentations of Cartier divisors. This builds on the approach of Bombieri and Gubler as well as the perspective of our earlier works. Among other features, our approach here gives rise to theoretical effective algorithms for calculating local Weil functions on projective varieties.