Mediant hull: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 1: | Line 1: | ||
The '''mediant hull''' or '''Farey hull''' of a set of [[equal-step tuning]]s for a given scale structure is the tuning range defined as the set of all tunings that can be obtained by traversing a finite path (resulting in another equal-step tuning) or infinite path (resulting in a tuning with irrational step ratio) on the corresponding [[scale tree]]. We write the mediant hull of tunings by putting double bars <code>||</code> between the tunings. For example, <code>5L 2s(7||12)</code>, the mediant hull of 7edo [[5L 2s|diatonic]] and 12edo diatonic, is [[TAMNAMS|soft-of-basic]] diatonic. (Note: Double bars are used for formatting on Discord, so you should use <code>``</code> or escape the double bars.) | The '''mediant hull''' or '''Farey hull''' of a set of [[equal-step tuning]]s for a given scale structure is the tuning range defined as the set of all tunings that can be obtained by traversing a finite path (resulting in another equal-step tuning) or infinite path (resulting in a tuning with irrational step ratio) on the corresponding [[scale tree]]. We write the mediant hull of tunings by putting double bars <code>||</code> between the tunings. For example, <code>5L 2s(7||12)</code>, the mediant hull of 7edo [[5L 2s|diatonic]] and 12edo diatonic, is [[TAMNAMS|soft-of-basic]] diatonic. (Note: Double bars are used for formatting on Discord, so you should use <code>``</code> or escape the double bars.) | ||
Formally, given a 2-step scale structure ''S'' and a set of equal-step tunings ''T<sub>1</sub>, ..., T<sub>r</sub>'', given by generators ''m<sub>1</sub>\n<sub>1</sub>, ..., m<sub>r</sub>\n<sub>r</sub>'' for S, the ''mediant hull'' or ''Farey hull'' of ''T<sub>1</sub>, ..., T<sub>r</sub>'' is | Formally, given a 2-step scale structure ''S'' with equave ''E'' and a set of equal-step tunings ''T<sub>1</sub>, ..., T<sub>r</sub>'', given by generators ''m<sub>1</sub>\n<sub>1</sub>edE, ..., m<sub>r</sub>\n<sub>r</sub>edE'' for S, the ''mediant hull'' or ''Farey hull'' of ''T<sub>1</sub>, ..., T<sub>r</sub>'' is | ||
<math>T_1 \mid\mid T_2 \mid\mid \cdots \mid\mid T_n = \operatorname{cl}\bigg\{\dfrac{a_1 m_1 + \cdots + a_r m_r}{a_1 n_1 + \cdots + a_r n_r} : (a_1, ..., a_r) \in \mathbb{Z}^r_{\geq 0} \setminus (0, 0, ..., 0) \bigg\}</math> | <math>T_1 \mid\mid T_2 \mid\mid \cdots \mid\mid T_n = \operatorname{cl}\bigg\{\dfrac{a_1 m_1 + \cdots + a_r m_r}{(a_1 n_1 + \cdots + a_r n_r)edE} : (a_1, ..., a_r) \in \mathbb{Z}^r_{\geq 0} \setminus (0, 0, ..., 0) \bigg\}</math> | ||
where <math>\operatorname{cl}</math> denotes the topological closure (specifying the generator is enough, given the period, since the period doesn't change upon taking the mediant). The generalization to higher-rank scale structures (requiring more than one non-period generator) is obvious. | where <math>\operatorname{cl}</math> denotes the topological closure (specifying the generator is enough, given the period, since the period doesn't change upon taking the mediant). The generalization to higher-rank scale structures (requiring more than one non-period generator) is obvious. | ||
Revision as of 18:11, 14 September 2021
The mediant hull or Farey hull of a set of equal-step tunings for a given scale structure is the tuning range defined as the set of all tunings that can be obtained by traversing a finite path (resulting in another equal-step tuning) or infinite path (resulting in a tuning with irrational step ratio) on the corresponding scale tree. We write the mediant hull of tunings by putting double bars || between the tunings. For example, 5L 2s(7||12), the mediant hull of 7edo diatonic and 12edo diatonic, is soft-of-basic diatonic. (Note: Double bars are used for formatting on Discord, so you should use `` or escape the double bars.)
Formally, given a 2-step scale structure S with equave E and a set of equal-step tunings T1, ..., Tr, given by generators m1\n1edE, ..., mr\nredE for S, the mediant hull or Farey hull of T1, ..., Tr is [math]\displaystyle{ T_1 \mid\mid T_2 \mid\mid \cdots \mid\mid T_n = \operatorname{cl}\bigg\{\dfrac{a_1 m_1 + \cdots + a_r m_r}{(a_1 n_1 + \cdots + a_r n_r)edE} : (a_1, ..., a_r) \in \mathbb{Z}^r_{\geq 0} \setminus (0, 0, ..., 0) \bigg\} }[/math]
where [math]\displaystyle{ \operatorname{cl} }[/math] denotes the topological closure (specifying the generator is enough, given the period, since the period doesn't change upon taking the mediant). The generalization to higher-rank scale structures (requiring more than one non-period generator) is obvious.
Notation
Properly, one should write out the generators or step ratios of all the input edo tunings, for example 5L 2s (7\12||11\19) or 5L 2s ((2:1)||(3:2)). Less carefully, we can also use just the edo numbers: 5L 2s (12||19) (but there is potential for confusion when an edo has multiple tunings of a given scale structure).
This works similarly for rank-3 and higher scales: for example, diasem(7||26||31) specifies the mediant hull of the 7edo (L:m:s = 1:1:0), 26edo (L:m:s = 4:2:1) and 31edo (L:m:s = 5:2:1) tunings for diasem.