List of 7-prime limit accidentals
- Xen-Gedankenwelt
- Posts: 19
- Joined: Fri Sep 04, 2015 10:54 pm
Re: List of 7-prime limit / 6125-odd limit accidentals
Ok, I finished the list of 7-limit ratios (including lower limits) with an exact Olympian representation:
However, I noticed that there seem to be two errors in sag_ji4.par:
- 6656/6480 should be reduced to 416/405
- 576/572 doesn't make sense: If reduced, it becomes 144/143, but that doesn't match with the specified accidental / cent range
In addition, and don't seem to be an accurate representation of 9:10. A double-apotome minus is which represents the 19-limit ratio 39/38, so has to be a 19-limit ratio, too. Still, it seems to be a close approximation for 10/9, but not completely accurate.
The list only contains up-accidentals, and I omitted cent values, systematic comma names, and very large ratios (monzos are still listed). If the data is fine, I'll update the list in my opening post.However, I noticed that there seem to be two errors in sag_ji4.par:
- 6656/6480 should be reduced to 416/405
- 576/572 doesn't make sense: If reduced, it becomes 144/143, but that doesn't match with the specified accidental / cent range
In addition, and don't seem to be an accurate representation of 9:10. A double-apotome minus is which represents the 19-limit ratio 39/38, so has to be a 19-limit ratio, too. Still, it seems to be a close approximation for 10/9, but not completely accurate.
- Dave Keenan
- Site Admin
- Posts: 2180
- Joined: Tue Sep 01, 2015 2:59 pm
- Location: Brisbane, Queensland, Australia
- Contact:
Re: List of 7-prime limit / 6125-odd limit accidentals
Nicely done. You could include the proper Sagittal symbols in the PDF, at higher resolution than the forum smilies, if you install the Bravura font. Unfortunately, there isn't yet an easy way to type the symbols, as there is for the forum smiles. But it would be possible to make a Windows keyboard layout that would let us do so. Do you use Microsoft Windows?Xen-Gedankenwelt wrote:Ok, I finished the list of 7-limit ratios (including lower limits) with an exact Olympian representation:
7-limit Olympian set.pdf
[Edit: Easy typing of Sagittal symbols is now available. See: viewtopic.php?p=808#p808]
I note the potential for confusion of the vertical bar | with the digit 1. Some fonts are worse than others, for this. That's why I use square brackets for bra <...] and ket [...> vectors except when writing an inner product <... | ...>, in which case there will be a space on either side of the vertical bar. An alternative to using square brackets is to always include a space between the vertical bar and any digits.
Thanks for those. I'm pleased to see that we do have the reduced value 416/405 for in George's JI notation spreadsheet, the JI notation levels diagram and in footnote 19 on page 24 of http://sagittal.org/sagittal.pdf.However, I noticed that there seem to be two errors in sag_ji4.par:
- 6656/6480 should be reduced to 416/405
- 576/572 doesn't make sense: If reduced, it becomes 144/143, but that doesn't match with the specified accidental / cent range
I see that 576/572 was erroneously given for in sag_ji4.par. George's spreadsheet gives the 13-limit comma 567:572 for that symbol. So it seems "67" was accidentally transposed to "76" when making sag_ji4.par.
I have now corrected both of those in http://sagittal.org/sag_ji4.par. Thanks.
My apologies. You are correct that is not an exact representation of 9:10. That symbol represents a 19-limit ratio, as you say. When untempered they differ by only 0.003 cents. The only exact representations of 9:10 involve a change of nominal, e.g. C:D or C:E = C:EIn addition, and don't seem to be an accurate representation of 9:10. A double-apotome minus is which represents the 19-limit ratio 39/38, so has to be a 19-limit ratio, too. Still, it seems to be a close approximation for 10/9, but not completely accurate.
- Xen-Gedankenwelt
- Posts: 19
- Joined: Fri Sep 04, 2015 10:54 pm
Re: List of 7-prime limit / 6125-odd limit accidentals
Thanks for your reply!
As a start, I separated the ratios into two lists, depending on whether they have an exact representation in the Olympian symbol set, or not.
Here is my current to-do list:
Just to make sure that I understand systematic comma names correctly:
25:28 = +-[4 0 -2 1> (not in Olympian set) would be 7:25MS+A, and 1792:2025 = +-[-8 4 2 -1> (contained in Olympian set) would be c7:25MS+A, correct?
Some of the ratios in the Olympian set have a somewhat high absolute value of 3-exponent, and the highest I found is [-43 24 1 1>. Is it guaranteed that there is at most one less complex ratio (in terms of absolute value of 3-exponent), or do I have to check if there are more? In the latter case, would I prepend cc, ccc and so on?
P.S.: Working with those lists is a great way for me to understand and learn Sagittal notation - thanks for your help so far!
As a start, I separated the ratios into two lists, depending on whether they have an exact representation in the Olympian symbol set, or not.
Here is my current to-do list:
- Complete the ratios and accidentals in the first list (exact / Olympian)
- Add accurate dual-accidentals and approximate single-accidentals in the second list
- Add systematic comma names
Just to make sure that I understand systematic comma names correctly:
25:28 = +-[4 0 -2 1> (not in Olympian set) would be 7:25MS+A, and 1792:2025 = +-[-8 4 2 -1> (contained in Olympian set) would be c7:25MS+A, correct?
Some of the ratios in the Olympian set have a somewhat high absolute value of 3-exponent, and the highest I found is [-43 24 1 1>. Is it guaranteed that there is at most one less complex ratio (in terms of absolute value of 3-exponent), or do I have to check if there are more? In the latter case, would I prepend cc, ccc and so on?
P.S.: Working with those lists is a great way for me to understand and learn Sagittal notation - thanks for your help so far!
- Dave Keenan
- Site Admin
- Posts: 2180
- Joined: Tue Sep 01, 2015 2:59 pm
- Location: Brisbane, Queensland, Australia
- Contact:
Re: List of 7-prime limit / 6125-odd limit accidentals
Those are absolutely correct. Well done.Xen-Gedankenwelt wrote:Just to make sure that I understand systematic comma names correctly:
25:28 = +-[4 0 -2 1> (not in Olympian set) would be 7:25MS+A, and 1792:2025 = +-[-8 4 2 -1> (contained in Olympian set) would be c7:25MS+A, correct?
I think you have to check if there are more. I think it is guaranteed that all single-shaft symbols are the least complex in their size category. But when you add them to an apotome (3-shaft), or subtract them from one or two apotomes (2-shaft and X-shaft), you may end up with some that are not the least complex. It's possible that someone could prove there is at most one less complex ratio for these, but I don't know of such a proof.Some of the ratios in the Olympian set have a somewhat high absolute value of 3-exponent, and the highest I found is [-43 24 1 1>. Is it guaranteed that there is at most one less complex ratio (in terms of absolute value of 3-exponent), or do I have to check if there are more? In the latter case, would I prepend cc, ccc and so on?
I have an Excel spreadsheet that automatically names any ratio up to the double-apotome. I'd be happy to make it available after some tidying up. Would this be of any use to you? Do you have a recent version of Excel?
It presently uses:
complex (c)
supercomplex (sc)
hypercomplex (hc)
ultracomplex (uc)
5-complex (5c)
6-complex (6c)
...
But if you think the ordering of super, hyper, ultra is not sufficiently standardised, you could use 2c, 3c, 4c instead of sc, hc, uc.
My pleasure. It is good to have someone else who understands the mathematical details underlying Sagittal.P.S.: Working with those lists is a great way for me to understand and learn Sagittal notation - thanks for your help so far!
- cmloegcmluin
- Site Admin
- Posts: 1704
- Joined: Tue Feb 11, 2020 3:10 pm
- Location: San Francisco, California, USA
- Real Name: Douglas Blumeyer (he/him/his)
- Contact:
Re: List of 7-prime limit / 6125-odd limit accidentals
Dave Keenan wrote: ↑Sat Nov 19, 2016 1:25 am It's possible that someone could prove there is at most one less complex ratio for these, but I don't know of such a proof.
Interesting!Dave Keenan wrote: ↑Thu Nov 03, 2016 7:06 pm These boundaries were carefully chosen so that commas can be named systematically using only their prime factors greater than 3
I had been wondering for some time what exactly was meant by "carefully chosen".
Trivially, we could make a comma more complex by adding, say, [ -50508 31867 ⟩, which is only 0.012577¢, and therefore small enough in size that it's unlikely to change its size category. But of course we'd notice right away if any of our commas had astronomically large prime exponents like that.
To do the reverse — check that none of the commas have a simpler representation (small absolute 3-exponent) — would require considering every 3-limit comma less than the area between the lower and upper bound of that size category.
For instance, since the small diesis size category ranges from 33.38249264¢ to 45.11249784¢, any 3-limit comma less than 11.7300052¢* could potentially be added to a given comma to get another comma which under Sagittal comma-naming rules would be given the same name; and if a comma thus found ever had a smaller absolute 3-exponent than the original comma, we would have found a new simplest comma that should be represented by that name. And if that comma name had been used in Sagittal but to represent the more complex comma with a different value, we would have thus discovered an exception in Sagittal.
If the above assessment is accurate, it should be straightforward to script up a test that Sagittal commas are in their simplest form. I also predict that they already are (i.e. that the Sagittalsmiths have already gotten it right).
Interested, yes.I have an Excel spreadsheet that automatically names any ratio up to the double-apotome. I'd be happy to make it available after some tidying up. Would this be of any use to you? Do you have a recent version of Excel?
*Half the Pythagorean comma, as well as the upper limit of the kleisma size category.
- Dave Keenan
- Site Admin
- Posts: 2180
- Joined: Tue Sep 01, 2015 2:59 pm
- Location: Brisbane, Queensland, Australia
- Contact:
Re: List of 7-prime limit accidentals
I agree with your argument. But there's no need to check. That property was guaranteed by generating candidates with steadily increasing 3-exponents, starting from zero and working in both positive and negative directions.
Here's the Comma Namer spreadsheet.
Here's the Comma Namer spreadsheet.
- Attachments
-
- CommaNamer.xlsx
- (131.95 KiB) Downloaded 350 times
- cmloegcmluin
- Site Admin
- Posts: 1704
- Joined: Tue Feb 11, 2020 3:10 pm
- Location: San Francisco, California, USA
- Real Name: Douglas Blumeyer (he/him/his)
- Contact:
Re: List of 7-prime limit accidentals
Trying to reverse engineer this. Only 2 examples of complex ('c'-prefixed) names, nothing more complex than that, and only 1 of those 2 examples has a non-complex example to foil against. So at this point I guess one 'c' level corresponds to a movement by one schisma (Mercatur's comma)?
- Dave Keenan
- Site Admin
- Posts: 2180
- Joined: Tue Sep 01, 2015 2:59 pm
- Location: Brisbane, Queensland, Australia
- Contact:
Re: List of 7-prime limit accidentals
When aa wrote that spreadsheet back in 2004, only me an' Gaad knew how it worked. Now ...
Yes., the dearth of "complex" commas shows how effective our choice of size-category boundaries is. My attempt to explain this on the Yahoo tuning group when it was first developed, severely broke down. I made the mistake of temporarily adopting the spelling "komma" for the purpose of my exposition, to distinguish the generic term from the specific size category "comma". Despite the fact that I explained this at the start of my exposition, people who seemed determined to disagree with anything I wrote, seized on this as a reason to express their outrage and read no further. It's all in your resurrected archive in all its horror.
But even after we got over that: To this day, I don't understand why Paul Erlich (not one of those described above) is freaked out by this comma size category proposal. I have never managed to understand what he's afraid of, unless it's the whole idea of defining boundaries for the historical names, no matter how useful or well founded, or how consistent they are with the historical names. How many commas in that spreadsheet have "schisma", "kleisma", "diesis", "limma" or "apotome" in their common names, but not in their systematic names? I omit "comma" from this list, as one can always take "comma" in its generic sense. At least Joe Monzo likes the category boundaries. It completed a project that he began.
Of course every right square-bracket in that spreadsheet ] should now be replaced with a right angle-bracket ⟩ so the monzos have their modern form.
Do you know about those leading commas in the monzos, like [,5 7⟩ ? That tells you that the exponents for primes 2 and 3 have been omitted, i.e. that it's a 2,3-free monzo. This is a standard that was invented by George Secor, and approved by the Monz himself, but not widely used. It includes indicating a 2-free monzo by a comma after the first exponent, e.g. [3,5⟩ . So the comma is always after the 3-exponent. It optionally includes using a comma for every third exponent from then on. e.g. [2 3,5 7 11,13 17 19,23 29 31,37 41 43, ...⟩ . I'm using the primes here to stand for their own exponents.
Yes., the dearth of "complex" commas shows how effective our choice of size-category boundaries is. My attempt to explain this on the Yahoo tuning group when it was first developed, severely broke down. I made the mistake of temporarily adopting the spelling "komma" for the purpose of my exposition, to distinguish the generic term from the specific size category "comma". Despite the fact that I explained this at the start of my exposition, people who seemed determined to disagree with anything I wrote, seized on this as a reason to express their outrage and read no further. It's all in your resurrected archive in all its horror.
But even after we got over that: To this day, I don't understand why Paul Erlich (not one of those described above) is freaked out by this comma size category proposal. I have never managed to understand what he's afraid of, unless it's the whole idea of defining boundaries for the historical names, no matter how useful or well founded, or how consistent they are with the historical names. How many commas in that spreadsheet have "schisma", "kleisma", "diesis", "limma" or "apotome" in their common names, but not in their systematic names? I omit "comma" from this list, as one can always take "comma" in its generic sense. At least Joe Monzo likes the category boundaries. It completed a project that he began.
Of course every right square-bracket in that spreadsheet ] should now be replaced with a right angle-bracket ⟩ so the monzos have their modern form.
Do you know about those leading commas in the monzos, like [,5 7⟩ ? That tells you that the exponents for primes 2 and 3 have been omitted, i.e. that it's a 2,3-free monzo. This is a standard that was invented by George Secor, and approved by the Monz himself, but not widely used. It includes indicating a 2-free monzo by a comma after the first exponent, e.g. [3,5⟩ . So the comma is always after the 3-exponent. It optionally includes using a comma for every third exponent from then on. e.g. [2 3,5 7 11,13 17 19,23 29 31,37 41 43, ...⟩ . I'm using the primes here to stand for their own exponents.
- cmloegcmluin
- Site Admin
- Posts: 1704
- Joined: Tue Feb 11, 2020 3:10 pm
- Location: San Francisco, California, USA
- Real Name: Douglas Blumeyer (he/him/his)
- Contact:
Re: List of 7-prime limit accidentals
I know alllllllllllll too well how you feel...Dave Keenan wrote: ↑Thu May 28, 2020 12:15 pm When aa wrote that spreadsheet back in 2004, only me an' Gaad knew how it worked. Now ...
This is a perfect example of where automated regression tests could protect your achievements. I can run a one-time check of comma complexity, of course, but I can also capture it as a test we can rerun whenever, so if we ever want to change anything later we'll be told instantly if we regress w/r/t this property (or any other). And if we want to tweak the conditions, the code will tell us unambiguously what our intentions were before.
Found it. Sad. I know some of these folks personally.Yes., the dearth of "complex" commas shows how effective our choice of size-category boundaries is. My attempt to explain this on the Yahoo tuning group when it was first developed, severely broke down. I made the mistake of temporarily adopting the spelling "komma" for the purpose of my exposition, to distinguish the generic term from the specific size category "comma". Despite the fact that I explained this at the start of my exposition, people who seemed determined to disagree with anything I wrote, seized on this as a reason to express their outrage and read no further. It's all in your resurrected archive in all its horror.
I know the question was rhetorical, but the answer is: two. The tridecimal schisma is known in Sagittal as THE schismina, and the small BP diesis is a kleisma. So I think the systematic names are pretty well justified.How many commas in that spreadsheet have "schisma", "kleisma", "diesis", "limma" or "apotome" in their common names, but not in their systematic names?
The [,5 7⟩ ones were immediately obvious to me, for what it's worth. Though I think I had seen such abbreviations on Tonalsoft before, so I had been primed *ba-dum tshh*Do you know about those leading commas in the monzos, like [,5 7⟩ ? That tells you that the exponents for primes 2 and 3 have been omitted, i.e. that it's a 2,3-free monzo. This is a standard that was invented by George Secor, and approved by the Monz himself, but not widely used. It includes indicating a 2-free monzo by a comma after the first exponent, e.g. [3,5⟩ . So the comma is always after the 3-exponent. It optionally includes using a comma for every third exponent from then on. e.g. [2 3,5 7 11,13 17 19,23 29 31,37 41 43, ...⟩ . I'm using the primes here to stand for their own exponents.
I did not know about [3,5⟩ or [2 3,5 7 11,13 17 19,23 29 31,37 41 43, ...⟩, but that's a lovely thing indeed. Added to my toolbelt. Thanks for explaining!
- Dave Keenan
- Site Admin
- Posts: 2180
- Joined: Tue Sep 01, 2015 2:59 pm
- Location: Brisbane, Queensland, Australia
- Contact:
Re: List of 7-prime limit accidentals
It also allows things like writing single-prime-factor-above-3 commas (like in the Sagittal Prime Factor notation) as:
etc.
But that's probably pushing things.
[2 3,5⟩ [2 3,0 7⟩ [2 3,0 0 11⟩ [2 3,,13⟩ [2 3,,0 17⟩ [2 3,,0 0 19⟩ [2 3,,,23⟩ [2 3,,,0 29⟩ [2 3,,,0 0 31⟩ [2 3,,,,37⟩
etc.
But that's probably pushing things.