Skip to content

Commit faa6e35

Browse files
committed
Add some tests for old bugs from bugs/dan
1 parent 88a4ec3 commit faa6e35

File tree

3 files changed

+10
-0
lines changed

3 files changed

+10
-0
lines changed

M2/Macaulay2/tests/normal/factory.m2

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,3 +22,8 @@ gcd(p,q)
2222
assert( gcd(p,q) == d )
2323
-- test deferred, trying to get it to work
2424
-- factor p -- not implemented yet
25+
26+
-- used to crash (M2/bugs/dan/1-factory-bug)
27+
R = ZZ/2[x,y,z,u,v]
28+
I = ideal(z^2 + x*y*z + x^2*y + x*y^2, u^2 + x*u + x, v^2 + y*v + y)
29+
assert(I == radical I)

M2/Macaulay2/tests/normal/threads.m2

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,8 @@ assert( 4 === taskResult t )
1717
t = schedule ( x -> x+2, 2 )
1818
assert( 4 === taskResult t )
1919

20+
assert(hash schedule(() -> null) != hash schedule(() -> null))
21+
2022
-- check whether thread local variables have separate values in separate threads
2123
threadVariable aaa
2224
assert( aaa === null )

M2/Macaulay2/tests/normal/unicode.m2

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,6 @@ assert(v·w == 11)
99
assert try getSymbol "⟎⟎" then false else true
1010

1111
assert((a⇒b) === (a => b))
12+
13+
-- used to raise recursion error (M2/bugs/dan/1-recursion-in-printing)
14+
assert(vector vector {1} == vector(ZZ, 1))

0 commit comments

Comments
 (0)