From 2ebf3060f8d1a6355334df2827b595984a963d70 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Tue, 20 Dec 2016 00:19:08 +0100
Subject: [PATCH] Delete unused USupport; Move IsSupportedOn to avoid GAP
 warnings

---
 Matrix_Constraints.g | 26 +++++++++++---------------
 1 file changed, 11 insertions(+), 15 deletions(-)

diff --git a/Matrix_Constraints.g b/Matrix_Constraints.g
index effcd5e..520bd80 100644
--- a/Matrix_Constraints.g
+++ b/Matrix_Constraints.g
@@ -26,6 +26,17 @@ Products := function(elts, n)
   fi;
 end;
 
+IsSupportedOn := function(basis, elt)
+    local elt_supp, x;
+    elt_supp := Support(elt);
+    for x in elt_supp do
+        if not x in basis then
+            return false;
+        fi;
+    od;
+    return true;
+end;
+
 Laplacian := function(G, generating_set)
   local QG, emb, result, S, g, elt;
   QG := GroupRing(Rationals, G);;
@@ -73,21 +84,6 @@ Constraints := function(basis)
   return result;
 end;
 
-USupport := function(x)
-    return Unique(Support(x));
-end;
-
-IsSupportedOn := function(basis, elt)
-    local elt_supp, x;
-    elt_supp := USupport(elt);
-    for x in elt_supp do
-        if not x in basis then
-            return x;
-        fi;
-    od;
-    return true;
-end;
-
 SDPGenerateAll := function(G, S, basis, name)
   local QG, emb, delta, delta_sq, delta_vec, delta_sq_vec, product_constr;
   QG := GroupRing(Rationals, G);;