Interior product: Difference between revisions
ArrowHead294 (talk | contribs) mNo edit summary |
ArrowHead294 (talk | contribs) mNo edit summary |
||
| Line 13: | Line 13: | ||
If ''W'' is a multival of rank ''n'' and ''m'' is a monzo of the same prime limit p, then form a list of ({{nowrap|n − 1}}) tuples of primes less than or equal to ''p'' in alphabetical order. Taking these in order, the ''i''-th element of {{nowrap|''W'' ∨ ''m''}}, which we may also write {{nowrap|''W'' ∨ ''q''}} where ''q'' is the rational number with monzo ''m'', will be W(''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>, ''q''), where {{nowrap|{{!(}}''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>n − 1</sub>{{)!}}}} is the ''i''-th tuple on the list of ({{nowrap|''n'' − 1}})-tuples of primes. This will result in {{nowrap|''W'' ∨ ''m''}}, a multival of rank ({{nowrap|n − 1}}). | If ''W'' is a multival of rank ''n'' and ''m'' is a monzo of the same prime limit p, then form a list of ({{nowrap|n − 1}}) tuples of primes less than or equal to ''p'' in alphabetical order. Taking these in order, the ''i''-th element of {{nowrap|''W'' ∨ ''m''}}, which we may also write {{nowrap|''W'' ∨ ''q''}} where ''q'' is the rational number with monzo ''m'', will be W(''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>, ''q''), where {{nowrap|{{!(}}''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>n − 1</sub>{{)!}}}} is the ''i''-th tuple on the list of ({{nowrap|''n'' − 1}})-tuples of primes. This will result in {{nowrap|''W'' ∨ ''m''}}, a multival of rank ({{nowrap|n − 1}}). | ||
For instance, let <math>M_\text{Marvel} = \tritmonzo{1 & 2 & -3 & -2 & 1 & -4 & -5 & 12 & 9 & -19}</math>, the wedgie for 11-limit Marvel temperament. To find {{nowrap|''M''<sub>Marvel</sub> ∨ 441/440}}, we form the list | For instance, let <math>M_\text{Marvel} = \tritmonzo{1 & 2 & -3 & -2 & 1 & -4 & -5 & 12 & 9 & -19}</math>, the wedgie for 11-limit Marvel temperament. To find {{nowrap|''M''<sub>Marvel</sub> ∨ 441/440}}, we form the list {{nowrap|{{!((}}2, 3{{)!}}}}, {{nowrap|{{!(}}2, 5{{)!}}}}, {{nowrap|{{!(}}2, 7{{)!}}}}, {{nowrap|{{!(}}2, 11{{)!}}}}, {{nowrap|{{!(}}3, 5{{)!}}}}, {{nowrap|{{!(}}3, 7{{)!}}}}, {{nowrap|{{!(}}3, 11{{)!}}}}, {{nowrap|{{!(}}5, 7{{)!}}}}, {{nowrap|{{!(}}5, 11{{)!}}}}, {{nowrap|{{!(}}7, 11{{))!}}}}. The first element of {{nowrap|''M''<sub>Marvel</sub> ∨ 441/440}} will be {{nowrap|''M''<sub>Marvel</sub>(2, 3, 441/440)}}, the second element {{nowrap|''M''<sub>Marvel</sub>(2, 5, 441/440)}} and so on down to the last element, {{nowrap|''M''<sub>Marvel</sub>(7, 11, 441/440)}}. This gives us <math>\bitval{6 & -7 & -2 & 15 & -25 & -20 & 3 & 15 & 59 & 49}</math>, which is the wedgie for 11-limit Miracle. The interior product has added a comma to Marvel to produce Miracle. | ||
If we like, we can take the wedge product {{nowrap|''m'' ∨ ''W''}} from the front by using ''W''(''q'', ''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>) instead of ''W''(''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>, ''q''), but this can only lead to a difference in sign. We can also define the interior product of ''W'' with a multimonzo ''M'' of rank {{nowrap|''r'' < ''n''}}, by forming a list of ({{nowrap|''n'' − ''r''}})-tuples of primes in alphabetical order, wedging these together with ''M'', and taking the dot product with ''W'' to get a coefficient of {{nowrap|''W'' ∨ ''M''}}. | If we like, we can take the wedge product {{nowrap|''m'' ∨ ''W''}} from the front by using ''W''(''q'', ''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>) instead of ''W''(''s''<sub>1</sub>, ''s''<sub>2</sub>, ..., ''s''<sub>{{nowrap|n − 1}}</sub>, ''q''), but this can only lead to a difference in sign. We can also define the interior product of ''W'' with a multimonzo ''M'' of rank {{nowrap|''r'' < ''n''}}, by forming a list of ({{nowrap|''n'' − ''r''}})-tuples of primes in alphabetical order, wedging these together with ''M'', and taking the dot product with ''W'' to get a coefficient of {{nowrap|''W'' ∨ ''M''}}. | ||