Meet and join: Difference between revisions

Line 15:

Similarly, the '''meet''' A ⊓ B is defined by taking the intersection of the kernels of A and B. The meet of A and B, in terms of vals, tempers out only those commas tempered in both A ''and'' B, and in terms of vals, is supported by linear combination of vals supporting either A ''or'' B. If A and B are defined by vals, the meet A ⊓ B is defined by taking the normal val list for A and that of B, concatenating them, and reducing the result to a normal interval list. Since temperaments expressed as normal val lists can be converted to temperaments expressed as normal interval lists and back again via the [[dual list]] function, we can also us this to compute the normal comma list for the meet.

=== Poset Properties ===

Revision as of 10:24, 19 December 2021 view source Mike Battaglia (talk \| contribs) autopatrolled, Bureaucrats, confirmaccount-notify, emailconfirmed, Interface administrators, Sysops 1,399 edits →Definition: Clarified definition of join and meet, also fixed another error ← Older edit		Revision as of 10:24, 19 December 2021 view source Mike Battaglia (talk \| contribs) autopatrolled, Bureaucrats, confirmaccount-notify, emailconfirmed, Interface administrators, Sysops 1,399 edits →Temperament Meet and Join: formatting Newer edit →
Line 15:		Line 15:

	Similarly, the '''meet''' A ⊓ B is defined by taking the intersection of the kernels of A and B. The meet of A and B, in terms of vals, tempers out only those commas tempered in both A ''and'' B, and in terms of vals, is supported by linear combination of vals supporting either A ''or'' B. If A and B are defined by vals, the meet A ⊓ B is defined by taking the normal val list for A and that of B, concatenating them, and reducing the result to a normal interval list. Since temperaments expressed as normal val lists can be converted to temperaments expressed as normal interval lists and back again via the [[dual list]] function, we can also us this to compute the normal comma list for the meet.		Similarly, the '''meet''' A ⊓ B is defined by taking the intersection of the kernels of A and B. The meet of A and B, in terms of vals, tempers out only those commas tempered in both A ''and'' B, and in terms of vals, is supported by linear combination of vals supporting either A ''or'' B. If A and B are defined by vals, the meet A ⊓ B is defined by taking the normal val list for A and that of B, concatenating them, and reducing the result to a normal interval list. Since temperaments expressed as normal val lists can be converted to temperaments expressed as normal interval lists and back again via the [[dual list]] function, we can also us this to compute the normal comma list for the meet.


	=== Poset Properties ===		=== Poset Properties ===