Height function (source code)

= Height function
{wiki}

= Arithmetic height
{synonym}

A height function measures the arithmetic complexity of an algebraic number or a point of an arithmetic variety.