Local ring of a smooth algebraic curve (source code)

= Local ring of a smooth algebraic curve

At every point of a <smooth algebraic curve>, the <local ring> is a <discrete valuation ring>. Its valuation measures the <order of vanishing> of a <rational function> at that point.