(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Wolfram 15.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       154,          7]
NotebookDataLength[     21520,        563]
NotebookOptionsPosition[     17387,        485]
NotebookOutlinePosition[     19553,        532]
CellTagsIndexPosition[     19510,        529]
WindowTitle->IdealLatticeThreshold
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {GridBox[{
      {
       ItemBox[Cell[BoxData[
         RowBox[{
          TemplateBox[{12},
           "Spacer1"], Cell[
          "WOLFRAM INSTITUTE/ PUZZLES SYMBOL", "PacletNameCell",
           TextAlignment->Center,ExpressionUUID->
           "f280cd4c-a133-4ee9-a9ac-0b7b8049da76"], 
          TemplateBox[{8},
           "Spacer1"]}]],
         TextAlignment->Center,ExpressionUUID->
         "7c9b9aa1-9c26-4ac1-9395-bf19975c941b"],
        Background->LightDarkSwitched[
          RGBColor[0.490196, 0.576471, 0.690196]],
        ItemSize->Full], ""}
     },
     GridBoxAlignment->{"Rows" -> {{Center}}},
     GridBoxItemSize->{"Columns" -> {Full, 
         Scaled[0.02]}, "Rows" -> {{2.5}}}], Cell[TextData[{
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "See Also",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "1b1c1f35-9363-4ae5-8554-cbf820459fbe"]
         }],ExpressionUUID->"8d0887a7-e0d8-47f4-bacb-fbfc20961647"],
         StripOnInput->False],{
        StyleBox[
          "\"LatticeReduce\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup["paclet:ref/LatticeReduce"], Delimiter, 
         StyleBox[
          "\"Functions\"", "SeeAlsoSection", FontSize -> 14, FontSlant -> 
           "Italic", StripOnInput -> False] :> 
         NotebookFind[EvaluationNotebook[], "SeeAlsoSection", All, CellStyle],
          StyleBox[
          StyleBox[
           "\"IdealLatticeReduce\"", "SeeAlsoRelated", StripOnInput -> False],
            "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/IdealLatticeReduce"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"SeeAlso"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "cbbf00c1-7e86-427b-8fb2-db8ee596e795"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "Related Guides",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "7b9cbaab-08d9-4c88-a7ae-133b69c7910f"]
         }],ExpressionUUID->"4d2cd71d-93ae-4539-93cb-91e2fd46f9b3"],
         StripOnInput->False],{
        "\"Search\"" :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/guide/Search"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"MoreAbout"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "cc915c31-c9b2-4a5d-8702-cae09426354c"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "URL",
          " ",
          Cell[BoxData[
           GraphicsBox[
            {GrayLevel[0.66667], Thickness[0.13], 
             LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
            AspectRatio->1,
            ImageSize->20,
            PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
           "89acc37d-7db3-47dd-9b3b-932c9e69be1c"]
         }],ExpressionUUID->"36777ad3-e940-4f69-9e7b-e53b4dfde86d"],
         StripOnInput->False],{
        "\"WolframInstitute/Puzzles/ref/IdealLatticeThreshold\"" :> None, 
         "\"Copy Wolfram Documentation Center URL\"" :> 
         CopyToClipboard[
          "WolframInstitute/Puzzles/ref/IdealLatticeThreshold"], Delimiter, 
         "\"Copy web URL\"" :> 
         Module[{DocumentationSearch`Private`nb$}, 
           DocumentationSearch`Private`nb$ = 
            NotebookPut[
             Notebook[{
               Cell[BoxData[
                 MakeBoxes[
                  Hyperlink[
                   "http://reference.wolfram.com/language/WolframInstitute/\
Puzzles/ref/IdealLatticeThreshold.html"], StandardForm]], "Input", 
                 TextClipboardType -> "PlainText"]}, Visible -> False]]; 
           SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
           FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
           NotebookClose[DocumentationSearch`Private`nb$]; Null], 
         "\"Go to web URL\"" :> 
         FrontEndExecute[{
           NotebookLocate[{
             URL[If[TrueQ[False], 
                 "http://reference.wolfram.com/system-modeler/", 
                 "http://reference.wolfram.com/language/"] <> 
               "WolframInstitute/Puzzles/ref/IdealLatticeThreshold" <> 
               ".html"], None}]}]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"URLMenu"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "9ba52fd0-e2d6-4e55-947b-0ada67d67404"]
    }], "AnchorBar",
     CacheGraphics->False,ExpressionUUID->
     "f623b630-2c1e-440b-bccc-fb489a1b344a"]}
  }]], "AnchorBarGrid",
 CellID->1,ExpressionUUID->"6d3bf34f-5365-4aa1-a763-eee4b9b67399"],

Cell["WolframInstitute`Puzzles`", "ContextNameCell",ExpressionUUID->"820fbde5-5791-45bb-8d84-db8d841a7105"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {Cell[TextData[{
     Cell[
     "IdealLatticeThreshold", "ObjectName",ExpressionUUID->
      "6db0596f-9e59-46e6-bf19-08359702a211"],
     Cell[BoxData[
      TemplateBox[{8},
       "Spacer1"]],ExpressionUUID->"477cf8f5-caf0-4dd0-a519-7384fbb1f011"],
     Cell[BoxData[
     ""], "ObjectNameTranslation",ExpressionUUID->
      "78ae6464-32f4-40bd-86f8-a4b2f1969c3f"]
    }],ExpressionUUID->"4032a686-4bab-4940-9631-9115fb8b11bf"], 
    "\[SpanFromLeft]"}
  }]], "ObjectNameGrid",ExpressionUUID->"8f6f6119-841a-493b-8f76-\
23c505a59995"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       TemplateBox[{
         Cell[
          TextData["IdealLatticeThreshold"]], 
         "paclet:WolframInstitute/Puzzles/ref/IdealLatticeThreshold", 
         "WolframInstitute/Puzzles Package Symbol"},
        "PackageLink",
        BaseStyle->"InlineFormula"], "[", 
       RowBox[{
        StyleBox["n", "TI"], ",", " ", 
        StyleBox["detRoot", "TI"], ",", " ", "\"\<SVP\>\""}], "]"}]], 
      "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "b5306b1d-45a3-4617-a844-ad280906b9d8"],
     "\[LineSeparator]",
     "gives the TU Darmstadt ideal-lattice ",
     StyleBox["SVP",
      FontWeight->"Bold"],
     " hall-of-fame acceptance bound in dimension ",
     StyleBox["n", "TI"],
     " for a lattice whose (det ",
     StyleBox["L", "TI"],
     ")^(1/",
     StyleBox["n", "TI"],
     ") is ",
     StyleBox["detRoot", "TI"],
     "."
    }],ExpressionUUID->"bf9e7dc8-47bf-482f-bb78-8b05a6b87820"]},
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       TemplateBox[{
         Cell[
          TextData["IdealLatticeThreshold"]], 
         "paclet:WolframInstitute/Puzzles/ref/IdealLatticeThreshold", 
         "WolframInstitute/Puzzles Package Symbol"},
        "PackageLink",
        BaseStyle->"InlineFormula"], "[", 
       RowBox[{
        StyleBox["n", "TI"], ",", " ", 
        StyleBox["detRoot", "TI"], ",", " ", "\"\<ApproxSVP\>\""}], "]"}]], 
      "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "f2d6fc63-3dd5-4e24-9f0d-ffcae4422662"],
     "\[LineSeparator]",
     "gives the looser ",
     StyleBox["Approx-SVP",
      FontWeight->"Bold"],
     " bound."
    }],ExpressionUUID->"0cf779f0-4cf7-4145-9067-54e0d2bd43a7"]}
  }]], "Usage",ExpressionUUID->"46cdc37d-cdff-4f8e-a190-7af89cc56e74"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[Cell[TextData[{
  Cell[BoxData[
   DynamicBox[ToBoxes[
     If[CurrentValue[
        EvaluationCell[], "CellGroupOpen"] =!= Closed, 
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], 
      Rotate[
       Style[
        Graphics[{
          Thickness[0.18], 
          RGBColor[0.8509803921568627, 0.396078431372549, 0], 
          Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
         PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
        0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
    ImageSizeCache->{
     13.600000000000001`, {-0.1685058593749993, 13.768505859375}}]],
   ExpressionUUID->"79267526-d5c6-42d2-b2eb-275dad84cefa"],
  Cell[BoxData[
   TemplateBox[{1},
    "Spacer1"]],ExpressionUUID->"9a32bdc3-bfef-4a0c-a82f-2225bb994827"],
  "Details and Options"
 }], "NotesFrameText",ExpressionUUID->
  "9ded94a3-2790-4834-b2f1-57ab24d70188"]],ExpressionUUID->"da2c3d2a-f154-\
4c6c-b450-a2c24d57d893"]], "NotesSection",
 ShowGroupOpener->"Thumbnail",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CacheGraphics->False,
 CellID->1126667359,ExpressionUUID->"1b6b5ed6-eebb-41da-8a01-6f9971a8b840"],

Cell[TextData[{
 "The SVP bound is ",
 Cell[BoxData[
  RowBox[{"1.05", " ", 
   RowBox[{
    RowBox[{
     RowBox[{"Gamma", "[", 
      RowBox[{
       RowBox[{"n", "/", "2"}], "+", "1"}], "]"}], "^", 
     RowBox[{"(", 
      RowBox[{"1", "/", "n"}], ")"}]}], "/", 
    RowBox[{"Sqrt", "[", "Pi", "]"}]}], " ", "detRoot"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "2b6d0888-3930-4d1a-b9a9-f86910c89598"],
 "; the Approx-SVP bound is ",
 Cell[BoxData[
  RowBox[{"n", " ", "detRoot"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "3406eeb8-865f-4bd0-900a-7f7cf1154f48"],
 ". Both are transcribed from the two formula images the challenge site \
renders."
}], "Notes",ExpressionUUID->"84ec6673-ce20-4f52-9f41-78e12675c0a2"],

Cell[TextData[{
 "A submitted lattice vector qualifies for a board when its Euclidean norm is \
strictly below the bound, or when it is the first vector submitted in \
dimension ",
 StyleBox["n", "TI"],
 "."
}], "Notes",ExpressionUUID->"ff1044ce-6c16-467b-a5b4-bdea2f205e3a"],

Cell[TextData[{
 StyleBox["detRoot", "TI"],
 " is (det ",
 StyleBox["L", "TI"],
 ")^(1/",
 StyleBox["n", "TI"],
 "); for the shipped instances det ",
 StyleBox["L", "TI"],
 " equals the first basis entry."
}], "Notes",ExpressionUUID->"166af5e8-db80-4b6d-9d11-c17a64b09301"]
}, Closed]],

Cell["", "PageDelimiter",ExpressionUUID->"fbbb349f-877e-4ea9-93b2-c0d3fe0ca6f1"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[
     MatchQ[
      CurrentValue[
       EvaluationNotebook[], {
       TaggingRules, "Openers", "PrimaryExamplesSection"}, Open], 
      Alternatives[True, Open]], 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
   ImageSizeCache->{
    13.600000000000001`, {4.251494140625001, 9.348505859375}}]],
  ExpressionUUID->"4e606a12-2bf0-41c0-ba59-d6f856e92f94"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"f768cd54-100d-4e8a-bd0d-02575ae248b8"],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount",ExpressionUUID->
  "64874b2d-c263-4167-947b-a986061179de"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1534987114,ExpressionUUID->"07f03125-cb4b-4214-af38-ca7574417c10"],

Cell[BoxData[
 RowBox[{"Needs", "[", "\"\<WolframInstitute`Puzzles`\>\"", "]"}]], "Input", \
"ExampleInitialization",
 CellLabel->"In[1]:=",
 CellID->1969679695,ExpressionUUID->"b44ef90e-cc8b-443e-b983-8ad95d1d6c55"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "045ed57d-5169-4c9e-8caf-d4d231b55fbb"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"d467ecb3-db09-4710-95fb-334e1b34171e"],
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount",ExpressionUUID->
  "6519de16-7694-4f89-b7b9-4eaaea41ad6e"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->807373587,ExpressionUUID->"85e44d0b-eb20-4cd4-b42d-d36694db0b33"],

Cell["\<\
The published dim-180 SVP record (norm 3536) clears its own SVP bound:\
\>", "ExampleText",ExpressionUUID->"e6fff391-1025-4df4-8249-974824c903b6"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"3536", " ", "<", " ", 
  RowBox[{"IdealLatticeThreshold", "[", 
   RowBox[{"180", ",", " ", "1021.9042404015961", ",", " ", "\"\<SVP\>\""}], 
   "]"}]}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"19b958ab-9bf8-41b5-bc02-dbed4ea6cdd6"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"c61132fe-723d-4603-bb59-dd472cc3e22e"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedFunction.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"See", " ", "Also"}], "SeeAlsoSection"]},
      {Cell[TextData[{
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["IdealLatticeReduce"]], 
           "paclet:WolframInstitute/Puzzles/ref/IdealLatticeReduce", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "b93ace29-45ea-4a12-afd9-68c168189284"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["LatticeReduce"]], "paclet:ref/LatticeReduce"},
          "RefLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "126b007c-65dc-4382-8b16-a6fb379ad399"]
       }], "SeeAlso",ExpressionUUID->"3c025922-9ce4-4795-911e-2eb4f7696bea"]}
     }]}
  }]], "SeeAlsoSection",ExpressionUUID->"8d22aed1-9f1f-444e-a896-\
1fc580ca0a74"],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedGuide.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"Related", " ", "Guides"}], "MoreAboutSection"]},
      {
       RowBox[{"\[FilledVerySmallSquare]", Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["Search"]], 
           "paclet:WolframInstitute/Puzzles/guide/Search"},
          "RefLinkPlain",
          BaseStyle->{"MoreAbout"}]], "MoreAbout",ExpressionUUID->
         "dabf1323-8eaa-4e54-a4d5-10cf85ed7b27"]}]}
     }]}
  }]], "MoreAboutSection",ExpressionUUID->"f86e40db-4d4a-4ece-9337-\
6d3e9072e3e1"],

Cell[" ", "FooterCell",ExpressionUUID->"4ea08eb8-338c-4067-b988-80b7b689212d"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{900, 830},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
WindowTitle->"IdealLatticeThreshold",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "", "LinkTrails" -> "", 
  "ExampleCounter" -> 1, 
  "Openers" -> {
   "PrimaryExamplesSection" -> Open, "ExampleSection" -> {"0" -> Open}, 
    "AllOptsTable" -> Closed}, "NewStyles" -> True, 
  "CitationPopupData" -> $Failed, "ShowCitation" -> False, "HasOptions" -> 
  True, "RootCaptions" -> "", "HeaderCoreAreaLink" -> {}, 
  "Metadata" -> {
   "built" -> "{2026, 8, 27, 0, 11, 42.020828}", 
    "history" -> {"XX", "", "", ""}, "context" -> "WolframInstitute`Puzzles`",
     "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Wolfram Institute/ Puzzles Symbol", "language" -> "en", "paclet" -> 
    "WolframInstitute/Puzzles", "status" -> "None", "summary" -> 
    "PackageLink[IdealLatticeThreshold, paclet : \
WolframInstitute/Puzzles/ref/IdealLatticeThreshold, WolframInstitute/Puzzles \
Package Symbol][n, detRoot, SVP] gives the TU Darmstadt ideal-lattice SVP \
hall-of-fame acceptance bound in dimension n for a lattice whose (det \
L)^(1/n) is detRoot. PackageLink[IdealLatticeThreshold, paclet : \
WolframInstitute/Puzzles/ref/IdealLatticeThreshold, WolframInstitute/Puzzles \
Package Symbol][n, detRoot, ApproxSVP] gives the looser Approx-SVP bound.", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "IdealLatticeThreshold", 
    "titlemodifier" -> "", "metadescription" -> "", "windowtitle" -> 
    "IdealLatticeThreshold", "type" -> "Symbol", "uri" -> 
    "WolframInstitute/Puzzles/ref/IdealLatticeThreshold", 
    "WorkflowDockedCell" -> ""}, "SearchTextTranslated" -> ""},
CellContext->CellGroup,
FrontEndVersion->"15.0 for Mac OS X ARM (64-bit) (May 19, 2026)",
StyleDefinitions->FrontEnd`FileName[{"Wolfram"}, "Reference.nb"],
ExpressionUUID->"64181baa-e220-42a1-ada2-3ac09eeb876f"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[589, 21, 5539, 137, 70, "AnchorBarGrid",ExpressionUUID->"6d3bf34f-5365-4aa1-a763-eee4b9b67399",
 CellID->1],
Cell[6131, 160, 107, 0, 70, "ContextNameCell",ExpressionUUID->"820fbde5-5791-45bb-8d84-db8d841a7105"],
Cell[CellGroupData[{
Cell[6263, 164, 564, 14, 70, "ObjectNameGrid",ExpressionUUID->"8f6f6119-841a-493b-8f76-23c505a59995"],
Cell[6830, 180, 1927, 55, 70, "Usage",ExpressionUUID->"46cdc37d-cdff-4f8e-a190-7af89cc56e74"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8794, 240, 1444, 34, 70, "NotesSection",ExpressionUUID->"1b6b5ed6-eebb-41da-8a01-6f9971a8b840",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1126667359],
Cell[10241, 276, 829, 23, 70, "Notes",ExpressionUUID->"84ec6673-ce20-4f52-9f41-78e12675c0a2"],
Cell[11073, 301, 275, 6, 70, "Notes",ExpressionUUID->"ff1044ce-6c16-467b-a5b4-bdea2f205e3a"],
Cell[11351, 309, 273, 9, 70, "Notes",ExpressionUUID->"166af5e8-db80-4b6d-9d11-c17a64b09301"]
}, Closed]],
Cell[11639, 321, 80, 0, 70, "PageDelimiter",ExpressionUUID->"fbbb349f-877e-4ea9-93b2-c0d3fe0ca6f1"],
Cell[CellGroupData[{
Cell[11744, 325, 1401, 37, 70, "PrimaryExamplesSection",ExpressionUUID->"07f03125-cb4b-4214-af38-ca7574417c10",
 CellID->1534987114],
Cell[13148, 364, 216, 4, 70, "Input",ExpressionUUID->"b44ef90e-cc8b-443e-b983-8ad95d1d6c55",
 CellID->1969679695],
Cell[CellGroupData[{
Cell[13389, 372, 1235, 31, 70, "ExampleSection",ExpressionUUID->"85e44d0b-eb20-4cd4-b42d-d36694db0b33",
 CellID->807373587],
Cell[14627, 405, 156, 2, 70, "ExampleText",ExpressionUUID->"e6fff391-1025-4df4-8249-974824c903b6"],
Cell[CellGroupData[{
Cell[14808, 411, 314, 6, 70, "Input",ExpressionUUID->"19b958ab-9bf8-41b5-bc02-dbed4ea6cdd6"],
Cell[15125, 419, 110, 1, 70, "Output",ExpressionUUID->"c61132fe-723d-4603-bb59-dd472cc3e22e"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[15274, 425, 1333, 35, 70, "SeeAlsoSection",ExpressionUUID->"8d22aed1-9f1f-444e-a896-1fc580ca0a74"],
Cell[16610, 462, 692, 19, 70, "MoreAboutSection",ExpressionUUID->"f86e40db-4d4a-4ece-9337-6d3e9072e3e1"],
Cell[17305, 483, 78, 0, 70, "FooterCell",ExpressionUUID->"4ea08eb8-338c-4067-b988-80b7b689212d"]
}
]
*)

(* End of internal cache information *)

