Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Generation of constructible numbers in Mathematica
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 11.2' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 23533, 643]
NotebookOptionsPosition[ 21882, 611]
NotebookOutlinePosition[ 22270, 628]
CellTagsIndexPosition[ 22227, 625]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell["Constructible numbers", "Title",
CellChangeTimes->{{3.779040438376588*^9,
3.779040442050851*^9}},ExpressionUUID->"d0ee6d14-7f3f-4d5b-9c0b-\
20976882697d"],
Cell[BoxData[{
RowBox[{"ClearAll", "[", "dist", "]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"dist", "[",
RowBox[{"p_", ",", "q_"}], "]"}], ":=",
RowBox[{"Norm", "[",
RowBox[{"p", "-", "q"}], "]"}]}]}], "Input",
CellChangeTimes->{{3.7790442870546007`*^9,
3.779044334370728*^9}},ExpressionUUID->"175a20ad-2ae5-49df-8af8-\
28c63628f390"],
Cell[BoxData[{
RowBox[{"ClearAll", "[",
RowBox[{"equalTo", ",", "elemShape", ",", "elemPoint"}],
"]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"equalTo", "[",
RowBox[{
RowBox[{"line", "[",
RowBox[{"a1_", ",", "b1_", ",", "c1_"}], "]"}], ",",
RowBox[{"line", "[",
RowBox[{"a2_", ",", "b2_", ",", "c2_"}], "]"}]}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"Reduce", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"a1", "*", "b2"}], "-",
RowBox[{"a2", "*", "b1"}]}], "\[Equal]", "0"}], "\[And]",
RowBox[{
RowBox[{"c1", "*", "a2"}], "\[Equal]",
RowBox[{"c2", "*", "a1"}]}], "\[And]",
RowBox[{
RowBox[{"c1", "*", "b2"}], "\[Equal]",
RowBox[{"c2", "*", "b1"}]}]}], "]"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"equalTo", "[",
RowBox[{"l_line", ",", "c_circle"}], "]"}], ":=",
"False"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"equalTo", "[",
RowBox[{
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x1_", ",", "y1_"}], "}"}], ",", "r1_"}], "]"}], ",",
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x2_", ",", "y2_"}], "}"}], ",", "r2_"}], "]"}]}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"Reduce", "[",
RowBox[{
RowBox[{"x1", "\[Equal]", "x2"}], "\[And]",
RowBox[{"y1", "\[Equal]", "y2"}], "\[And]",
RowBox[{"r1", "\[Equal]", "r2"}]}], "]"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"equalTo", "[",
RowBox[{"c_circle", ",", "l_line"}], "]"}], ":=", "False"}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"elemShape", "::", "boole"}], "=",
"\"\<The value `1` is not True or False.\>\""}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"elemShape", "[",
RowBox[{"s_", ",",
RowBox[{"{", "}"}]}], "]"}], ":=", "False"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"elemShape", "[",
RowBox[{"s_", ",",
RowBox[{"{",
RowBox[{"t_", ",", "ts___"}], "}"}]}], "]"}], ":=",
RowBox[{"With", "[",
RowBox[{
RowBox[{"{",
RowBox[{"b", "=",
RowBox[{"equalTo", "[",
RowBox[{"s", ",", "t"}], "]"}]}], "}"}], ",", "\[IndentingNewLine]",
RowBox[{"Switch", "[",
RowBox[{
"b", ",", "\[IndentingNewLine]", "True", ",", "True", ",",
"\[IndentingNewLine]", "False", ",",
RowBox[{"elemShape", "[",
RowBox[{"s", ",",
RowBox[{"{", "ts", "}"}]}], "]"}], ",", "\[IndentingNewLine]", "_",
",",
RowBox[{"(",
RowBox[{
RowBox[{"Message", "[",
RowBox[{
RowBox[{"elemShape", "::", "boole"}], ",", "b"}], "]"}], ";",
RowBox[{"Abort", "[", "]"}]}], ")"}]}], "\[IndentingNewLine]",
"]"}]}], "\[IndentingNewLine]", "]"}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"elemPoint", "::", "boole"}], "=",
"\"\<The value `1` is not True or False.\>\""}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"elemPoint", "[",
RowBox[{"p_", ",",
RowBox[{"{", "}"}]}], "]"}], ":=", "False"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"elemPoint", "[",
RowBox[{"p_", ",",
RowBox[{"{",
RowBox[{"q_", ",", "qs___"}], "}"}]}], "]"}], ":=",
RowBox[{"With", "[",
RowBox[{
RowBox[{"{",
RowBox[{"b", "=",
RowBox[{"Reduce", "[",
RowBox[{
RowBox[{
RowBox[{"p", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
"\[Equal]",
RowBox[{
"q", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}]}], "&&",
RowBox[{
RowBox[{"p", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}],
"\[Equal]",
RowBox[{
"q", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]}]}],
"]"}]}], "}"}], ",", "\[IndentingNewLine]",
RowBox[{"Switch", "[",
RowBox[{
"b", ",", "\[IndentingNewLine]", "True", ",", "True", ",",
"\[IndentingNewLine]", "False", ",",
RowBox[{"elemPoint", "[",
RowBox[{"p", ",",
RowBox[{"{", "qs", "}"}]}], "]"}], ",", "\[IndentingNewLine]", "_",
",",
RowBox[{"(",
RowBox[{
RowBox[{"Message", "[",
RowBox[{
RowBox[{"elemPoint", "::", "boole"}], ",", "b"}], "]"}], ";",
RowBox[{"Abort", "[", "]"}]}], ")"}]}], "\[IndentingNewLine]",
"]"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]"}], "Input",\
CellChangeTimes->{{3.779075228054405*^9, 3.7790752714989433`*^9}, {
3.77907538951341*^9, 3.7790754357301083`*^9}, {3.77907549355214*^9,
3.7790755005998173`*^9}, {3.77907585385707*^9, 3.779075873395331*^9}, {
3.779075917811008*^9, 3.779075924699594*^9}, {3.77907613858146*^9,
3.7790761915605307`*^9}, {3.779076361291265*^9, 3.779076416613443*^9}, {
3.77907700403061*^9, 3.7790771764968357`*^9}, {3.7790772190315*^9,
3.7790772312178593`*^9}, {3.7790772720128717`*^9, 3.77907731392869*^9}, {
3.7790774232111397`*^9, 3.7790774346398*^9}, {3.779077725747649*^9,
3.779077775946443*^9}, {3.779077808646714*^9, 3.779077848357255*^9}, {
3.779077976855464*^9, 3.779078004670417*^9}, {3.779078037210372*^9,
3.779078046888691*^9}, {3.779079052970264*^9, 3.779079239320182*^9}, {
3.779079777089425*^9,
3.779079783080798*^9}},ExpressionUUID->"58bdd9ad-b7dc-4360-b65d-\
031d00810b1e"],
Cell[BoxData[{
RowBox[{"ClearAll", "[",
RowBox[{"circle", ",", "circles", ",", "line", ",", "lines"}],
"]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"circles", "[",
RowBox[{"p_", ",", "q_"}], "]"}], ":=",
RowBox[{"With", "[",
RowBox[{
RowBox[{"{",
RowBox[{"r", "=",
RowBox[{"FullSimplify", "@",
RowBox[{"dist", "[",
RowBox[{"p", ",", "q"}], "]"}]}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"circle", "[",
RowBox[{"p", ",", "r"}], "]"}], ",",
RowBox[{"circle", "[",
RowBox[{"q", ",", "r"}], "]"}]}], "}"}]}],
"]"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"lines", "[",
RowBox[{
RowBox[{"{",
RowBox[{"px_", ",", "py_"}], "}"}], ",",
RowBox[{"{",
RowBox[{"qx_", ",", "qy_"}], "}"}]}], "]"}], ":=",
RowBox[{"{",
RowBox[{"line", "[",
RowBox[{
RowBox[{"qy", "-", "py"}], ",",
RowBox[{"px", "-", "qx"}], ",",
RowBox[{
RowBox[{"px", "*", "qy"}], "-",
RowBox[{"py", "*", "qx"}]}]}], "]"}], "}"}]}]}], "Input",
CellChangeTimes->{{3.779044221209824*^9, 3.7790442749821577`*^9}, {
3.779044356191331*^9, 3.7790444175210333`*^9}, {3.7790444725653954`*^9,
3.7790445156856737`*^9}, {3.779077645248541*^9, 3.779077656914371*^9}, {
3.779078141285185*^9, 3.779078143682063*^9}, {3.779078834839727*^9,
3.779078838335267*^9}, {3.7790795166875*^9,
3.7790795172996387`*^9}},ExpressionUUID->"c8612a4b-1454-4d16-9c93-\
86ad62c4093e"],
Cell[BoxData[{
RowBox[{"ClearAll", "[", "pointsOf", "]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"pointsOf", "[", "solutions_", "]"}], ":=",
RowBox[{"Union", "[",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"{",
RowBox[{"x", ",", "y"}], "}"}], "/.", "#"}], ")"}], "&"}], "/@",
"solutions"}], "]"}]}]}], "Input",
CellChangeTimes->{{3.77904394122855*^9, 3.779043964843912*^9}, {
3.7790795222479877`*^9,
3.77907952395959*^9}},ExpressionUUID->"68470958-aef8-4568-bdca-\
11274cc65b1c"],
Cell[BoxData[{
RowBox[{"ClearAll", "[", "intersect", "]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"intersect", "[",
RowBox[{
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x1_", ",", "y1_"}], "}"}], ",", "r1_"}], "]"}], ",",
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x2_", ",", "y2_"}], "}"}], ",", "r2_"}], "]"}]}], "]"}], ":=",
RowBox[{"pointsOf", "@",
RowBox[{"Solve", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"x", "-", "x1"}], ")"}], "2"], "+",
SuperscriptBox[
RowBox[{"(",
RowBox[{"y", "-", "y1"}], ")"}], "2"]}], "\[Equal]",
SuperscriptBox["r1", "2"]}], ",",
RowBox[{
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"x", "-", "x2"}], ")"}], "2"], "+",
SuperscriptBox[
RowBox[{"(",
RowBox[{"y", "-", "y2"}], ")"}], "2"]}], "\[Equal]",
SuperscriptBox["r2", "2"]}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"x", ",", "y"}], "}"}], ",", "Reals"}], "]"}]}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"intersect", "[",
RowBox[{
RowBox[{"line", "[",
RowBox[{"a1_", ",", "b1_", ",", "c1_"}], "]"}], ",",
RowBox[{"line", "[",
RowBox[{"a2_", ",", "b2_", ",", "c2_"}], "]"}]}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"pointsOf", "@",
RowBox[{"Solve", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"a1", "*", "x"}], "+",
RowBox[{"b1", "*", "y"}]}], "\[Equal]", "c1"}], ",",
RowBox[{
RowBox[{
RowBox[{"a2", "*", "x"}], "+",
RowBox[{"b2", "*", "y"}]}], "\[Equal]", "c2"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"x", ",", "y"}], "}"}]}], "]"}]}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"intersect", "[",
RowBox[{
RowBox[{"line", "[",
RowBox[{"a1_", ",", "b1_", ",", "c1_"}], "]"}], ",",
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x2_", ",", "y2_"}], "}"}], ",", "r2_"}], "]"}]}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"pointsOf", "@",
RowBox[{"Solve", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"a1", "*", "x"}], "+",
RowBox[{"b1", "*", "y"}]}], "\[Equal]", "c1"}], ",", " ",
RowBox[{
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"x", "-", "x2"}], ")"}], "2"], "+",
SuperscriptBox[
RowBox[{"(",
RowBox[{"y", "-", "y2"}], ")"}], "2"]}], "\[Equal]",
SuperscriptBox["r2", "2"]}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"x", ",", "y"}], "}"}], ",", "Reals"}], "]"}]}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"intersect", "[",
RowBox[{
RowBox[{"circle", "[",
RowBox[{
RowBox[{"{",
RowBox[{"x1_", ",", "y1_"}], "}"}], ",", "r1_"}], "]"}], ",", " ",
RowBox[{"line", "[",
RowBox[{"a2_", ",", "b2_", ",", "c2_"}], "]"}]}], "]"}], ":=",
"\[IndentingNewLine]",
RowBox[{"pointsOf", "@",
RowBox[{"Solve", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"x", "-", "x1"}], ")"}], "2"], "+",
SuperscriptBox[
RowBox[{"(",
RowBox[{"y", "-", "y1"}], ")"}], "2"]}], "\[Equal]",
SuperscriptBox["r1", "2"]}], ",", " ",
RowBox[{
RowBox[{
RowBox[{"a2", "*", "x"}], "+",
RowBox[{"b2", "*", "y"}]}], "\[Equal]", "c2"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"x", ",", "y"}], "}"}], ",", "Reals"}], "]"}]}]}]}], "Input",
CellChangeTimes->{{3.779040524007328*^9, 3.779040552741211*^9}, {
3.779040714660832*^9, 3.779040757324848*^9}, {3.7790436370641317`*^9,
3.77904367618001*^9}, {3.7790437624133883`*^9, 3.7790438513344593`*^9}, {
3.779043884688589*^9, 3.779043936117599*^9}, {3.779043970434897*^9,
3.7790442184016314`*^9}, {3.7790455356861677`*^9, 3.779045537693041*^9}, {
3.779079618235774*^9, 3.779079636425366*^9}, {3.779079680886754*^9,
3.779079689370858*^9}, {3.7790797460825872`*^9,
3.779079759168322*^9}},ExpressionUUID->"641df187-11fe-4471-b5f4-\
c4525434fef2"],
Cell[BoxData[{
RowBox[{"ClearAll", "[",
RowBox[{
"addShape", ",", "addPoint", ",", "uniqueShapes", ",", "uniquePoints", ",",
"generateShapes", ",", " ", "generatePoints", ",", "generate"}],
"]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"addShape", "[",
RowBox[{"shapes_List", ",", "s_"}], "]"}], ":=",
RowBox[{"If", "[",
RowBox[{
RowBox[{"elemShape", "[",
RowBox[{"s", ",", "shapes"}], "]"}], ",", "shapes", ",",
RowBox[{"Append", "[",
RowBox[{"shapes", ",", "s"}], "]"}]}], "]"}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"uniqueShapes", "[",
RowBox[{"{", "}"}], "]"}], ":=",
RowBox[{"{", "}"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"uniqueShapes", "[",
RowBox[{"{",
RowBox[{"s_", ",", "ss___"}], "}"}], "]"}], ":=",
RowBox[{"addShape", "[",
RowBox[{
RowBox[{"uniqueShapes", "[",
RowBox[{"{", "ss", "}"}], "]"}], ",", "s"}], "]"}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"addPoint", "[",
RowBox[{"points_List", ",", "p_"}], "]"}], ":=",
RowBox[{"If", "[",
RowBox[{
RowBox[{"elemPoint", "[",
RowBox[{"p", ",", "points"}], "]"}], ",", "points", ",",
RowBox[{"Append", "[",
RowBox[{"points", ",", "p"}], "]"}]}], "]"}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"uniquePoints", "[",
RowBox[{"{", "}"}], "]"}], ":=",
RowBox[{"{", "}"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"uniquePoints", "[",
RowBox[{"{",
RowBox[{"p_", ",", "ps___"}], "}"}], "]"}], ":=",
RowBox[{"addPoint", "[",
RowBox[{
RowBox[{"uniquePoints", "[",
RowBox[{"{", "ps", "}"}], "]"}], ",", "p"}], "]"}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{
RowBox[{"generateShapes", "[", "ps_", "]"}], ":=",
RowBox[{"uniqueShapes", "@",
RowBox[{"Flatten", "[",
RowBox[{
RowBox[{
RowBox[{"Function", "[",
RowBox[{"pq", ",",
RowBox[{"Join", "[",
RowBox[{
RowBox[{"circles", "[",
RowBox[{
RowBox[{
"pq", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
",",
RowBox[{
"pq", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]}],
"]"}], ",",
RowBox[{"lines", "[",
RowBox[{
RowBox[{
"pq", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
",",
RowBox[{
"pq", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]}],
"]"}]}], "]"}]}], "]"}], "/@",
RowBox[{"Subsets", "[",
RowBox[{"ps", ",",
RowBox[{"{", "2", "}"}]}], "]"}]}], ",", "1"}], "]"}]}]}],
"\[IndentingNewLine]"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"generatePoints", "[", "ps_", "]"}], ":=",
RowBox[{"uniquePoints", "@",
RowBox[{"Join", "[",
RowBox[{"ps", ",",
RowBox[{"Flatten", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"intersect", "@@", "#"}], ")"}], "&"}], "/@",
RowBox[{"Subsets", "[",
RowBox[{
RowBox[{"generateShapes", "[", "ps", "]"}], ",",
RowBox[{"{", "2", "}"}]}], "]"}]}], ",", "1"}], "]"}]}],
"]"}]}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"generate", "[",
RowBox[{"n_", ",",
RowBox[{"generators_:",
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "0"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "0"}], "}"}]}], "}"}]}]}], "]"}], ":=",
RowBox[{"Nest", "[",
RowBox[{"generatePoints", ",", "generators", ",", "n"}], "]"}]}]}], "Input",\
CellChangeTimes->CompressedData["
1:eJwdyV8oAwEAx/ELl3/FgzAedFrNeFyueFA3PEhaGt5IsZ1c+1fyjJSyFwlz
dKtRojATU3jjjVqGrjW6urvFWmt5OFsK8buHb5+Hb/OE1+4sIgjC8B8UlrmA
1pK1aqpnEyqxWwEeHFmikH+IX0KWmr+B2/yZCF+M+6/QP1UpQ7s4pEDCcZqD
FalrXdps+oQNwa4fSNZfVJeYs9Zfg1oLvSzTBE0+noIjXFkrPCm974QRea4b
7i0ae2HicLcPBp3t/TAn0aOwUMzovsWep2EgrOlG8pMr8K7jaRUOfCW3oCvT
I8CFjdkQHJZsO/DR4jiGdWG3rpRqPIdLYjwKkzWJD9jGqroMOZOH3zJRgFXv
VySJH6LK4XqadkMbN+aDnvFBP8y4lDX4B6sytWo=
"],ExpressionUUID->"96d5ee16-b21c-4c3b-ab68-92bcbd9907f3"],
Cell[CellGroupData[{
Cell[BoxData[{
RowBox[{
RowBox[{"$MaxExtraPrecision", " ", "=", " ", "500"}],
";"}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"lst", "=",
RowBox[{"generate", "[", "3", "]"}]}], ";"}], "\n",
RowBox[{"lst", "//", "Length"}]}], "Input",
CellChangeTimes->{{3.7790446608183517`*^9, 3.7790446699649553`*^9}, {
3.779044864433549*^9, 3.779044895857731*^9}, {3.779045110377612*^9,
3.779045113216424*^9}, {3.779045350877418*^9, 3.779045393833234*^9}, {
3.779045425055936*^9, 3.779045428071237*^9}, {3.7790455607282677`*^9,
3.779045606078291*^9}, {3.779045670971932*^9, 3.779045671979497*^9}, {
3.779045864050395*^9, 3.779045888885542*^9}, {3.779045919061735*^9,
3.779045928332878*^9}, {3.779076582540563*^9, 3.779076613198968*^9}, {
3.779076648024757*^9, 3.77907666079456*^9}, {3.77907669566971*^9,
3.779076732078848*^9}, 3.779077339087864*^9, {3.779077492233086*^9,
3.779077515218935*^9}, 3.779078086166368*^9, {3.779078162861031*^9,
3.779078167438842*^9}, {3.7790782312746153`*^9, 3.7790782411252747`*^9}, {
3.779078326394677*^9, 3.7790784546851683`*^9}, {3.7790788976852007`*^9,
3.779078929635998*^9}, {3.779078972231194*^9, 3.7790789880336533`*^9}, {
3.7790793418225813`*^9, 3.7790793419939528`*^9}, {3.7790797963266983`*^9,
3.779079859614422*^9}},ExpressionUUID->"eaee2c80-2e33-441d-9ba3-\
f97d473b60f4"],
Cell[BoxData[
TemplateBox[{
"N","meprec",
"\"Internal precision limit $MaxExtraPrecision = \
\\!\\(\\*RowBox[{\\\"500.`\\\"}]\\) reached while evaluating \
\\!\\(\\*RowBox[{SqrtBox[\\\"3\\\"], \\\"+\\\", \
FractionBox[RowBox[{RowBox[{\\\"3\\\", \\\" \\\", SqrtBox[\\\"3\\\"]}], \\\"-\
\\\", RowBox[{\\\"3\\\", \\\" \\\", RowBox[{\\\"(\\\", RowBox[{\\\"1\\\", \
\\\"+\\\", SqrtBox[\\\"3\\\"]}], \\\")\\\"}]}]}], \
SqrtBox[\\\"3\\\"]]}]\\).\"",2,1208,76,31417903222905338078,"Local"},
"MessageTemplate"]], "Message", "MSG",
CellChangeTimes->{3.7790798771004963`*^9,
3.779079957519205*^9},ExpressionUUID->"79abb6bc-e677-4f32-b959-\
671615e11c64"],
Cell[BoxData[
TemplateBox[{
"N","meprec",
"\"Internal precision limit $MaxExtraPrecision = \
\\!\\(\\*RowBox[{\\\"500.`\\\"}]\\) reached while evaluating \
\\!\\(\\*RowBox[{SqrtBox[\\\"3\\\"], \\\"+\\\", \
FractionBox[RowBox[{RowBox[{RowBox[{\\\"-\\\", \\\"3\\\"}], \\\" \\\", \
SqrtBox[\\\"3\\\"]}], \\\"+\\\", RowBox[{\\\"3\\\", \\\" \\\", \
RowBox[{\\\"(\\\", RowBox[{RowBox[{\\\"-\\\", \\\"1\\\"}], \\\"+\\\", \
SqrtBox[\\\"3\\\"]}], \\\")\\\"}]}]}], SqrtBox[\\\"3\\\"]]}]\\).\"",2,1208,77,
31417903222905338078,"Local"},
"MessageTemplate"]], "Message", "MSG",
CellChangeTimes->{3.7790798771004963`*^9,
3.7790799575977163`*^9},ExpressionUUID->"0e1da73d-740d-46df-b568-\
b9229db4dbaa"],
Cell[BoxData[
TemplateBox[{
"N","meprec",
"\"Internal precision limit $MaxExtraPrecision = \
\\!\\(\\*RowBox[{\\\"500.`\\\"}]\\) reached while evaluating \
\\!\\(\\*RowBox[{SqrtBox[\\\"3\\\"], \\\"-\\\", \
FractionBox[RowBox[{RowBox[{RowBox[{\\\"-\\\", \\\"3\\\"}], \\\" \\\", \
SqrtBox[\\\"3\\\"]}], \\\"-\\\", RowBox[{\\\"3\\\", \\\" \\\", \
RowBox[{\\\"(\\\", RowBox[{RowBox[{\\\"-\\\", \\\"1\\\"}], \\\"-\\\", \
SqrtBox[\\\"3\\\"]}], \\\")\\\"}]}]}], SqrtBox[\\\"3\\\"]]}]\\).\"",2,1208,78,
31417903222905338078,"Local"},
"MessageTemplate"]], "Message", "MSG",
CellChangeTimes->{3.7790798771004963`*^9,
3.779079958509577*^9},ExpressionUUID->"a0eafba0-c215-4ccc-bf04-\
c33f878dfc72"],
Cell[BoxData[
TemplateBox[{
"General","stop",
"\"Further output of \\!\\(\\*StyleBox[RowBox[{\\\"N\\\", \\\"::\\\", \
\\\"meprec\\\"}], \\\"MessageName\\\"]\\) will be suppressed during this \
calculation.\"",2,1208,79,31417903222905338078,"Local"},
"MessageTemplate"]], "Message", "MSG",
CellChangeTimes->{3.7790798771004963`*^9,
3.7790799585777693`*^9},ExpressionUUID->"d3cc2160-bf3d-41cc-a625-\
c4d342e65e68"],
Cell[BoxData["$Aborted"], "Output",
CellChangeTimes->{3.779079894545371*^9,
3.779080805718521*^9},ExpressionUUID->"db4aabec-e23a-4322-b183-\
74261ee13720"],
Cell[BoxData["203"], "Output",
CellChangeTimes->{3.779079894545371*^9,
3.779080805735086*^9},ExpressionUUID->"3af67a39-f8ba-44b4-8b21-\
c2685c639965"]
}, Open ]]
}, Open ]]
},
WindowSize->{1317, 767},
WindowMargins->{{4, Automatic}, {Automatic, 4}},
Magnification:>1.5 Inherited,
FrontEndVersion->"11.2 for Mac OS X x86 (32-bit, 64-bit Kernel) (September \
10, 2017)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 164, 3, 146, "Title",ExpressionUUID->"d0ee6d14-7f3f-4d5b-9c0b-20976882697d"],
Cell[747, 27, 357, 9, 78, "Input",ExpressionUUID->"175a20ad-2ae5-49df-8af8-28c63628f390"],
Cell[1107, 38, 5472, 148, 884, "Input",ExpressionUUID->"58bdd9ad-b7dc-4360-b65d-031d00810b1e"],
Cell[6582, 188, 1501, 42, 109, "Input",ExpressionUUID->"c8612a4b-1454-4d16-9c93-86ad62c4093e"],
Cell[8086, 232, 541, 15, 78, "Input",ExpressionUUID->"68470958-aef8-4568-bdca-11274cc65b1c"],
Cell[8630, 249, 4634, 135, 396, "Input",ExpressionUUID->"641df187-11fe-4471-b5f4-c4525434fef2"],
Cell[13267, 386, 4383, 126, 574, "Input",ExpressionUUID->"96d5ee16-b21c-4c3b-ab68-92bcbd9907f3"],
Cell[CellGroupData[{
Cell[17675, 516, 1365, 23, 109, "Input",ExpressionUUID->"eaee2c80-2e33-441d-9ba3-f97d473b60f4"],
Cell[19043, 541, 655, 13, 73, "Message",ExpressionUUID->"79abb6bc-e677-4f32-b959-671615e11c64"],
Cell[19701, 556, 703, 14, 73, "Message",ExpressionUUID->"0e1da73d-740d-46df-b568-b9229db4dbaa"],
Cell[20407, 572, 701, 14, 73, "Message",ExpressionUUID->"a0eafba0-c215-4ccc-bf04-c33f878dfc72"],
Cell[21111, 588, 424, 9, 34, "Message",ExpressionUUID->"d3cc2160-bf3d-41cc-a625-c4d342e65e68"],
Cell[21538, 599, 159, 3, 69, "Output",ExpressionUUID->"db4aabec-e23a-4322-b183-74261ee13720"],
Cell[21700, 604, 154, 3, 69, "Output",ExpressionUUID->"3af67a39-f8ba-44b4-8b21-c2685c639965"]
}, Open ]]
}, Open ]]
}
]
*)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.