kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-11-14 21:25:28 +01:00
Code Issues Releases Wiki Activity

add more tests for aug and supp

Browse Source
This commit is contained in:
kalmarek 2018-08-14 09:47:29 +02:00
parent 2fee695b51
commit 075c6151a6
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/runtests.jl
View File

@ -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