https://github.com/gpfeiffer/zigzag
Tip revision: a102645d75b0a3d056a3ee09c0d541982a0f480a authored by Götz Pfeiffer on 23 October 2019, 18:18:20 UTC
Version 0.82
Version 0.82
Tip revision: a102645
shapes-extra.g
#############################################################################
##
## CollapsedIncMatShapes( <shapes> ) . . . . collapsed incidence matrix.
##
## returns the Condensed Inc Mat under conjugation ... ???
##
CollapsedIncMatShapes:= function(shapes)
local mat, a, row, b;
mat:= [];
for a in shapes do
row:= [];
for b in shapes do
Add(row, Number(Elements(b), x-> IsSubset(a.J, x)));
od;
Add(mat, row);
od;
return mat;
end;
FusMatShapes1:= function(shapes)
local mat, a, row, nor, b;
mat:= [];
for a in shapes do
row:= [];
nor:= Closure(ReflectionSubgroup(a.W, a.J), Call(a, "Complement"));
for b in shapes do
Add(row, Length(Orbits(nor, Filtered(Elements(b), x-> IsSubset(a.J, x)), OnSets)));
od;
Add(mat, row);
od;
return mat;
end;
#############################################################################
##
## CollapsedFusMatShapes( <shapes> ) . . . . . . collapsed fusion matrix.
##
## returns the Condensed Fus Mat under conjugation ... ???
##
CollapsedFusMatShapes:= function(shapes)
local mat, a, fus, row, i;
mat:= [];
for a in shapes do
fus:= List(Shapes(ReflectionSubgroup(a.W, a.J)),
x-> PositionProperty(shapes, y-> IsSubset(y, x)));
row:= List(shapes, x-> 0);
for i in fus do
row[i]:= row[i] + 1;
od;
Add(mat, row);
od;
return mat;
end;
#############################################################################
PrimeShapes:= function(W)
return 0; ##FIXME
end;