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

fix tests

Browse Source
This commit is contained in:
kalmarek 2018-11-24 14:57:44 +01:00
parent 853f0ac45a
commit 0ca26dd1c4
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/runtests.jl
View File

@ -289,11 +289,12 @@ using GroupRings
@test -(2 - ∗(RG(g*h*k*l)) - RG(g*h*k*l)) +
8G^2 + 8H^2 + 4K^2 + 2L^2 ==
(2 - ∗(RG(g*h*k)) - RG(l))^2 +
2(2 - ∗(RG(g*h)) - RG(k))^2 +
4(2 - ∗(RG(g)) - RG(h))^2
(2 - ∗(RG(g*h*k)) - RG(l))^2 + 2(2 - ∗(RG(g*h)) - RG(k))^2 + 4(2 - ∗(RG(g)) - RG(h))^2
@test -(2 - ∗(RG(g*h*k*l)) - RG(g*h*k*l)) +
2GH^2 + 2KL^2 == (2 - ∗(RG(g*h)) - RG(k*l))^2
@test -(2 - ∗(RG(g*h*k*l)) - RG(g*h*k*l)) + 2(2G^2 + 2H^2) + 2(2K^2 + 2L^2) ==
(2 - ∗(RG(g*h)) - RG(k*l))^2 + 2(2 - ∗(RG(k)) - RG(l))^2 + 2(2 - ∗(RG(g)) - RG(h))^2
end
end