From 0ca26dd1c4dcbd8d746c507eaf315f0bb143a581 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sat, 24 Nov 2018 14:57:44 +0100 Subject: [PATCH] fix tests --- test/runtests.jl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/test/runtests.jl b/test/runtests.jl index f715fdf..c71bddb 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -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