import Cube hiding (i, j, k)
import FunctionValues
import Misc (all_equal, disjoint)
-import Tests.FunctionValues ()
import Tetrahedron (b0, b1, b2, b3, c, fv,
v0, v1, v2, v3, volume)
t0 = tetrahedron0 cube
t6 = tetrahedron6 cube
fvs = Tetrahedron.fv t0
- int = interior fvs
- f = front fvs
- r = right fvs
- l = left fvs
- b = back fvs
- ft = front_top fvs
- rt = right_top fvs
- lt = left_top fvs
- bt = back_top fvs
- t = top fvs
- d = down fvs
- fr = front_right fvs
- fl = front_left fvs
- br = back_right fvs
- bl = back_left fvs
- fd = front_down fvs
- rd = right_down fvs
- ld = left_down fvs
- bd = back_down fvs
+ (Cube _ i j k _ _) = cube
+ f = value_at fvs (i-1) j k
+ b = value_at fvs (i+1) j k
+ l = value_at fvs i (j-1) k
+ r = value_at fvs i (j+1) k
+ d = value_at fvs i j (k-1)
+ t = value_at fvs i j (k+1)
+ fl = value_at fvs (i-1) (j-1) k
+ fr = value_at fvs (i-1) (j+1) k
+ fd = value_at fvs (i-1) j (k-1)
+ ft = value_at fvs (i-1) j (k+1)
+ bl = value_at fvs (i+1) (j-1) k
+ br = value_at fvs (i+1) (j+1) k
+ bd = value_at fvs (i+1) j (k-1)
+ bt = value_at fvs (i+1) j (k+1)
+ ld = value_at fvs i (j-1) (k-1)
+ lt = value_at fvs i (j-1) (k+1)
+ rd = value_at fvs i (j+1) (k-1)
+ rt = value_at fvs i (j+1) (k+1)
+ fld = value_at fvs (i-1) (j-1) (k-1)
+ flt = value_at fvs (i-1) (j-1) (k+1)
+ frd = value_at fvs (i-1) (j+1) (k-1)
+ frt = value_at fvs (i-1) (j+1) (k+1)
+ bld = value_at fvs (i+1) (j-1) (k-1)
+ blt = value_at fvs (i+1) (j-1) (k+1)
+ brd = value_at fvs (i+1) (j+1) (k-1)
+ brt = value_at fvs (i+1) (j+1) (k+1)
+ int = value_at fvs i j k
+
-- Tests to check that the correct edges are incidental.
prop_t0_shares_edge_with_t1 :: Cube -> Bool