From 4d755786ad61fa27946389f460538ef6fac95d1f Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 10 Jul 2011 16:41:16 -0400 Subject: [PATCH] Fix the ccwz rotations. --- src/Cardinal.hs | 48 ++++++++++++++++++++++++------------------------ 1 file changed, 24 insertions(+), 24 deletions(-) diff --git a/src/Cardinal.hs b/src/Cardinal.hs index 9bd8e1d..9032fbd 100644 --- 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) -- 2.43.2