Skip to content

Commit

Permalink
Add unit test for variable deduplication w/ 3 duplicates
Browse files Browse the repository at this point in the history
  • Loading branch information
d-torrance committed May 24, 2024
1 parent 6b3e0bd commit 4ea15ca
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions M2/Macaulay2/tests/normal/monoids.m2
Original file line number Diff line number Diff line change
Expand Up @@ -230,6 +230,7 @@ assert(gens(B = A ** A) == {x_0,y_0,x_1,y_1}) -- TODO: eliminate the warning
assert(gens(C = B ** B) == {x_(0,0),y_(0,0),x_(0,1),y_(0,1),x_(1,0),y_(1,0),x_(1,1),y_(1,1)})
assert(toString gens(A ** B) == "{x, y, x_0, y_0, x_1, y_1}") -- TODO: not yet working without toString
assert(toString gens(monoid[x,y,x,z]) == "{x_0, y, x_1, z}") -- TODO: not yet working without toString
assert(toString gens(monoid[x,x,x]) == "{x_0, x_1, x_2}") -- issue #3261

-- test ^** and runLengthEncode
-- TODO: what should happen for odd powers?
Expand Down

0 comments on commit 4ea15ca

Please sign in to comment.