Skip to content

Commit

Permalink
removing unused function
Browse files Browse the repository at this point in the history
  • Loading branch information
egri-nagy committed Mar 20, 2019
1 parent e47e529 commit 7cd0910
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 31 deletions.
1 change: 1 addition & 0 deletions .codecov.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ comment:

ignore:
- "PackageInfo.g"
- "makedoc.g"
- "init.g"
- "read.g"
- "tst/*" # ignore test harness code
Expand Down
46 changes: 15 additions & 31 deletions lib/skeletonviz.gi
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ function(s, list, act)
Append(str, "edge [len=1.2]");
ht:=HTCreate("1 -> 2");
entries := [];

for t in [1..Size(gens)] do
label := Concatenation("", String(t));
for i in [1..Length(list)] do
Expand Down Expand Up @@ -65,10 +65,10 @@ end);
#############################################################################
# Extension of DotSemigroupAction to show node names and generator names
# by C L Nehaniv, June 2013
# Updated 27 February 2019
# Updated 27 February 2019
#

# Usage: semigroup, list, action, list of node names, list of generator names.
# Usage: semigroup, list, action, list of node names, list of generator names.
# For example,
# DotSemigroupActionWithNames(s, Elements(s), OnRight,NodeNames,GeneratorNames);
# DotSemigroupActionWithNames(s, Combinations([1..4]), OnSets,NodeNames,GeneratorNames);
Expand All @@ -85,7 +85,7 @@ function(s, list, act, nodenames, generatornames)
Append(str, "edge [len=1.2]");
ht:=HTCreate("1 -> 2");
entries := [];

for t in [1..Size(gens)] do
label := Concatenation("", String(generatornames[t]));
for i in [1..Length(list)] do
Expand Down Expand Up @@ -115,22 +115,6 @@ end);
################################################################################
# VIZ ##########################################################################

# objects: a list of vertices, or a list of edges (their string representation)
# labels: a record used as a lookup table
# not used at the moment
Dot := function(objects, labels)
local o,str;
str := "";
for o in objects do
if IsBound(labels.(o)) then
str := Concatenation(str, o," ",labels.(o),";\n");
else
str := Concatenation(str, o,";\n");
fi;
od;
end;
MakeReadOnlyGlobal("Dot");

#TODO VIZ has List2CommaSeparatedString
List2Label := function(l)
local str;
Expand Down Expand Up @@ -289,7 +273,7 @@ local str, i,label,node,out,class,classes,set,states,symbols,G,sk,params,tmpstr
AppendTo(out,"[label=\"", tmpstring, "\"]\n");
else
AppendTo(out,"[label=\"", String(witness), "\"]\n");
fi;
fi;
fi;
od;
od;
Expand All @@ -315,7 +299,7 @@ local str, i,j,label,node,out,class,classes,set,states,G,sk,params,subduction;
PrintTo(out,"//dot\ndigraph skeleton{\n");
#setting the state names
if "states" in RecNames(params) then
states := params.states;
states := params.states;
else
states := [1..DegreeOfSkeleton(sk)];
fi;
Expand Down Expand Up @@ -467,14 +451,14 @@ dotlist:=[];
for dx in [1..DepthOfSkeleton(sk)-1] do
for x1 in RepresentativeSetsOnDepth(sk,dx) do
px1 := PermutatorGroup(sk,x1);
hx1 := HolonomyGroup@SgpDec(sk,x1);
hx1 := HolonomyGroup@SgpDec(sk,x1);
if not IsTrivial(px1) then
PermutatorGeneratorLabels:=[];
W := NontrivialRoundTripWords(sk,x1);
for w in W do #print the permutator generator words using named transitions
PermGenWord:=Concatenation(List(w,x->symbols[x]));
PermGenWord:=Concatenation(List(w,x->symbols[x]));
Add(PermutatorGeneratorLabels,PermGenWord);
od;
od;
dot:=DotSemigroupActionWithNames(px1,ListBlist([1..DegreeOfSkeleton(sk)],x1),OnPoints,states,PermutatorGeneratorLabels);
Add(dotlist,dot);
fi;
Expand Down Expand Up @@ -517,17 +501,17 @@ dotlist:=[];
for dx in [1..DepthOfSkeleton(sk)-1] do
for x1 in RepresentativeSetsOnDepth(sk,dx) do
px1 := PermutatorGroup(sk,x1);
hx1 := HolonomyGroup@SgpDec(sk,x1);
hx1 := HolonomyGroup@SgpDec(sk,x1);
if not IsTrivial(px1) then
PermutatorGeneratorLabels:=[];
W := NontrivialRoundTripWords(sk,x1);
for w in W do #print the permutator generator words using named transitions
PermGenWord:=Concatenation(List(w,x->symbols[x]));
PermGenWord:=Concatenation(List(w,x->symbols[x]));
Add(PermutatorGeneratorLabels,PermGenWord);
od;
od;

tilenames :=List(TilesOf(sk,x1),x->TrueValuePositionsBlistString(x,states));

dot:=DotSemigroupActionWithNames(hx1,[1..Size(TilesOf(sk,x1))],OnPoints,tilenames,PermutatorGeneratorLabels);
Add(dotlist,dot);
fi;
Expand All @@ -541,4 +525,4 @@ InstallGlobalFunction(SplashList,
function(dotlist)
local dot;
for dot in dotlist do Splash(dot); od;
end);
end);

0 comments on commit 7cd0910

Please sign in to comment.