kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-07 21:15:28 +01:00
Code Issues Releases Wiki Activity

format test/fp_groups.jl

Browse Source
This commit is contained in:
Marek Kaluba 2023-05-29 17:40:56 +02:00
parent eacb32af68
commit 3260e66d37
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
test/fp_groups.jl
View File

@ -14,7 +14,8 @@
G = FPGroup(F, [a * b => b * a, a * c => c * a, b * c => c * b]) G = FPGroup(F, [a * b => b * a, a * c => c * a, b * c => c * b])
@test G isa FPGroup @test G isa FPGroup
@test sprint(show, G) == "⟨ a b c | \n\t a*b => b*a a*c => c*a b*c => c*b ⟩" @test sprint(show, G) ==
"⟨ a b c | \n\t a*b => b*a a*c => c*a b*c => c*b ⟩"
@test rand(G) isa FPGroupElement @test rand(G) isa FPGroupElement
f = a * c * b f = a * c * b
@ -40,7 +41,7 @@
end end
# quotient of G # quotient of G
H = FPGroup(G, [aG^2 => cG, bG * cG => aG], max_rules=200) H = FPGroup(G, [aG^2 => cG, bG * cG => aG]; max_rules = 200)
h = H(word(g)) h = H(word(g))
@ -48,15 +49,21 @@
@test_throws AssertionError h == g @test_throws AssertionError h == g
@test_throws MethodError h * g @test_throws MethodError h * g
H′ = FPGroup(G, [aG^2 => cG, bG * cG => aG], max_rules=200) H′ = FPGroup(G, [aG^2 => cG, bG * cG => aG]; max_rules = 200)
@test_throws AssertionError one(H) == one(H′) @test_throws AssertionError one(H) == one(H′)
Groups.normalform!(h) Groups.normalform!(h)
@test h == H([5]) @test h == H([5])
@test_logs (:warn, "using generic isfiniteorder(::AbstractFPGroupElement): the returned `false` might be wrong") isfiniteorder(h) @test_logs (
:warn,
"using generic isfiniteorder(::AbstractFPGroupElement): the returned `false` might be wrong",
) isfiniteorder(h)
@test_logs (:warn, "using generic isfinite(::AbstractFPGroup): the returned `false` might be wrong") isfinite(H) @test_logs (
:warn,
"using generic isfinite(::AbstractFPGroup): the returned `false` might be wrong",
) isfinite(H)
Logging.with_logger(Logging.NullLogger()) do Logging.with_logger(Logging.NullLogger()) do
@testset "GroupsCore conformance: H" begin @testset "GroupsCore conformance: H" begin