putStr "prop_c0120_identity3... "
quickCheckWith qc_args TC.prop_c0120_identity3
- putStr "prop_c0120_identity4... "
- quickCheckWith qc_args TC.prop_c0120_identity4
+ -- putStr "prop_c0120_identity4... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity4
- putStr "prop_c0120_identity5... "
- quickCheckWith qc_args TC.prop_c0120_identity5
+ -- putStr "prop_c0120_identity5... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity5
- putStr "prop_c0120_identity6... "
- quickCheckWith qc_args TC.prop_c0120_identity6
+ -- putStr "prop_c0120_identity6... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity6
putStr "prop_c0210_identity1... "
quickCheckWith qc_args TC.prop_c0210_identity1
putStr "prop_c1011_identity... "
quickCheckWith qc_args TC.prop_c1011_identity
- putStrLn "\np. 80, (2.9)\n"
+ -- putStrLn "\np. 80, (2.9)\n"
-- putStr "prop_c0120_identity2... "
-- quickCheckWith qc_args TF.prop_c0120_identity2
-- putStr "prop_c0300_identity3... "
-- quickCheckWith qc_args TF.prop_c0300_identity3
- putStrLn "prop_interior_values_all_identical... "
+ putStr "prop_interior_values_all_identical... "
quickCheckWith qc_args prop_interior_values_all_identical
- putStrLn "prop_c_tilde_2100_rotation_correct... "
+ putStr "prop_c_tilde_2100_rotation_correct... "
quickCheckWith qc_args prop_c_tilde_2100_rotation_correct
- putStrLn "prop_x_rotation_doesnt_affect_front... "
+ putStr "prop_x_rotation_doesnt_affect_front... "
quickCheckWith qc_args prop_x_rotation_doesnt_affect_front
- putStrLn "prop_x_rotation_doesnt_affect_back... "
+ putStr "prop_x_rotation_doesnt_affect_back... "
quickCheckWith qc_args prop_x_rotation_doesnt_affect_back
- putStrLn "prop_y_rotation_doesnt_affect_left... "
+ putStr "prop_y_rotation_doesnt_affect_left... "
quickCheckWith qc_args prop_y_rotation_doesnt_affect_left
- putStrLn "prop_y_rotation_doesnt_affect_right... "
+ putStr "prop_y_rotation_doesnt_affect_right... "
quickCheckWith qc_args prop_y_rotation_doesnt_affect_right
- putStrLn "prop_z_rotation_doesnt_affect_top... "
+ putStr "prop_z_rotation_doesnt_affect_top... "
quickCheckWith qc_args prop_z_rotation_doesnt_affect_top
- putStrLn "prop_z_rotation_doesnt_affect_down... "
+ putStr "prop_z_rotation_doesnt_affect_down... "
quickCheckWith qc_args prop_z_rotation_doesnt_affect_down
- putStrLn "prop_c_tilde_2100_correct... "
+ putStr "prop_c_tilde_2100_correct... "
quickCheckWith qc_args prop_c_tilde_2100_correct