kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-24 18:05:27 +01:00
Code Issues Releases Wiki Activity

fix test_throws

Browse Source
This commit is contained in:
Marek Kaluba 2021-07-07 12:11:45 +02:00
parent 9415906aa2
commit 0c60dce731
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/fp_groups.jl
View File

@ -46,7 +46,10 @@
@test h isa FPGroupElement
@test_throws AssertionError h == g
@test_throws AssertionError h*g
@test_throws MethodError h*g
H′ = FPGroup(G, [aG^2=>cG, bG*cG=>aG], maxrules=200)
@test_throws AssertionError one(H) == one(H′)
Groups.normalform!(h)
@test h == H([5])