From 41565e785bcb5e5397fc8f63d2db4a065f881b15 Mon Sep 17 00:00:00 2001 From: William Ball Date: Sun, 11 Jul 2021 14:11:03 -0400 Subject: [PATCH] stuff --- .../data/infinite_prism.txt | 11 + .../data/infinite_trapezohedron.txt | 32 + .../circle_counting_new/src/lib.rs | 16 +- .../circle_counting_new/src/main.rs | 10 +- .../circle_counting_new/src/parser.rs | 22 +- fractal_dimension/fractal_dimension.nb | 1312 ++++++++++- fractal_dimension/prisms.nb | 1942 +++++++++++++++++ 7 files changed, 3268 insertions(+), 77 deletions(-) create mode 100644 fractal_dimension/circle_counting_new/data/infinite_prism.txt create mode 100644 fractal_dimension/circle_counting_new/data/infinite_trapezohedron.txt create mode 100644 fractal_dimension/prisms.nb diff --git a/fractal_dimension/circle_counting_new/data/infinite_prism.txt b/fractal_dimension/circle_counting_new/data/infinite_prism.txt new file mode 100644 index 0000000..6d125d0 --- /dev/null +++ b/fractal_dimension/circle_counting_new/data/infinite_prism.txt @@ -0,0 +1,11 @@ +{{{1, 0, 0, 0}, {0, 1, 0, 0}, {1, 1, -2, 1}, {1, 1, -3, 2}}, {{2, -3, + 1, 1}, {1, -2, 1, 1}, {0, 0, 1, 0}, {0, 0, 0, 1}}, {{0, 1, -1, + 1}, {0, 1, 0, 0}, {0, 0, 1, 0}, {1, -1, 1, 0}}, {{3, -2, -6, + 6}, {1, 0, -3, 3}, {1, -1, -2, 3}, {0, 0, 0, 1}}, {{1, 0, 0, + 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {2, 2, 6, -1}}} + +{-1, 3, 7, 19} + +{{0, 1}, {2, 3}, {1, 2}, {3}, {0, 1, 2}} + +{{0, 2}, {0, 3}, {1, 2}, {1, 3}} diff --git a/fractal_dimension/circle_counting_new/data/infinite_trapezohedron.txt b/fractal_dimension/circle_counting_new/data/infinite_trapezohedron.txt new file mode 100644 index 0000000..1242be2 --- /dev/null +++ b/fractal_dimension/circle_counting_new/data/infinite_trapezohedron.txt @@ -0,0 +1,32 @@ +{ + { + {-1, 2, 2, 0}, + {0, 1, 0, 0}, + {0, 0, 1, 0}, + {0, 0, 0, 1}, + }, + { + {1, 0, 0, 0}, + {2, -1, 0, 2}, + {0, 0, 1, 0}, + {0, 0, 0, 1}, + }, + { + {1, 0, 0, 0}, + {0, 1, 0, 0}, + {2, 0, -1, 2}, + {0, 0, 0, 1}, + }, + { + {1, 0, 0, 0}, + {0, 1, 0, 0}, + {0, 0, 1, 0}, + {0, 2, 2, -1}, + }, +} + +{-2, 4, 5, 9} + +{{1, 2, 3}, {0, 2, 3}, {0, 1, 3}, {0, 1, 2}} + +{{0, 3}, {1, 2}} diff --git a/fractal_dimension/circle_counting_new/src/lib.rs b/fractal_dimension/circle_counting_new/src/lib.rs index 255c9b7..34959a7 100644 --- a/fractal_dimension/circle_counting_new/src/lib.rs +++ b/fractal_dimension/circle_counting_new/src/lib.rs @@ -9,7 +9,8 @@ pub fn fractal_dimension( upper_bound: f64, n: usize, debug: bool, - generations: usize + generations: usize, + orthogonal_generators: Vec>, ) -> Result { let mut totals = vec![root.len(); n]; let mut current = vec![(root, std::usize::MAX, false)]; @@ -25,8 +26,21 @@ pub fn fractal_dimension( next.clear(); for (tuple, previous_generator, bad) in ¤t { for (i, generator) in generators.iter().enumerate() { + let mut skip = false; + for orthogonal_pairs in &orthogonal_generators { + if i == orthogonal_pairs[1] && *previous_generator == orthogonal_pairs[0] { + skip = true; + break; + } + } + if skip { + continue; + } if i != *previous_generator { let new_tuple = generator * tuple; + if new_tuple.iter().sum::() <= tuple.iter().sum() { + continue; + } let mut add = false; for (j, curvature) in new_tuple.iter().enumerate() { let mut skip = false; diff --git a/fractal_dimension/circle_counting_new/src/main.rs b/fractal_dimension/circle_counting_new/src/main.rs index db04af8..b236f17 100644 --- a/fractal_dimension/circle_counting_new/src/main.rs +++ b/fractal_dimension/circle_counting_new/src/main.rs @@ -46,7 +46,7 @@ fn main() { let beginning = std::time::Instant::now(); - let (generators, root, faces) = read_file(&opt.data_file).unwrap_or_else(|err| { + let (generators, root, faces, orthogonal_generators) = read_file(&opt.data_file).unwrap_or_else(|err| { eprintln!("{}", err); process::exit(-1); }); @@ -95,10 +95,16 @@ fn main() { opt.data_file ); println!("{:?}\n", faces); + println!( + "{} (parsed from file {}):", + Yellow.paint("Orthogonal Generators"), + opt.data_file + ); + println!("{:?}\n", orthogonal_generators); } let delta = - fractal_dimension(generators, root, faces, opt.max, opt.n, debug, generations).unwrap(); + fractal_dimension(generators, root, faces, opt.max, opt.n, debug, generations, orthogonal_generators).unwrap(); let after_computing = std::time::Instant::now(); if time { let duration1 = after_computing.duration_since(after_parsing); diff --git a/fractal_dimension/circle_counting_new/src/parser.rs b/fractal_dimension/circle_counting_new/src/parser.rs index 867d810..915025d 100644 --- a/fractal_dimension/circle_counting_new/src/parser.rs +++ b/fractal_dimension/circle_counting_new/src/parser.rs @@ -1,6 +1,7 @@ use std::fs; use nalgebra::{DMatrix, DVector}; +use ansi_term::Color::Red; #[derive(Debug, PartialEq)] enum TokenType { @@ -215,7 +216,8 @@ fn matrix_to_rust_value_flat(value: &Value) -> Result, String> { pub type Generator = DMatrix; pub type Root = DVector; pub type FaceList = Vec>; -pub type Data = (Vec, Root, FaceList); +pub type OrthogonalGenerators = Vec>; +pub type Data = (Vec, Root, FaceList, OrthogonalGenerators); pub fn read_file(filename: &str) -> Result { let contents = match fs::read_to_string(filename) { Ok(contents) => contents, @@ -245,7 +247,23 @@ pub fn read_file(filename: &str) -> Result { .map(|v| v.iter().map(|x| x.round() as usize).collect()) .collect(); - Ok((generators, DVector::from_column_slice(&root), faces)) + let orthogonal_generators: Vec> = if results.len() >= 3 { + vec![] + } else { + matrix_to_rust_value(&results[3])? + .iter() + .map(|v| v.iter().map(|x| x.round() as usize).collect()) + .collect() + }; + + for pair in &orthogonal_generators { + if pair.len() != 2 { + eprintln!("{}\nGot:\t{:?}", Red.paint(format!("Can only have at most two mutually orthogonal generators for now!")), pair); + std::process::exit(-1); + } + } + + Ok((generators, DVector::from_column_slice(&root), faces, orthogonal_generators)) } #[cfg(test)] diff --git a/fractal_dimension/fractal_dimension.nb b/fractal_dimension/fractal_dimension.nb index 8a4bd07..c67bf89 100644 --- a/fractal_dimension/fractal_dimension.nb +++ b/fractal_dimension/fractal_dimension.nb @@ -10,10 +10,10 @@ NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] -NotebookDataLength[ 50641, 1216] -NotebookOptionsPosition[ 47971, 1175] -NotebookOutlinePosition[ 48466, 1193] -CellTagsIndexPosition[ 48423, 1190] +NotebookDataLength[ 83903, 2384] +NotebookOptionsPosition[ 80638, 2337] +NotebookOutlinePosition[ 81133, 2355] +CellTagsIndexPosition[ 81090, 2352] WindowFrame->Normal*) (* Beginning of Notebook Content *) @@ -27,7 +27,8 @@ Cell[BoxData[ RowBox[{"Transpose", "[", "A", "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831194837404834*^9, 3.8311948924696903`*^9}, { 3.831194930347896*^9, 3.831194932848599*^9}}, - CellLabel->"In[1]:=",ExpressionUUID->"e1bc883b-2413-4a7d-abe0-4a19eb3f78fd"], + CellLabel-> + "In[208]:=",ExpressionUUID->"e1bc883b-2413-4a7d-abe0-4a19eb3f78fd"], Cell[BoxData[ RowBox[{ @@ -56,7 +57,8 @@ Cell[BoxData[ CellChangeTimes->{{3.831107414093502*^9, 3.83110748040809*^9}, { 3.831107557920609*^9, 3.8311075805621977`*^9}, {3.8311076270925627`*^9, 3.831107722019619*^9}, {3.83468833600141*^9, 3.8346883410498962`*^9}}, - CellLabel->"In[2]:=",ExpressionUUID->"025b5df5-f2a6-4cee-a294-e76ee16e74d4"], + CellLabel-> + "In[209]:=",ExpressionUUID->"025b5df5-f2a6-4cee-a294-e76ee16e74d4"], Cell[BoxData[ RowBox[{ @@ -69,7 +71,8 @@ Cell[BoxData[ CellChangeTimes->{{3.831107486071478*^9, 3.831107546093779*^9}, { 3.831109392242589*^9, 3.831109394639595*^9}, {3.831110190169511*^9, 3.831110193792735*^9}}, - CellLabel->"In[3]:=",ExpressionUUID->"54cc4a6c-be37-4091-ac21-3dfd11eb53ea"], + CellLabel-> + "In[210]:=",ExpressionUUID->"54cc4a6c-be37-4091-ac21-3dfd11eb53ea"], Cell[BoxData[ RowBox[{ @@ -82,7 +85,8 @@ Cell[BoxData[ RowBox[{"MatrixRank", "[", "G", "]"}]}], "]"}], "]"}], "//", "Transpose"}]}]], "Input", CellChangeTimes->{{3.831109396818718*^9, 3.831109426888632*^9}}, - CellLabel->"In[4]:=",ExpressionUUID->"d3298122-6e10-4115-8e61-a949acba4e08"], + CellLabel-> + "In[211]:=",ExpressionUUID->"d3298122-6e10-4115-8e61-a949acba4e08"], Cell[BoxData[ RowBox[{ @@ -118,7 +122,8 @@ Cell[BoxData[ 3.831194680087949*^9, 3.831194680680228*^9}, {3.831194956352386*^9, 3.831195002875142*^9}, {3.831205178380069*^9, 3.831205187846324*^9}, 3.834688343633176*^9}, - CellLabel->"In[5]:=",ExpressionUUID->"4e2a5664-aeb5-4dfb-88fb-7e7839ba2141"], + CellLabel-> + "In[212]:=",ExpressionUUID->"4e2a5664-aeb5-4dfb-88fb-7e7839ba2141"], Cell[BoxData[ RowBox[{ @@ -128,7 +133,8 @@ Cell[BoxData[ ";"}]], "Input", CellChangeTimes->{{3.831110103314905*^9, 3.831110162272215*^9}, 3.831206070230084*^9}, - CellLabel->"In[6]:=",ExpressionUUID->"c9a1b25a-8cb3-40d1-ac83-1d2405398934"], + CellLabel-> + "In[213]:=",ExpressionUUID->"c9a1b25a-8cb3-40d1-ac83-1d2405398934"], Cell[BoxData[ RowBox[{ @@ -163,7 +169,8 @@ Cell[BoxData[ "]"}]}], ")"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.831194278291965*^9, 3.831194298458626*^9}, 3.831195204231324*^9}, - CellLabel->"In[7]:=",ExpressionUUID->"30b57c08-a123-4e7d-9b0a-b512fcfecee8"], + CellLabel-> + "In[214]:=",ExpressionUUID->"30b57c08-a123-4e7d-9b0a-b512fcfecee8"], Cell[BoxData[ RowBox[{ @@ -185,7 +192,8 @@ Cell[BoxData[ CellChangeTimes->{{3.831195055004586*^9, 3.83119507699967*^9}, { 3.831195107195753*^9, 3.831195121990181*^9}, {3.831195208095559*^9, 3.831195214781535*^9}}, - CellLabel->"In[8]:=",ExpressionUUID->"e30807a9-5381-4ad1-b9fd-a6a877ae69fe"], + CellLabel-> + "In[215]:=",ExpressionUUID->"e30807a9-5381-4ad1-b9fd-a6a877ae69fe"], Cell[BoxData[ RowBox[{ @@ -206,7 +214,8 @@ Cell[BoxData[ RowBox[{"v", ".", "Q", ".", "v"}], "\[Equal]", "0"}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831195241841057*^9, 3.831195289590564*^9}}, - CellLabel->"In[9]:=",ExpressionUUID->"d1264330-efcb-4ca7-a1c2-f6744f28eebe"], + CellLabel-> + "In[216]:=",ExpressionUUID->"d1264330-efcb-4ca7-a1c2-f6744f28eebe"], Cell[BoxData[ RowBox[{ @@ -227,7 +236,8 @@ Cell[BoxData[ RowBox[{"G", ",", "L"}], "]"}], ",", "L"}], "]"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831195337159152*^9, 3.831195396279203*^9}}, - CellLabel->"In[10]:=",ExpressionUUID->"efd0e321-9f31-4641-bf42-f73e16044635"], + CellLabel-> + "In[217]:=",ExpressionUUID->"efd0e321-9f31-4641-bf42-f73e16044635"], Cell[BoxData[ RowBox[{ @@ -243,7 +253,8 @@ Cell[BoxData[ RowBox[{"G", ",", "L"}], "]"}], ",", "L"}], "]"}]}], "]"}]}]], "Input",\ CellChangeTimes->{{3.8312049925958433`*^9, 3.8312050200596113`*^9}}, - CellLabel->"In[11]:=",ExpressionUUID->"810323e6-91cb-44f2-ad55-323fbec422eb"], + CellLabel-> + "In[218]:=",ExpressionUUID->"810323e6-91cb-44f2-ad55-323fbec422eb"], Cell[BoxData[ RowBox[{ @@ -264,7 +275,8 @@ Cell[BoxData[ "]"}]}]], "Input", CellChangeTimes->{{3.8315843493182087`*^9, 3.831584372878718*^9}, { 3.831584545556731*^9, 3.831584563248426*^9}}, - CellLabel->"In[12]:=",ExpressionUUID->"948959db-c926-4458-9e45-ef7f3fb99ba5"], + CellLabel-> + "In[219]:=",ExpressionUUID->"948959db-c926-4458-9e45-ef7f3fb99ba5"], Cell[BoxData[ RowBox[{ @@ -294,7 +306,8 @@ Cell[BoxData[ RowBox[{"[", "pos", "]"}], "]"}]}], "}"}]}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{3.831210886725911*^9}, - CellLabel->"In[13]:=",ExpressionUUID->"e7b8a43b-0fbc-4073-928d-10a091e21dd7"], + CellLabel-> + "In[220]:=",ExpressionUUID->"e7b8a43b-0fbc-4073-928d-10a091e21dd7"], Cell[BoxData[{ RowBox[{ @@ -312,7 +325,7 @@ Cell[BoxData[{ "\[IndentingNewLine]", RowBox[{"FindFace", "[", RowBox[{"g", ",", "emb"}], "]"}]}]}], "]"}]}], ";"}], - "\n"}], "\[IndentingNewLine]", + "\[IndentingNewLine]"}], "\n", RowBox[{ RowBox[{"FindFace", "[", RowBox[{ @@ -403,7 +416,8 @@ Cell[BoxData[{ CellChangeTimes->{{3.8312108953940573`*^9, 3.831210895411563*^9}, 3.8312119634327393`*^9, 3.831542420732052*^9, {3.834688353349917*^9, 3.8346883534550037`*^9}}, - CellLabel->"In[14]:=",ExpressionUUID->"5cb4f612-3c02-42ac-ad57-4fb2daf3366b"], + CellLabel-> + "In[221]:=",ExpressionUUID->"5cb4f612-3c02-42ac-ad57-4fb2daf3366b"], Cell[BoxData[ RowBox[{ @@ -635,7 +649,8 @@ Cell[BoxData[ 3.831725440268997*^9}, {3.8317255156810293`*^9, 3.8317256205301943`*^9}, { 3.831725829008904*^9, 3.831725851322979*^9}, {3.831726730605854*^9, 3.8317267923612432`*^9}, 3.833968804473505*^9}, - CellLabel->"In[16]:=",ExpressionUUID->"df61872a-1e93-4b2b-ad66-1c8fee203402"], + CellLabel-> + "In[223]:=",ExpressionUUID->"df61872a-1e93-4b2b-ad66-1c8fee203402"], Cell[BoxData[ RowBox[{ @@ -777,17 +792,17 @@ Cell[BoxData[ RowBox[{"Length", "[", "allVertices", "]"}]}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Li", "=", - RowBox[{"Table", "[", - RowBox[{ - RowBox[{"If", "[", - RowBox[{ - RowBox[{"j", "\[Equal]", "k"}], ",", "1", ",", "0"}], "]"}], ",", - - RowBox[{"{", - RowBox[{"j", ",", - RowBox[{"Length", "[", "vertices", "]"}]}], "}"}], ",", - RowBox[{"{", - RowBox[{"k", ",", "allVertices"}], "}"}]}], "]"}]}], ";", + RowBox[{"Transpose", "[", + RowBox[{"Table", "[", + RowBox[{ + RowBox[{"If", "[", + RowBox[{ + RowBox[{"j", "\[Equal]", "k"}], ",", "1", ",", "0"}], "]"}], ",", + RowBox[{"{", + RowBox[{"j", ",", + RowBox[{"Length", "[", "vertices", "]"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"k", ",", "allVertices"}], "}"}]}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"P2", "=", RowBox[{"Table", "[", @@ -814,8 +829,11 @@ Cell[BoxData[ 3.834688227481195*^9, 3.834688274556583*^9}, {3.83468883312962*^9, 3.834688836641605*^9}, {3.834688881355237*^9, 3.834688884801515*^9}, { 3.8346889307534027`*^9, 3.834689029259427*^9}, {3.834689161206604*^9, - 3.8346891613731537`*^9}}, - CellLabel->"In[17]:=",ExpressionUUID->"dab3b84f-3f49-42e4-9bc4-79cb6408f946"], + 3.8346891613731537`*^9}, {3.83474319005858*^9, 3.834743210943413*^9}, { + 3.834743284660774*^9, 3.8347432883605413`*^9}, {3.8347436150091953`*^9, + 3.834743621722823*^9}}, + CellLabel-> + "In[224]:=",ExpressionUUID->"dab3b84f-3f49-42e4-9bc4-79cb6408f946"], Cell[BoxData[ RowBox[{ @@ -841,7 +859,8 @@ Cell[BoxData[ RowBox[{"Length", "[", "G", "]"}], "]"}], ",", "G"}], "]"}]}]], "Input", CellChangeTimes->{{3.831554845925479*^9, 3.8315548977219877`*^9}, 3.833982029038528*^9}, - CellLabel->"In[18]:=",ExpressionUUID->"bd52b017-bd99-4bdf-9126-b7c62804c9f2"], + CellLabel-> + "In[225]:=",ExpressionUUID->"bd52b017-bd99-4bdf-9126-b7c62804c9f2"], Cell[BoxData[ RowBox[{ @@ -954,7 +973,8 @@ Cell[BoxData[ 3.834671395332242*^9, 3.83467148748079*^9}, {3.834671580308955*^9, 3.834671642730775*^9}, {3.834671988628789*^9, 3.834671991147118*^9}, { 3.83467255246567*^9, 3.8346725653260603`*^9}}, - CellLabel->"In[19]:=",ExpressionUUID->"4186f080-27d0-474f-9433-7cdeb3a7a49d"], + CellLabel-> + "In[226]:=",ExpressionUUID->"4186f080-27d0-474f-9433-7cdeb3a7a49d"], Cell[CellGroupData[{ @@ -963,7 +983,8 @@ Cell[BoxData[ CellChangeTimes->{{3.833893222127377*^9, 3.833893227672316*^9}, { 3.83397931096562*^9, 3.833979311902438*^9}, {3.833982525256192*^9, 3.833982529177711*^9}, {3.833982918567665*^9, 3.8339829240001698`*^9}}, - CellLabel->"In[20]:=",ExpressionUUID->"a546161f-063b-4b38-811b-1f5d9ac28696"], + CellLabel-> + "In[227]:=",ExpressionUUID->"a546161f-063b-4b38-811b-1f5d9ac28696"], Cell[BoxData["16384"], "Output", CellChangeTimes->{ @@ -1003,8 +1024,9 @@ Cell[BoxData["16384"], "Output", 3.8346675010015087`*^9, 3.83467065066402*^9, 3.834670688395502*^9, 3.834670724619562*^9, 3.8346707922130203`*^9, 3.834672572650928*^9, { 3.834672606536978*^9, 3.834672633714957*^9}, 3.834688011488668*^9, - 3.834741745404797*^9}, - CellLabel->"Out[20]=",ExpressionUUID->"4556071e-a1ae-4f56-bd89-317072a8ba00"] + 3.834741745404797*^9, 3.834840168954259*^9}, + CellLabel-> + "Out[227]=",ExpressionUUID->"57c5a9a7-b48e-412f-93bf-a5d6a395dc8c"] }, Open ]], Cell[BoxData[ @@ -1074,9 +1096,10 @@ Cell[BoxData[ 3.8342709184846773`*^9}, {3.834271399281299*^9, 3.834271400142085*^9}, { 3.8345760352900133`*^9, 3.834576035855191*^9}, {3.834594490350781*^9, 3.834594498152722*^9}}, - CellLabel->"In[21]:=",ExpressionUUID->"3971d33a-d19f-42ea-9b17-0801f7a59659"], + CellLabel-> + "In[228]:=",ExpressionUUID->"3971d33a-d19f-42ea-9b17-0801f7a59659"], -Cell[BoxData[ +Cell[BoxData[{ RowBox[{ RowBox[{"pyramidG", "[", "n_", "]"}], ":=", RowBox[{"Table", "[", @@ -1106,11 +1129,67 @@ Cell[BoxData[ RowBox[{"{", RowBox[{"i", ",", "0", ",", "n"}], "}"}], ",", RowBox[{"{", - RowBox[{"j", ",", "0", ",", "n"}], "}"}]}], "]"}]}]], "Input", + RowBox[{"j", ",", "0", ",", "n"}], "}"}]}], + "]"}]}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"prismG", "[", "n_", "]"}], ":=", + RowBox[{"Table", "[", + RowBox[{ + RowBox[{"If", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"i", ">", "n"}], "&&", + RowBox[{"j", "\[LessEqual]", "n"}]}], "||", + RowBox[{ + RowBox[{"i", "\[LessEqual]", "n"}], "&&", + RowBox[{"j", ">", "n"}]}]}], ",", + RowBox[{ + RowBox[{"-", "1"}], "-", + FractionBox[ + RowBox[{"2", + SuperscriptBox[ + RowBox[{"Sin", "[", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Abs", "[", + RowBox[{"i", "-", "j"}], "]"}], "-", "n"}], ")"}], "\[Pi]"}], + "n"], "]"}], "2"]}], + SuperscriptBox[ + RowBox[{"Sin", "[", + FractionBox["\[Pi]", "n"], "]"}], "2"]]}], ",", + RowBox[{"1", "-", + FractionBox[ + RowBox[{"2", + SuperscriptBox[ + RowBox[{"Sin", "[", + FractionBox[ + RowBox[{ + RowBox[{"Abs", "[", + RowBox[{"i", "-", "j"}], "]"}], "\[Pi]"}], "n"], "]"}], "2"]}], + + SuperscriptBox[ + RowBox[{"Sin", "[", + FractionBox["\[Pi]", "n"], "]"}], "2"]]}]}], "]"}], ",", + RowBox[{"{", + RowBox[{"i", ",", "1", ",", + RowBox[{"2", "n"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"j", ",", "1", ",", + RowBox[{"2", "n"}]}], "}"}]}], "]"}]}]}], "Input", CellChangeTimes->{{3.833978075492923*^9, 3.833978098104927*^9}, { 3.833978140873678*^9, 3.833978187704298*^9}, {3.833979750071292*^9, - 3.833979764905096*^9}, {3.833980891992284*^9, 3.833980904095957*^9}}, - CellLabel->"In[22]:=",ExpressionUUID->"3db5443f-dda7-4082-8ab7-96e274634389"], + 3.833979764905096*^9}, {3.833980891992284*^9, 3.833980904095957*^9}, { + 3.834756633987256*^9, 3.834756643293138*^9}, {3.834756704310459*^9, + 3.8347567171630287`*^9}, {3.834757262153266*^9, 3.834757308568812*^9}, { + 3.83475754283183*^9, 3.8347575451402903`*^9}, {3.834757791323676*^9, + 3.834757807603224*^9}, {3.834758018406104*^9, 3.8347580192628*^9}, { + 3.8347582118524027`*^9, 3.834758212224677*^9}, {3.834758276954211*^9, + 3.834758277276855*^9}, {3.834758321078662*^9, 3.834758332831156*^9}}, + CellLabel-> + "In[229]:=",ExpressionUUID->"3db5443f-dda7-4082-8ab7-96e274634389"], Cell[BoxData[ RowBox[{ @@ -1146,7 +1225,8 @@ Cell[BoxData[ 3.833979410979437*^9}, {3.8339798534902363`*^9, 3.833979853676499*^9}, { 3.8339800331837673`*^9, 3.833980033963599*^9}, {3.833981434488759*^9, 3.8339814414612226`*^9}, {3.833981948527481*^9, 3.8339819534472733`*^9}}, - CellLabel->"In[23]:=",ExpressionUUID->"52eb731d-d72b-4ff7-afc4-5691e9750e37"], + CellLabel-> + "In[231]:=",ExpressionUUID->"52eb731d-d72b-4ff7-afc4-5691e9750e37"], Cell[BoxData[ RowBox[{ @@ -1156,8 +1236,7 @@ Cell[BoxData[ RowBox[{ RowBox[{"If", "[", RowBox[{ - RowBox[{"i", "\[Equal]", - RowBox[{"n", "+", "1"}]}], ",", + RowBox[{"i", "\[Equal]", "1"}], ",", RowBox[{"-", "1"}], ",", FractionBox[ RowBox[{ @@ -1170,8 +1249,1091 @@ Cell[BoxData[ RowBox[{"{", RowBox[{"i", ",", RowBox[{"n", "+", "1"}]}], "}"}]}], "]"}], "]"}]}]], "Input", - CellChangeTimes->{{3.8346584900042677`*^9, 3.834658495237359*^9}}, - CellLabel->"In[24]:=",ExpressionUUID->"6e172e8f-4972-4597-9559-948bf406a2c4"] + CellChangeTimes->{{3.8346584900042677`*^9, 3.834658495237359*^9}, { + 3.834752246211548*^9, 3.834752276988707*^9}}, + CellLabel-> + "In[232]:=",ExpressionUUID->"6e172e8f-4972-4597-9559-948bf406a2c4"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"cube", "=", GridBox[{ + {"1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}]}, + { + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1"} + }]}], ";"}]], "Input", + CellChangeTimes->{{3.834755880160933*^9, 3.834755881259757*^9}, + 3.834785693874516*^9}, + CellLabel-> + "In[233]:=",ExpressionUUID->"a88926ed-6f50-457b-9480-401929196ff8"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"g6v6f1", "=", GridBox[{ + {"1", + RowBox[{"-", "1"}], + RowBox[{"-", + SqrtBox["5"]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "2"}], "-", + SqrtBox["5"]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"2", + SqrtBox["5"]}]}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", + SqrtBox["5"]}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "2"}], "-", + SqrtBox["5"]}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "2"}], "-", + SqrtBox["5"]}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", + SqrtBox["5"]}]}, + { + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"2", + SqrtBox["5"]}]}], + RowBox[{ + RowBox[{"-", "2"}], "-", + SqrtBox["5"]}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", + SqrtBox["5"]}], + RowBox[{"-", "1"}], "1"} + }]}], ";"}]], "Input", + CellChangeTimes->{{3.834742774681567*^9, 3.8347428287244883`*^9}, { + 3.834743896750102*^9, 3.8347439689703417`*^9}}, + CellLabel-> + "In[234]:=",ExpressionUUID->"ac2fc7fb-1a08-4495-8c53-210ad6f3664b"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"icos", "=", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"1", ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1", ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", + RowBox[{"-", "1"}], ",", + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"Sqrt", "[", "5", "]"}]}], ",", "1"}], "}"}]}], "}"}]}], + ";"}]], "Input", + CellChangeTimes->{{3.834743429368106*^9, 3.8347434388724737`*^9}}, + CellLabel-> + "In[235]:=",ExpressionUUID->"609d9edf-fd45-4e4e-aae5-f4d3cc6359f5"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"cuboc", "=", GridBox[{ + {"1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}]}, + { + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "3"}], + RowBox[{"-", "7"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], "1", + RowBox[{"-", "3"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "3"}], "1", + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "7"}], + RowBox[{"-", "3"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "3"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "3"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "3"}], + RowBox[{"-", "1"}], "1"} + }]}], ";"}]], "Input", + CellChangeTimes->{{3.8347499838493013`*^9, 3.8347500201575737`*^9}, + 3.834750116070956*^9, {3.8347502692524233`*^9, 3.834750279540098*^9}, { + 3.8347503806900682`*^9, 3.834750484892733*^9}}, + CellLabel-> + "In[236]:=",ExpressionUUID->"294e535d-e3a7-4a1d-8c24-303f127653b2"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"squareantibipyramid", "=", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}]}, + { + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}]}, + { + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}]}, + { + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}]}, + { + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{"-", "1"}]}, + { + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{"-", "1"}]}, + { + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "5"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "3"}], "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], "1", + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}]}, + { + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{ + RowBox[{"-", "1"}], "-", + SqrtBox["2"]}], "1"} + }, + GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, + GridBoxSpacings->{"Columns" -> { + Offset[0.27999999999999997`], { + Offset[0.7]}, + Offset[0.27999999999999997`]}, "Rows" -> { + Offset[0.2], { + Offset[0.4]}, + Offset[0.2]}}], "\[NoBreak]", ")"}], + Function[BoxForm`e$, + MatrixForm[BoxForm`e$]]]}], ";"}]], "Input", + CellChangeTimes->{{3.834755068584971*^9, 3.8347550726738453`*^9}, + 3.8347857193270597`*^9}, + CellLabel-> + "In[237]:=",ExpressionUUID->"45d67d9a-02e6-48ac-8e3a-435a001307e6"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"rhombdodec", "=", GridBox[{ + {"1", + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "1"}], + RowBox[{"-", "17"}], + RowBox[{"-", "7"}]}, + { + RowBox[{"-", "5"}], "1", + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "17"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "11"}], + RowBox[{"-", "7"}]}, + { + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], "1", + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "11"}], + RowBox[{"-", "17"}], + RowBox[{"-", "11"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "17"}], + RowBox[{"-", "1"}], + RowBox[{"-", "11"}], + RowBox[{"-", "7"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "2"}], + RowBox[{"-", "5"}], + RowBox[{"-", "2"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}], "1", + RowBox[{"-", "2"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}]}, + { + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "2"}], "1", + RowBox[{"-", "2"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}]}, + { + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}], + RowBox[{"-", "5"}], + RowBox[{"-", "2"}], "1", + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}]}, + { + RowBox[{"-", "11"}], + RowBox[{"-", "17"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], "1", + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "17"}], + RowBox[{"-", "11"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], "1", + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], + RowBox[{"-", "11"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "17"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "7"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], "1", + RowBox[{"-", "7"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], "1", + RowBox[{"-", "7"}], + RowBox[{"-", "5"}]}, + { + RowBox[{"-", "17"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "11"}], + RowBox[{"-", "5"}], + RowBox[{"-", "7"}], "1", + RowBox[{"-", "1"}]}, + { + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "7"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "2"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "1"}], + RowBox[{"-", "5"}], + RowBox[{"-", "1"}], "1"} + }]}], ";"}]], "Input", + CellChangeTimes->{{3.834755613463056*^9, 3.834755830758485*^9}}, + CellLabel-> + "In[238]:=",ExpressionUUID->"65e20246-7792-4c97-b2ee-553e60d6428e"] }, WindowSize->{1425., 776.25}, WindowMargins->{{7.5, Automatic}, {7.5, Automatic}}, @@ -1192,32 +2354,38 @@ CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ -Cell[558, 20, 418, 9, 29, "Input",ExpressionUUID->"e1bc883b-2413-4a7d-abe0-4a19eb3f78fd"], -Cell[979, 31, 1029, 27, 29, "Input",ExpressionUUID->"025b5df5-f2a6-4cee-a294-e76ee16e74d4"], -Cell[2011, 60, 509, 11, 29, "Input",ExpressionUUID->"54cc4a6c-be37-4091-ac21-3dfd11eb53ea"], -Cell[2523, 73, 439, 11, 29, "Input",ExpressionUUID->"d3298122-6e10-4115-8e61-a949acba4e08"], -Cell[2965, 86, 1415, 34, 29, "Input",ExpressionUUID->"4e2a5664-aeb5-4dfb-88fb-7e7839ba2141"], -Cell[4383, 122, 342, 8, 29, "Input",ExpressionUUID->"c9a1b25a-8cb3-40d1-ac83-1d2405398934"], -Cell[4728, 132, 1140, 33, 29, "Input",ExpressionUUID->"30b57c08-a123-4e7d-9b0a-b512fcfecee8"], -Cell[5871, 167, 740, 20, 29, "Input",ExpressionUUID->"e30807a9-5381-4ad1-b9fd-a6a877ae69fe"], -Cell[6614, 189, 671, 19, 29, "Input",ExpressionUUID->"d1264330-efcb-4ca7-a1c2-f6744f28eebe"], -Cell[7288, 210, 708, 19, 29, "Input",ExpressionUUID->"efd0e321-9f31-4641-bf42-f73e16044635"], -Cell[7999, 231, 548, 14, 29, "Input",ExpressionUUID->"810323e6-91cb-44f2-ad55-323fbec422eb"], -Cell[8550, 247, 702, 19, 29, "Input",ExpressionUUID->"948959db-c926-4458-9e45-ef7f3fb99ba5"], -Cell[9255, 268, 996, 28, 71, "Input",ExpressionUUID->"e7b8a43b-0fbc-4073-928d-10a091e21dd7"], -Cell[10254, 298, 4042, 107, 298, "Input",ExpressionUUID->"5cb4f612-3c02-42ac-ad57-4fb2daf3366b"], -Cell[14299, 407, 10810, 230, 422, "Input",ExpressionUUID->"df61872a-1e93-4b2b-ad66-1c8fee203402"], -Cell[25112, 639, 7146, 178, 422, "Input",ExpressionUUID->"dab3b84f-3f49-42e4-9bc4-79cb6408f946"], -Cell[32261, 819, 912, 24, 29, "Input",ExpressionUUID->"bd52b017-bd99-4bdf-9126-b7c62804c9f2"], -Cell[33176, 845, 5346, 111, 113, "Input",ExpressionUUID->"4186f080-27d0-474f-9433-7cdeb3a7a49d"], +Cell[558, 20, 423, 10, 29, "Input",ExpressionUUID->"e1bc883b-2413-4a7d-abe0-4a19eb3f78fd"], +Cell[984, 32, 1034, 28, 29, "Input",ExpressionUUID->"025b5df5-f2a6-4cee-a294-e76ee16e74d4"], +Cell[2021, 62, 514, 12, 29, "Input",ExpressionUUID->"54cc4a6c-be37-4091-ac21-3dfd11eb53ea"], +Cell[2538, 76, 444, 12, 29, "Input",ExpressionUUID->"d3298122-6e10-4115-8e61-a949acba4e08"], +Cell[2985, 90, 1420, 35, 29, "Input",ExpressionUUID->"4e2a5664-aeb5-4dfb-88fb-7e7839ba2141"], +Cell[4408, 127, 347, 9, 29, "Input",ExpressionUUID->"c9a1b25a-8cb3-40d1-ac83-1d2405398934"], +Cell[4758, 138, 1145, 34, 29, "Input",ExpressionUUID->"30b57c08-a123-4e7d-9b0a-b512fcfecee8"], +Cell[5906, 174, 745, 21, 29, "Input",ExpressionUUID->"e30807a9-5381-4ad1-b9fd-a6a877ae69fe"], +Cell[6654, 197, 676, 20, 29, "Input",ExpressionUUID->"d1264330-efcb-4ca7-a1c2-f6744f28eebe"], +Cell[7333, 219, 712, 20, 29, "Input",ExpressionUUID->"efd0e321-9f31-4641-bf42-f73e16044635"], +Cell[8048, 241, 552, 15, 29, "Input",ExpressionUUID->"810323e6-91cb-44f2-ad55-323fbec422eb"], +Cell[8603, 258, 706, 20, 29, "Input",ExpressionUUID->"948959db-c926-4458-9e45-ef7f3fb99ba5"], +Cell[9312, 280, 1000, 29, 71, "Input",ExpressionUUID->"e7b8a43b-0fbc-4073-928d-10a091e21dd7"], +Cell[10315, 311, 4046, 108, 298, "Input",ExpressionUUID->"5cb4f612-3c02-42ac-ad57-4fb2daf3366b"], +Cell[14364, 421, 10814, 231, 422, "Input",ExpressionUUID->"df61872a-1e93-4b2b-ad66-1c8fee203402"], +Cell[25181, 654, 7338, 181, 422, "Input",ExpressionUUID->"dab3b84f-3f49-42e4-9bc4-79cb6408f946"], +Cell[32522, 837, 916, 25, 29, "Input",ExpressionUUID->"bd52b017-bd99-4bdf-9126-b7c62804c9f2"], +Cell[33441, 864, 5350, 112, 113, "Input",ExpressionUUID->"4186f080-27d0-474f-9433-7cdeb3a7a49d"], Cell[CellGroupData[{ -Cell[38547, 960, 357, 5, 29, "Input",ExpressionUUID->"a546161f-063b-4b38-811b-1f5d9ac28696"], -Cell[38907, 967, 2766, 39, 33, "Output",ExpressionUUID->"4556071e-a1ae-4f56-bd89-317072a8ba00"] +Cell[38816, 980, 361, 6, 29, "Input",ExpressionUUID->"a546161f-063b-4b38-811b-1f5d9ac28696"], +Cell[39180, 988, 2792, 40, 33, "Output",ExpressionUUID->"57c5a9a7-b48e-412f-93bf-a5d6a395dc8c"] }, Open ]], -Cell[41688, 1009, 2787, 67, 262, "Input",ExpressionUUID->"3971d33a-d19f-42ea-9b17-0801f7a59659"], -Cell[44478, 1078, 1277, 34, 66, "Input",ExpressionUUID->"3db5443f-dda7-4082-8ab7-96e274634389"], -Cell[45758, 1114, 1383, 34, 65, "Input",ExpressionUUID->"52eb731d-d72b-4ff7-afc4-5691e9750e37"], -Cell[47144, 1150, 823, 23, 65, "Input",ExpressionUUID->"6e172e8f-4972-4597-9559-948bf406a2c4"] +Cell[41987, 1031, 2791, 68, 262, "Input",ExpressionUUID->"3971d33a-d19f-42ea-9b17-0801f7a59659"], +Cell[44781, 1101, 3216, 90, 130, "Input",ExpressionUUID->"3db5443f-dda7-4082-8ab7-96e274634389"], +Cell[48000, 1193, 1387, 35, 65, "Input",ExpressionUUID->"52eb731d-d72b-4ff7-afc4-5691e9750e37"], +Cell[49390, 1230, 847, 24, 65, "Input",ExpressionUUID->"6e172e8f-4972-4597-9559-948bf406a2c4"], +Cell[50240, 1256, 1865, 71, 147, "Input",ExpressionUUID->"a88926ed-6f50-457b-9480-401929196ff8"], +Cell[52108, 1329, 1554, 61, 137, "Input",ExpressionUUID->"ac2fc7fb-1a08-4495-8c53-210ad6f3664b"], +Cell[53665, 1392, 9997, 308, 257, "Input",ExpressionUUID->"609d9edf-fd45-4e4e-aae5-f4d3cc6359f5"], +Cell[63665, 1702, 4070, 152, 216, "Input",ExpressionUUID->"294e535d-e3a7-4a1d-8c24-303f127653b2"], +Cell[67738, 1856, 7542, 275, 221, "Input",ExpressionUUID->"45d67d9a-02e6-48ac-8e3a-435a001307e6"], +Cell[75283, 2133, 5351, 202, 306, "Input",ExpressionUUID->"65e20246-7792-4c97-b2ee-553e60d6428e"] } ] *) diff --git a/fractal_dimension/prisms.nb b/fractal_dimension/prisms.nb new file mode 100644 index 0000000..06b797c --- /dev/null +++ b/fractal_dimension/prisms.nb @@ -0,0 +1,1942 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 12.3' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 158, 7] +NotebookDataLength[ 85194, 1934] +NotebookOptionsPosition[ 82313, 1883] +NotebookOutlinePosition[ 82743, 1900] +CellTagsIndexPosition[ 82700, 1897] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ + +Cell[CellGroupData[{ +Cell[BoxData[{ + RowBox[{ + RowBox[{"n", "=", "8"}], ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"gram", "=", + RowBox[{ + RowBox[{"IdentityMatrix", "[", + RowBox[{ + RowBox[{"3", "n"}], "+", "2"}], "]"}], "//", "MatrixForm"}]}], + ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "=", + RowBox[{ + RowBox[{"ConstantArray", "[", + RowBox[{"0", ",", + RowBox[{"{", + RowBox[{"3", ",", + RowBox[{ + RowBox[{"3", "n"}], "+", "2"}]}], "}"}]}], "]"}], "//", + "MatrixForm"}]}], ";"}], "\n", + RowBox[{"(*", + RowBox[{ + RowBox[{"Order", " ", "is", " ", "X"}], ",", " ", "Y", ",", " ", + RowBox[{ + RowBox[{ + "R", "\[IndentingNewLine]", "unit", " ", "circle", " ", "passes", " ", + "through", " ", "the", " ", "centers", " ", "of", " ", "circles", " ", + "1"}], "-", + RowBox[{"n", "\[IndentingNewLine]", "1"}], "-", + RowBox[{"n", " ", "ring", "\[IndentingNewLine]", "n"}], "+", + RowBox[{"1", " ", "inner", " ", "\[IndentingNewLine]", "n"}], "+", + RowBox[{"2", " ", "outer", "\[IndentingNewLine]", "n"}], "+", "3", "-", + RowBox[{"2", "n"}], "+", + RowBox[{ + "2", " ", "inner", " ", "dualS", "\[IndentingNewLine]", "2", "n"}], "+", + "3", "-", + RowBox[{"3", "n"}], "+", + RowBox[{"2", " ", "outer", " ", "dual"}]}]}], "*)"}]}], "\n", + RowBox[{ + RowBox[{"For", "[", + RowBox[{ + RowBox[{"i", "=", "0"}], ",", + RowBox[{"i", "<", "n"}], ",", + RowBox[{"i", "++"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "1", ",", + RowBox[{"i", "+", "1"}]}], "]"}], "]"}], "=", + RowBox[{"Cos", "[", + RowBox[{"2", "Pi", "*", + RowBox[{"i", "/", "n"}]}], "]"}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "2", ",", + RowBox[{"i", "+", "1"}]}], "]"}], "]"}], "=", + RowBox[{"Sin", "[", + RowBox[{"2", "Pi", "*", + RowBox[{"i", "/", "n"}]}], "]"}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", + RowBox[{"i", "+", "1"}]}], "]"}], "]"}], "=", + RowBox[{"Sin", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}]}]}], "]"}], + ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", + RowBox[{"n", "+", "1"}]}], "]"}], "]"}], "=", + RowBox[{"1", "-", + RowBox[{"Sin", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", + RowBox[{"n", "+", "2"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"Sin", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"For", "[", + RowBox[{ + RowBox[{"i", "=", "0"}], ",", + RowBox[{"i", "<", "n"}], ",", + RowBox[{"i", "++"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "1", ",", + RowBox[{"i", "+", "n", "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "-", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Cos", "[", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"2", " ", "i"}], "+", "1"}], ")"}], + RowBox[{"Pi", "/", "n"}]}], "]"}]}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "2", ",", + RowBox[{"i", "+", "n", "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "-", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Sin", "[", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"2", " ", "i"}], "+", "1"}], ")"}], + RowBox[{"Pi", "/", "n"}]}], "]"}]}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", + RowBox[{"i", "+", "n", "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "-", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Sin", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}]}]}]}], "]"}], + ";"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"For", "[", + RowBox[{ + RowBox[{"i", "=", "0"}], ",", + RowBox[{"i", "<", "n"}], ",", + RowBox[{"i", "++"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "1", ",", + RowBox[{"i", "+", + RowBox[{"2", "n"}], "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "+", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Cos", "[", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"2", " ", "i"}], "+", "1"}], ")"}], + RowBox[{"Pi", "/", "n"}]}], "]"}]}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "2", ",", + RowBox[{"i", "+", + RowBox[{"2", "n"}], "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "+", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Sin", "[", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"2", " ", "i"}], "+", "1"}], ")"}], + RowBox[{"Pi", "/", "n"}]}], "]"}]}]}], ";", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", + RowBox[{"i", "+", + RowBox[{"2", "n"}], "+", "3"}]}], "]"}], "]"}], "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"Sec", "[", + RowBox[{"Pi", "/", "n"}], "]"}], "+", + RowBox[{"Tan", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}], ")"}], + RowBox[{"Sin", "[", + RowBox[{"Pi", "/", "n"}], "]"}]}]}]}]}], "]"}], + ";"}], "\[IndentingNewLine]", + RowBox[{"Graphics", "[", + RowBox[{"{", + RowBox[{"Table", "[", + RowBox[{ + RowBox[{"Circle", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "1", ",", "i"}], "]"}], "]"}], ",", + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "2", ",", "i"}], "]"}], "]"}]}], "}"}], ",", + RowBox[{"Abs", "[", + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "3", ",", "i"}], "]"}], "]"}], "]"}]}], "]"}], + ",", + RowBox[{"{", + RowBox[{"i", ",", + RowBox[{"Length", "[", + RowBox[{"regularcoords", "[", + RowBox[{"[", + RowBox[{"1", ",", "1"}], "]"}], "]"}], "]"}]}], "}"}]}], "]"}], + "}"}], "]"}]}], "Input", + CellChangeTimes->{{3.83449323929599*^9, 3.834493249900744*^9}, { + 3.834520365947041*^9, 3.834520390639029*^9}, {3.83476054390351*^9, + 3.834760650335586*^9}, {3.8347607951221237`*^9, 3.834760798594076*^9}, { + 3.834760973784441*^9, 3.834760974593378*^9}, {3.834761028502931*^9, + 3.834761048225442*^9}, {3.834762859209285*^9, 3.834762859316412*^9}, { + 3.834763138188011*^9, 3.834763138432488*^9}, {3.83478341723621*^9, + 3.834783417310713*^9}, {3.834783494266038*^9, 3.8347834946928596`*^9}, { + 3.834783612778721*^9, 3.834783613324223*^9}, {3.834783668447894*^9, + 3.834783668886835*^9}, {3.834783760414*^9, 3.834783842384324*^9}, { + 3.834783933633168*^9, 3.834783933807754*^9}, {3.834784492681999*^9, + 3.8347844927589397`*^9}, {3.834784570210153*^9, 3.834784570292292*^9}, { + 3.83478461376294*^9, 3.834784614175744*^9}, {3.834784727390181*^9, + 3.834784727736788*^9}}, + CellLabel-> + "In[2776]:=",ExpressionUUID->"0f4b8f1d-84c6-415b-a3e5-51d504112893"], + +Cell[BoxData[ + GraphicsBox[{ + CircleBox[{1, 0}, NCache[Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[ + NCache[{2^Rational[-1, 2], 2^Rational[-1, 2]}, {0.7071067811865475, + 0.7071067811865475}], NCache[ + Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[{0, 1}, NCache[Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[ + NCache[{-2^Rational[-1, 2], 2^Rational[-1, 2]}, {-0.7071067811865475, + 0.7071067811865475}], NCache[ + Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[{-1, 0}, NCache[Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[ + NCache[{-2^Rational[-1, 2], -2^ + Rational[-1, 2]}, {-0.7071067811865475, -0.7071067811865475}], NCache[ + Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[{0, -1}, NCache[Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[ + NCache[{2^Rational[-1, 2], -2^Rational[-1, 2]}, { + 0.7071067811865475, -0.7071067811865475}], NCache[ + Sin[Rational[1, 8] Pi], 0.3826834323650898]], + CircleBox[{0, 0}, NCache[1 - Sin[Rational[1, 8] Pi], 0.6173165676349102]], + CircleBox[{0, 0}, NCache[1 + Sin[Rational[1, 8] Pi], 1.3826834323650898`]], + CircleBox[ + NCache[{Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {0.6173165676349103, 0.25570089459198786`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {0.25570089459198786`, 0.6173165676349103}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{-Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {-0.25570089459198786`, 0.6173165676349103}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{-Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {-0.6173165676349103, 0.25570089459198786`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{-Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), - + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {-0.6173165676349103, -0.25570089459198786`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{-Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), - + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {-0.25570089459198786`, -0.6173165676349103}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), - + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {0.25570089459198786`, -0.6173165676349103}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), - + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi])}, {0.6173165676349103, -0.25570089459198786`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] - Tan[ + Rational[1, 8] Pi]), 0.25570089459198786`]], + CircleBox[ + NCache[{Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {1.3826834323650898`, 0.5727262301542023}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {0.5727262301542023, 1.3826834323650898`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{-Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {-0.5727262301542023, 1.3826834323650898`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{-Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {-1.3826834323650898`, 0.5727262301542023}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{-Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), - + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {-1.3826834323650898`, -0.5727262301542023}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{-Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), - + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {-0.5727262301542023, -1.3826834323650898`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), - + Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {0.5727262301542023, -1.3826834323650898`}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]], + CircleBox[ + NCache[{Cos[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), - + Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi])}, {1.3826834323650898`, -0.5727262301542023}], + NCache[Sin[Rational[1, 8] Pi] (Sec[Rational[1, 8] Pi] + + Tan[Rational[1, 8] Pi]), 0.5727262301542023]]}, + ImageSize->{1059.1287841796875`, Automatic}]], "Output", + CellChangeTimes->{ + 3.8344931666005983`*^9, {3.8344932407624187`*^9, 3.834493250317463*^9}, { + 3.834520366912965*^9, 3.834520391090468*^9}, {3.834760545923839*^9, + 3.834760572895718*^9}, {3.834760604977359*^9, 3.834760609778987*^9}, + 3.8347606511051598`*^9, 3.834760977138995*^9, {3.8347610308726807`*^9, + 3.834761050116434*^9}, 3.834762861388442*^9, 3.83476314029513*^9, + 3.834783419828974*^9, {3.834783481453574*^9, 3.834783496927186*^9}, { + 3.83478361584573*^9, 3.834783670992846*^9}, 3.834783762974715*^9, { + 3.834783799071993*^9, 3.834783844496009*^9}, 3.8347839375576153`*^9, { + 3.8347844954794273`*^9, 3.834784513064999*^9}, 3.834784573435608*^9, + 3.834784616529948*^9, 3.834784730965405*^9}, + CellLabel-> + "Out[2784]=",ExpressionUUID->"82a97be4-92fc-492a-b32c-a59247156a90"] +}, Open ]], + +Cell[BoxData[ + RowBox[{ + RowBox[{"xyrtoabbc", "[", + RowBox[{"{", + RowBox[{"x_", ",", "y_", ",", "r_"}], "}"}], "]"}], ":=", + RowBox[{"{", + RowBox[{ + RowBox[{"r", + RowBox[{"(", + RowBox[{ + FractionBox[ + SuperscriptBox["x", "2"], + SuperscriptBox["r", "2"]], "+", + FractionBox[ + SuperscriptBox["y", "2"], + SuperscriptBox["r", "2"]], "-", "1"}], ")"}]}], ",", + RowBox[{"1", "/", "r"}], ",", + RowBox[{"x", "/", "r"}], ",", + RowBox[{"y", "/", "r"}]}], "}"}]}]], "Input", + CellChangeTimes->{{3.8347621619342318`*^9, 3.834762227695305*^9}, { + 3.8347622855966377`*^9, 3.834762287436454*^9}}, + CellLabel-> + "In[2785]:=",ExpressionUUID->"5b2c0bbe-cb60-4a1b-9fcb-a95674b4bf8b"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"abbctoxyr", "[", + RowBox[{"{", + RowBox[{"bt_", ",", "b_", ",", "h1_", ",", "h2_"}], "}"}], "]"}], ":=", + RowBox[{"{", + RowBox[{ + RowBox[{"h1", "/", "b"}], ",", + RowBox[{"h2", "/", "b"}], ",", + RowBox[{"1", "/", "b"}]}], "}"}]}]], "Input", + CellChangeTimes->{{3.834782419884968*^9, 3.834782442741172*^9}}, + CellLabel-> + "In[2786]:=",ExpressionUUID->"49645edd-788e-4fc8-86df-de555aacb932"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"graphCircles", "[", "circs_", "]"}], ":=", + RowBox[{"Graphics", "[", + RowBox[{ + RowBox[{ + RowBox[{"Circle", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"#", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], + ",", + RowBox[{ + "#", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]}], "}"}], + ",", + RowBox[{"Abs", "[", + RowBox[{"#", "\[LeftDoubleBracket]", "3", "\[RightDoubleBracket]"}], + "]"}]}], "]"}], "&"}], "/@", "circs"}], "]"}]}]], "Input", + CellChangeTimes->{{3.834782511605257*^9, 3.834782562996771*^9}, { + 3.834782604627461*^9, 3.834782607237137*^9}}, + CellLabel-> + "In[2787]:=",ExpressionUUID->"a58ca02c-ebe7-4352-b8eb-790f898c7ffb"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"graphAbbc", "[", "circs_", "]"}], ":=", + RowBox[{"graphCircles", "[", + RowBox[{"abbctoxyr", "/@", "circs"}], "]"}]}]], "Input", + CellChangeTimes->{{3.8347828425016403`*^9, 3.834782869809119*^9}}, + CellLabel-> + "In[2788]:=",ExpressionUUID->"0c65ad0b-5be7-4d5a-a6b7-bea26f622ffc"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"findRoot", "[", + RowBox[{"tuple_", ",", "sigmas_"}], "]"}], ":=", + RowBox[{"Block", "[", + RowBox[{ + RowBox[{"{", "candidates", "}"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"candidates", "=", + RowBox[{"Select", "[", + RowBox[{"sigmas", ",", + RowBox[{ + RowBox[{ + RowBox[{"Total", "[", + RowBox[{"#", ".", "tuple"}], "]"}], "<", + RowBox[{"Total", "[", "tuple", "]"}]}], "&"}]}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"If", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", "candidates", "]"}], "\[Equal]", "0"}], ",", + "tuple", ",", + RowBox[{"findRoot", "[", + RowBox[{ + RowBox[{ + RowBox[{ + "candidates", "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], ".", "tuple"}], ",", "sigmas"}], + "]"}]}], "]"}]}]}], "]"}]}]], "Input", + CellChangeTimes->{{3.8347829582700043`*^9, 3.8347830693486032`*^9}, { + 3.834783178483616*^9, 3.834783184189313*^9}, {3.834783219557962*^9, + 3.834783240112192*^9}}, + CellLabel-> + "In[2789]:=",ExpressionUUID->"c477442a-250a-4540-b160-f9d680c2eecd"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"MatrixForm", "[", + RowBox[{"mycoords", "=", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"xyrtoabbc", "/@", + RowBox[{"(", + RowBox[{"Transpose", "[", + RowBox[{ + "regularcoords", "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], "]"}], ")"}]}], "//", "Simplify"}], + ")"}], "\[LeftDoubleBracket]", + RowBox[{ + RowBox[{"n", "+", "3"}], ";;", + RowBox[{ + RowBox[{"3", "n"}], "+", "2"}]}], "\[RightDoubleBracket]"}]}], "]"}], + ";"}]], "Input", + CellChangeTimes->{{3.834762311721483*^9, 3.834762315064042*^9}, { + 3.8347623747998343`*^9, 3.834762375077175*^9}, {3.8347624495240173`*^9, + 3.834762481429171*^9}, {3.834762528031289*^9, 3.8347625916158113`*^9}, + 3.8347835828763103`*^9}, + CellLabel-> + "In[2790]:=",ExpressionUUID->"4ed7f4d9-3d44-4db5-a472-7dc5cf07bce3"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"W", "=", + RowBox[{"mycoords", "//", "N"}]}], ";"}]], "Input", + CellChangeTimes->{{3.834762599517437*^9, 3.834762601149572*^9}, + 3.834783576585416*^9, {3.834783635346551*^9, 3.834783635689013*^9}}, + CellLabel-> + "In[2791]:=",ExpressionUUID->"24ab5dde-ffbc-457b-9e8e-5b1581ec1da4"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"scale", "[", "a_", "]"}], ":=", GridBox[{ + {"a", "0", "0", "0"}, + {"0", + RowBox[{"1", "/", "a"}], "0", "0"}, + {"0", "0", "1", "0"}, + {"0", "0", "0", "1"} + }]}]], "Input", + CellChangeTimes->{{3.834762937107503*^9, 3.834762952962578*^9}}, + CellLabel-> + "In[2792]:=",ExpressionUUID->"da909858-635e-493f-9024-7418270e8c20"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"rotate", "[", "\[Theta]_", "]"}], ":=", GridBox[{ + {"1", "0", "0", "0"}, + {"0", "1", "0", "0"}, + {"0", "0", + RowBox[{"Cos", "[", "\[Theta]", "]"}], + RowBox[{"Sin", "[", "\[Theta]", "]"}]}, + {"0", "0", + RowBox[{"-", + RowBox[{"Sin", "[", "\[Theta]", "]"}]}], + RowBox[{"Cos", "[", "\[Theta]", "]"}]} + }]}]], "Input", + CellChangeTimes->{{3.834762957223008*^9, 3.834762984345027*^9}}, + CellLabel-> + "In[2793]:=",ExpressionUUID->"8c2baf70-d2f6-47e2-9ba6-5d392447c119"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"translate", "[", + RowBox[{"s_", ",", "t_"}], "]"}], ":=", GridBox[{ + {"1", + RowBox[{ + SuperscriptBox["s", "2"], "+", + SuperscriptBox["t", "2"]}], + RowBox[{"2", "s"}], + RowBox[{"2", "t"}]}, + {"0", "1", "0", "0"}, + {"0", "s", "1", "0"}, + {"0", "t", "0", "1"} + }]}]], "Input", + CellChangeTimes->{{3.834762988227507*^9, 3.8347630091149807`*^9}}, + CellLabel-> + "In[2794]:=",ExpressionUUID->"8f484e57-59aa-4c65-b92d-c7faa8a37904"], + +Cell[BoxData[ + RowBox[{"invert", ":=", GridBox[{ + {"0", "1", "0", "0"}, + {"1", "0", "0", "0"}, + {"0", "0", "1", "0"}, + {"0", "0", "0", "1"} + }]}]], "Input", + CellChangeTimes->{{3.834763012237812*^9, 3.834763025716722*^9}}, + CellLabel-> + "In[2795]:=",ExpressionUUID->"85bbea91-03de-469b-8dd8-101826734ad2"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"invertAboutCircle", "[", + RowBox[{"x_", ",", "y_", ",", "r_"}], "]"}], ":=", + RowBox[{ + RowBox[{"translate", "[", + RowBox[{"x", ",", "y"}], "]"}], ".", + RowBox[{"scale", "[", "r", "]"}], ".", "invert", ".", + RowBox[{"scale", "[", + RowBox[{"1", "/", "r"}], "]"}], ".", + RowBox[{"translate", "[", + RowBox[{ + RowBox[{"-", "x"}], ",", + RowBox[{"-", "y"}]}], "]"}]}]}]], "Input", + CellChangeTimes->{{3.834762918068389*^9, 3.834762932671052*^9}, { + 3.834763031773831*^9, 3.834763055719008*^9}}, + CellLabel-> + "In[2796]:=",ExpressionUUID->"843427f1-f05b-46c2-bf07-6b828b322273"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"W2", "=", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"invertAboutCircle", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{ + "regularcoords", "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", + RowBox[{"-", "1"}], "\[RightDoubleBracket]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{ + "regularcoords", "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", "2", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", + RowBox[{"-", "1"}], "\[RightDoubleBracket]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{ + "regularcoords", "\[LeftDoubleBracket]", "1", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", "3", + "\[RightDoubleBracket]"}], "\[LeftDoubleBracket]", + RowBox[{"-", "1"}], "\[RightDoubleBracket]"}]}], "]"}], ".", "#"}], + "&"}], "/@", "W"}], "//", "Chop"}]}], ";"}]], "Input", + CellChangeTimes->{{3.834763175548915*^9, 3.834763243588196*^9}, { + 3.834763328557351*^9, 3.834763340194405*^9}, 3.8347835589679947`*^9, + 3.8347836588779373`*^9, {3.8347839881747303`*^9, 3.8347839884587812`*^9}}, + CellLabel-> + "In[2797]:=",ExpressionUUID->"a5690a17-bb66-4a23-8ab2-47a7705da77a"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"W2", "//", "MatrixForm"}]], "Input", + CellChangeTimes->{{3.834783968506007*^9, 3.834784011122691*^9}}, + CellLabel-> + "In[2798]:=",ExpressionUUID->"ec0fab3e-8d92-4e3d-be02-87eb2686d687"], + +Cell[BoxData[ + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"21.518892599168097`", "14.387028871761368`", "16.899494936611674`", + RowBox[{"-", "5.000000000000002`"}]}, + {"53.75437108770352`", "31.248233651735113`", "38.798989873223334`", + RowBox[{"-", "13.242640687119287`"}]}, + {"85.98984957623894`", "48.10943843170886`", "60.1126983722081`", + RowBox[{"-", "22.899494936611667`"}]}, + {"99.34222195577647`", "55.09357812952404`", "68.35533905932738`", + RowBox[{"-", "28.31370849898476`"}]}, + {"85.98984957623892`", "48.10943843170886`", "58.698484809834994`", + RowBox[{"-", "26.31370849898476`"}]}, + {"53.75437108770352`", "31.248233651735113`", "36.798989873223334`", + RowBox[{"-", "18.071067811865476`"}]}, + {"21.5188925991681`", "14.387028871761366`", "15.485281374238575`", + RowBox[{"-", "8.414213562373096`"}]}, + {"8.16652021963057`", "7.402889173946184`", "7.242640687119293`", + RowBox[{"-", "3.0000000000000018`"}]}, + {"10.014279284653142`", "5.238104773361391`", "7.242640687119289`", + RowBox[{"-", "1.`"}]}, + {"42.24975777318856`", "22.099309553335136`", "29.14213562373095`", + RowBox[{"-", "9.242640687119284`"}]}, + {"74.48523626172398`", "38.96051433330888`", "50.45584412271572`", + RowBox[{"-", "18.899494936611664`"}]}, + {"87.83760864126151`", "45.94465403112406`", "58.698484809834994`", + RowBox[{"-", "24.31370849898476`"}]}, + {"74.48523626172397`", "38.96051433330888`", "49.04163056034261`", + RowBox[{"-", "22.31370849898476`"}]}, + {"42.24975777318856`", "22.099309553335136`", "27.142135623730955`", + RowBox[{"-", "14.071067811865472`"}]}, + {"10.014279284653146`", "5.238104773361389`", "5.828427124746192`", + RowBox[{"-", "4.414213562373095`"}]}, + { + RowBox[{"-", "3.3380930948843863`"}], + RowBox[{"-", "1.7460349244537934`"}], + RowBox[{"-", "2.4142135623730905`"}], "1.`"} + }, + GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, + GridBoxSpacings->{"Columns" -> { + Offset[0.27999999999999997`], { + Offset[0.7]}, + Offset[0.27999999999999997`]}, "Rows" -> { + Offset[0.2], { + Offset[0.4]}, + Offset[0.2]}}], "\[NoBreak]", ")"}], + Function[BoxForm`e$, + MatrixForm[BoxForm`e$]]]], "Output", + CellChangeTimes->{{3.834783973581045*^9, 3.834784011475946*^9}, { + 3.834784495610693*^9, 3.83478451323956*^9}, 3.834784573527644*^9, + 3.834784616698904*^9, 3.8347847310801983`*^9}, + CellLabel-> + "Out[2798]//MatrixForm=",ExpressionUUID->"0b2e4006-1315-4172-9c30-\ +053484982e05"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"W2", "\[LeftDoubleBracket]", + RowBox[{"All", ",", "2"}], "\[RightDoubleBracket]"}]], "Input", + CellChangeTimes->{{3.834784024811049*^9, 3.8347840340736*^9}}, + CellLabel-> + "In[2799]:=",ExpressionUUID->"47aff9e6-5bf9-4ae9-8223-7c8955bf9aec"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + "14.387028871761368`", ",", "31.248233651735113`", ",", + "48.10943843170886`", ",", "55.09357812952404`", ",", "48.10943843170886`", + ",", "31.248233651735113`", ",", "14.387028871761366`", ",", + "7.402889173946184`", ",", "5.238104773361391`", ",", + "22.099309553335136`", ",", "38.96051433330888`", ",", + "45.94465403112406`", ",", "38.96051433330888`", ",", + "22.099309553335136`", ",", "5.238104773361389`", ",", + RowBox[{"-", "1.7460349244537934`"}]}], "}"}]], "Output", + CellChangeTimes->{{3.83478402981391*^9, 3.834784034439556*^9}, { + 3.8347844956383753`*^9, 3.834784513279701*^9}, 3.834784573555861*^9, + 3.834784616728271*^9, 3.834784731109194*^9}, + CellLabel-> + "Out[2799]=",ExpressionUUID->"05dbfbb4-f4e1-4aa4-a565-3d8ca54eb71c"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"sigmas", "=", + RowBox[{ + RowBox[{"findGeneratorsFromG", "[", + RowBox[{"Simplify", "[", + RowBox[{"prismG", "[", "n", "]"}], "]"}], "]"}], "//", + "Chop"}]}]], "Input", + CellChangeTimes->{ + 3.834784123067686*^9, {3.8347845098838654`*^9, 3.834784510570405*^9}}, + CellLabel-> + "In[2800]:=",ExpressionUUID->"08077034-27a4-494a-b040-82742bb3dbee"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "1.0000000000000002`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "1.0000000000000002`", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "4.414213562373096`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "6.828427124746192`", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "9.242640687119284`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "3.414213562373094`"}], ",", "14.071067811865474`", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "12.656854249492381`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "3.4142135623730945`"}], ",", "18.485281374238575`", ",", + + RowBox[{"-", "3.4142135623730954`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "12.65685424949238`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "2.414213562373092`"}], ",", "17.485281374238568`", ",", + RowBox[{"-", "3.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999991`"}], ",", "11.656854249492381`", ",", + + RowBox[{"-", "2.4142135623730954`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "4.414213562373093`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "4.414213562373092`", ",", + RowBox[{"-", "0.9999999999999997`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "3.414213562373095`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730945`"}], ",", "6.82842712474619`", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "8.242640687119282`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730936`"}], ",", "14.071067811865474`", ",", + + RowBox[{"-", "2.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "11.656854249492381`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730945`"}], ",", "18.485281374238575`", ",", + + RowBox[{"-", "3.4142135623730954`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "11.656854249492381`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730927`"}], ",", "17.48528137423857`", ",", + RowBox[{"-", "3.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "8.242640687119284`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "11.656854249492378`", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "3.4142135623730945`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "1.0000000000000004`", ",", + "4.414213562373094`", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", "1.2071067811865481`", ",", "0", ",", + RowBox[{"-", "0.7071067811865477`"}], ",", "0", ",", + "0.5000000000000001`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0.49999999999999883`", ",", "0", ",", "0.7071067811865478`", + ",", "0", ",", + RowBox[{"-", "0.20710678118654752`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "0.20710678118654224`"}], ",", "0", ",", + "0.707106781186547`", ",", "0", ",", "0.5000000000000016`", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0.5000000000000029`", ",", "0", ",", + RowBox[{"-", "0.707106781186548`"}], ",", "0", ",", + "1.2071067811865488`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "1.000000000000001`", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0.9999999999999998`", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "1.5502525316941673`", ",", "0", ",", + RowBox[{"-", "0.7071067811865475`"}], ",", "0", ",", + "1.8431457505076196`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "1.3431457505076188`", ",", "0", ",", "0", ",", "0", ",", + "1.343145750507619`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999996`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0.8431457505076198`", ",", "0", ",", "0.7071067811865482`", + ",", "0", ",", "1.136038969321072`", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0.3431457505076218`", ",", "0", ",", "1.0000000000000002`", + ",", "0", ",", "1.3431457505076196`", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0.1360389693210727`", ",", "0", ",", "0.7071067811865483`", + ",", "0", ",", "1.8431457505076194`", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0.34314575050762003`", ",", "0", ",", "0", ",", "0", ",", + "2.34314575050762`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0.8431457505076219`", ",", "0", ",", + RowBox[{"-", "0.707106781186547`"}], ",", "0", ",", + "2.5502525316941673`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "1.3431457505076214`", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", + "2.34314575050762`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.0000000000000004`", ",", "1.0000000000000002`", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999999`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000004`"}], ",", "5.414213562373097`", ",", + "4.414213562373097`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", + RowBox[{"-", "0.9999999999999993`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730954`"}], ",", "11.656854249492383`", ",", + "8.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "3.414213562373096`"}], ",", "16.071067811865476`", ",", + "10.242640687119287`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "1.4142135623730958`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "3.4142135623730954`"}], ",", "16.07106781186548`", ",", + "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "2.4142135623730976`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730954`"}], ",", "11.656854249492383`", ",", + "5.828427124746191`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "2.414213562373096`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "5.414213562373096`", ",", "2.`", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.4142135623730954`"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000004`"}], ",", "4.414213562373096`", ",", + "4.414213562373097`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730954`"}], ",", "10.656854249492383`", ",", + "8.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "1.0000000000000013`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "3.414213562373096`"}], ",", "15.07106781186548`", ",", + "10.242640687119287`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "2.4142135623730963`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "3.4142135623730954`"}], ",", "15.071067811865479`", ",", + "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "3.4142135623730976`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.4142135623730954`"}], ",", "10.656854249492383`", ",", + "5.828427124746191`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "3.414213562373096`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "4.414213562373097`", ",", + "2.0000000000000004`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "2.414213562373096`"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "0", ",", "4.414213562373095`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0.41421356237309503`", ",", + "3.414213562373096`", ",", "0", ",", + RowBox[{"-", "0.4142135623730951`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "1.0000000000000002`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "1.0000000000000002`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "4.414213562373097`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.0000000000000004`"}], ",", "5.8284271247461925`", ",", + "0", ",", + RowBox[{"-", "0.41421356237309526`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "11.656854249492381`", ",", + "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "12.65685424949238`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "2.0000000000000013`"}], ",", "15.071067811865479`", ",", + "0", ",", + RowBox[{"-", "1.4142135623730954`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "12.656854249492381`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "14.071067811865479`", ",", "0", ",", + RowBox[{"-", "1.4142135623730954`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "9.242640687119287`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119286`", ",", + "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "3.4142135623730954`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "1.414213562373095`", ",", + "3.414213562373096`", ",", "0", ",", + RowBox[{"-", "0.4142135623730951`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "3.4142135623730936`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "5.8284271247461925`", ",", + "0", ",", + RowBox[{"-", "0.41421356237309526`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "8.242640687119284`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "11.65685424949238`", ",", + "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "11.65685424949238`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000016`"}], ",", "15.071067811865479`", ",", + "0", ",", + RowBox[{"-", "1.4142135623730954`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "11.65685424949238`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "14.071067811865476`", + ",", "0", ",", + RowBox[{"-", "1.4142135623730951`"}], ",", "0", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "8.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0.9999999999999998`", ",", + "9.242640687119286`", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0"}], + "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "2.414213562373096`"}], ",", "14.071067811865479`", ",", + RowBox[{"-", "2.414213562373094`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119287`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "1.`"}], ",", "6.82842712474619`", ",", + RowBox[{"-", "1.4142135623730945`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.414213562373095`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "4.414213562373097`", ",", + "1.0000000000000007`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "3.414213562373096`", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "11.656854249492378`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "8.242640687119284`", ",", "0", ",", "0", ",", "0", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "3.414213562373096`"}], ",", "17.485281374238575`", ",", + RowBox[{"-", "1.4142135623730923`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492383`", + ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "3.4142135623730954`"}], ",", "18.485281374238575`", ",", + + RowBox[{"-", "2.414213562373094`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492383`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "2.414213562373096`"}], ",", "14.071067811865479`", ",", + RowBox[{"-", "3.4142135623730945`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119287`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "6.828427124746192`", ",", + RowBox[{"-", "2.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373096`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "1.0000000000000004`", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "1.0000000000000002`", ",", "0", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "4.414213562373096`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "4.414213562373096`", ",", "0", ",", "0", ",", "0", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "2.4142135623730954`"}], ",", "11.656854249492381`", ",", + + RowBox[{"-", "0.9999999999999991`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119286`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "3.4142135623730967`"}], ",", "17.48528137423858`", ",", + RowBox[{"-", "2.4142135623730945`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492385`", + ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "3.4142135623730954`"}], ",", "18.485281374238575`", ",", + + RowBox[{"-", "3.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492381`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.9999999999999998`", ",", + "10.656854249492378`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", + "13.071067811865476`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "2.414213562373094`", ",", + "6.828427124746189`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "9.242640687119286`", ",", "0", + ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "2.000000000000001`", ",", + "2.414213562373094`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", "0", ",", + "3.82842712474619`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.4142135623730947`"}], ",", "4.828427124746189`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", "0", ",", + "3.82842712474619`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119282`", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", + "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.0000000000000007`", ",", + "11.656854249492378`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", + "13.071067811865474`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0.999999999999999`", ",", + "10.656854249492378`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", + "14.071067811865476`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.4142135623730931`", ",", + "6.828427124746189`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "10.242640687119286`", ",", "0", + ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "1.`", ",", "2.414213562373094`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", "0", ",", + "4.82842712474619`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0.9999999999999998`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", + "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730963`"}], ",", "4.828427124746189`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", "0", ",", + "4.82842712474619`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "9.242640687119282`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", + "10.242640687119284`", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492378`", ",", "0", + ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", + "14.071067811865474`", ",", "0", ",", "0", ",", "0", ",", "0"}], + "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492381`", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0", + ",", "11.656854249492381`", ",", "1.000000000000001`", ",", "0", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492381`", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0", + ",", "12.656854249492381`", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119287`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.7071067811865477`"}], ",", "0", ",", "0", ",", "0", + ",", "9.949747468305835`", ",", + RowBox[{"-", "0.9999999999999998`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373096`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.2928932188134526`"}], ",", "0", ",", "0", ",", "0", + ",", "5.121320343559644`", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", "0"}], "}"}], ",", + + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.0000000000000004`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.0000000000000002`", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373095`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.2928932188134525`"}], ",", "0", ",", "0", ",", "0", + ",", "2.7071067811865475`", ",", "1.`", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119287`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.7071067811865477`"}], ",", "0", ",", "0", ",", "0", + ",", "7.53553390593274`", ",", "1.4142135623730954`", ",", "0", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.65685424949238`", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", + "11.65685424949238`", ",", "2.000000000000001`", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.65685424949238`", + ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0", + ",", "12.656854249492381`", ",", "1.`", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119284`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.7071067811865475`"}], ",", "0", ",", "0", ",", "0", + ",", "9.949747468305832`", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.4142135623730936`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.2928932188134526`"}], ",", "0", ",", "0", ",", "0", + ",", "5.121320343559644`", ",", + RowBox[{"-", "0.4142135623730948`"}], ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.4142135623730954`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.2928932188134525`"}], ",", "0", ",", "0", ",", "0", + ",", "2.7071067811865475`", ",", "2.`", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119286`", + ",", "0", ",", "0", ",", + RowBox[{"-", "0.7071067811865477`"}], ",", "0", ",", "0", ",", "0", + ",", "7.53553390593274`", ",", "2.4142135623730954`", ",", "0", ",", + "0"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119282`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "3.414213562373093`"}], ",", "14.071067811865468`", ",", + RowBox[{"-", "2.4142135623730945`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492385`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "3.4142135623730936`"}], ",", "18.48528137423857`", ",", + RowBox[{"-", "3.414213562373095`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492383`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "2.4142135623730914`"}], ",", "17.48528137423856`", ",", + RowBox[{"-", "3.414213562373094`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119284`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "0.9999999999999987`"}], ",", "11.656854249492374`", ",", + + RowBox[{"-", "2.4142135623730945`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373097`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "4.414213562373092`", ",", + RowBox[{"-", "0.9999999999999996`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "1.0000000000000002`", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373096`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "2.414213562373095`"}], ",", "6.82842712474619`", ",", + RowBox[{"-", "1.`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119287`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "2.414213562373093`"}], ",", "14.07106781186547`", ",", + RowBox[{"-", "2.4142135623730945`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492385`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "2.4142135623730936`"}], ",", "18.48528137423857`", ",", + RowBox[{"-", "3.414213562373095`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492383`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "1.4142135623730918`"}], ",", "17.485281374238564`", ",", + + RowBox[{"-", "3.414213562373094`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119282`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "11.656854249492374`", ",", + RowBox[{"-", "2.4142135623730945`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.4142135623730967`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "1.0000000000000007`", ",", "4.414213562373094`", ",", + RowBox[{"-", "0.9999999999999998`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.`", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.414213562373095`", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", + RowBox[{"-", "1.4142135623730945`"}], ",", "6.82842712474619`", ",", + RowBox[{"-", "1.`"}]}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.4142135623730951`"}], ",", "0", ",", + "3.414213562373096`", ",", "1.4142135623730945`", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "3.4142135623730945`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", + "9.242640687119286`", ",", "1.0000000000000002`", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "8.242640687119284`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730951`"}], ",", "0", ",", + "14.071067811865476`", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "11.65685424949238`"}], "}"}], + ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730954`"}], ",", "0", ",", + "15.071067811865479`", ",", + RowBox[{"-", "1.0000000000000013`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "11.656854249492381`"}], + "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "11.65685424949238`", ",", + RowBox[{"-", "1.414213562373095`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "8.242640687119284`"}], "}"}], + ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309515`"}], ",", "0", ",", + "5.82842712474619`", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "3.414213562373095`"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.4142135623730951`"}], ",", "0", ",", + "3.4142135623730954`", ",", "0.41421356237309503`", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "4.414213562373096`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.0000000000000002`"}], ",", "0", ",", + "9.242640687119286`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "9.242640687119286`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730951`"}], ",", "0", ",", + "14.071067811865476`", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "12.65685424949238`"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.4142135623730954`"}], ",", "0", ",", + "15.071067811865479`", ",", + RowBox[{"-", "2.0000000000000013`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "12.656854249492381`"}], + "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "11.65685424949238`", ",", + RowBox[{"-", "2.4142135623730945`"}], ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0", ",", "0", ",", "9.242640687119284`"}], + "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.41421356237309515`"}], ",", "0", ",", + "5.82842712474619`", ",", + RowBox[{"-", "2.000000000000001`"}], ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "4.414213562373096`"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0.9999999999999999`", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "0.9999999999999998`"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`"}], "}"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "1.1360389693210722`", ",", "0", ",", "0", ",", "0", ",", + "0.8431457505076192`", ",", "0", ",", "0.7071067811865465`", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", "1.3431457505076203`", + ",", "0", ",", "0", ",", "0", ",", "1.3431457505076196`", ",", "0", + ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "1.1360389693210722`", ",", "0", ",", "0", ",", "0", ",", + "1.843145750507619`", ",", "0", ",", + RowBox[{"-", "0.29289321881345365`"}], ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "0.6360389693210724`", ",", "0", ",", "0", ",", "0", ",", + "2.050252531694167`", ",", "0", ",", "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "0.13603896932107248`", ",", "0", ",", "0", ",", "0", ",", + "1.843145750507619`", ",", "0", ",", "0.7071067811865465`", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "1.`"}], ",", "0", ",", "0", ",", + RowBox[{"-", "0.07106781186547505`"}], ",", "0", ",", "0", ",", "0", + ",", "1.3431457505076196`", ",", "0", ",", "1.4142135623730947`", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "0.13603896932107248`", ",", "0", ",", "0", ",", "0", ",", + "0.8431457505076192`", ",", "0", ",", "1.7071067811865466`", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.9999999999999994`"}], ",", "0", ",", "0", ",", + "0.6360389693210724`", ",", "0", ",", "0", ",", "0", ",", + "0.6360389693210717`", ",", "0", ",", "1.414213562373094`", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.2071067811865477`", ",", "0", ",", "0", ",", "0", ",", + "0.4999999999999998`", ",", "0", ",", + RowBox[{"-", "0.7071067811865478`"}], ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "1.`", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", + ",", + RowBox[{"-", "1.`"}], ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0.5000000000000001`", ",", "0", ",", "0", ",", "0", ",", + "1.2071067811865477`", ",", "0", ",", + RowBox[{"-", "0.7071067811865476`"}], ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1.`", ",", "0", ",", + "0", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", + RowBox[{"-", "0.20710678118654766`"}], ",", "0", ",", "0", ",", "0", + ",", "0.4999999999999998`", ",", "0", ",", "0.7071067811865476`", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "1.`", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", + "0", ",", "0.5000000000000001`", ",", "0", ",", "0", ",", "0", ",", + RowBox[{"-", "0.20710678118654752`"}], ",", "0", ",", + "0.7071067811865478`", ",", "0"}], "}"}]}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{ + 3.83478412505901*^9, {3.834784497449066*^9, 3.834784514922946*^9}, + 3.83478457365343*^9, 3.834784639096326*^9, 3.834784743806916*^9}, + CellLabel-> + "Out[2800]=",ExpressionUUID->"df95eb83-18e2-488d-a7d7-5a98ede08b06"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"root", "=", + RowBox[{"findRoot", "[", + RowBox[{ + RowBox[{"W2", "\[LeftDoubleBracket]", + RowBox[{"All", ",", "2"}], "\[RightDoubleBracket]"}], ",", "sigmas"}], + "]"}]}]], "Input", + CellChangeTimes->{{3.834782369354495*^9, 3.8347823923148603`*^9}, { + 3.8347826387025414`*^9, 3.8347826391537046`*^9}, {3.834783371357623*^9, + 3.8347833815447407`*^9}, 3.834783478922659*^9, {3.834783854340323*^9, + 3.8347838704334373`*^9}, {3.834783956111064*^9, 3.8347839656275053`*^9}, { + 3.8347840221368113`*^9, 3.8347840388083572`*^9}}, + CellLabel-> + "In[2801]:=",ExpressionUUID->"0e81a97c-6fca-46b1-8d08-56e39785906c"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + "11.25574899972019`", ",", "28.11695377969395`", ",", "44.978158559667676`", + ",", "51.96229825748287`", ",", "44.97815855966768`", ",", + "28.116953779693944`", ",", "11.255748999720192`", ",", + "4.271609301905014`", ",", "5.238104773361391`", ",", "22.09930955333513`", + ",", "38.96051433330888`", ",", "45.94465403112407`", ",", + "38.96051433330888`", ",", "22.099309553335125`", ",", + "5.238104773361389`", ",", + RowBox[{"-", "1.7460349244537907`"}]}], "}"}]], "Output", + CellChangeTimes->{ + 3.8347838839444647`*^9, {3.834783937764201*^9, 3.8347839661745567`*^9}, { + 3.834784023431031*^9, 3.834784039282487*^9}, {3.834784497497554*^9, + 3.8347845149718733`*^9}, 3.834784573685239*^9, 3.8347846391487827`*^9, + 3.834784743852776*^9}, + CellLabel-> + "Out[2801]=",ExpressionUUID->"6a932817-8956-49c6-aa6b-95932c7c137f"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"(", + RowBox[{"faces", "=", + RowBox[{"FindFace", "[", + RowBox[{"graphFromG", "[", + RowBox[{"prismG", "[", "n", "]"}], "]"}], "]"}]}], ")"}], "-", + "1"}]], "Input", + CellChangeTimes->{{3.834784077039702*^9, 3.834784104639819*^9}}, + CellLabel-> + "In[2802]:=",ExpressionUUID->"12cc1c08-d2b7-4da3-b618-293b8d3a86a8"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", "1", ",", "9", ",", "8"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "7", ",", "6", ",", "5", ",", "4", ",", "3", ",", "2", ",", + "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "8", ",", "15", ",", "7"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", "2", ",", "10", ",", "9"}], "}"}], ",", + RowBox[{"{", + RowBox[{"2", ",", "3", ",", "11", ",", "10"}], "}"}], ",", + RowBox[{"{", + RowBox[{"3", ",", "4", ",", "12", ",", "11"}], "}"}], ",", + RowBox[{"{", + RowBox[{"4", ",", "5", ",", "13", ",", "12"}], "}"}], ",", + RowBox[{"{", + RowBox[{"5", ",", "6", ",", "14", ",", "13"}], "}"}], ",", + RowBox[{"{", + RowBox[{"6", ",", "7", ",", "15", ",", "14"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "8", ",", "9", ",", "10", ",", "11", ",", "12", ",", "13", ",", "14", ",", + "15"}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{{3.834784098827559*^9, 3.8347841050052357`*^9}, { + 3.834784497536316*^9, 3.834784515014164*^9}, 3.8347845737189407`*^9, + 3.834784639175049*^9, 3.8347847438779287`*^9}, + CellLabel-> + "Out[2802]=",ExpressionUUID->"cb2ad916-8463-4e65-8095-d205efc72f30"] +}, Open ]] +}, +WindowSize->{1425., 776.25}, +WindowMargins->{{7.5, Automatic}, {7.5, Automatic}}, +Magnification:>1. Inherited, +FrontEndVersion->"12.2 for Linux x86 (64-bit) (December 12, 2020)", +StyleDefinitions->"Default.nb", +ExpressionUUID->"de305c21-08d9-4502-a67a-0db9d8a9ecee" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[CellGroupData[{ +Cell[580, 22, 8534, 248, 485, "Input",ExpressionUUID->"0f4b8f1d-84c6-415b-a3e5-51d504112893"], +Cell[9117, 272, 7843, 149, 1074, "Output",ExpressionUUID->"82a97be4-92fc-492a-b32c-a59247156a90"] +}, Open ]], +Cell[16975, 424, 748, 22, 50, "Input",ExpressionUUID->"5b2c0bbe-cb60-4a1b-9fcb-a95674b4bf8b"], +Cell[17726, 448, 446, 12, 29, "Input",ExpressionUUID->"49645edd-788e-4fc8-86df-de555aacb932"], +Cell[18175, 462, 790, 21, 29, "Input",ExpressionUUID->"a58ca02c-ebe7-4352-b8eb-790f898c7ffb"], +Cell[18968, 485, 319, 7, 29, "Input",ExpressionUUID->"0c65ad0b-5be7-4d5a-a6b7-bea26f622ffc"], +Cell[19290, 494, 1206, 33, 71, "Input",ExpressionUUID->"c477442a-250a-4540-b160-f9d680c2eecd"], +Cell[20499, 529, 905, 24, 29, "Input",ExpressionUUID->"4ed7f4d9-3d44-4db5-a472-7dc5cf07bce3"], +Cell[21407, 555, 321, 7, 29, "Input",ExpressionUUID->"24ab5dde-ffbc-457b-9e8e-5b1581ec1da4"], +Cell[21731, 564, 374, 11, 78, "Input",ExpressionUUID->"da909858-635e-493f-9024-7418270e8c20"], +Cell[22108, 577, 538, 15, 80, "Input",ExpressionUUID->"8c2baf70-d2f6-47e2-9ba6-5d392447c119"], +Cell[22649, 594, 503, 16, 80, "Input",ExpressionUUID->"8f484e57-59aa-4c65-b92d-c7faa8a37904"], +Cell[23155, 612, 320, 9, 78, "Input",ExpressionUUID->"85bbea91-03de-469b-8dd8-101826734ad2"], +Cell[23478, 623, 645, 17, 29, "Input",ExpressionUUID->"843427f1-f05b-46c2-bf07-6b828b322273"], +Cell[24126, 642, 1467, 35, 29, "Input",ExpressionUUID->"a5690a17-bb66-4a23-8ab2-47a7705da77a"], +Cell[CellGroupData[{ +Cell[25618, 681, 210, 4, 29, "Input",ExpressionUUID->"ec0fab3e-8d92-4e3d-be02-87eb2686d687"], +Cell[25831, 687, 2641, 53, 302, "Output",ExpressionUUID->"0b2e4006-1315-4172-9c30-053484982e05"] +}, Open ]], +Cell[CellGroupData[{ +Cell[28509, 745, 267, 5, 29, "Input",ExpressionUUID->"47aff9e6-5bf9-4ae9-8223-7c8955bf9aec"], +Cell[28779, 752, 809, 15, 33, "Output",ExpressionUUID->"05dbfbb4-f4e1-4aa4-a565-3d8ca54eb71c"] +}, Open ]], +Cell[CellGroupData[{ +Cell[29625, 772, 382, 10, 29, "Input",ExpressionUUID->"08077034-27a4-494a-b040-82742bb3dbee"], +Cell[30010, 784, 49060, 1011, 1478, "Output",ExpressionUUID->"df95eb83-18e2-488d-a7d7-5a98ede08b06"] +}, Open ]], +Cell[CellGroupData[{ +Cell[79107, 1800, 652, 13, 29, "Input",ExpressionUUID->"0e81a97c-6fca-46b1-8d08-56e39785906c"], +Cell[79762, 1815, 889, 17, 33, "Output",ExpressionUUID->"6a932817-8956-49c6-aa6b-95932c7c137f"] +}, Open ]], +Cell[CellGroupData[{ +Cell[80688, 1837, 367, 10, 29, "Input",ExpressionUUID->"12cc1c08-d2b7-4da3-b618-293b8d3a86a8"], +Cell[81058, 1849, 1239, 31, 82, "Output",ExpressionUUID->"cb2ad916-8463-4e65-8095-d205efc72f30"] +}, Open ]] +} +] +*) +