Skip to content

Commit 4414d73

Browse files
committed
Add Vector == ZZ method
Allows calling "zero" to determine test whether a vector is the zero vector. Also add a unit test.
1 parent 87756d0 commit 4414d73

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

M2/Macaulay2/m2/matrix.m2

+1
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,7 @@ Matrix == Matrix := (f,g) -> (
119119
Matrix == Number :=
120120
Matrix == RingElement := (m,f) -> m - f == 0 -- slow!
121121
Matrix == ZZ := (m,i) -> if i === 0 then rawIsZero m.RawMatrix else m - i == 0
122+
Vector == ZZ := (v,i) -> matrix v == i
122123

123124
Matrix + Matrix := Matrix => (
124125
(f,g) -> map(target f, source f, reduce(target f, raw f + raw g))

M2/Macaulay2/tests/normal/vector.m2

+2
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,8 @@ v = vector(N, {1, 2, 3})
1414
w = vector(N, {4, 5, 6})
1515
assert Equation(v, vector map(N,, {{1}, {2}, {3}}))
1616

17+
assert zero vector {0, 0, 0}
18+
1719
-- module operations
1820
assert Equation(+v, v)
1921
assert Equation(v + w, vector(N, {5, 7, 9}))

0 commit comments

Comments
 (0)