(*^ ::[paletteColors = 128; currentKernel; fontset = title, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeTitle, center, M7, bold, e8, 24, "Times"; ; fontset = subtitle, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeTitle, center, M7, bold, e6, 18, "Times"; ; fontset = subsubtitle, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeTitle, center, M7, italic, e6, 14, "Times"; ; fontset = section, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeSection, grayBox, M22, bold, a20, 18, "Times"; ; fontset = subsection, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeSection, blackBox, M19, bold, a15, 14, "Times"; ; fontset = subsubsection, inactive, noPageBreakBelow, nohscroll, preserveAspect, groupLikeSection, whiteBox, M18, bold, a12, 12, "Times"; ; fontset = text, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = smalltext, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 10, "Times"; ; fontset = input, noPageBreakInGroup, nowordwrap, preserveAspect, groupLikeInput, M42, N23, bold, 12, "Courier"; ; fontset = output, output, inactive, noPageBreakInGroup, preserveAspect, groupLikeOutput, M42, N23, 12, "Courier"; ; fontset = message, inactive, noPageBreakInGroup, nowordwrap, preserveAspect, groupLikeOutput, M42, N23, R65535, 12, "Courier"; ; fontset = print, inactive, noPageBreakInGroup, nowordwrap, preserveAspect, groupLikeOutput, M42, N23, 12, "Courier"; ; fontset = info, inactive, noPageBreakInGroup, nowordwrap, preserveAspect, groupLikeOutput, M42, N23, B65535, 12, "Courier"; ; fontset = postscript, PostScript, formatAsPostScript, output, inactive, noPageBreakInGroup, nowordwrap, preserveAspect, groupLikeGraphics, M7, l34, w282, h287, 12, "Courier"; ; fontset = name, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, italic, 10, "Times"; ; fontset = header, inactive, noKeepOnOnePage, preserveAspect, M7, 12; fontset = Left Header, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, italic, L1, 12, "Times"; ; fontset = footer, inactive, noKeepOnOnePage, preserveAspect, center, M7, 12; fontset = Left Footer, inactive, nohscroll, noKeepOnOnePage, preserveAspect, center, M7, italic, L1, 12, "Times"; ; fontset = help, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 10, "Times"; ; fontset = clipboard, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = completions, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = special1, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = special2, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = special3, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = special4, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; fontset = special5, inactive, nohscroll, noKeepOnOnePage, preserveAspect, M7, 12; next21StandardFontEncoding; ] :[font = title; inactive; preserveAspect; ] Generating All Faces of Convex Polytopes:FaceLattice.m -Mathematica Package - Version 0.2 Beta, September 19, 1992 Komei Fukuda(University of Tsukuba, Tokyo) and Vera Rosta(Temple University Japan) ;[s] 5:0,0;56,1;67,2;116,3;117,4;203,-1; 5:1,21,16,Times,1,24,0,0,0;1,13,10,Times,3,14,0,0,0;1,12,9,Times,1,14,0,0,0;1,10,8,Courier,1,12,0,0,0;1,12,9,Times,1,14,0,0,0; :[font = text; inactive; preserveAspect; ] In this small notebook, we shall explain how to enumerate all faces of a d-dimensional convex polytope using the package FaceLattice.m which is distributed with VertexEnum package. (A convex polytope is a bounded convex polyhedron.) Since the package FaceLattice.m automatically reads two other packages, VertexEnum.m and Combinatorica.m, it is important that those packages are available in your computing environment before you try read in the FaceLattice package. Combinatorica.m is a standard Mathematica package which is to be in the directory DiscreteMath. ;[s] 5:0,0;205,1;212,2;501,3;512,4;568,-1; 5:1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0;1,10,8,Times,2,12,0,0,0;1,11,8,Times,0,12,0,0,0; :[font = input; preserveAspect; startGroup; ] $Path=Join[$Path, {"~/NeXT/NeXTmath/VertexEnum"}] :[font = output; output; inactive; preserveAspect; endGroup; ] {".", "~", "~/Library/Mathematica/Packages", "/LocalApps/Mathematica.app/Kernel/NeXT/Preload", "/LocalApps/Mathematica.app/Kernel/NeXT/StartUp", "/LocalLibrary/Mathematica/Packages", "~/NeXT/NeXTmath/VertexEnum"} ;[o] {., ~, ~/Library/Mathematica/Packages, /LocalApps/Mathematica.app/Kernel/NeXT/Preload, /LocalApps/Mathematica.app/Kernel/NeXT/StartUp, /LocalLibrary/Mathematica/Packages, ~/NeXT/NeXTmath/VertexEnum} :[font = input; initialization; preserveAspect; ] *) <=0 whose solution set is a 5-dimensional convex polytope with 7 facets. :[font = input; dontPreserveAspect; startGroup; ] size=2; dim=5; :[font = input; dontPreserveAspect; startGroup; ] m=Table[Table[Random[Integer,{1,5}],{dim}],{size}] :[font = output; input; inactive; dontPreserveAspect; endGroup; ] {{5, 1, 4, 5, 1}, {4, 2, 1, 2, 1}} ;[o] {{5, 1, 4, 5, 1}, {4, 2, 1, 2, 1}} :[font = input; dontPreserveAspect; startGroup; ] b=Table[Sum[m[[i,j]],{j,dim}],{i,size}] :[font = output; input; inactive; dontPreserveAspect; endGroup; endGroup; ] {16, 10} ;[o] {16, 10} :[font = text; inactive; preserveAspect; ] Then we compute all vertices of the polytope using the VetexEnumeration function of VertexEnum package. :[font = input; dontPreserveAspect; ] vlist=VertexEnumeration[m,b]; :[font = input; dontPreserveAspect; startGroup; ] activesets=vlist[[2]] :[font = output; output; inactive; preserveAspect; endGroup; ] {{1, 2, 3, 4, 5}, {1, 2, 3, 6, 5}, {7, 2, 3, 4, 5}, {7, 2, 3, 6, 5}, {7, 2, 4, 6, 5}, {1, 2, 4, 6, 5}, {7, 1, 4, 6, 5}, {7, 2, 4, 6, 1}, {7, 1, 3, 6, 5}, {7, 2, 3, 6, 1}, {7, 1, 3, 4, 5}, {7, 2, 3, 4, 1}} ;[o] {{1, 2, 3, 4, 5}, {1, 2, 3, 6, 5}, {7, 2, 3, 4, 5}, {7, 2, 3, 6, 5}, {7, 2, 4, 6, 5}, {1, 2, 4, 6, 5}, {7, 1, 4, 6, 5}, {7, 2, 4, 6, 1}, {7, 1, 3, 6, 5}, {7, 2, 3, 6, 1}, {7, 1, 3, 4, 5}, {7, 2, 3, 4, 1}} :[font = text; inactive; preserveAspect; ] Here activesets is the list of vertices, each represented as the set of indices of inequalities which are satisfied by equality (i.e. active) at the vertex. We can represent each face of the polytope exactly the same manner. In fact, by taking all possible intersections of members of activesets, we can generate all faces. The function KFaceList outputs {F-1,F0,F1,F2,...,Fd} where d is the dimension of the polytope and Fk is the list of k-dimensional faces for k=-1,0,1,2,...,d. ;[s] 7:0,0;5,1;15,2;134,3;140,4;338,5;347,6;483,-1; 7:1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0; :[font = text; inactive; preserveAspect; ] (* The following takes about two minutes on Macintosh SE/30 *) :[font = input; Cclosed; preserveAspect; startGroup; ] flist=KFaceList[activesets] :[font = print; inactive; preserveAspect; ] All 0-faces determined. All 1-faces determined. All 2-faces determined. All 3-faces determined. All 4-faces determined. :[font = output; output; inactive; preserveAspect; endGroup; ] {{{1, 2, 3, 4, 5, 6, 7}}, {{1, 2, 3, 4, 5}, {1, 2, 3, 5, 6}, {2, 3, 4, 5, 7}, {2, 3, 5, 6, 7}, {2, 4, 5, 6, 7}, {1, 2, 4, 5, 6}, {1, 4, 5, 6, 7}, {1, 2, 4, 6, 7}, {1, 3, 5, 6, 7}, {1, 2, 3, 6, 7}, {1, 3, 4, 5, 7}, {1, 2, 3, 4, 7}}, {{1, 2, 3, 5}, {2, 3, 4, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {1, 2, 3, 4}, {2, 3, 5, 6}, {1, 2, 5, 6}, {1, 3, 5, 6}, {1, 2, 3, 6}, {2, 3, 5, 7}, {2, 4, 5, 7}, {3, 4, 5, 7}, {2, 3, 4, 7}, {2, 5, 6, 7}, {3, 5, 6, 7}, {2, 3, 6, 7}, {2, 4, 5, 6}, {4, 5, 6, 7}, {2, 4, 6, 7}, {1, 4, 5, 6}, {1, 2, 4, 6}, {1, 4, 6, 7}, {1, 5, 6, 7}, {1, 4, 5, 7}, {1, 2, 6, 7}, {1, 2, 4, 7}, {1, 3, 6, 7}, {1, 3, 5, 7}, {1, 2, 3, 7}, {1, 3, 4, 7}}, {{2, 3, 5}, {1, 2, 5}, {1, 3, 5}, {1, 2, 3}, {2, 4, 5}, {3, 4, 5}, {2, 3, 4}, {1, 4, 5}, {1, 2, 4}, {1, 3, 4}, {2, 5, 6}, {3, 5, 6}, {2, 3, 6}, {1, 5, 6}, {1, 2, 6}, {1, 3, 6}, {2, 5, 7}, {3, 5, 7}, {2, 3, 7}, {4, 5, 7}, {2, 4, 7}, {3, 4, 7}, {5, 6, 7}, {2, 6, 7}, {3, 6, 7}, {4, 5, 6}, {2, 4, 6}, {4, 6, 7}, {1, 4, 6}, {1, 6, 7}, {1, 4, 7}, {1, 5, 7}, {1, 2, 7}, {1, 3, 7}}, {{2, 5}, {3, 5}, {2, 3}, {1, 5}, {1, 2}, {1, 3}, {4, 5}, {2, 4}, {3, 4}, {1, 4}, {5, 6}, {2, 6}, {3, 6}, {1, 6}, {5, 7}, {2, 7}, {3, 7}, {4, 7}, {6, 7}, {4, 6}, {1, 7}}, {{5}, {2}, {3}, {1}, {4}, {6}, {7}}, {{}}} ;[o] {{{1, 2, 3, 4, 5, 6, 7}}, {{1, 2, 3, 4, 5}, {1, 2, 3, 5, 6}, {2, 3, 4, 5, 7}, {2, 3, 5, 6, 7}, {2, 4, 5, 6, 7}, {1, 2, 4, 5, 6}, {1, 4, 5, 6, 7}, {1, 2, 4, 6, 7}, {1, 3, 5, 6, 7}, {1, 2, 3, 6, 7}, {1, 3, 4, 5, 7}, {1, 2, 3, 4, 7}}, {{1, 2, 3, 5}, {2, 3, 4, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {1, 2, 3, 4}, {2, 3, 5, 6}, {1, 2, 5, 6}, {1, 3, 5, 6}, {1, 2, 3, 6}, {2, 3, 5, 7}, {2, 4, 5, 7}, {3, 4, 5, 7}, {2, 3, 4, 7}, {2, 5, 6, 7}, {3, 5, 6, 7}, {2, 3, 6, 7}, {2, 4, 5, 6}, {4, 5, 6, 7}, {2, 4, 6, 7}, {1, 4, 5, 6}, {1, 2, 4, 6}, {1, 4, 6, 7}, {1, 5, 6, 7}, {1, 4, 5, 7}, {1, 2, 6, 7}, {1, 2, 4, 7}, {1, 3, 6, 7}, {1, 3, 5, 7}, {1, 2, 3, 7}, {1, 3, 4, 7}}, {{2, 3, 5}, {1, 2, 5}, {1, 3, 5}, {1, 2, 3}, {2, 4, 5}, {3, 4, 5}, {2, 3, 4}, {1, 4, 5}, {1, 2, 4}, {1, 3, 4}, {2, 5, 6}, {3, 5, 6}, {2, 3, 6}, {1, 5, 6}, {1, 2, 6}, {1, 3, 6}, {2, 5, 7}, {3, 5, 7}, {2, 3, 7}, {4, 5, 7}, {2, 4, 7}, {3, 4, 7}, {5, 6, 7}, {2, 6, 7}, {3, 6, 7}, {4, 5, 6}, {2, 4, 6}, {4, 6, 7}, {1, 4, 6}, {1, 6, 7}, {1, 4, 7}, {1, 5, 7}, {1, 2, 7}, {1, 3, 7}}, {{2, 5}, {3, 5}, {2, 3}, {1, 5}, {1, 2}, {1, 3}, {4, 5}, {2, 4}, {3, 4}, {1, 4}, {5, 6}, {2, 6}, {3, 6}, {1, 6}, {5, 7}, {2, 7}, {3, 7}, {4, 7}, {6, 7}, {4, 6}, {1, 7}}, {{5}, {2}, {3}, {1}, {4}, {6}, {7}}, {{}}} :[font = text; inactive; preserveAspect; ] The function FVector counts the number of k-faces for k=-1,0,2,...,d. :[font = input; preserveAspect; startGroup; ] fvector=FVector[flist] :[font = output; input; inactive; preserveAspect; endGroup; ] {1, 12, 30, 34, 21, 7, 1} ;[o] {1, 12, 30, 34, 21, 7, 1} :[font = text; inactive; preserveAspect; ] There is a well-known theorem about the f-vector: Euler-Poincare's relation. This relation says that the alternate sum of the number of k-faces is always zero. We can test whether it is true for our example. First we make the (+1,-1) alternating vector. :[font = input; preserveAspect; startGroup; ] avector=Table[(-1)^i,{i,Length[flist]}] :[font = output; output; inactive; preserveAspect; endGroup; ] {-1, 1, -1, 1, -1, 1, -1} ;[o] {-1, 1, -1, 1, -1, 1, -1} :[font = text; inactive; preserveAspect; ] The following must be true. (If not, who is responsible for it?) :[font = input; preserveAspect; startGroup; ] TrueQ[avector.fvector==0] :[font = output; output; inactive; preserveAspect; endGroup; ] True ;[o] True :[font = text; inactive; preserveAspect; ] It is not easy to draw by hand the face lattice of general convex polytopes, but the function FaceLatticeDiagram automatically generates a Mathematica graphics for it. Whether or not the drawing is useful is a different question! ;[s] 5:0,0;94,1;112,2;139,3;150,4;232,-1; 5:1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0;1,10,8,Times,2,12,0,0,0;1,11,8,Times,0,12,0,0,0; :[font = input; preserveAspect; startGroup; ] Show[FaceLatticeDiagram[flist]] :[font = postscript; PostScript; formatAsPostScript; output; inactive; preserveAspect; pictureLeft = 34; pictureWidth = 315; pictureHeight = 194; ] %! %%Creator: Mathematica %%AspectRatio: 0.61803 MathPictureStart /Courier findfont 10 scalefont setfont % Scaling calculations 0.02381 0.952381 0.014715 0.588604 [ [ 0 0 0 0 ] [ 1 0.618034 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath %%Object: Graphics [ ] 0 setdash 0 setgray gsave grestore 0 0 moveto 1 0 lineto 1 0.61803 lineto 0 0.61803 lineto closepath clip newpath gsave 0.002 setlinewidth 0.5 0.01472 moveto 0.12963 0.11282 lineto stroke 0.5 0.01472 moveto 0.19697 0.11282 lineto stroke 0.5 0.01472 moveto 0.26431 0.11282 lineto stroke 0.5 0.01472 moveto 0.33165 0.11282 lineto stroke 0.5 0.01472 moveto 0.39899 0.11282 lineto stroke 0.5 0.01472 moveto 0.46633 0.11282 lineto stroke 0.5 0.01472 moveto 0.53367 0.11282 lineto stroke 0.5 0.01472 moveto 0.60101 0.11282 lineto stroke 0.5 0.01472 moveto 0.66835 0.11282 lineto stroke 0.5 0.01472 moveto 0.73569 0.11282 lineto stroke 0.5 0.01472 moveto 0.80303 0.11282 lineto stroke 0.5 0.01472 moveto 0.87037 0.11282 lineto stroke 0.12963 0.11282 moveto 0.04305 0.21092 lineto stroke 0.12963 0.11282 moveto 0.07456 0.21092 lineto stroke 0.12963 0.11282 moveto 0.10608 0.21092 lineto stroke 0.12963 0.11282 moveto 0.13759 0.21092 lineto stroke 0.12963 0.11282 moveto 0.1691 0.21092 lineto stroke 0.19697 0.11282 moveto 0.04305 0.21092 lineto stroke 0.19697 0.11282 moveto 0.20062 0.21092 lineto stroke 0.19697 0.11282 moveto 0.23213 0.21092 lineto stroke 0.19697 0.11282 moveto 0.26365 0.21092 lineto stroke 0.19697 0.11282 moveto 0.29516 0.21092 lineto stroke 0.26431 0.11282 moveto 0.07456 0.21092 lineto stroke 0.26431 0.11282 moveto 0.32667 0.21092 lineto stroke 0.26431 0.11282 moveto 0.35819 0.21092 lineto stroke 0.26431 0.11282 moveto 0.3897 0.21092 lineto stroke 0.26431 0.11282 moveto 0.42122 0.21092 lineto stroke 0.33165 0.11282 moveto 0.20062 0.21092 lineto stroke 0.33165 0.11282 moveto 0.32667 0.21092 lineto stroke 0.33165 0.11282 moveto 0.45273 0.21092 lineto stroke 0.33165 0.11282 moveto 0.48424 0.21092 lineto stroke 0.33165 0.11282 moveto 0.51576 0.21092 lineto stroke 0.39899 0.11282 moveto 0.35819 0.21092 lineto stroke 0.39899 0.11282 moveto 0.45273 0.21092 lineto stroke 0.39899 0.11282 moveto 0.54727 0.21092 lineto stroke 0.39899 0.11282 moveto 0.57878 0.21092 lineto stroke 0.39899 0.11282 moveto 0.6103 0.21092 lineto stroke 0.46633 0.11282 moveto 0.10608 0.21092 lineto stroke 0.46633 0.11282 moveto 0.23213 0.21092 lineto stroke 0.46633 0.11282 moveto 0.54727 0.21092 lineto stroke 0.46633 0.11282 moveto 0.64181 0.21092 lineto stroke 0.46633 0.11282 moveto 0.67333 0.21092 lineto stroke 0.53367 0.11282 moveto 0.57878 0.21092 lineto stroke 0.53367 0.11282 moveto 0.64181 0.21092 lineto stroke 0.53367 0.11282 moveto 0.70484 0.21092 lineto stroke 0.53367 0.11282 moveto 0.73635 0.21092 lineto stroke 0.53367 0.11282 moveto 0.76787 0.21092 lineto stroke 0.60101 0.11282 moveto 0.6103 0.21092 lineto stroke 0.60101 0.11282 moveto 0.67333 0.21092 lineto stroke 0.60101 0.11282 moveto 0.70484 0.21092 lineto stroke 0.60101 0.11282 moveto 0.79938 0.21092 lineto stroke 0.60101 0.11282 moveto 0.8309 0.21092 lineto stroke 0.66835 0.11282 moveto 0.26365 0.21092 lineto stroke 0.66835 0.11282 moveto 0.48424 0.21092 lineto stroke 0.66835 0.11282 moveto 0.73635 0.21092 lineto stroke 0.66835 0.11282 moveto 0.86241 0.21092 lineto stroke 0.66835 0.11282 moveto 0.89392 0.21092 lineto stroke 0.73569 0.11282 moveto 0.29516 0.21092 lineto stroke 0.73569 0.11282 moveto 0.51576 0.21092 lineto stroke 0.73569 0.11282 moveto 0.79938 0.21092 lineto stroke 0.73569 0.11282 moveto 0.86241 0.21092 lineto stroke 0.73569 0.11282 moveto 0.92544 0.21092 lineto stroke 0.80303 0.11282 moveto 0.13759 0.21092 lineto stroke 0.80303 0.11282 moveto 0.3897 0.21092 lineto stroke 0.80303 0.11282 moveto 0.76787 0.21092 lineto stroke 0.80303 0.11282 moveto 0.89392 0.21092 lineto stroke 0.80303 0.11282 moveto 0.95695 0.21092 lineto stroke 0.87037 0.11282 moveto 0.1691 0.21092 lineto stroke 0.87037 0.11282 moveto 0.42122 0.21092 lineto stroke 0.87037 0.11282 moveto 0.8309 0.21092 lineto stroke 0.87037 0.11282 moveto 0.92544 0.21092 lineto stroke 0.87037 0.11282 moveto 0.95695 0.21092 lineto stroke 0.04305 0.21092 moveto 0.02381 0.30902 lineto stroke 0.04305 0.21092 moveto 0.05267 0.30902 lineto stroke 0.04305 0.21092 moveto 0.08153 0.30902 lineto stroke 0.04305 0.21092 moveto 0.11039 0.30902 lineto stroke 0.07456 0.21092 moveto 0.02381 0.30902 lineto stroke 0.07456 0.21092 moveto 0.13925 0.30902 lineto stroke 0.07456 0.21092 moveto 0.16811 0.30902 lineto stroke 0.07456 0.21092 moveto 0.19697 0.30902 lineto stroke 0.10608 0.21092 moveto 0.05267 0.30902 lineto stroke 0.10608 0.21092 moveto 0.13925 0.30902 lineto stroke 0.10608 0.21092 moveto 0.22583 0.30902 lineto stroke 0.10608 0.21092 moveto 0.25469 0.30902 lineto stroke 0.13759 0.21092 moveto 0.08153 0.30902 lineto stroke 0.13759 0.21092 moveto 0.16811 0.30902 lineto stroke 0.13759 0.21092 moveto 0.22583 0.30902 lineto stroke 0.13759 0.21092 moveto 0.28355 0.30902 lineto stroke 0.1691 0.21092 moveto 0.11039 0.30902 lineto stroke 0.1691 0.21092 moveto 0.19697 0.30902 lineto stroke 0.1691 0.21092 moveto 0.25469 0.30902 lineto stroke 0.1691 0.21092 moveto 0.28355 0.30902 lineto stroke 0.20062 0.21092 moveto 0.02381 0.30902 lineto stroke 0.20062 0.21092 moveto 0.31241 0.30902 lineto stroke 0.20062 0.21092 moveto 0.34127 0.30902 lineto stroke 0.20062 0.21092 moveto 0.37013 0.30902 lineto stroke 0.23213 0.21092 moveto 0.05267 0.30902 lineto stroke 0.23213 0.21092 moveto 0.31241 0.30902 lineto stroke 0.23213 0.21092 moveto 0.39899 0.30902 lineto stroke 0.23213 0.21092 moveto 0.42785 0.30902 lineto stroke 0.26365 0.21092 moveto 0.08153 0.30902 lineto stroke 0.26365 0.21092 moveto 0.34127 0.30902 lineto stroke 0.26365 0.21092 moveto 0.39899 0.30902 lineto stroke 0.26365 0.21092 moveto 0.45671 0.30902 lineto stroke 0.29516 0.21092 moveto 0.11039 0.30902 lineto stroke 0.29516 0.21092 moveto 0.37013 0.30902 lineto stroke 0.29516 0.21092 moveto 0.42785 0.30902 lineto stroke 0.29516 0.21092 moveto 0.45671 0.30902 lineto stroke 0.32667 0.21092 moveto 0.02381 0.30902 lineto stroke 0.32667 0.21092 moveto 0.48557 0.30902 lineto stroke 0.32667 0.21092 moveto 0.51443 0.30902 lineto stroke 0.32667 0.21092 moveto 0.54329 0.30902 lineto stroke 0.35819 0.21092 moveto 0.13925 0.30902 lineto stroke 0.35819 0.21092 moveto 0.48557 0.30902 lineto stroke 0.35819 0.21092 moveto 0.57215 0.30902 lineto stroke 0.35819 0.21092 moveto 0.60101 0.30902 lineto stroke 0.3897 0.21092 moveto 0.16811 0.30902 lineto stroke 0.3897 0.21092 moveto 0.51443 0.30902 lineto stroke 0.3897 0.21092 moveto 0.57215 0.30902 lineto stroke 0.3897 0.21092 moveto 0.62987 0.30902 lineto stroke 0.42122 0.21092 moveto 0.19697 0.30902 lineto stroke 0.42122 0.21092 moveto 0.54329 0.30902 lineto stroke 0.42122 0.21092 moveto 0.60101 0.30902 lineto stroke 0.42122 0.21092 moveto 0.62987 0.30902 lineto stroke 0.45273 0.21092 moveto 0.31241 0.30902 lineto stroke 0.45273 0.21092 moveto 0.48557 0.30902 lineto stroke 0.45273 0.21092 moveto 0.65873 0.30902 lineto stroke 0.45273 0.21092 moveto 0.68759 0.30902 lineto stroke 0.48424 0.21092 moveto 0.34127 0.30902 lineto stroke 0.48424 0.21092 moveto 0.51443 0.30902 lineto stroke 0.48424 0.21092 moveto 0.65873 0.30902 lineto stroke 0.48424 0.21092 moveto 0.71645 0.30902 lineto stroke 0.51576 0.21092 moveto 0.37013 0.30902 lineto stroke 0.51576 0.21092 moveto 0.54329 0.30902 lineto stroke 0.51576 0.21092 moveto 0.68759 0.30902 lineto stroke 0.51576 0.21092 moveto 0.71645 0.30902 lineto stroke 0.54727 0.21092 moveto 0.13925 0.30902 lineto stroke 0.54727 0.21092 moveto 0.31241 0.30902 lineto stroke 0.54727 0.21092 moveto 0.74531 0.30902 lineto stroke 0.54727 0.21092 moveto 0.77417 0.30902 lineto stroke 0.57878 0.21092 moveto 0.57215 0.30902 lineto stroke 0.57878 0.21092 moveto 0.65873 0.30902 lineto stroke 0.57878 0.21092 moveto 0.74531 0.30902 lineto stroke 0.57878 0.21092 moveto 0.80303 0.30902 lineto stroke 0.6103 0.21092 moveto 0.60101 0.30902 lineto stroke 0.6103 0.21092 moveto 0.68759 0.30902 lineto stroke 0.6103 0.21092 moveto 0.77417 0.30902 lineto stroke 0.6103 0.21092 moveto 0.80303 0.30902 lineto stroke 0.64181 0.21092 moveto 0.22583 0.30902 lineto stroke 0.64181 0.21092 moveto 0.39899 0.30902 lineto stroke 0.64181 0.21092 moveto 0.74531 0.30902 lineto stroke 0.64181 0.21092 moveto 0.83189 0.30902 lineto stroke 0.67333 0.21092 moveto 0.25469 0.30902 lineto stroke 0.67333 0.21092 moveto 0.42785 0.30902 lineto stroke 0.67333 0.21092 moveto 0.77417 0.30902 lineto stroke 0.67333 0.21092 moveto 0.83189 0.30902 lineto stroke 0.70484 0.21092 moveto 0.80303 0.30902 lineto stroke 0.70484 0.21092 moveto 0.83189 0.30902 lineto stroke 0.70484 0.21092 moveto 0.86075 0.30902 lineto stroke 0.70484 0.21092 moveto 0.88961 0.30902 lineto stroke 0.73635 0.21092 moveto 0.39899 0.30902 lineto stroke 0.73635 0.21092 moveto 0.65873 0.30902 lineto stroke 0.73635 0.21092 moveto 0.86075 0.30902 lineto stroke 0.73635 0.21092 moveto 0.91847 0.30902 lineto stroke 0.76787 0.21092 moveto 0.22583 0.30902 lineto stroke 0.76787 0.21092 moveto 0.57215 0.30902 lineto stroke 0.76787 0.21092 moveto 0.88961 0.30902 lineto stroke 0.76787 0.21092 moveto 0.91847 0.30902 lineto stroke 0.79938 0.21092 moveto 0.42785 0.30902 lineto stroke 0.79938 0.21092 moveto 0.68759 0.30902 lineto stroke 0.79938 0.21092 moveto 0.86075 0.30902 lineto stroke 0.79938 0.21092 moveto 0.94733 0.30902 lineto stroke 0.8309 0.21092 moveto 0.25469 0.30902 lineto stroke 0.8309 0.21092 moveto 0.60101 0.30902 lineto stroke 0.8309 0.21092 moveto 0.88961 0.30902 lineto stroke 0.8309 0.21092 moveto 0.94733 0.30902 lineto stroke 0.86241 0.21092 moveto 0.45671 0.30902 lineto stroke 0.86241 0.21092 moveto 0.71645 0.30902 lineto stroke 0.86241 0.21092 moveto 0.86075 0.30902 lineto stroke 0.86241 0.21092 moveto 0.97619 0.30902 lineto stroke 0.89392 0.21092 moveto 0.08153 0.30902 lineto stroke 0.89392 0.21092 moveto 0.51443 0.30902 lineto stroke 0.89392 0.21092 moveto 0.91847 0.30902 lineto stroke 0.89392 0.21092 moveto 0.97619 0.30902 lineto stroke 0.92544 0.21092 moveto 0.11039 0.30902 lineto stroke 0.92544 0.21092 moveto 0.54329 0.30902 lineto stroke 0.92544 0.21092 moveto 0.94733 0.30902 lineto stroke 0.92544 0.21092 moveto 0.97619 0.30902 lineto stroke 0.95695 0.21092 moveto 0.28355 0.30902 lineto stroke 0.95695 0.21092 moveto 0.62987 0.30902 lineto stroke 0.95695 0.21092 moveto 0.88961 0.30902 lineto stroke 0.95695 0.21092 moveto 0.97619 0.30902 lineto stroke 0.02381 0.30902 moveto 0.08634 0.40712 lineto stroke 0.02381 0.30902 moveto 0.12771 0.40712 lineto stroke 0.02381 0.30902 moveto 0.16907 0.40712 lineto stroke 0.05267 0.30902 moveto 0.08634 0.40712 lineto stroke 0.05267 0.30902 moveto 0.21044 0.40712 lineto stroke 0.05267 0.30902 moveto 0.2518 0.40712 lineto stroke 0.08153 0.30902 moveto 0.12771 0.40712 lineto stroke 0.08153 0.30902 moveto 0.21044 0.40712 lineto stroke 0.08153 0.30902 moveto 0.29317 0.40712 lineto stroke 0.11039 0.30902 moveto 0.16907 0.40712 lineto stroke 0.11039 0.30902 moveto 0.2518 0.40712 lineto stroke 0.11039 0.30902 moveto 0.29317 0.40712 lineto stroke 0.13925 0.30902 moveto 0.08634 0.40712 lineto stroke 0.13925 0.30902 moveto 0.33454 0.40712 lineto stroke 0.13925 0.30902 moveto 0.3759 0.40712 lineto stroke 0.16811 0.30902 moveto 0.12771 0.40712 lineto stroke 0.16811 0.30902 moveto 0.33454 0.40712 lineto stroke 0.16811 0.30902 moveto 0.41727 0.40712 lineto stroke 0.19697 0.30902 moveto 0.16907 0.40712 lineto stroke 0.19697 0.30902 moveto 0.3759 0.40712 lineto stroke 0.19697 0.30902 moveto 0.41727 0.40712 lineto stroke 0.22583 0.30902 moveto 0.21044 0.40712 lineto stroke 0.22583 0.30902 moveto 0.33454 0.40712 lineto stroke 0.22583 0.30902 moveto 0.45863 0.40712 lineto stroke 0.25469 0.30902 moveto 0.2518 0.40712 lineto stroke 0.25469 0.30902 moveto 0.3759 0.40712 lineto stroke 0.25469 0.30902 moveto 0.45863 0.40712 lineto stroke 0.28355 0.30902 moveto 0.29317 0.40712 lineto stroke 0.28355 0.30902 moveto 0.41727 0.40712 lineto stroke 0.28355 0.30902 moveto 0.45863 0.40712 lineto stroke 0.31241 0.30902 moveto 0.08634 0.40712 lineto stroke 0.31241 0.30902 moveto 0.5 0.40712 lineto stroke 0.31241 0.30902 moveto 0.54137 0.40712 lineto stroke 0.34127 0.30902 moveto 0.12771 0.40712 lineto stroke 0.34127 0.30902 moveto 0.5 0.40712 lineto stroke 0.34127 0.30902 moveto 0.58273 0.40712 lineto stroke 0.37013 0.30902 moveto 0.16907 0.40712 lineto stroke 0.37013 0.30902 moveto 0.54137 0.40712 lineto stroke 0.37013 0.30902 moveto 0.58273 0.40712 lineto stroke 0.39899 0.30902 moveto 0.21044 0.40712 lineto stroke 0.39899 0.30902 moveto 0.5 0.40712 lineto stroke 0.39899 0.30902 moveto 0.6241 0.40712 lineto stroke 0.42785 0.30902 moveto 0.2518 0.40712 lineto stroke 0.42785 0.30902 moveto 0.54137 0.40712 lineto stroke 0.42785 0.30902 moveto 0.6241 0.40712 lineto stroke 0.45671 0.30902 moveto 0.29317 0.40712 lineto stroke 0.45671 0.30902 moveto 0.58273 0.40712 lineto stroke 0.45671 0.30902 moveto 0.6241 0.40712 lineto stroke 0.48557 0.30902 moveto 0.08634 0.40712 lineto stroke 0.48557 0.30902 moveto 0.66546 0.40712 lineto stroke 0.48557 0.30902 moveto 0.70683 0.40712 lineto stroke 0.51443 0.30902 moveto 0.12771 0.40712 lineto stroke 0.51443 0.30902 moveto 0.66546 0.40712 lineto stroke 0.51443 0.30902 moveto 0.7482 0.40712 lineto stroke 0.54329 0.30902 moveto 0.16907 0.40712 lineto stroke 0.54329 0.30902 moveto 0.70683 0.40712 lineto stroke 0.54329 0.30902 moveto 0.7482 0.40712 lineto stroke 0.57215 0.30902 moveto 0.33454 0.40712 lineto stroke 0.57215 0.30902 moveto 0.66546 0.40712 lineto stroke 0.57215 0.30902 moveto 0.78956 0.40712 lineto stroke 0.60101 0.30902 moveto 0.3759 0.40712 lineto stroke 0.60101 0.30902 moveto 0.70683 0.40712 lineto stroke 0.60101 0.30902 moveto 0.78956 0.40712 lineto stroke 0.62987 0.30902 moveto 0.41727 0.40712 lineto stroke 0.62987 0.30902 moveto 0.7482 0.40712 lineto stroke 0.62987 0.30902 moveto 0.78956 0.40712 lineto stroke 0.65873 0.30902 moveto 0.5 0.40712 lineto stroke 0.65873 0.30902 moveto 0.66546 0.40712 lineto stroke 0.65873 0.30902 moveto 0.83093 0.40712 lineto stroke 0.68759 0.30902 moveto 0.54137 0.40712 lineto stroke 0.68759 0.30902 moveto 0.70683 0.40712 lineto stroke 0.68759 0.30902 moveto 0.83093 0.40712 lineto stroke 0.71645 0.30902 moveto 0.58273 0.40712 lineto stroke 0.71645 0.30902 moveto 0.7482 0.40712 lineto stroke 0.71645 0.30902 moveto 0.83093 0.40712 lineto stroke 0.74531 0.30902 moveto 0.33454 0.40712 lineto stroke 0.74531 0.30902 moveto 0.5 0.40712 lineto stroke 0.74531 0.30902 moveto 0.87229 0.40712 lineto stroke 0.77417 0.30902 moveto 0.3759 0.40712 lineto stroke 0.77417 0.30902 moveto 0.54137 0.40712 lineto stroke 0.77417 0.30902 moveto 0.87229 0.40712 lineto stroke 0.80303 0.30902 moveto 0.78956 0.40712 lineto stroke 0.80303 0.30902 moveto 0.83093 0.40712 lineto stroke 0.80303 0.30902 moveto 0.87229 0.40712 lineto stroke 0.83189 0.30902 moveto 0.45863 0.40712 lineto stroke 0.83189 0.30902 moveto 0.6241 0.40712 lineto stroke 0.83189 0.30902 moveto 0.87229 0.40712 lineto stroke 0.86075 0.30902 moveto 0.6241 0.40712 lineto stroke 0.86075 0.30902 moveto 0.83093 0.40712 lineto stroke 0.86075 0.30902 moveto 0.91366 0.40712 lineto stroke 0.88961 0.30902 moveto 0.45863 0.40712 lineto stroke 0.88961 0.30902 moveto 0.78956 0.40712 lineto stroke 0.88961 0.30902 moveto 0.91366 0.40712 lineto stroke 0.91847 0.30902 moveto 0.21044 0.40712 lineto stroke 0.91847 0.30902 moveto 0.66546 0.40712 lineto stroke 0.91847 0.30902 moveto 0.91366 0.40712 lineto stroke 0.94733 0.30902 moveto 0.2518 0.40712 lineto stroke 0.94733 0.30902 moveto 0.70683 0.40712 lineto stroke 0.94733 0.30902 moveto 0.91366 0.40712 lineto stroke 0.97619 0.30902 moveto 0.29317 0.40712 lineto stroke 0.97619 0.30902 moveto 0.7482 0.40712 lineto stroke 0.97619 0.30902 moveto 0.91366 0.40712 lineto stroke 0.08634 0.40712 moveto 0.15368 0.50522 lineto stroke 0.08634 0.40712 moveto 0.26912 0.50522 lineto stroke 0.12771 0.40712 moveto 0.15368 0.50522 lineto stroke 0.12771 0.40712 moveto 0.38456 0.50522 lineto stroke 0.16907 0.40712 moveto 0.26912 0.50522 lineto stroke 0.16907 0.40712 moveto 0.38456 0.50522 lineto stroke 0.21044 0.40712 moveto 0.15368 0.50522 lineto stroke 0.21044 0.40712 moveto 0.5 0.50522 lineto stroke 0.2518 0.40712 moveto 0.26912 0.50522 lineto stroke 0.2518 0.40712 moveto 0.5 0.50522 lineto stroke 0.29317 0.40712 moveto 0.38456 0.50522 lineto stroke 0.29317 0.40712 moveto 0.5 0.50522 lineto stroke 0.33454 0.40712 moveto 0.15368 0.50522 lineto stroke 0.33454 0.40712 moveto 0.61544 0.50522 lineto stroke 0.3759 0.40712 moveto 0.26912 0.50522 lineto stroke 0.3759 0.40712 moveto 0.61544 0.50522 lineto stroke 0.41727 0.40712 moveto 0.38456 0.50522 lineto stroke 0.41727 0.40712 moveto 0.61544 0.50522 lineto stroke 0.45863 0.40712 moveto 0.5 0.50522 lineto stroke 0.45863 0.40712 moveto 0.61544 0.50522 lineto stroke 0.5 0.40712 moveto 0.15368 0.50522 lineto stroke 0.5 0.40712 moveto 0.73088 0.50522 lineto stroke 0.54137 0.40712 moveto 0.26912 0.50522 lineto stroke 0.54137 0.40712 moveto 0.73088 0.50522 lineto stroke 0.58273 0.40712 moveto 0.38456 0.50522 lineto stroke 0.58273 0.40712 moveto 0.73088 0.50522 lineto stroke 0.6241 0.40712 moveto 0.5 0.50522 lineto stroke 0.6241 0.40712 moveto 0.73088 0.50522 lineto stroke 0.66546 0.40712 moveto 0.15368 0.50522 lineto stroke 0.66546 0.40712 moveto 0.84632 0.50522 lineto stroke 0.70683 0.40712 moveto 0.26912 0.50522 lineto stroke 0.70683 0.40712 moveto 0.84632 0.50522 lineto stroke 0.7482 0.40712 moveto 0.38456 0.50522 lineto stroke 0.7482 0.40712 moveto 0.84632 0.50522 lineto stroke 0.78956 0.40712 moveto 0.61544 0.50522 lineto stroke 0.78956 0.40712 moveto 0.84632 0.50522 lineto stroke 0.83093 0.40712 moveto 0.73088 0.50522 lineto stroke 0.83093 0.40712 moveto 0.84632 0.50522 lineto stroke 0.87229 0.40712 moveto 0.61544 0.50522 lineto stroke 0.87229 0.40712 moveto 0.73088 0.50522 lineto stroke 0.91366 0.40712 moveto 0.5 0.50522 lineto stroke 0.91366 0.40712 moveto 0.84632 0.50522 lineto stroke 0.15368 0.50522 moveto 0.5 0.60332 lineto stroke 0.26912 0.50522 moveto 0.5 0.60332 lineto stroke 0.38456 0.50522 moveto 0.5 0.60332 lineto stroke 0.5 0.50522 moveto 0.5 0.60332 lineto stroke 0.61544 0.50522 moveto 0.5 0.60332 lineto stroke 0.73088 0.50522 moveto 0.5 0.60332 lineto stroke 0.84632 0.50522 moveto 0.5 0.60332 lineto stroke 0.01 setlinewidth 0.5 0.01472 Mdot 0.12963 0.11282 Mdot 0.19697 0.11282 Mdot 0.26431 0.11282 Mdot 0.33165 0.11282 Mdot 0.39899 0.11282 Mdot 0.46633 0.11282 Mdot 0.53367 0.11282 Mdot 0.60101 0.11282 Mdot 0.66835 0.11282 Mdot 0.73569 0.11282 Mdot 0.80303 0.11282 Mdot 0.87037 0.11282 Mdot 0.04305 0.21092 Mdot 0.07456 0.21092 Mdot 0.10608 0.21092 Mdot 0.13759 0.21092 Mdot 0.1691 0.21092 Mdot 0.20062 0.21092 Mdot 0.23213 0.21092 Mdot 0.26365 0.21092 Mdot 0.29516 0.21092 Mdot 0.32667 0.21092 Mdot 0.35819 0.21092 Mdot 0.3897 0.21092 Mdot 0.42122 0.21092 Mdot 0.45273 0.21092 Mdot 0.48424 0.21092 Mdot 0.51576 0.21092 Mdot 0.54727 0.21092 Mdot 0.57878 0.21092 Mdot 0.6103 0.21092 Mdot 0.64181 0.21092 Mdot 0.67333 0.21092 Mdot 0.70484 0.21092 Mdot 0.73635 0.21092 Mdot 0.76787 0.21092 Mdot 0.79938 0.21092 Mdot 0.8309 0.21092 Mdot 0.86241 0.21092 Mdot 0.89392 0.21092 Mdot 0.92544 0.21092 Mdot 0.95695 0.21092 Mdot 0.02381 0.30902 Mdot 0.05267 0.30902 Mdot 0.08153 0.30902 Mdot 0.11039 0.30902 Mdot 0.13925 0.30902 Mdot 0.16811 0.30902 Mdot 0.19697 0.30902 Mdot 0.22583 0.30902 Mdot 0.25469 0.30902 Mdot 0.28355 0.30902 Mdot 0.31241 0.30902 Mdot 0.34127 0.30902 Mdot 0.37013 0.30902 Mdot 0.39899 0.30902 Mdot 0.42785 0.30902 Mdot 0.45671 0.30902 Mdot 0.48557 0.30902 Mdot 0.51443 0.30902 Mdot 0.54329 0.30902 Mdot 0.57215 0.30902 Mdot 0.60101 0.30902 Mdot 0.62987 0.30902 Mdot 0.65873 0.30902 Mdot 0.68759 0.30902 Mdot 0.71645 0.30902 Mdot 0.74531 0.30902 Mdot 0.77417 0.30902 Mdot 0.80303 0.30902 Mdot 0.83189 0.30902 Mdot 0.86075 0.30902 Mdot 0.88961 0.30902 Mdot 0.91847 0.30902 Mdot 0.94733 0.30902 Mdot 0.97619 0.30902 Mdot 0.08634 0.40712 Mdot 0.12771 0.40712 Mdot 0.16907 0.40712 Mdot 0.21044 0.40712 Mdot 0.2518 0.40712 Mdot 0.29317 0.40712 Mdot 0.33454 0.40712 Mdot 0.3759 0.40712 Mdot 0.41727 0.40712 Mdot 0.45863 0.40712 Mdot 0.5 0.40712 Mdot 0.54137 0.40712 Mdot 0.58273 0.40712 Mdot 0.6241 0.40712 Mdot 0.66546 0.40712 Mdot 0.70683 0.40712 Mdot 0.7482 0.40712 Mdot 0.78956 0.40712 Mdot 0.83093 0.40712 Mdot 0.87229 0.40712 Mdot 0.91366 0.40712 Mdot 0.15368 0.50522 Mdot 0.26912 0.50522 Mdot 0.38456 0.50522 Mdot 0.5 0.50522 Mdot 0.61544 0.50522 Mdot 0.73088 0.50522 Mdot 0.84632 0.50522 Mdot 0.5 0.60332 Mdot grestore % End of Graphics MathPictureEnd :[font = output; output; inactive; preserveAspect; endGroup; ] The Unformatted text for this cell was not generated. Use options in the Actions Preferences dialog box to control when Unformatted text is generated. ;[o] -Graphics- :[font = text; inactive; preserveAspect; ] If you want to know exactly what are the links in the diagram above, execute the function FaceLatticeLinks. ;[s] 3:0,0;92,1;108,2;110,-1; 3:1,11,8,Times,0,12,0,0,0;1,10,8,Times,1,12,0,0,0;1,11,8,Times,0,12,0,0,0; :[font = input; preserveAspect; startGroup; ] flinks=FaceLatticeLinks[flist]; flinks //Short :[font = output; output; inactive; preserveAspect; endGroup; ] Short[{{{-1, 1}, {0, 1}}, {{-1, 1}, {0, 2}}, {{-1, 1}, {0, 3}}, {{-1, 1}, {0, 4}}, {{-1, 1}, {0, 5}}, {{-1, 1}, {0, 6}}, {{-1, 1}, {0, 7}}, {{-1, 1}, {0, 8}}, {{-1, 1}, {0, 9}}, {{-1, 1}, {0, 10}}, {{-1, 1}, {0, 11}}, {{-1, 1}, {0, 12}}, {{0, 1}, {1, 1}}, {{0, 1}, {1, 2}}, {{0, 1}, {1, 3}}, {{0, 1}, {1, 4}}, {{0, 1}, {1, 5}}, {{0, 2}, {1, 1}}, {{0, 2}, {1, 6}}, {{0, 2}, {1, 7}}, {{0, 2}, {1, 8}}, {{0, 2}, {1, 9}}, {{0, 3}, {1, 2}}, {{0, 3}, {1, 10}}, {{0, 3}, {1, 11}}, {{0, 3}, {1, 12}}, {{0, 3}, {1, 13}}, {{0, 4}, {1, 6}}, {{0, 4}, {1, 10}}, {{0, 4}, {1, 14}}, {{0, 4}, {1, 15}}, {{0, 4}, {1, 16}}, {{0, 5}, {1, 11}}, {{0, 5}, {1, 14}}, {{0, 5}, {1, 17}}, {{0, 5}, {1, 18}}, {{0, 5}, {1, 19}}, {{0, 6}, {1, 3}}, {{0, 6}, {1, 7}}, {{0, 6}, {1, 17}}, {{0, 6}, {1, 20}}, {{0, 6}, {1, 21}}, {{0, 7}, {1, 18}}, {{0, 7}, {1, 20}}, {{0, 7}, {1, 22}}, {{0, 7}, {1, 23}}, {{0, 7}, {1, 24}}, {{0, 8}, {1, 19}}, {{0, 8}, {1, 21}}, {{0, 8}, {1, 22}}, {{0, 8}, {1, 25}}, {{0, 8}, {1, 26}}, {{0, 9}, {1, 8}}, {{0, 9}, {1, 15}}, {{0, 9}, {1, 23}}, {{0, 9}, {1, 27}}, {{0, 9}, {1, 28}}, {{0, 10}, {1, 9}}, {{0, 10}, {1, 16}}, {{0, 10}, {1, 25}}, {{0, 10}, {1, 27}}, {{0, 10}, {1, 29}}, {{0, 11}, {1, 4}}, {{0, 11}, {1, 12}}, {{0, 11}, {1, 24}}, {{0, 11}, {1, 28}}, {{0, 11}, {1, 30}}, {{0, 12}, {1, 5}}, {{0, 12}, {1, 13}}, {{0, 12}, {1, 26}}, {{0, 12}, {1, 29}}, {{0, 12}, {1, 30}}, {{1, 1}, {2, 1}}, {{1, 1}, {2, 2}}, {{1, 1}, {2, 3}}, {{1, 1}, {2, 4}}, {{1, 2}, {2, 1}}, {{1, 2}, {2, 5}}, {{1, 2}, {2, 6}}, {{1, 2}, {2, 7}}, {{1, 3}, {2, 2}}, {{1, 3}, {2, 5}}, {{1, 3}, {2, 8}}, {{1, 3}, {2, 9}}, {{1, 4}, {2, 3}}, {{1, 4}, {2, 6}}, {{1, 4}, {2, 8}}, {{1, 4}, {2, 10}}, {{1, 5}, {2, 4}}, {{1, 5}, {2, 7}}, {{1, 5}, {2, 9}}, {{1, 5}, {2, 10}}, {{1, 6}, {2, 1}}, {{1, 6}, {2, 11}}, {{1, 6}, {2, 12}}, {{1, 6}, {2, 13}}, {{1, 7}, {2, 2}}, {{1, 7}, {2, 11}}, {{1, 7}, {2, 14}}, {{1, 7}, {2, 15}}, {{1, 8}, {2, 3}}, {{1, 8}, {2, 12}}, {{1, 8}, {2, 14}}, {{1, 8}, {2, 16}}, {{1, 9}, {2, 4}}, {{1, 9}, {2, 13}}, {{1, 9}, {2, 15}}, {{1, 9}, {2, 16}}, {{1, 10}, {2, 1}}, {{1, 10}, {2, 17}}, {{1, 10}, {2, 18}}, {{1, 10}, {2, 19}}, {{1, 11}, {2, 5}}, {{1, 11}, {2, 17}}, {{1, 11}, {2, 20}}, {{1, 11}, {2, 21}}, {{1, 12}, {2, 6}}, {{1, 12}, {2, 18}}, {{1, 12}, {2, 20}}, {{1, 12}, {2, 22}}, {{1, 13}, {2, 7}}, {{1, 13}, {2, 19}}, {{1, 13}, {2, 21}}, {{1, 13}, {2, 22}}, {{1, 14}, {2, 11}}, {{1, 14}, {2, 17}}, {{1, 14}, {2, 23}}, {{1, 14}, {2, 24}}, {{1, 15}, {2, 12}}, {{1, 15}, {2, 18}}, {{1, 15}, {2, 23}}, {{1, 15}, {2, 25}}, {{1, 16}, {2, 13}}, {{1, 16}, {2, 19}}, {{1, 16}, {2, 24}}, {{1, 16}, {2, 25}}, {{1, 17}, {2, 5}}, {{1, 17}, {2, 11}}, {{1, 17}, {2, 26}}, {{1, 17}, {2, 27}}, {{1, 18}, {2, 20}}, {{1, 18}, {2, 23}}, {{1, 18}, {2, 26}}, {{1, 18}, {2, 28}}, {{1, 19}, {2, 21}}, {{1, 19}, {2, 24}}, {{1, 19}, {2, 27}}, {{1, 19}, {2, 28}}, {{1, 20}, {2, 8}}, {{1, 20}, {2, 14}}, {{1, 20}, {2, 26}}, {{1, 20}, {2, 29}}, {{1, 21}, {2, 9}}, {{1, 21}, {2, 15}}, {{1, 21}, {2, 27}}, {{1, 21}, {2, 29}}, {{1, 22}, {2, 28}}, {{1, 22}, {2, 29}}, {{1, 22}, {2, 30}}, {{1, 22}, {2, 31}}, {{1, 23}, {2, 14}}, {{1, 23}, {2, 23}}, {{1, 23}, {2, 30}}, {{1, 23}, {2, 32}}, {{1, 24}, {2, 8}}, {{1, 24}, {2, 20}}, {{1, 24}, {2, 31}}, {{1, 24}, {2, 32}}, {{1, 25}, {2, 15}}, {{1, 25}, {2, 24}}, {{1, 25}, {2, 30}}, {{1, 25}, {2, 33}}, {{1, 26}, {2, 9}}, {{1, 26}, {2, 21}}, {{1, 26}, {2, 31}}, {{1, 26}, {2, 33}}, {{1, 27}, {2, 16}}, {{1, 27}, {2, 25}}, {{1, 27}, {2, 30}}, {{1, 27}, {2, 34}}, {{1, 28}, {2, 3}}, {{1, 28}, {2, 18}}, {{1, 28}, {2, 32}}, {{1, 28}, {2, 34}}, {{1, 29}, {2, 4}}, {{1, 29}, {2, 19}}, {{1, 29}, {2, 33}}, {{1, 29}, {2, 34}}, {{1, 30}, {2, 10}}, {{1, 30}, {2, 22}}, {{1, 30}, {2, 31}}, {{1, 30}, {2, 34}}, {{2, 1}, {3, 1}}, {{2, 1}, {3, 2}}, {{2, 1}, {3, 3}}, {{2, 2}, {3, 1}}, {{2, 2}, {3, 4}}, {{2, 2}, {3, 5}}, {{2, 3}, {3, 2}}, {{2, 3}, {3, 4}}, {{2, 3}, {3, 6}}, {{2, 4}, {3, 3}}, {{2, 4}, {3, 5}}, {{2, 4}, {3, 6}}, {{2, 5}, {3, 1}}, {{2, 5}, {3, 7}}, {{2, 5}, {3, 8}}, {{2, 6}, {3, 2}}, {{2, 6}, {3, 7}}, {{2, 6}, {3, 9}}, {{2, 7}, {3, 3}}, {{2, 7}, {3, 8}}, {{2, 7}, {3, 9}}, {{2, 8}, {3, 4}}, {{2, 8}, {3, 7}}, {{2, 8}, {3, 10}}, {{2, 9}, {3, 5}}, {{2, 9}, {3, 8}}, {{2, 9}, {3, 10}}, {{2, 10}, {3, 6}}, {{2, 10}, {3, 9}}, {{2, 10}, {3, 10}}, {{2, 11}, {3, 1}}, {{2, 11}, {3, 11}}, {{2, 11}, {3, 12}}, {{2, 12}, {3, 2}}, {{2, 12}, {3, 11}}, {{2, 12}, {3, 13}}, {{2, 13}, {3, 3}}, {{2, 13}, {3, 12}}, {{2, 13}, {3, 13}}, {{2, 14}, {3, 4}}, {{2, 14}, {3, 11}}, {{2, 14}, {3, 14}}, {{2, 15}, {3, 5}}, {{2, 15}, {3, 12}}, {{2, 15}, {3, 14}}, {{2, 16}, {3, 6}}, {{2, 16}, {3, 13}}, {{2, 16}, {3, 14}}, {{2, 17}, {3, 1}}, {{2, 17}, {3, 15}}, {{2, 17}, {3, 16}}, {{2, 18}, {3, 2}}, {{2, 18}, {3, 15}}, {{2, 18}, {3, 17}}, {{2, 19}, {3, 3}}, {{2, 19}, {3, 16}}, {{2, 19}, {3, 17}}, {{2, 20}, {3, 7}}, {{2, 20}, {3, 15}}, {{2, 20}, {3, 18}}, {{2, 21}, {3, 8}}, {{2, 21}, {3, 16}}, {{2, 21}, {3, 18}}, {{2, 22}, {3, 9}}, {{2, 22}, {3, 17}}, {{2, 22}, {3, 18}}, {{2, 23}, {3, 11}}, {{2, 23}, {3, 15}}, {{2, 23}, {3, 19}}, {{2, 24}, {3, 12}}, {{2, 24}, {3, 16}}, {{2, 24}, {3, 19}}, {{2, 25}, {3, 13}}, {{2, 25}, {3, 17}}, {{2, 25}, {3, 19}}, {{2, 26}, {3, 7}}, {{2, 26}, {3, 11}}, {{2, 26}, {3, 20}}, {{2, 27}, {3, 8}}, {{2, 27}, {3, 12}}, {{2, 27}, {3, 20}}, {{2, 28}, {3, 18}}, {{2, 28}, {3, 19}}, {{2, 28}, {3, 20}}, {{2, 29}, {3, 10}}, {{2, 29}, {3, 14}}, {{2, 29}, {3, 20}}, {{2, 30}, {3, 14}}, {{2, 30}, {3, 19}}, {{2, 30}, {3, 21}}, {{2, 31}, {3, 10}}, {{2, 31}, {3, 18}}, {{2, 31}, {3, 21}}, {{2, 32}, {3, 4}}, {{2, 32}, {3, 15}}, {{2, 32}, {3, 21}}, {{2, 33}, {3, 5}}, {{2, 33}, {3, 16}}, {{2, 33}, {3, 21}}, {{2, 34}, {3, 6}}, {{2, 34}, {3, 17}}, {{2, 34}, {3, 21}}, {{3, 1}, {4, 1}}, {{3, 1}, {4, 2}}, {{3, 2}, {4, 1}}, {{3, 2}, {4, 3}}, {{3, 3}, {4, 2}}, {{3, 3}, {4, 3}}, {{3, 4}, {4, 1}}, {{3, 4}, {4, 4}}, {{3, 5}, {4, 2}}, {{3, 5}, {4, 4}}, {{3, 6}, {4, 3}}, {{3, 6}, {4, 4}}, {{3, 7}, {4, 1}}, {{3, 7}, {4, 5}}, {{3, 8}, {4, 2}}, {{3, 8}, {4, 5}}, {{3, 9}, {4, 3}}, {{3, 9}, {4, 5}}, {{3, 10}, {4, 4}}, {{3, 10}, {4, 5}}, {{3, 11}, {4, 1}}, {{3, 11}, {4, 6}}, {{3, 12}, {4, 2}}, {{3, 12}, {4, 6}}, {{3, 13}, {4, 3}}, {{3, 13}, {4, 6}}, {{3, 14}, {4, 4}}, {{3, 14}, {4, 6}}, {{3, 15}, {4, 1}}, {{3, 15}, {4, 7}}, {{3, 16}, {4, 2}}, {{3, 16}, {4, 7}}, {{3, 17}, {4, 3}}, {{3, 17}, {4, 7}}, {{3, 18}, {4, 5}}, {{3, 18}, {4, 7}}, {{3, 19}, {4, 6}}, {{3, 19}, {4, 7}}, {{3, 20}, {4, 5}}, {{3, 20}, {4, 6}}, {{3, 21}, {4, 4}}, {{3, 21}, {4, 7}}, {{4, 1}, {5, 1}}, {{4, 2}, {5, 1}}, {{4, 3}, {5, 1}}, {{4, 4}, {5, 1}}, {{4, 5}, {5, 1}}, {{4, 6}, {5, 1}}, {{4, 7}, {5, 1}}}] ;[o] {{{-1, 1}, {0, 1}}, {<<2>>}, <<340>>, {{4, 7}, {5, 1}}} :[font = text; inactive; preserveAspect; ] Here, each element {{k,m},{k+1,n}} of flinks indicates that the m-th face of dimension k is covered by the n-th face of dimension k+1. :[font = text; inactive; preserveAspect; ] Since we have imported Combinatorica package also, we conlude this notebook with explanation for drawing the graph of the polytope using the package: :[font = input; dontPreserveAspect; ] edges=EdgesOfPolyhedron[activesets]; :[font = input; dontPreserveAspect; startGroup; ] ShowLabeledGraph[g=FromUnorderedPairs[edges]] :[font = postscript; PostScript; formatAsPostScript; output; inactive; preserveAspect; pictureLeft = 34; pictureWidth = 282; pictureHeight = 282; ] %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Courier findfont 10 scalefont setfont % Scaling calculations 0.045455 0.909091 0.045455 0.909091 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath %%Object: Graphics [ ] 0 setdash 0 setgray gsave grestore 0 0 moveto 1 0 lineto 1 1 lineto 0 1 lineto closepath clip newpath gsave 0.025 setlinewidth 0.89365 0.72727 Mdot 0.72727 0.89365 Mdot 0.5 0.95455 Mdot 0.27273 0.89365 Mdot 0.10635 0.72727 Mdot 0.04545 0.5 Mdot 0.10635 0.27273 Mdot 0.27273 0.10635 Mdot 0.5 0.04545 Mdot 0.72727 0.10635 Mdot 0.89365 0.27273 Mdot 0.95455 0.5 Mdot 0.004 setlinewidth 0.89365 0.72727 moveto 0.72727 0.89365 lineto stroke 0.89365 0.72727 moveto 0.5 0.95455 lineto stroke 0.89365 0.72727 moveto 0.04545 0.5 lineto stroke 0.89365 0.72727 moveto 0.89365 0.27273 lineto stroke 0.89365 0.72727 moveto 0.95455 0.5 lineto stroke 0.72727 0.89365 moveto 0.89365 0.72727 lineto stroke 0.72727 0.89365 moveto 0.27273 0.89365 lineto stroke 0.72727 0.89365 moveto 0.04545 0.5 lineto stroke 0.72727 0.89365 moveto 0.5 0.04545 lineto stroke 0.72727 0.89365 moveto 0.72727 0.10635 lineto stroke 0.5 0.95455 moveto 0.89365 0.72727 lineto stroke 0.5 0.95455 moveto 0.27273 0.89365 lineto stroke 0.5 0.95455 moveto 0.10635 0.72727 lineto stroke 0.5 0.95455 moveto 0.89365 0.27273 lineto stroke 0.5 0.95455 moveto 0.95455 0.5 lineto stroke 0.27273 0.89365 moveto 0.72727 0.89365 lineto stroke 0.27273 0.89365 moveto 0.5 0.95455 lineto stroke 0.27273 0.89365 moveto 0.10635 0.72727 lineto stroke 0.27273 0.89365 moveto 0.5 0.04545 lineto stroke 0.27273 0.89365 moveto 0.72727 0.10635 lineto stroke 0.10635 0.72727 moveto 0.5 0.95455 lineto stroke 0.10635 0.72727 moveto 0.27273 0.89365 lineto stroke 0.10635 0.72727 moveto 0.04545 0.5 lineto stroke 0.10635 0.72727 moveto 0.10635 0.27273 lineto stroke 0.10635 0.72727 moveto 0.27273 0.10635 lineto stroke 0.04545 0.5 moveto 0.89365 0.72727 lineto stroke 0.04545 0.5 moveto 0.72727 0.89365 lineto stroke 0.04545 0.5 moveto 0.10635 0.72727 lineto stroke 0.04545 0.5 moveto 0.10635 0.27273 lineto stroke 0.04545 0.5 moveto 0.27273 0.10635 lineto stroke 0.10635 0.27273 moveto 0.10635 0.72727 lineto stroke 0.10635 0.27273 moveto 0.04545 0.5 lineto stroke 0.10635 0.27273 moveto 0.27273 0.10635 lineto stroke 0.10635 0.27273 moveto 0.5 0.04545 lineto stroke 0.10635 0.27273 moveto 0.89365 0.27273 lineto stroke 0.27273 0.10635 moveto 0.10635 0.72727 lineto stroke 0.27273 0.10635 moveto 0.04545 0.5 lineto stroke 0.27273 0.10635 moveto 0.10635 0.27273 lineto stroke 0.27273 0.10635 moveto 0.72727 0.10635 lineto stroke 0.27273 0.10635 moveto 0.95455 0.5 lineto stroke 0.5 0.04545 moveto 0.72727 0.89365 lineto stroke 0.5 0.04545 moveto 0.27273 0.89365 lineto stroke 0.5 0.04545 moveto 0.10635 0.27273 lineto stroke 0.5 0.04545 moveto 0.72727 0.10635 lineto stroke 0.5 0.04545 moveto 0.89365 0.27273 lineto stroke 0.72727 0.10635 moveto 0.72727 0.89365 lineto stroke 0.72727 0.10635 moveto 0.27273 0.89365 lineto stroke 0.72727 0.10635 moveto 0.27273 0.10635 lineto stroke 0.72727 0.10635 moveto 0.5 0.04545 lineto stroke 0.72727 0.10635 moveto 0.95455 0.5 lineto stroke 0.89365 0.27273 moveto 0.89365 0.72727 lineto stroke 0.89365 0.27273 moveto 0.5 0.95455 lineto stroke 0.89365 0.27273 moveto 0.10635 0.27273 lineto stroke 0.89365 0.27273 moveto 0.5 0.04545 lineto stroke 0.89365 0.27273 moveto 0.95455 0.5 lineto stroke 0.95455 0.5 moveto 0.89365 0.72727 lineto stroke 0.95455 0.5 moveto 0.5 0.95455 lineto stroke 0.95455 0.5 moveto 0.27273 0.10635 lineto stroke 0.95455 0.5 moveto 0.72727 0.10635 lineto stroke 0.95455 0.5 moveto 0.89365 0.27273 lineto stroke 0.89365 0.72727 moveto 0.72727 0.89365 lineto stroke 0.89365 0.72727 moveto 0.5 0.95455 lineto stroke 0.89365 0.72727 moveto 0.04545 0.5 lineto stroke 0.89365 0.72727 moveto 0.89365 0.27273 lineto stroke 0.89365 0.72727 moveto 0.95455 0.5 lineto stroke 0.72727 0.89365 moveto 0.89365 0.72727 lineto stroke 0.72727 0.89365 moveto 0.27273 0.89365 lineto stroke 0.72727 0.89365 moveto 0.04545 0.5 lineto stroke 0.72727 0.89365 moveto 0.5 0.04545 lineto stroke 0.72727 0.89365 moveto 0.72727 0.10635 lineto stroke 0.5 0.95455 moveto 0.89365 0.72727 lineto stroke 0.5 0.95455 moveto 0.27273 0.89365 lineto stroke 0.5 0.95455 moveto 0.10635 0.72727 lineto stroke 0.5 0.95455 moveto 0.89365 0.27273 lineto stroke 0.5 0.95455 moveto 0.95455 0.5 lineto stroke 0.27273 0.89365 moveto 0.72727 0.89365 lineto stroke 0.27273 0.89365 moveto 0.5 0.95455 lineto stroke 0.27273 0.89365 moveto 0.10635 0.72727 lineto stroke 0.27273 0.89365 moveto 0.5 0.04545 lineto stroke 0.27273 0.89365 moveto 0.72727 0.10635 lineto stroke 0.10635 0.72727 moveto 0.5 0.95455 lineto stroke 0.10635 0.72727 moveto 0.27273 0.89365 lineto stroke 0.10635 0.72727 moveto 0.04545 0.5 lineto stroke 0.10635 0.72727 moveto 0.10635 0.27273 lineto stroke 0.10635 0.72727 moveto 0.27273 0.10635 lineto stroke 0.04545 0.5 moveto 0.89365 0.72727 lineto stroke 0.04545 0.5 moveto 0.72727 0.89365 lineto stroke 0.04545 0.5 moveto 0.10635 0.72727 lineto stroke 0.04545 0.5 moveto 0.10635 0.27273 lineto stroke 0.04545 0.5 moveto 0.27273 0.10635 lineto stroke 0.10635 0.27273 moveto 0.10635 0.72727 lineto stroke 0.10635 0.27273 moveto 0.04545 0.5 lineto stroke 0.10635 0.27273 moveto 0.27273 0.10635 lineto stroke 0.10635 0.27273 moveto 0.5 0.04545 lineto stroke 0.10635 0.27273 moveto 0.89365 0.27273 lineto stroke 0.27273 0.10635 moveto 0.10635 0.72727 lineto stroke 0.27273 0.10635 moveto 0.04545 0.5 lineto stroke 0.27273 0.10635 moveto 0.10635 0.27273 lineto stroke 0.27273 0.10635 moveto 0.72727 0.10635 lineto stroke 0.27273 0.10635 moveto 0.95455 0.5 lineto stroke 0.5 0.04545 moveto 0.72727 0.89365 lineto stroke 0.5 0.04545 moveto 0.27273 0.89365 lineto stroke 0.5 0.04545 moveto 0.10635 0.27273 lineto stroke 0.5 0.04545 moveto 0.72727 0.10635 lineto stroke 0.5 0.04545 moveto 0.89365 0.27273 lineto stroke 0.72727 0.10635 moveto 0.72727 0.89365 lineto stroke 0.72727 0.10635 moveto 0.27273 0.89365 lineto stroke 0.72727 0.10635 moveto 0.27273 0.10635 lineto stroke 0.72727 0.10635 moveto 0.5 0.04545 lineto stroke 0.72727 0.10635 moveto 0.95455 0.5 lineto stroke 0.89365 0.27273 moveto 0.89365 0.72727 lineto stroke 0.89365 0.27273 moveto 0.5 0.95455 lineto stroke 0.89365 0.27273 moveto 0.10635 0.27273 lineto stroke 0.89365 0.27273 moveto 0.5 0.04545 lineto stroke 0.89365 0.27273 moveto 0.95455 0.5 lineto stroke 0.95455 0.5 moveto 0.89365 0.72727 lineto stroke 0.95455 0.5 moveto 0.5 0.95455 lineto stroke 0.95455 0.5 moveto 0.27273 0.10635 lineto stroke 0.95455 0.5 moveto 0.72727 0.10635 lineto stroke 0.95455 0.5 moveto 0.89365 0.27273 lineto stroke [(1)] 0.86638 0.7 0 1 Mshowa [(2)] 0.7 0.86638 0 1 Mshowa [(3)] 0.47273 0.92727 0 1 Mshowa [(4)] 0.24545 0.86638 0 1 Mshowa [(5)] 0.07908 0.7 0 1 Mshowa [(6)] 0.01818 0.47273 0 1 Mshowa [(7)] 0.07908 0.24545 0 1 Mshowa [(8)] 0.24545 0.07908 0 1 Mshowa [(9)] 0.47273 0.01818 0 1 Mshowa [(10)] 0.7 0.07908 0 1 Mshowa [(11)] 0.86638 0.24545 0 1 Mshowa [(12)] 0.92727 0.47273 0 1 Mshowa grestore % End of Graphics MathPictureEnd :[font = output; output; inactive; dontPreserveAspect; endGroup; endGroup; ] The Unformatted text for this cell was not generated. Use options in the Actions Preferences dialog box to control when Unformatted text is generated. ;[o] -Graphics- :[font = input; preserveAspect; startGroup; ] ?FaceLattice`* :[font = info; inactive; preserveAspect; endGroup; ] FaceLatticeDiagram FVector KFaceList FaceLatticeLinks ^*)