diff options
Diffstat (limited to 'Test/test0/Answer')
| -rw-r--r-- | Test/test0/Answer | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Test/test0/Answer b/Test/test0/Answer index 51a139b7..d57e7647 100644 --- a/Test/test0/Answer +++ b/Test/test0/Answer @@ -48,9 +48,13 @@ axiom x * y * z == x * y * z; axiom x * y * z * x == x * y * z;
-axiom x / y / z == x / (y / z);
+axiom x div y div z == x div (y div z);
-axiom x / y / (z / x) == x / y / z;
+axiom x div y div (z div x) == x div y div z;
+
+axiom x + y mod z == y mod z + x;
+
+axiom (x + y) mod z == x mod z + y mod z;
axiom x - y - z == x - (y - z);
|