Further tests

teschlg · Oct 30, 2024 · 22c6eb2 · 22c6eb2
1 parent dba8b42
commit 22c6eb2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/tests/test_ec.py b/tests/test_ec.py
@@ -14,6 +14,8 @@ def test_EC():
 	assert Q in ec
 	assert P + O == P
 	assert O + P == P
+	assert P - P == O
+	assert P + P == 2 * P
 	R = O
 	for i in range(5):
 		assert i * P == R

diff --git a/tests/test_la.py b/tests/test_la.py
@@ -5,11 +5,13 @@
 
 def test_Matrix():
 	M = Matrix([[1, 2, 3], [4, 5, 6], [7, 8, 12]])
+	assert 2 * M - M == M
 	M.map(Fraction)
 	Mi = M.inv()
 	assert M * Mi == M.eye()
 
 	Z_11 = Zmod(11)
+	assert 2 * M - M == M
 	M = Matrix([[1, 2, 3], [4, 5, 6], [7, 8, 12]], ring=Z_11)
 	Mi = M.inv()
 	assert M * Mi == M.eye()