From 075c6151a651818c49fa84730fc373a1a209f595 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 14 Aug 2018 09:47:29 +0200 Subject: [PATCH] add more tests for aug and supp --- test/runtests.jl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/test/runtests.jl b/test/runtests.jl index 4377e5c..5a6d3ff 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -191,15 +191,21 @@ using GroupRings @test aug((one(RG)-RG(g))) == 0 end - b = RG(1) + star(a) + a = RG(1) + RG(perm"(2,3)") + RG(perm"(1,2,3)") + b = RG(1) - RG(perm"(1,2)(3)") - RG(perm"(1,2,3)") + @test a*b == mul!(a,a,b) - z = sum((one(RG)-RG(g))*star(one(RG)-RG(g)) for g in elements(G)) + @test aug(a) == 3 + @test aug(b) == -1 + @test aug(a)*aug(b) == aug(a*b) == aug(b*a) + z = sum((one(RG)-RG(g))*star(one(RG)-RG(g)) for g in elements(G)) @test aug(z) == 0 @test supp(z) == parent(z).basis @test supp(RG(1) + RG(perm"(2,3)")) == [G(), perm"(2,3)"] + @test supp(a) == ["perm(3)", perm"(2,3)", perm"(1,2,3)"] end end