Tenney norm: Difference between revisions

b1, b2 need not be denoted by the prime counting function; clarify what p is
Clarify
Line 7: Line 7:
<math>\log_2 (nd)</math>
<math>\log_2 (nd)</math>


The Tenney height of a [[Harmonic limit|''p''-limit]] [[monzo]] b = {{monzo| ''b''<sub>1</sub> ''b''<sub>2</sub> … ''b''<sub>π (''p'')</sub> }} is given by
The Tenney height of a [[Harmonic limit|''p''-limit]] [[monzo]] b = {{monzo| ''b''<sub>1</sub> ''b''<sub>2</sub> … ''b''<sub>π (''p'')</sub> }} (π being the [[Wikipedia: prime-counting function|prime-counting function]]) is given by


<math>\lVert W^{-1} \vec b \rVert_1 \\
<math>\lVert W^{-1} \vec b \rVert_1 \\
= \vert b_1 \vert + \log_2 (3) \vert b_2 \vert + \ldots + \log_2 (p) \vert b_{\pi (p)} \vert \\
= \vert b_1 \vert + \vert b_2 \vert \log_2 (3) + \ldots + \vert b_{\pi (p)} \vert \log_2 (p) \\
= \log_2 (2^{|b_1|} \cdot 3^{|b_2|} \cdot \ldots \cdot p^{|b_{\pi (p)}|})</math>
= \log_2 (2^{|b_1|} \cdot 3^{|b_2|} \cdot \ldots \cdot p^{|b_{\pi (p)}|})</math>