Height function (source code)

= Height function
{wiki}

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