From d14c4ca0e7ae28b7be126a092a95405c4e1b4515 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Sun, 10 Sep 2017 21:43:09 +0200
Subject: [PATCH] add tests checking that comlpetions with 0s work

---
 test/runtests.jl | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/test/runtests.jl b/test/runtests.jl
index 36869e8..284abf8 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -44,7 +44,6 @@ using Nemo
       F = FreeGroup(3)
       S = gens(F)
       append!(S, [inv(s) for s in S])
-      S = unique(S)
 
       basis, sizes = Groups.generate_balls(S, F(), radius=4)
       d = GroupRings.reverse_dict(basis)
@@ -58,6 +57,15 @@ using Nemo
       B = GroupRing(F, basis, d, pm)
       @test A == B
 
+      RF = GroupRing(F, basis, d, create_pm(basis, d, check=false))
+      nz1 = contnz(RF.pm)
+      @test nz1 > 1000
+
+      GroupRings.complete!(RF)
+      nz2 = contnz(RF.pm)
+      @test nz2 > nz1
+      @test nz2 = 45469
+
       g = B()
       s = S[2]
       g[s] = 1