(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 11.1' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 56210, 1441] NotebookOptionsPosition[ 52861, 1350] NotebookOutlinePosition[ 53708, 1380] CellTagsIndexPosition[ 53621, 1375] WindowTitle->Examples for Cunningham Number Factorizations WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["", "DataResourceWhiteSection", CellFrameMargins->0, CellTags-> "DataResourceExampleArea",ExpressionUUID->"f037dacb-ca5d-481c-953a-\ 7e30fa2d917f"], Cell[CellGroupData[{ Cell["Basic Examples", "Subsection", CellFrame->False, ShowCellBracket->True, CellMargins->0, CellFrameMargins->{{66, 8}, {8, 8}}, CellFrameColor->GrayLevel[1], CellFrameLabelMargins->6, CellSize->{ Automatic, Automatic},ExpressionUUID->"3e0e34e1-a907-49d5-a00c-d8e71f6d2756"], Cell["Retrieve the resource:", "Text", CellGroupingRules->"NormalGrouping", CellChangeTimes->{{3.696186645510051*^9, 3.6961866545240507`*^9}, 3.696187841532233*^9},ExpressionUUID->"1dbc302b-42d7-4040-a867-\ a9443f9d4d91"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ResourceObject", "[", "\"\\"", "]"}]], "Input", CellChangeTimes->{{3.6804517731799183`*^9, 3.6804517885604563`*^9}, { 3.6804527318597765`*^9, 3.6804527390684977`*^9}, 3.702812626095222*^9},ExpressionUUID->"b158ff02-4a2b-4587-984f-\ 20eb9b0d5a41"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["ResourceObject", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False}, PanelBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[ ButtonBox[ DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "SquarePlusIconMedium"], ImageSizeCache->{12., {0., 12.}}], Appearance->None, ButtonFunction:>(Typeset`open$$ = True), Evaluator->Automatic, Method->"Preemptive"], Alignment->{Center, Center}, ImageSize-> Dynamic[{ Automatic, (3.5 CurrentValue["FontCapHeight"])/ AbsoluteCurrentValue[Magnification]}]], GraphicsBox[ {Thickness[0.011111111111111112`], {FaceForm[{RGBColor[0.648987, 0.648987, 0.648987], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{3.789, 7.266}, {86.20700000000001, 7.266}, {86.20700000000001, 3.266}, { 3.789, 3.266}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{14.129, 54.07}, {19.878999999999998`, 54.07}, {19.878999999999998`, 15.57}, {14.129, 15.57}}}]}, {FaceForm[{RGBColor[0.274612, 0.618881, 0.810913], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{24.129, 41.82}, {29.879, 41.82}, {29.879, 15.57}, {24.129, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 33.160000000000004`, 54.07}, {38.910000000000004`, 54.07}, { 38.910000000000004`, 15.57}, {33.160000000000004`, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{42.191, 31.781}, {47.941, 31.781}, {47.941, 15.569999999999997`}, { 42.191, 15.569999999999997`}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 51.223000000000006`, 46.875}, {56.973000000000006`, 46.875}, { 56.973000000000006`, 15.57}, {51.223000000000006`, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{60.254, 37.707}, {66.00399999999999, 37.707}, {66.00399999999999, 15.569999999999997`}, {60.254, 15.569999999999997`}}}]}, {FaceForm[{RGBColor[0.648987, 0.648987, 0.648987], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 70.12899999999999, 54.07}, {75.87899999999999, 54.07}, { 75.87899999999999, 15.57}, {70.12899999999999, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 9.879000000000001, 60.547}, {24.129, 60.547}, {24.129, 56.547}, { 9.879000000000001, 56.547}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{9.871, 13.097999999999999`}, {80.121, 13.097999999999999`}, {80.121, 9.097999999999999}, {9.871, 9.097999999999999}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 65.87899999999999, 60.547}, {80.12899999999999, 60.547}, { 80.12899999999999, 56.547}, {65.87899999999999, 56.547}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{11.469000000000001`, 66.54700000000001}, {45., 82.418}, {78.398, 66.54700000000001}}, {{45., 86.73400000000001}, { 2.2230000000000003`, 66.54700000000001}, {2.2230000000000003`, 62.547}, {87.777, 62.547}, {87.777, 66.54700000000001}}}]}}, AspectRatio->1, Axes->False, Background->None, Frame->None, FrameTicks->None, ImageSize->{Automatic, Dynamic[ 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification]), ImageSizeCache -> {45., {0., 9.}}]}], GridBox[{ { RowBox[{ TagBox["\<\"Name: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"Cunningham Number Factorizations\"\>", "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Type: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"DataResource\"\>", "SummaryItem"]}]}, { TagBox[ DynamicModuleBox[{ResourceSystemClient`Private`len$$ = 1}, RowBox[{ TagBox["\<\"Description: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ ButtonBox[ DynamicBox[ToBoxes[ Replace[ ResourceSystemClient`Private`snipDots[ "Numbers of the form b^n-1 and b^n+1 are factored for \ small prime bases b={2,3,5,7}", ResourceSystemClient`Private`len$$], Except[ Blank[String]] -> Snippet[ "Numbers of the form b^n-1 and b^n+1 are factored for \ small prime bases b={2,3,5,7}", ResourceSystemClient`Private`len$$], {0}], StandardForm], ImageSizeCache->{272., {19., 10.}}], Appearance->None, BaseStyle->{}, ButtonFunction:>(ResourceSystemClient`Private`len$$ = Ceiling[ResourceSystemClient`Private`len$$ 1.5]), Evaluator->Automatic, Method->"Preemptive"], "SummaryItem"]}], DynamicModuleValues:>{}], "SummaryItem"]} }, AutoDelete->False, BaseStyle->{ ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{2}}, "Rows" -> {{Automatic}}}]} }, AutoDelete->False, BaselinePosition->{1, 1}, GridBoxAlignment->{"Rows" -> {{Top}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], True-> GridBox[{ { PaneBox[ ButtonBox[ DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "SquareMinusIconMedium"]], Appearance->None, ButtonFunction:>(Typeset`open$$ = False), Evaluator->Automatic, Method->"Preemptive"], Alignment->{Center, Center}, ImageSize-> Dynamic[{ Automatic, (3.5 CurrentValue["FontCapHeight"])/ AbsoluteCurrentValue[Magnification]}]], GraphicsBox[ {Thickness[0.011111111111111112`], {FaceForm[{RGBColor[0.648987, 0.648987, 0.648987], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{3.789, 7.266}, {86.20700000000001, 7.266}, {86.20700000000001, 3.266}, { 3.789, 3.266}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{14.129, 54.07}, {19.878999999999998`, 54.07}, {19.878999999999998`, 15.57}, {14.129, 15.57}}}]}, {FaceForm[{RGBColor[0.274612, 0.618881, 0.810913], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{24.129, 41.82}, {29.879, 41.82}, {29.879, 15.57}, {24.129, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 33.160000000000004`, 54.07}, {38.910000000000004`, 54.07}, { 38.910000000000004`, 15.57}, {33.160000000000004`, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{42.191, 31.781}, {47.941, 31.781}, {47.941, 15.569999999999997`}, { 42.191, 15.569999999999997`}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 51.223000000000006`, 46.875}, {56.973000000000006`, 46.875}, { 56.973000000000006`, 15.57}, {51.223000000000006`, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{60.254, 37.707}, {66.00399999999999, 37.707}, {66.00399999999999, 15.569999999999997`}, {60.254, 15.569999999999997`}}}]}, {FaceForm[{RGBColor[0.648987, 0.648987, 0.648987], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 70.12899999999999, 54.07}, {75.87899999999999, 54.07}, { 75.87899999999999, 15.57}, {70.12899999999999, 15.57}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 9.879000000000001, 60.547}, {24.129, 60.547}, {24.129, 56.547}, { 9.879000000000001, 56.547}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{9.871, 13.097999999999999`}, {80.121, 13.097999999999999`}, {80.121, 9.097999999999999}, {9.871, 9.097999999999999}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{ 65.87899999999999, 60.547}, {80.12899999999999, 60.547}, { 80.12899999999999, 56.547}, {65.87899999999999, 56.547}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{11.469000000000001`, 66.54700000000001}, {45., 82.418}, {78.398, 66.54700000000001}}, {{45., 86.73400000000001}, { 2.2230000000000003`, 66.54700000000001}, {2.2230000000000003`, 62.547}, {87.777, 62.547}, {87.777, 66.54700000000001}}}]}}, AspectRatio->1, Axes->False, Background->None, Frame->None, FrameTicks->None, ImageSize->{Automatic, Dynamic[ 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification]), ImageSizeCache -> {45., {0., 9.}}]}], GridBox[{ { RowBox[{ TagBox["\<\"Name: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"Cunningham Number Factorizations\"\>", "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Type: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"DataResource\"\>", "SummaryItem"]}]}, { TagBox[ DynamicModuleBox[{ResourceSystemClient`Private`len$$ = 1}, RowBox[{ TagBox["\<\"Description: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ ButtonBox[ DynamicBox[ToBoxes[ Replace[ ResourceSystemClient`Private`snipDots[ "Numbers of the form b^n-1 and b^n+1 are factored for \ small prime bases b={2,3,5,7}", ResourceSystemClient`Private`len$$], Except[ Blank[String]] -> Snippet[ "Numbers of the form b^n-1 and b^n+1 are factored for \ small prime bases b={2,3,5,7}", ResourceSystemClient`Private`len$$], {0}], StandardForm]], Appearance->None, BaseStyle->{}, ButtonFunction:>(ResourceSystemClient`Private`len$$ = Ceiling[ResourceSystemClient`Private`len$$ 1.5]), Evaluator->Automatic, Method->"Preemptive"], "SummaryItem"]}], DynamicModuleValues:>{}], "SummaryItem"]}, { RowBox[{ TagBox["\<\"Categories: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox[ TemplateBox[{ ",","\",\"","\"Computer Systems\"","\"Mathematics\""}, "RowWithSeparators"], Short], "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"ContentTypes: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox[ TemplateBox[{",","\",\"","\"Numerical Data\""}, "RowWithSeparators"], Short], "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Keywords: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox[ TemplateBox[{ ",","\",\"","\"factorization\"","\"finite fields\""}, "RowWithSeparators"], Short], "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Data Location: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ DynamicModuleBox[{ ResourceSystemClient`Private`typesetstorage$$ = ResourceSystemClient`Private`typesetstorageLocation, ResourceSystemClient`Private`info$$}, DynamicBox[ToBoxes[ ResourceSystemClient`Private`info$$ = ResourceSystemClient`Private`resourceInfo[ "f7587f62-f0ea-41be-9983-78070b19a075"]; If[ AssociationQ[ResourceSystemClient`Private`info$$], ResourceSystemClient`Private`typesetstorage$$[ Lookup[ ResourceSystemClient`Private`info$$, "ContentElementLocations", None]], Missing["NotAvailable"]], StandardForm]], DynamicModuleValues:>{}], "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"UUID: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"f7587f62-f0ea-41be-9983-78070b19a075\"\>", "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Version: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\<\"1.0.0\"\>", "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Size: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"Missing", "[", "\<\"NotAvailable\"\>", "]"}], "SummaryItem"]}]}, { RowBox[{ TagBox["\<\"Elements: \"\>", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox[ TemplateBox[{",","\",\"","\"CunninghamFactorizations\""}, "RowWithSeparators"], Short[#, 2]& ], "SummaryItem"]}]} }, AutoDelete->False, BaseStyle->{ ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{2}}, "Rows" -> {{Automatic}}}]} }, AutoDelete->False, BaselinePosition->{1, 1}, GridBoxAlignment->{"Rows" -> {{Top}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open$$], ImageSize->Automatic], BaselinePosition->Baseline], DynamicModuleValues:>{}], "]"}], ResourceObject[ Association[ "Name" -> "Cunningham Number Factorizations", "UUID" -> "f7587f62-f0ea-41be-9983-78070b19a075", "ResourceType" -> "DataResource", "Version" -> "1.0.0", "Description" -> "Numbers of the form b^n-1 and b^n+1 are factored for small prime bases \ b={2,3,5,7}", "ContentSize" -> Missing["NotAvailable"], "ContentElements" -> {"CunninghamFactorizations"}]], Editable->False, SelectWithContents->True, Selectable->False]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812569029587*^9, 3.702812627865201*^9},ExpressionUUID->"25421b8b-fc8c-4173-bba2-\ 6c3088297453"] }, Open ]], Cell["Retrieve the default content:", "Text", CellChangeTimes->{{3.696186645510051*^9, 3.6961866545240507`*^9}, { 3.696187841532233*^9, 3.696187852829363*^9}},ExpressionUUID->"d360baf8-17d3-41c3-83eb-\ 5b24631cf598"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ResourceData", "[", "\"\\"", "]"}]], "Input", CellChangeTimes->{{3.6804518239459944`*^9, 3.680451854651065*^9}, 3.702812630239504*^9},ExpressionUUID->"bffc806e-a646-4307-98db-\ 1ceceb72a51f"], Cell[BoxData[ InterpretationBox[ TagBox[ FrameBox[GridBox[{ { ItemBox[ TagBox[ RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"2^1-1\"\>", "\[Rule]", RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"Base\"\>", "\[Rule]", "2"}], ",", RowBox[{"\<\"Exponent\"\>", "\[Rule]", "1"}], ",", RowBox[{"\<\"Offset\"\>", "\[Rule]", RowBox[{"-", "1"}]}], ",", RowBox[{"\<\"Factorization\"\>", "\[Rule]", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], "}"}]}]}], "\[RightAssociation]"}]}], ",", RowBox[{"\<\"3^1-1\"\>", "\[Rule]", RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"Base\"\>", "\[Rule]", "3"}], ",", TemplateBox[{"2"}, "OutputSizeLimit`Skeleton"], ",", RowBox[{"\<\"Factorization\"\>", "\[Rule]", TemplateBox[{"1"}, "OutputSizeLimit`Skeleton"]}]}], "\[RightAssociation]"}]}], ",", TemplateBox[{"5700"}, "OutputSizeLimit`Skeleton"], ",", TemplateBox[{"1"}, "OutputSizeLimit`Skeleton"], ",", RowBox[{"\<\"2^1206-1\"\>", "\[Rule]", RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"Base\"\>", "\[Rule]", "2"}], ",", RowBox[{"\<\"Exponent\"\>", "\[Rule]", "1206"}], ",", RowBox[{"\<\"Offset\"\>", "\[Rule]", RowBox[{"-", "1"}]}], ",", RowBox[{"\<\"Factorization\"\>", "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "1"}], "}"}], ",", TemplateBox[{"18"}, "OutputSizeLimit`Skeleton"], ",", RowBox[{"{", RowBox[{ "51866643623393589231647265407808417382750627355685957476608\ 635266657371561413858193", ",", "1"}], "}"}]}], "}"}]}]}], "\[RightAssociation]"}]}]}], "\[RightAssociation]"}], Short[#, 5]& ], BaseStyle->{Deployed -> False}, StripOnInput->False]}, {GridBox[{ { TagBox[ TooltipBox[ StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource[ "FEStrings", "sizeBriefExplanation"], StandardForm], ImageSizeCache->{48., {32., 10.}}], StripOnInput->False, DynamicUpdating->True], "OSLText", StripOnInput->False], StyleBox[ DynamicBox[ ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"], StandardForm]], DynamicUpdating -> True, StripOnInput -> False]], Annotation[#, Style[ Dynamic[ FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"]], DynamicUpdating -> True], "Tooltip"]& ], ButtonBox[ PaneSelectorBox[{False-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], StandardForm], ImageSizeCache->{49., {17., 10.}}], StripOnInput->False, DynamicUpdating->True], "OSLControl", StripOnInput->False], True-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], StandardForm]], StripOnInput->False, DynamicUpdating->True], "OSLControlActive", StripOnInput->False]}, Dynamic[ CurrentValue["MouseOver"]], Alignment->Center, FrameMargins->0, ImageSize->{Automatic, 25}], Appearance->None, BaselinePosition->Baseline, ButtonFunction:>OutputSizeLimit`ButtonFunction[ OutputSizeLimit`Defer, 1, 19597217593288832028, 5/2], Enabled->True, Evaluator->Automatic, Method->"Queued"], ButtonBox[ PaneSelectorBox[{False-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], StandardForm], ImageSizeCache->{50., {32., 10.}}], StripOnInput->False, DynamicUpdating->True], "OSLControl", StripOnInput->False], True-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], StandardForm]], StripOnInput->False, DynamicUpdating->True], "OSLControlActive", StripOnInput->False]}, Dynamic[ CurrentValue["MouseOver"]], Alignment->Center, FrameMargins->0, ImageSize->{Automatic, 25}], Appearance->None, BaselinePosition->Baseline, ButtonFunction:>OutputSizeLimit`ButtonFunction[ OutputSizeLimit`Defer, 1, 19597217593288832028, 5 2], Enabled->True, Evaluator->Automatic, Method->"Queued"], ButtonBox[ PaneSelectorBox[{False-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], StandardForm], ImageSizeCache->{39., {17., 10.}}], StripOnInput->False, DynamicUpdating->True], "OSLControl", StripOnInput->False], True-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], StandardForm]], StripOnInput->False, DynamicUpdating->True], "OSLControlActive", StripOnInput->False]}, Dynamic[ CurrentValue["MouseOver"]], Alignment->Center, FrameMargins->0, ImageSize->{Automatic, 25}], Appearance->None, BaselinePosition->Baseline, ButtonFunction:>OutputSizeLimit`ButtonFunction[ OutputSizeLimit`Defer, 1, 19597217593288832028, Infinity], Enabled->True, Evaluator->Automatic, Method->"Queued"], ButtonBox[ PaneSelectorBox[{False-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], StandardForm], ImageSizeCache->{53., {47., 10.}}], StripOnInput->False, DynamicUpdating->True], "OSLControl", StripOnInput->False], True-> StyleBox[ StyleBox[ DynamicBox[ToBoxes[ FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], StandardForm]], StripOnInput->False, DynamicUpdating->True], "OSLControlActive", StripOnInput->False]}, Dynamic[ CurrentValue["MouseOver"]], Alignment->Center, FrameMargins->0, ImageSize->{Automatic, 25}], Appearance->None, BaselinePosition->Baseline, ButtonFunction:>FrontEndExecute[{ FrontEnd`SetOptions[ FrontEnd`$FrontEnd, FrontEnd`PreferencesSettings -> {"Page" -> "Advanced"}], FrontEnd`FrontEndToken["PreferencesDialog"]}], Evaluator->None, Method->"Preemptive"]} }, AutoDelete->False, FrameStyle->GrayLevel[0.85], GridBoxDividers->{"Columns" -> {False, {True}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{2}}}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxDividers->{ "Columns" -> {{False}}, "ColumnsIndexed" -> {}, "Rows" -> {{False}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.5599999999999999]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], Offset[1.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], BaseStyle->"OutputSizeLimit", FrameMargins->{{12, 12}, {0, 15}}, FrameStyle->GrayLevel[0.85], RoundingRadius->5, StripOnInput->False], Deploy, DefaultBaseStyle->"Deploy"], If[19597217593288832028 === $SessionID, Out[1], Message[ MessageName[Syntax, "noinfoker"]]; Missing["NotAvailable"]; Null]]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812570170443*^9, 3.702812632529133*^9, 3.707477610728313*^9},ExpressionUUID->"03736678-9950-4b59-8242-\ e067a1bfe7fe"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Visualization", "Subsection",ExpressionUUID->"e4b83d6d-c963-4d29-89d7-ee6ca6cb29b9"], Cell["In 1871, Aurifeuille discovered a factorization for 2^58+1:", "Text", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.702812651063755*^9, 3.7028126612927523`*^9}},ExpressionUUID->"d2989a7d-500c-43cd-a190-\ f605abff79cc"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ "ResourceData", "[", "\"\\"", "]"}], "[", "\"\<2^58+1\>\"", "]"}], "[", "\"\\"", "]"}]], "Input",\ CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.70281267436485*^9, 3.707477614673946*^9},ExpressionUUID->"f3bbd37a-8f15-42d1-87a3-\ 408ad509f7ef"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"107367629", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"536903681", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812677323271*^9, 3.70747761563407*^9},ExpressionUUID->"e4b4130d-5387-42f7-9066-\ 4611e3dda67d"] }, Open ]], Cell["Various entries are not completely factored:", "Text", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812690563737*^9},ExpressionUUID->"5fb135d4-c540-4721-a98a-\ e90c6ae785a6"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"With", "[", RowBox[{ RowBox[{"{", RowBox[{"factorizations", " ", "=", " ", RowBox[{ "ResourceData", "[", "\"\\"", "]"}]}], "}"}], ",", RowBox[{"SplitBy", "[", RowBox[{ RowBox[{"SortBy", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"Not", "[", RowBox[{"PrimeQ", "[", RowBox[{"First", "[", RowBox[{"Last", "[", RowBox[{ RowBox[{"factorizations", "[", RowBox[{"[", "n", "]"}], "]"}], "[", "\"\\"", "]"}], "]"}], "]"}], "]"}], "]"}], ",", RowBox[{"Take", "[", RowBox[{ RowBox[{"List", "@@", RowBox[{"factorizations", "[", RowBox[{"[", "n", "]"}], "]"}]}], ",", "3"}], "]"}], ",", RowBox[{"Sequence", "@@", RowBox[{"{", "}"}]}]}], " ", "]"}], ",", RowBox[{"{", RowBox[{"n", ",", "2", ",", RowBox[{"Length", "[", "factorizations", "]"}]}], "}"}]}], "]"}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"#", "[", RowBox[{"[", "1", "]"}], "]"}], ",", RowBox[{"#", "[", RowBox[{"[", "3", "]"}], "]"}], ",", RowBox[{"#", "[", RowBox[{"[", "2", "]"}], "]"}]}], "}"}], "&"}]}], "]"}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"#", "[", RowBox[{"[", "1", "]"}], "]"}], ",", RowBox[{"#", "[", RowBox[{"[", "3", "]"}], "]"}]}], "}"}], "&"}]}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.702812706668886*^9, 3.702812723160977*^9}, {3.702817307421489*^9, 3.7028173076420403`*^9}, 3.7028175552424383`*^9, 3.707477626042574*^9},ExpressionUUID->"71ef332f-4ef0-47bb-b501-\ c60fe0623f98"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1033", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1037", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1052", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1063", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1067", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1072", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1076", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1084", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1087", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1091", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1097", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1100", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1108", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1109", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1115", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1123", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1124", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1129", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1133", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1135", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1136", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1139", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1144", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1147", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1151", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1153", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1157", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1159", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1163", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1165", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1168", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1180", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1187", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "661", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "667", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "671", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "677", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "679", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "683", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "689", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "691", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "701", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "703", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "715", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "725", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "731", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "733", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "739", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "745", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "589", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "592", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "596", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "599", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "604", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "635", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "637", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "647", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "653", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "659", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "662", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "664", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "668", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "671", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "674", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "676", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "677", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "679", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "682", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "683", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "689", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "692", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "701", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "704", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "706", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "709", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "712", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "716", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "718", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "719", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "721", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "722", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "725", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "727", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "737", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "743", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "745", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "746", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "748", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "749", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "431", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "449", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "469", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "473", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "481", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "491", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "493", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "497", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "499", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "401", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "409", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "421", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "422", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "424", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "431", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "436", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "439", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "443", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "446", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "449", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "451", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "452", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "454", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "457", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "458", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "460", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "461", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "463", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "464", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "467", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "469", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "470", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "472", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "475", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "476", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "477", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "478", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "479", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "481", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "484", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "485", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "487", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "488", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "490", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "492", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "493", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "497", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "499", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "500", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "359", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "361", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "367", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "379", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "383", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "389", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "395", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "331", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "332", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "334", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "337", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "356", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "359", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "367", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "373", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "376", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "379", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "386", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "388", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "394", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "395", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "397", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "398", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812784108911*^9, 3.702817428125718*^9, 3.702817567440201*^9, 3.707477639599935*^9},ExpressionUUID->"df15b64a-7dee-4852-8358-\ 8e6cfc8356ff"] }, Open ]], Cell["\<\ Many of the factorizations have odd patterns within the digits, such as \ 2^995+1:\ \>", "Text", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812870405711*^9},ExpressionUUID->"81ff8fb1-28e9-4168-8792-\ de8365611835"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ArrayPlot", "[", RowBox[{ RowBox[{"Partition", "[", RowBox[{ RowBox[{"PadRight", "[", RowBox[{ RowBox[{"Flatten", "[", RowBox[{"MapIndexed", "[", RowBox[{ RowBox[{ RowBox[{"#1", RowBox[{"Mod", "[", RowBox[{ RowBox[{"#2", "[", RowBox[{"[", "1", "]"}], "]"}], ",", "2", ",", "1"}], "]"}]}], "&"}], ",", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"IntegerDigits", "[", RowBox[{"#", ",", "2"}], "]"}], "&"}], "/@", RowBox[{"(", RowBox[{"First", "/@", RowBox[{ RowBox[{ RowBox[{ "ResourceData", "[", "\"\\"", "]"}], "[", "\"\<2^995+1\>\"", "]"}], "[", "\"\\"", "]"}]}], ")"}]}], ")"}]}], "]"}], "]"}], ",", "1265"}], "]"}], ",", "40"}], "]"}], ",", " ", RowBox[{"ImageSize", "\[Rule]", " ", RowBox[{"{", RowBox[{"500", ",", "250"}], "}"}]}], ",", RowBox[{"Frame", "\[Rule]", " ", "False"}], ",", RowBox[{"PixelConstrained", "\[Rule]", "True"}]}], "]"}]], "Input", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.7028128850967903`*^9, 3.702812901546471*^9}, 3.7074776454976377`*^9},ExpressionUUID->"f8e8aa2e-40b2-48fc-a072-\ db58f7389377"], Cell[BoxData[ GraphicsBox[RasterBox[CompressedData[" 1:eJxTTMoPSmJiYGCQB2INIGYaaYABjEE+x8liIFLdQLIGgROowhoUjqACa5A4 AyeLkYmRkUh1gxuCfUFYHQCMBgga "], {{0, 0}, Offset[{320, 248}, {0, 0}]}, {0, 2}], Frame->False, FrameLabel->{None, None}, FrameTicks->{{None, None}, {None, None}}, GridLinesStyle->Directive[ GrayLevel[0.5, 0.4]], ImageSize->{320, 248}, Method->{ "DefaultBoundaryStyle" -> Automatic, "DefaultPlotStyle" -> Automatic}, PlotRange->{{0, 320}, {0, 248}}, PlotRangeClipping->True]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.702812895602952*^9, 3.702812905953377*^9}, 3.707477647889995*^9},ExpressionUUID->"17796f23-66a6-4c85-b65d-\ 6076a041bbc5"] }, Open ]], Cell["The factorization of 3^336+1 has odd patterns in ternary:", "Text", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.7028129170206842`*^9},ExpressionUUID->"fd93897a-a381-405e-ad66-\ 29b4c7e44f75"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ArrayPlot", "[", RowBox[{ RowBox[{"Partition", "[", RowBox[{ RowBox[{"PadRight", "[", RowBox[{ RowBox[{"Flatten", "[", RowBox[{ RowBox[{ RowBox[{"IntegerDigits", "[", RowBox[{"#", ",", "3"}], "]"}], "&"}], "/@", RowBox[{"(", RowBox[{"First", "/@", RowBox[{ RowBox[{ RowBox[{ "ResourceData", "[", "\"\\"", "]"}], "[", "\"\<3^336+1\>\"", "]"}], "[", "\"\\"", "]"}]}], ")"}]}], "]"}], ",", "400"}], "]"}], ",", "30"}], "]"}], ",", " ", RowBox[{"ImageSize", "\[Rule]", " ", RowBox[{"{", RowBox[{"500", ",", "250"}], "}"}]}], ",", RowBox[{"Frame", "\[Rule]", " ", "False"}], ",", RowBox[{"PixelConstrained", "\[Rule]", "True"}]}], "]"}]], "Input", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812931092504*^9, 3.70747765211406*^9},ExpressionUUID->"0ddc90f5-a510-4fc1-b7ad-\ 4a0b93f73cb4"], Cell[BoxData[ GraphicsBox[RasterBox[CompressedData[" 1:eJyNUNsNgCAQa+/fFUxcyRFYwP3/bDkwitFQOEL6ImErx14CwKJZNTELTjub FwliwN04al++J15W/uUGqwiKq5tCIOgGEWSVpYimW8W4D16iLliIfmmhpFzu owZTyUR9BtEn8m34r8gTWDADeQ== "], {{0, 0}, Offset[{480, 208}, {0, 0}]}, {0, 2}], Frame->False, FrameLabel->{None, None}, FrameTicks->{{None, None}, {None, None}}, GridLinesStyle->Directive[ GrayLevel[0.5, 0.4]], ImageSize->{480, 208}, Method->{ "DefaultBoundaryStyle" -> Automatic, "DefaultPlotStyle" -> Automatic}, PlotRange->{{0, 480}, {0, 208}}, PlotRangeClipping->True]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.702812933162445*^9, 3.707477653119947*^9},ExpressionUUID->"2692f7a2-123e-4a60-9b81-\ 9e1fac55b66f"] }, Open ]] }, Open ]], Cell["Analysis", "Subsection",ExpressionUUID->"a20b3316-d9e7-4507-9d83-340673019373"] }, Open ]] }, WindowSize->{775, 852}, WindowMargins->{{Automatic, 538}, {Automatic, 0}}, WindowTitle->"Examples for Cunningham Number Factorizations", Visible->True, DockedCells->{}, TaggingRules->{"NotebookTemplateVersion" -> 1.}, CellContext->Notebook, ShowCellTags->True, FrontEndVersion->"11.1 for Linux x86 (64-bit) (April 18, 2017)", StyleDefinitions->FrontEnd`FileName[{"Wolfram"}, "DataResourceDefinitionStyles.nb", CharacterEncoding -> "UTF-8"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "DataResourceExampleArea"->{ Cell[639, 23, 156, 4, 70, "DataResourceWhiteSection", "ExpressionUUID" -> "f037dacb- ca5d-481c-953a-7e30fa2d917f", CellTags->"DataResourceExampleArea"]} } *) (*CellTagsIndex CellTagsIndex->{ {"DataResourceExampleArea", 53433, 1367} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[639, 23, 156, 4, 70, "DataResourceWhiteSection", "ExpressionUUID" -> \ "f037dacb-ca5d-481c-953a-7e30fa2d917f", CellTags->"DataResourceExampleArea"], Cell[CellGroupData[{ Cell[820, 31, 289, 9, 70, "Subsection", "ExpressionUUID" -> \ "3e0e34e1-a907-49d5-a00c-d8e71f6d2756"], Cell[1112, 42, 227, 4, 70, "Text", "ExpressionUUID" -> \ "1dbc302b-42d7-4040-a867-a9443f9d4d91", CellGroupingRules->"NormalGrouping"], Cell[CellGroupData[{ Cell[1364, 50, 316, 6, 70, "Input", "ExpressionUUID" -> \ "b158ff02-4a2b-4587-984f-20eb9b0d5a41"], Cell[1683, 58, 16789, 369, 70, "Output", "ExpressionUUID" -> \ "25421b8b-fc8c-4173-bba2-6c3088297453"] }, Open ]], Cell[18487, 430, 222, 4, 70, "Text", "ExpressionUUID" -> \ "d360baf8-17d3-41c3-83eb-5b24631cf598"], Cell[CellGroupData[{ Cell[18734, 438, 258, 5, 70, "Input", "ExpressionUUID" -> \ "bffc806e-a646-4307-98db-1ceceb72a51f"], Cell[18995, 445, 9842, 250, 70, "Output", "ExpressionUUID" -> \ "03736678-9950-4b59-8242-e067a1bfe7fe"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[28886, 701, 90, 0, 70, "Subsection", "ExpressionUUID" -> \ "e4b83d6d-c963-4d29-89d7-ee6ca6cb29b9"], Cell[28979, 703, 447, 6, 70, "Text", "ExpressionUUID" -> \ "d2989a7d-500c-43cd-a190-f605abff79cc"], Cell[CellGroupData[{ Cell[29451, 713, 571, 12, 70, "Input", "ExpressionUUID" -> \ "f3bbd37a-8f15-42d1-87a3-408ad509f7ef"], Cell[30025, 727, 613, 14, 70, "Output", "ExpressionUUID" -> \ "e4b4130d-5387-42f7-9066-4611e3dda67d"] }, Open ]], Cell[30653, 744, 406, 6, 70, "Text", "ExpressionUUID" -> \ "5fb135d4-c540-4721-a98a-e90c6ae785a6"], Cell[CellGroupData[{ Cell[31084, 754, 2231, 59, 70, "Input", "ExpressionUUID" -> \ "71ef332f-4ef0-47bb-b501-c60fe0623f98"], Cell[33318, 815, 13586, 377, 70, "Output", "ExpressionUUID" -> \ "df15b64a-7dee-4852-8358-8e6cfc8356ff"] }, Open ]], Cell[46919, 1195, 452, 9, 70, "Text", "ExpressionUUID" -> \ "81ff8fb1-28e9-4168-8792-de8365611835"], Cell[CellGroupData[{ Cell[47396, 1208, 1700, 43, 70, "Input", "ExpressionUUID" -> \ "f8e8aa2e-40b2-48fc-a072-db58f7389377"], Cell[49099, 1253, 927, 22, 70, "Output", "ExpressionUUID" -> \ "17796f23-66a6-4c85-b65d-6076a041bbc5"] }, Open ]], Cell[50041, 1278, 421, 6, 70, "Text", "ExpressionUUID" -> \ "fd93897a-a381-405e-ad66-29b4c7e44f75"], Cell[CellGroupData[{ Cell[50487, 1288, 1283, 31, 70, "Input", "ExpressionUUID" -> \ "0ddc90f5-a510-4fc1-b7ad-4a0b93f73cb4"], Cell[51773, 1321, 960, 22, 70, "Output", "ExpressionUUID" -> \ "2692f7a2-123e-4a60-9b81-9e1fac55b66f"] }, Open ]] }, Open ]], Cell[52760, 1347, 85, 0, 70, "Subsection", "ExpressionUUID" -> \ "a20b3316-d9e7-4507-9d83-340673019373"] }, Open ]] } ] *) (* End of internal cache information *)