Music.Theory.Z12.Rahn_1980

John Rahn. Basic Atonal Theory. Longman, New York, 1980.

Documentation

rahn_cmp :: Ord a => [a] -> [a] -> Ordering

Rahn prime form (comparison is rightmost inwards).

 rahn_cmp [0,1,3,6,8,9] [0,2,3,6,7,9] == GT

rahn_prime :: [Z12] -> [Z12]

Rahn prime form, ie. ti_cmp_prime of rahn_cmp.

 rahn_prime [0,1,3,6,8,9] == [0,2,3,6,7,9]

 let s = [[0,1,3,7,8]
         ,[0,1,3,6,8,9],[0,1,3,5,8,9]
         ,[0,1,2,4,7,8,9]
         ,[0,1,2,4,5,7,9,10]]
 in all (\p -> forte_prime p /= rahn_prime p) s == True