From 0ba66ceaa43a2b720f23f0baed385d531820e0b7 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Sun, 28 May 2017 19:58:05 +0200
Subject: [PATCH] remove products and generate_balls: these are in Groups.jl

---
 src/PropertyT.jl | 26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 00e07d7..311e068 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -10,32 +10,6 @@ const solver_logger = Memento.config("info", fmt="{msg}")
 include("sdps.jl")
 include("checksolution.jl")
 
-function products{T}(X::AbstractVector{T}, Y::AbstractVector{T})
-    result = Vector{T}()
-    seen = Set{T}()
-    for x in X
-        for y in Y
-            z = x*y
-            if !in(z, seen)
-                push!(seen, z)
-                push!(result, z)
-            end
-        end
-    end
-    return result
-end
-
-function generate_balls{T}(S::Vector{T}, Id::T; radius=4)
-    sizes = Vector{Int}()
-    S = vcat([Id], S)
-    B = [Id]
-    for i in 1:radius
-        B = products(B, S);
-        push!(sizes, length(B))
-    end
-    return B, sizes
-end
-
 function pmΔfilenames(name::String)
     if !isdir(name)
         mkdir(name)