Extended bra–ket notation: Difference between revisions

Dave Keenan (talk | contribs)
Variant including curly and square brackets: Added re comma bases, " because its width is equal to the nullity <math>n</math> of the temperament."
Dave Keenan (talk | contribs)
Variant including curly and square brackets: Changed "nullity n of the temperament" to "nullity of the temperament, n"
Line 147: Line 147:
We considered using a round bracket for this, [...), however it is sometimes necessary to include parenthesized expressions as entries in the bra or ket, which would be difficult to parse if we had round bra or ket brackets. A mnemonic for the curly bracket is that it resembles the tilde (~) which is commonly used to mark approximated or tempered intervals, e.g. ~3/2 is an approximation of 3/2.
We considered using a round bracket for this, [...), however it is sometimes necessary to include parenthesized expressions as entries in the bra or ket, which would be difficult to parse if we had round bra or ket brackets. A mnemonic for the curly bracket is that it resembles the tilde (~) which is commonly used to mark approximated or tempered intervals, e.g. ~3/2 is an approximation of 3/2.


We further propose that the use of the normal angle bracket could be restricted to matrix widths and heights equal only to the [[dimensionality]] of the temperament, <math>d</math>, and any other width or height besides <math>d</math> and <math>r</math> would be given with plain square brackets [...]. So, for example, a comma basis could be written [{{vector|4 -4 1}} {{vector|7 0 -3}}] because its width is equal to the [[nullity]] <math>n</math> of the temperament.
We further propose that the use of the normal angle bracket could be restricted to matrix widths and heights equal only to the [[dimensionality]] of the temperament, <math>d</math>, and any other width or height besides <math>d</math> and <math>r</math> would be given with plain square brackets [...]. So, for example, a comma basis could be written [{{vector|4 -4 1}} {{vector|7 0 -3}}] because its width is equal to the [[nullity]] of the temperament, <math>n</math>.


==Notes==
==Notes==