Extended bra–ket notation: Difference between revisions

Line 1:

'''Extended Bra-Ket notation''', or '''EBK''' for short, is a potential name for the notation system for [[regular temperament theory]] (RTT) objects ~~in the [[linear algebra formalism]]~~ that has gradually developed over time, with contributions from various theoreticians.

'''Extended Bra-Ket notation''', or '''EBK''' for short, is a potential name for the notation system for [[regular temperament theory]] (RTT) objects that has gradually developed over time, with contributions from various theoreticians.

Several stylistic variations are possible, and no formal style has yet been established, but it can be safely said that EBK always involves enclosing lists of values in sets of brackets, with pointed brackets used to distinguish different types of lists.

Line 13:

In RTT, covectors are used most frequently for [[map]]s and [[tuning map]]s. For example, the map for 7-ET is notated as {{bra| 7 11 16 }}, and a tuning map for it might be {{bra|1209.682 1900.930 2764.988}}.

The most common types of vectors used in RTT are [[prime-count vector]]s (PC-vectors) and [[generator-count vector]]s (GC-vectors)~~, the linear algebra counterpart of [[monzos]]~~. For example, the PC-vector for 45/32 is {{ket| -5 2 1 }}, and the GC-vector for ~45/32 in porcupine temperament is {{ket| 2 -11 }}.

The most common types of vectors used in RTT are [[prime-count vector]]s (PC-vectors) and [[generator-count vector]]s (GC-vectors). For example, the PC-vector for 45/32 is {{ket| -5 2 1 }}, and the GC-vector for ~45/32 in porcupine temperament is {{ket| 2 -11 }}.

=== Combining ===

Line 40:

==== Examples ====

For example, the [[mapping]] for meantone temperament is ~~represented as~~ a matrix <math>M</math> that looks like this:

For example, the [[mapping]] for meantone temperament is a matrix <math>M</math> that looks like this:

@@ Line 1: / Line 1: @@
-'''Extended Bra-Ket notation''', or '''EBK''' for short, is a potential name for the notation system for [[regular temperament theory]] (RTT) objects in the [[linear algebra formalism]] that has gradually developed over time, with contributions from various theoreticians.
+'''Extended Bra-Ket notation''', or '''EBK''' for short, is a potential name for the notation system for [[regular temperament theory]] (RTT) objects that has gradually developed over time, with contributions from various theoreticians.
 Several stylistic variations are possible, and no formal style has yet been established, but it can be safely said that EBK always involves enclosing lists of values in sets of brackets, with pointed brackets used to distinguish different types of lists.
@@ Line 13: / Line 13: @@
 In RTT, covectors are used most frequently for [[map]]s and [[tuning map]]s. For example, the map for 7-ET is notated as {{bra| 7 11 16 }}, and a tuning map for it might be {{bra|1209.682 1900.930 2764.988}}.
-The most common types of vectors used in RTT are [[prime-count vector]]s (PC-vectors) and [[generator-count vector]]s (GC-vectors), the linear algebra counterpart of [[monzos]]. For example, the PC-vector for 45/32 is {{ket| -5 2 1 }}, and the GC-vector for ~45/32 in porcupine temperament is {{ket| 2 -11 }}.
+The most common types of vectors used in RTT are [[prime-count vector]]s (PC-vectors) and [[generator-count vector]]s (GC-vectors). For example, the PC-vector for 45/32 is {{ket| -5 2 1 }}, and the GC-vector for ~45/32 in porcupine temperament is {{ket| 2 -11 }}.
 === Combining ===
@@ Line 40: / Line 40: @@
 ==== Examples ====
-For example, the [[mapping]] for meantone temperament is represented as a matrix <math>M</math> that looks like this:
+For example, the [[mapping]] for meantone temperament is a matrix <math>M</math> that looks like this: