Principal Cartier divisor (source code)

= Principal Cartier divisor
{title2=$\operatorname{div}(f)$}

A principal Cartier divisor is represented on every chart by the same nonzero <rational function>. It is linearly equivalent to zero and has zero <intersection number> with every complete curve.