blob: e5571bbc5efc7b32334b0a811b97a3d9c96fc31a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
module VectorOverloadingTest
/* Test module VectorOverloading
Voor werken met Gast:
(*) gebruik Environment 'Gast'
(*) zet Project Options op 'Basic Values Only'
*/
import VectorOverloading
import StdEnv
import gast
Start
= testn 1000
(\v ->
zero_is_neutral_for_addition v /\
zero_is_neutral_for_subtraction v /\
one_is_neutral_for_multiplication v /\
one_is_neutral_for_division v /\
negation_is_idempotent v /\
add_then_subtract_yields_identity v /\
subtract_then_add_yields_identity v /\
True
)
:: BaseType
:== Int
// :== Real
zero_is_neutral_for_addition :: (Vector2 BaseType) -> Property
zero_is_neutral_for_addition a = name "zero_is_neutral_for_addition"
(zero + a == a && a == a + zero)
zero_is_neutral_for_subtraction :: (Vector2 BaseType) -> Property
zero_is_neutral_for_subtraction a = name "zero_is_neutral_for_subtraction"
(a - zero == a && a == ~ (zero - a))
one_is_neutral_for_multiplication :: (Vector2 BaseType) -> Property
one_is_neutral_for_multiplication a = name "one_is_neutral_for_multiplication"
(one * a == a && a == a * one)
zero_is_zero_for_multiplication :: (Vector2 BaseType) -> Property
zero_is_zero_for_multiplication a = name "zero_is_zero_for_multiplication"
(zero * a == zero && zero == a * zero)
one_is_neutral_for_division :: (Vector2 BaseType) -> Property
one_is_neutral_for_division a = name "one_is_neutral_for_division"
(a / one == a)
negation_is_idempotent :: (Vector2 BaseType) -> Property
negation_is_idempotent a = name "negation_is_idempotent"
(~ (~ a) == a)
add_then_subtract_yields_identity :: (Vector2 BaseType) -> Property
add_then_subtract_yields_identity a = name "add then subtract" ((a + a) - a == a)
subtract_then_add_yields_identity :: (Vector2 BaseType) -> Property
subtract_then_add_yields_identity a = name "subtract then add" ((zero - a - a) + a + a == zero)
derive genShow Vector2
derive ggen Vector2
derive bimap []
|
