- putStrLn "QuickCheck"
- putStrLn "----------"
- let qc_args = stdArgs { maxSuccess = 100,
- maxDiscard = 500,
- maxSize = 100 }
-
-
- -- putStrLn "\np. 78, (2.5)\n"
-
- -- putStr "prop_cijk1_identity... "
- -- quickCheckWith qc_args prop_cijk1_identity
-
-
- putStr "prop_interior_values_all_identical... "
- quickCheckWith qc_args prop_interior_values_all_identical
-
- putStr "prop_c_tilde_2100_rotation_correct... "
- quickCheckWith qc_args prop_c_tilde_2100_rotation_correct
-
- putStr "prop_x_rotation_doesnt_affect_front... "
- quickCheckWith qc_args prop_x_rotation_doesnt_affect_front
-
- putStr "prop_x_rotation_doesnt_affect_back... "
- quickCheckWith qc_args prop_x_rotation_doesnt_affect_back
-
- putStr "prop_y_rotation_doesnt_affect_left... "
- quickCheckWith qc_args prop_y_rotation_doesnt_affect_left
-
- putStr "prop_y_rotation_doesnt_affect_right... "
- quickCheckWith qc_args prop_y_rotation_doesnt_affect_right
-
- putStr "prop_z_rotation_doesnt_affect_top... "
- quickCheckWith qc_args prop_z_rotation_doesnt_affect_top
-
- putStr "prop_z_rotation_doesnt_affect_down... "
- quickCheckWith qc_args prop_z_rotation_doesnt_affect_down
-
- putStr "prop_c_tilde_2100_correct... "
- quickCheckWith qc_args prop_c_tilde_2100_correct
-
-
- putStrLn "\nTetrahedron Tests\n"
-
- putStr "prop_b0_v0_always_unity... "
- quickCheckWith qc_args prop_b0_v0_always_unity
-
- putStr "prop_b0_v1_always_zero... "
- quickCheckWith qc_args prop_b0_v1_always_zero
-
- putStr "prop_b0_v2_always_zero... "
- quickCheckWith qc_args prop_b0_v2_always_zero
-
- putStr "prop_b0_v3_always_zero... "
- quickCheckWith qc_args prop_b0_v3_always_zero
-
- putStr "prop_b1_v1_always_unity... "
- quickCheckWith qc_args prop_b1_v1_always_unity
-
- putStr "prop_b1_v0_always_zero... "
- quickCheckWith qc_args prop_b1_v0_always_zero
-
- putStr "prop_b1_v2_always_zero... "
- quickCheckWith qc_args prop_b1_v2_always_zero
-
- putStr "prop_b1_v3_always_zero... "
- quickCheckWith qc_args prop_b1_v3_always_zero
-
- putStr "prop_b2_v2_always_unity... "
- quickCheckWith qc_args prop_b2_v2_always_unity
-
- putStr "prop_b2_v0_always_zero... "
- quickCheckWith qc_args prop_b2_v0_always_zero
-
- putStr "prop_b2_v1_always_zero... "
- quickCheckWith qc_args prop_b2_v1_always_zero
-
- putStr "prop_b2_v3_always_zero... "
- quickCheckWith qc_args prop_b2_v3_always_zero
-
- putStr "prop_b3_v3_always_unity... "
- quickCheckWith qc_args prop_b3_v3_always_unity
-
- putStr "prop_b3_v0_always_zero... "
- quickCheckWith qc_args prop_b3_v0_always_zero
-
- putStr "prop_b3_v1_always_zero... "
- quickCheckWith qc_args prop_b3_v1_always_zero
-
- putStr "prop_b3_v2_always_zero... "
- quickCheckWith qc_args prop_b3_v2_always_zero
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients1... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients1
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients2... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients2
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients3... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients3
-
- putStr "prop_swapping_vertices_doesnt_affect_coefficients4... "
- quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients4
-