Fix the ccwz rotations.

diff --git a/src/Cardinal.hs b/src/Cardinal.hs
index 9bd8e1df933b592d877d2e1efe810b44d96092ac..9032fbdfd4312907474c9b0e4da32928a8add648 100644 (file)
--- a/src/Cardinal.hs
+++ b/src/Cardinal.hs
@@ -150,32 +150,32 @@ cwy = ccwy . ccwy . ccwy
 
 -- | Rotate a cardinal direction counter-clockwise about the z-axis.
 ccwz :: Cardinal -> Cardinal
-ccwz F = L
-ccwz B = R
-ccwz L = B
-ccwz R = F
+ccwz F = R
+ccwz B = L
+ccwz L = F
+ccwz R = B
 ccwz D = D
 ccwz T = T
-ccwz FL = BL
-ccwz FR = FL
-ccwz FD = LD
-ccwz FT = LT
-ccwz BL = BR
-ccwz BR = FR
-ccwz BD = RD
-ccwz BT = RT
-ccwz LD = BD
-ccwz LT = BT
-ccwz RD = FD
-ccwz RT = FT
-ccwz FLD = BLD
-ccwz FLT = BLT
-ccwz FRD = FLD
-ccwz FRT = FLT
-ccwz BLD = BRD
-ccwz BLT = BRT
-ccwz BRD = FRD
-ccwz BRT = FRT
+ccwz FL = FR
+ccwz FR = BR
+ccwz FD = RD
+ccwz FT = RT
+ccwz BL = FL
+ccwz BR = BL
+ccwz BD = LD
+ccwz BT = LT
+ccwz LD = FD
+ccwz LT = FT
+ccwz RD = BD
+ccwz RT = BT
+ccwz FLD = FRD
+ccwz FLT = FRT
+ccwz FRD = BRD
+ccwz FRT = BRT
+ccwz BLD = FLD
+ccwz BLT = FLT
+ccwz BRD = BLD
+ccwz BRT = BLT
 ccwz I = I
 ccwz (Scalar s) = (Scalar s)
 ccwz (Sum c0 c1) = Sum (ccwz c0) (ccwz c1)