kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 07:20:28 +01:00
Code Issues Releases Wiki Activity

Delete unused USupport; Move IsSupportedOn to avoid GAP warnings

Browse Source
This commit is contained in:
kalmar 2016-12-20 00:19:08 +01:00
parent 10cf01b0ac
commit 2ebf3060f8
1 changed files with 11 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
Matrix_Constraints.g
View File

@ -26,6 +26,17 @@ Products := function(elts, n)
fi; fi;
end; 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) Laplacian := function(G, generating_set)
local QG, emb, result, S, g, elt; local QG, emb, result, S, g, elt;
QG := GroupRing(Rationals, G);; QG := GroupRing(Rationals, G);;
@ -73,21 +84,6 @@ Constraints := function(basis)
return result; return result;
end; 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) SDPGenerateAll := function(G, S, basis, name)
local QG, emb, delta, delta_sq, delta_vec, delta_sq_vec, product_constr; local QG, emb, delta, delta_sq, delta_vec, delta_sq_vec, product_constr;
QG := GroupRing(Rationals, G);; QG := GroupRing(Rationals, G);;