kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00
Code Issues Releases Wiki Activity

add tests catching the problems

Browse Source
This commit is contained in:
kalmar 2017-07-05 16:21:16 +02:00
parent cc1d662814
commit 2df2dd7bd6
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/FreeGroup-tests.jl
View File

@ -131,5 +131,12 @@ end
@test Groups.replace(s*c*t^-1, 1, w, subst[w]) == s^2*t^-2
@test Groups.replace(t*c*t, 2, w, subst[w]) == t*s
@test Groups.replace_all!(s*c*s*c*s, subst) == s*t^4*s*t^4*s
G = FreeGroup(["x", "y"])
x,y = Nemo.gens(G)
@test Groups.replace(x*y^9, 2, y^2, y) == x*y^8
@test Groups.replace(x^3, 1, x^2, y) == x*y
@test Groups.replace(y*x^3*y, 2, x^2, y) == y*x*y^2
end
end