Cartier divisor (source code)

= Cartier divisor
{wiki}

A Cartier divisor is locally represented by nonzero rational functions whose ratios on overlaps are regular units. It is principal when one global rational function represents all local data.