(***********************************************************************

                    Mathematica-Compatible Notebook

This notebook can be used on any computer system with Mathematica 4.0,
MathReader 4.0, or any compatible application. The data for the notebook 
starts with the line containing stars above.

To get the notebook into a Mathematica-compatible application, do one of 
the following:

* Save the data starting with the line of stars above into a file
  with a name ending in .nb, then open the file inside the application;

* Copy the data starting with the line of stars above to the
  clipboard, then use the Paste menu command inside the application.

Data for notebooks contains only printable 7-bit ASCII and can be
sent directly in email or through ftp in text mode.  Newlines can be
CR, LF or CRLF (Unix, Macintosh or MS-DOS style).

NOTE: If you modify the data for this notebook not in a Mathematica-
compatible application, you must delete the line below containing the 
word CacheID, otherwise Mathematica-compatible applications may try to 
use invalid cache data.

For more information on notebooks and Mathematica-compatible 
applications, contact Wolfram Research:
  web: http://www.wolfram.com
  email: info@wolfram.com
  phone: +1-217-398-0700 (U.S.)

Notebook reader applications are available free of charge from 
Wolfram Research.
***********************************************************************)

(*CacheID: 232*)


(*NotebookFileLineBreakTest
NotebookFileLineBreakTest*)
(*NotebookOptionsPosition[     49538,       1456]*)
(*NotebookOutlinePosition[     67453,       1860]*)
(*  CellTagsIndexPosition[     65745,       1809]*)
(*WindowFrame->Normal*)



Notebook[{
Cell[TextData[{
  "A.15 Experimental Context Objects in ",
  StyleBox["Mathematica", "SBO"],
  " 4"
}], "Section",
  CellTags->{"SA.15.0", "0.1"}],

Cell["A.15.1 Introduction", "Subsection",
  CellTags->{"SA.15.1", "1.1"}],

Cell[TextData[{
  "The objects listed below are experimental in ",
  StyleBox["Mathematica", "TI"],
  " Version 4, and are subject to change in subsequent versions of ",
  StyleBox["Mathematica", "TI"],
  ".  "
}], "Text",
  CellTags->{"SA.15.1", "1.2"}],

Cell[BoxData[
    FormBox[
      StyleBox[
        FrameBox[
          StyleBox[GridBox[{
                {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Experimental`\\\\\\\"\\\",\
 \\\"MR\\\"]\\)\\!\\(\\*StyleBox[\\\"\\\\\\\"name\\\\\\\"\\\", \\\"TI\\\"]\\) \
\"\>", "\<\"access a specific object in the \
\\!\\(\\*StyleBox[\\\"\\\\\\\"Experimental`\\\\\\\"\\\", \\\"MR\\\"]\\) \
context \"\>"},
                {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"<<Experimental`\\\\\\\"\\\
\", \\\"MR\\\"]\\) \"\>", "\<\"set up to be able to access all \
\\!\\(\\*StyleBox[\\\"\\\\\\\"Experimental`\\\\\\\"\\\", \\\"MR\\\"]\\) \
objects by name \"\>"}
                },
              ColumnAlignments->{Right, Left}],
            GridBoxOptions->{RowLines->False}]],
        "2ColumnBox"], TraditionalForm]], "Text",
  CellTags->{"SA.15.1", "1.3"}],

Cell[TextData[{
  "Ways to access functions in the ",
  StyleBox["Experimental`", "MR"],
  " context. "
}], "Caption",
  CellTags->"SA.15.1"],

Cell[TextData[{
  "Note that ",
  StyleBox["<<Experimental`", "MR"],
  " adds the ",
  StyleBox["Experimental`", "MR"],
  " context to your ",
  StyleBox["$ContextPath", "MR"],
  ". You can remove it again by explicitly modifying the value of ",
  StyleBox["$ContextPath", "MR"],
  ". You can set up to access ",
  StyleBox["Experimental`", "MR"],
  " context objects automatically in all ",
  StyleBox["Mathematica", "TI"],
  " sessions by adding ",
  StyleBox["<<Experimental`", "MR"],
  " to your ",
  StyleBox["init.m", "MR"],
  " file. "
}], "Text",
  CellTags->{"SA.15.1", "1.4"}],

Cell[BoxData[
    FormBox[
      StyleBox[
        FrameBox[
          StyleBox[GridBox[{
                {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"<<RealTime3D`\\\\\\\"\\\",\
 \\\"MR\\\"]\\) \"\>", "\<\"set up real\[Hyphen]time 3D graphics in the \
notebook front end \"\>"},
                {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"<<Default3D`\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", "\<\"revert to using default 3D graphics rendering \
\"\>"}
                },
              ColumnAlignments->{Right, Left}],
            GridBoxOptions->{RowLines->False}]],
        "2ColumnBox"], TraditionalForm]], "Text",
  CellTags->{"SA.15.1", "1.5"}],

Cell["An experimental feature available on many computer systems. ", "Caption",
  CellTags->"SA.15.1"],

Cell["Experimental`BinaryExport", "ObjectName",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["BinaryExport[", "MR"],
  StyleBox["channel", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["expr", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["format", "TI"],
  StyleBox["]", "MR"],
  " exports ",
  StyleBox["expr", "TI"],
  " to ",
  StyleBox["channel", "TI"],
  " as binary data in the specified format. "
}], "Usage",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],

Cell["\<\
\[FilledSmallSquare] The basic elements that can appear in the \
format specification are: \
\>", "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],

Cell[BoxData[
    FormBox[GridBox[{
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Byte\\\\\\\\\\\\\
\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit unsigned integer \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Character8\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit character \"\
\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Character16\\\\\
\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\[Hyphen]bit character \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Complex64\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
single\[Hyphen]precision complex number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Complex128\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
double\[Hyphen]precision complex number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer8\\\\\\\\\
\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit signed integer \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer16\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer32\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"32\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer64\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"64\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real32\\\\\\\\\\\
\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE single\[Hyphen]precision \
real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real64\\\\\\\\\\\
\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE double\[Hyphen]precision \
real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real128\\\\\\\\\
\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
quadruple\[Hyphen]precision real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
TerminatedString\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"null\
\[Hyphen]terminated string of 8\[Hyphen]bit characters \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger8\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger16\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger32\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"32\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger64\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"64\
\[Hyphen]bit unsigned integer \"\>"}
          },
        ColumnAlignments->{Left}], TraditionalForm]], "2ColumnTable",
  CellTags->"Experimental`BinaryExport"],

Cell[TextData[{
  "\[FilledSmallSquare] These elements can be combined in lists or other \
expressions. \n\[FilledSmallSquare] The pattern ",
  StyleBox["format", "TI"],
  StyleBox["..", "MR"],
  " represents a sequence of one or more copies of a format. \n\
\[FilledSmallSquare] Example: ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["\"Byte\"..", "MR"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  " represents a list of one or more bytes. \n\[FilledSmallSquare] ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["\"Integer32\",", "MR"],
  " ",
  StyleBox["\"Real32\"", "MR"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["..", "MR"],
  " represents a list of one or more repetitions of a 32\[Hyphen]bit integer \
followed by a single\[Hyphen]precision real. \n\[FilledSmallSquare] The \
expressions ",
  StyleBox["format", "TI"],
  " and ",
  StyleBox["expr", "TI"],
  " are assumed to have the same structure, except for the replacement of ",
  StyleBox["patt", "TI"],
  StyleBox["..", "MR"],
  " by explicit sequences. \n\[FilledSmallSquare] Elements are sent as \
exported data in the order that they would be accessed by a function such as \
",
  StyleBox["MapAll", "MR"],
  ". \n\[FilledSmallSquare] ",
  StyleBox["BinaryExport", "MR"],
  " coerces data to correspond to the format specifications given. \n\
\[FilledSmallSquare] Integers that do not fit have their high\[Hyphen]order \
bits dropped. \n\[FilledSmallSquare] The channel used in ",
  StyleBox["BinaryExport", "MR"],
  " can be a file specified by its name, a pipe or an ",
  StyleBox["OutputStream", "MR"],
  ". \n\[FilledSmallSquare] Under Microsoft Windows, the output stream must \
have been opened with ",
  StyleBox["DOSTextFormat->False", "MR"],
  ". \n\[FilledSmallSquare] When ",
  StyleBox["BinaryExport", "MR"],
  " exports data to an output stream, it leaves the stream position directly \
after what it has exported. \n\[FilledSmallSquare] If ",
  StyleBox["BinaryExport", "MR"],
  " opens a file or pipe, it closes it again when it is finished. \n\
\[FilledSmallSquare] The following options can be given: "
}], "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],

Cell[BoxData[
    FormBox[GridBox[{
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ByteOrdering\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", \
"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Automatic\\\\\\\"\\\", \\\"MR\\\"]\\) \
\"\>", "\<\"what byte ordering to assume \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"CharacterEncoding\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", \
"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Automatic\\\\\\\"\\\", \\\"MR\\\"]\\) \
\"\>", "\<\"what encoding to use for characters \"\>"}
          },
        ColumnAlignments->{Left}], TraditionalForm]], "3ColumnTable",
  CellTags->"Experimental`BinaryExport"],

Cell[TextData[{
  "\[FilledSmallSquare] See also: ",
  ButtonBox["BinaryImport",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["BinaryExportString",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Export",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["FromCharacterCode",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],

Cell["Experimental`BinaryExportString", "ObjectName",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["BinaryExportString[", "MR"],
  StyleBox["expr", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["format", "TI"],
  StyleBox["]", "MR"],
  " returns a string corresponding to ",
  StyleBox["expr", "TI"],
  " exported as binary data. "
}], "Usage",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],

Cell[TextData[{
  "\[FilledSmallSquare] See notes for ",
  StyleBox["BinaryExport", "MR"],
  ". "
}], "Notes",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],

Cell["Experimental`BinaryImport", "ObjectName",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["BinaryImport[", "MR"],
  StyleBox["channel", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["format", "TI"],
  StyleBox["]", "MR"],
  " imports binary data from ",
  StyleBox["channel", "TI"],
  " in the specified format. "
}], "Usage",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],

Cell["\<\
\[FilledSmallSquare] The basic elements that can appear in the \
format specification are: \
\>", "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],

Cell[BoxData[
    FormBox[GridBox[{
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Byte\\\\\\\\\\\\\
\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit unsigned integer \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Character8\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit character \"\
\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Character16\\\\\
\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\[Hyphen]bit character \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Complex64\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
single\[Hyphen]precision complex number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Complex128\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
double\[Hyphen]precision complex number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer8\\\\\\\\\
\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\[Hyphen]bit signed integer \
\"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer16\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer32\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"32\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Integer64\\\\\\\
\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"64\[Hyphen]bit signed \
integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real32\\\\\\\\\\\
\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE single\[Hyphen]precision \
real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real64\\\\\\\\\\\
\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE double\[Hyphen]precision \
real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"Real128\\\\\\\\\
\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"IEEE \
quadruple\[Hyphen]precision real number \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
TerminatedString\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"null\
\[Hyphen]terminated string of 8\[Hyphen]bit characters \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger8\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"8\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger16\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"16\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger32\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"32\
\[Hyphen]bit unsigned integer \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"\\\\\\\\\\\\\\\"\
UnsignedInteger64\\\\\\\\\\\\\\\"\\\\\\\"\\\", \\\"MR\\\"]\\) \"\>", "\<\"64\
\[Hyphen]bit unsigned integer \"\>"}
          },
        ColumnAlignments->{Left}], TraditionalForm]], "2ColumnTable",
  CellTags->"Experimental`BinaryImport"],

Cell[TextData[{
  "\[FilledSmallSquare] These elements can be combined in lists or other \
expressions. \n\[FilledSmallSquare] The pattern ",
  StyleBox["format", "TI"],
  StyleBox["..", "MR"],
  " represents a sequence of one or more copies of a format. \n\
\[FilledSmallSquare] Example: ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["\"Byte\"..", "MR"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  " represents a list of one or more bytes. \n\[FilledSmallSquare] ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["\"Integer32\",", "MR"],
  " ",
  StyleBox["\"Real32\"", "MR"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["..", "MR"],
  " represents a list of one or more repetitions of a 32\[Hyphen]bit integer \
followed by a single\[Hyphen]precision real. \n\[FilledSmallSquare] ",
  StyleBox["BinaryImport", "MR"],
  " returns an object in which each element of the format specification has \
been replaced by imported data. \n\[FilledSmallSquare] Numerical elements are \
returned as ",
  StyleBox["Mathematica", "TI"],
  " numbers; character and string elements are returned as ",
  StyleBox["Mathematica", "TI"],
  " strings. \n\[FilledSmallSquare] Elements in a format specification are \
filled from imported data in the order that they would be accessed by a \
function such as ",
  StyleBox["MapAll", "MR"],
  ". \n\[FilledSmallSquare] The channel used in ",
  StyleBox["BinaryImport", "MR"],
  " can be a file specified by its name, a pipe or an ",
  StyleBox["InputStream", "MR"],
  ". \n\[FilledSmallSquare] Under Microsoft Windows, the input stream must \
have been opened with ",
  StyleBox["DOSTextFormat->False", "MR"],
  ". \n\[FilledSmallSquare] When ",
  StyleBox["BinaryImport", "MR"],
  " imports data from an input stream, it leaves the stream position directly \
after what it has imported. \n\[FilledSmallSquare] If ",
  StyleBox["BinaryImport", "MR"],
  " opens a file or pipe, it closes it again when it is finished. \n\
\[FilledSmallSquare] The following options can be given: "
}], "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],

Cell[BoxData[
    FormBox[GridBox[{
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ByteOrdering\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", \
"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Automatic\\\\\\\"\\\", \\\"MR\\\"]\\) \
\"\>", "\<\"what byte ordering to assume \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"CharacterEncoding\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", \
"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Automatic\\\\\\\"\\\", \\\"MR\\\"]\\) \
\"\>", "\<\"what encoding to use for characters \"\>"},
          {"\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Path\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", "\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"$Path\\\\\\\"\\\", \
\\\"MR\\\"]\\) \"\>", "\<\"the path to search for files \"\>"}
          },
        ColumnAlignments->{Left}], TraditionalForm]], "3ColumnTable",
  CellTags->"Experimental`BinaryImport"],

Cell[TextData[{
  "\[FilledSmallSquare] See also: ",
  ButtonBox["BinaryExport",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["BinaryImportString",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Import",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ToCharacterCode",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],

Cell["Experimental`BinaryImportString", "ObjectName",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["BinaryImportString[\"", "MR"],
  StyleBox["string", "TI"],
  StyleBox["\",", "MR"],
  " ",
  StyleBox["format", "TI"],
  StyleBox["]", "MR"],
  " imports binary data from a string in the specified format. "
}], "Usage",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],

Cell[TextData[{
  "\[FilledSmallSquare] See notes for ",
  StyleBox["BinaryImport", "MR"],
  ". "
}], "Notes",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],

Cell["Experimental`CholeskyDecomposition", "ObjectName",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["CholeskyDecomposition[", "MR"],
  StyleBox["m", "TI"],
  StyleBox["]", "MR"],
  " computes the Cholesky decomposition of a matrix ",
  StyleBox["m", "TI"],
  ".  "
}], "Usage",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["CholeskyDecomposition[", "MR"],
  StyleBox["m", "TI"],
  StyleBox["]", "MR"],
  " returns a list of the form ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["lmat", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["perm", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["diag", "TI"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  ", where ",
  StyleBox["lmat", "TI"],
  " is a lower\[Hyphen]triangular matrix, ",
  StyleBox["perm", "TI"],
  " is a permutation vector and ",
  StyleBox["diag", "TI"],
  " is a vector corresponding to the leading diagonal of a matrix. \n\
\[FilledSmallSquare] When ",
  StyleBox["perm", "TI"],
  " is the identity permutation and ",
  StyleBox["diag", "TI"],
  " is a zero vector, then ",
  StyleBox["lmat", "TI"],
  " ",
  StyleBox[".", "MR"],
  " ",
  StyleBox["Transpose[", "MR"],
  StyleBox["lmat", "TI"],
  StyleBox["]", "MR"],
  " is exactly the original matrix ",
  StyleBox["m", "TI"],
  ". \n\[FilledSmallSquare] In general, ",
  StyleBox["lmat", "TI"],
  " ",
  StyleBox[".", "MR"],
  " ",
  StyleBox["Transpose[", "MR"],
  StyleBox["lmat", "TI"],
  StyleBox["]", "MR"],
  " is given by ",
  StyleBox["Transpose[", "MR"],
  StyleBox["p", "TI"],
  StyleBox["]", "MR"],
  " ",
  StyleBox[".", "MR"],
  " ",
  StyleBox["m", "TI"],
  " ",
  StyleBox[".", "MR"],
  " ",
  StyleBox["p", "TI"],
  " ",
  StyleBox["+", "MR"],
  " ",
  StyleBox["DiagonalMatrix[", "MR"],
  StyleBox["diag", "TI"],
  StyleBox["]", "MR"],
  " where ",
  StyleBox["p", "TI"],
  " ",
  StyleBox["=", "MR"],
  " ",
  StyleBox["IdentityMatrix[Length[", "MR"],
  StyleBox["perm", "TI"],
  StyleBox["]][[", "MR"],
  StyleBox["perm", "TI"],
  StyleBox["]]", "MR"],
  ". \n\[FilledSmallSquare] ",
  StyleBox["CholeskyDecomposition", "MR"],
  " works with both numerical and symbolic square matrices. \n\
\[FilledSmallSquare] ",
  StyleBox["CholeskyDecomposition", "MR"],
  " regularizes all Hermitian numerical matrices to make them positive \
definite Hermitian. \n\[FilledSmallSquare] See also: ",
  ButtonBox["LUDecomposition",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["LUBackSubstitution",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["LinearSolve",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],

Cell["Experimental`CompileEvaluate", "ObjectName",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["CompileEvaluate[", "MR"],
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " compiles ",
  StyleBox["expr", "TI"],
  " and then evaluates the resulting compiled code. "
}], "Usage",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["CompileEvaluate[", "MR"],
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " always evaluates to the same result as ",
  StyleBox["expr", "TI"],
  " alone, but is faster for certain types of expressions, particularly ones \
representing large numerical computations. \n\[FilledSmallSquare] See also: \
",
  ButtonBox["Compile",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],

Cell["Experimental`CylindricalAlgebraicDecomposition", "ObjectName",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["CylindricalAlgebraicDecomposition[", "MR"],
  StyleBox["ineqs", "TI"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " \[Ellipsis] ",
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["]", "MR"],
  " finds a decomposition of the region represented by the inequalities ",
  StyleBox["ineqs", "TI"],
  " into cylindrical parts whose directions correspond to the successive ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "i"], TraditionalForm]], "InlineFormula"],
  ".   "
}], "Usage",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],

Cell[TextData[{
  "\[FilledSmallSquare] Example: ",
  StyleBox["Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1, ", 
    "MR"],
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  StyleBox["x, y", "MR"],
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["]\[LongRightArrow]", "MR"],
  Cell[BoxData[
      \(\(-1\) < x < 1 && \(-\@\(1 - x\^2\)\) < y < \@\(1 - x\^2\)\)], 
    "InlineOutput"],
  ". \n\[FilledSmallSquare] ",
  StyleBox["CylindricalAlgebraicDecomposition", "MR"],
  " assumes that all variables are real. \n\[FilledSmallSquare] Lists or \
logical combinations of inequalities can be given. \n\[FilledSmallSquare] ",
  StyleBox["CylindricalAlgebraicDecomposition", "MR"],
  " returns inequalities whose bounds in general involve algebraic functions. \
\n\[FilledSmallSquare] The algorithms of ",
  StyleBox["CylindricalAlgebraicDecomposition", "MR"],
  " are used automatically inside ",
  StyleBox["FullSimplify", "MR"],
  " and ",
  StyleBox["Resolve", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["ExistsRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ForAllRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ImpliesRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Resolve",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Minimize",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],

Cell["Experimental`ExistsRealQ", "ObjectName",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ExistsRealQ[", "MR"],
  StyleBox["ineqs", "TI"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " \[Ellipsis] ",
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["]", "MR"],
  " tests whether there exist real values of the ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "i"], TraditionalForm]], "InlineFormula"],
  " for which the inequalities and equations ",
  StyleBox["ineqs", "TI"],
  " are satisfied. "
}], "Usage",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] See also: ",
  ButtonBox["ForAllRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ImpliesRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["InequalityInstance",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Eliminate",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["CylindricalAlgebraicDecomposition",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],

Cell["Experimental`ExtendedLinearSolve", "ObjectName",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ExtendedLinearSolve[", "MR"],
  StyleBox["m", "TI"],
  StyleBox["]", "MR"],
  " is an extended version of ",
  StyleBox["LinearSolve[", "MR"],
  StyleBox["m", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["v", "TI"],
  StyleBox["]", "MR"],
  " which supports the one\[Hyphen]argument form ",
  StyleBox["ExtendedLinearSolve[", "MR"],
  StyleBox["m", "TI"],
  StyleBox["]", "MR"],
  ". This one\[Hyphen]argument form yields a ",
  StyleBox["LinearSolveFunction", "MR"],
  " object which when applied to a vector ",
  StyleBox["v", "TI"],
  " gives the same result as ",
  StyleBox["LinearSolve[", "MR"],
  StyleBox["m", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["v", "TI"],
  StyleBox["]", "MR"],
  ". "
}], "Usage",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ExtendedLinearSolve", "MR"],
  " is particularly efficient when repeated solutions are needed for several \
different vectors ",
  StyleBox["v", "TI"],
  ". \n\[FilledSmallSquare] The matrix ",
  StyleBox["m", "TI"],
  " can be given in the sparse form used by ",
  StyleBox["Developer`SparseLinearSolve", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["LinearSolve",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Inverse",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["LUDecomposition",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["SparseLinearSolve",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],

Cell["Experimental`ExtendedLUBackSubstitution", "ObjectName",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ExtendedLUBackSubstitution[", "MR"],
  StyleBox["data", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["b", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["f", "TI"],
  StyleBox["]", "MR"],
  " is an extended version of ",
  StyleBox["LUBackSubstitution[", "MR"],
  StyleBox["data", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["b", "TI"],
  StyleBox["]", "MR"],
  " which allows the function ",
  StyleBox["f", "TI"],
  " to be effectively applied to the original matrix. \n\[FilledSmallSquare] \
The possible values for ",
  StyleBox["f", "TI"],
  " are ",
  StyleBox["Identity", "MR"],
  ", ",
  StyleBox["Transpose", "MR"],
  " and ",
  StyleBox["Conjugate", "MR"],
  ". "
}], "Usage",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],

Cell[TextData[{
  "\[FilledSmallSquare] The matrix ",
  StyleBox["m", "TI"],
  " can be given in the sparse form used by ",
  StyleBox["Developer`SparseLinearSolve", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["LUBackSubstitution",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["SparseLinearSolve",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],

Cell["Experimental`FileBrowse", "ObjectName",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["FileBrowse[", "MR"],
  " ",
  StyleBox["]", "MR"],
  " brings up a file browser to pick the name of a file. "
}], "Usage",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["FileBrowse", "MR"],
  " returns as a string the absolute name of the file picked. \n\
\[FilledSmallSquare] ",
  StyleBox["FileBrowse[\"", "MR"],
  StyleBox["name", "TI"],
  StyleBox["\"]", "MR"],
  " brings up a file browser with the specified default file name. \n\
\[FilledSmallSquare] ",
  StyleBox["FileBrowse[\"", "MR"],
  StyleBox["name", "TI"],
  StyleBox["\",", "MR"],
  " ",
  StyleBox["\"", "MR"],
  StyleBox["directory", "TI"],
  StyleBox["\"]", "MR"],
  " brings up a file browser starting in the specified directory. \n\
\[FilledSmallSquare] ",
  StyleBox["FileBrowse", "MR"],
  " can be used to find names of files for both reading and writing. \n\
\[FilledSmallSquare] ",
  StyleBox["FileBrowse", "MR"],
  " is intended primarily for use with local kernels. \n\[FilledSmallSquare] \
See also: ",
  ButtonBox["FileNames",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Get",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["Put",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],

Cell["Experimental`ForAllRealQ", "ObjectName",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ForAllRealQ[", "MR"],
  StyleBox["ineqs", "TI"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " \[Ellipsis] ",
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["]", "MR"],
  " tests whether for all real values of the ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "i"], TraditionalForm]], "InlineFormula"],
  " the inequalities and equations ",
  StyleBox["ineqs", "TI"],
  " are satisfied. "
}], "Usage",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] See also: ",
  ButtonBox["ExistsRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ImpliesRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["SolveAlways",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["CylindricalAlgebraicDecomposition",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],

Cell["Experimental`ImpliesQ", "ObjectName",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ImpliesQ[", "MR"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox["]", "MR"],
  " tests whether the expression ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  " implies ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  ". "
}], "Usage",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ImpliesQ", "MR"],
  " returns ",
  StyleBox["False", "MR"],
  " if it cannot determine whether ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  " implies ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  ", using any of its built\[Hyphen]in transformation rules. \n\
\[FilledSmallSquare] The related function ",
  StyleBox["Implies[", "MR"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox["]", "MR"],
  " remains unevaluated if it cannot immediately determine whether ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  " implies ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"expr\\\\\\\"\\\", \
\\\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["Implies",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ImpliesRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["FullSimplify",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],

Cell["Experimental`ImpliesRealQ", "ObjectName",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ImpliesRealQ[", "MR"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ineqs\\\\\\\"\\\", \\\
\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ineqs\\\\\\\"\\\", \\\
\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox["]", "MR"],
  " tests whether the inequalities and equations ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ineqs\\\\\\\"\\\", \\\
\"TI\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  " imply the ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"ineqs\\\\\\\"\\\", \\\
\"TI\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  " for all real values of all variables. "
}], "Usage",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],

Cell[TextData[{
  "\[FilledSmallSquare] See also: ",
  ButtonBox["ForAllRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ExistsRealQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["ImpliesQ",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["CylindricalAlgebraicDecomposition",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],

Cell["Experimental`Minimize", "ObjectName",
  CellTags->{"S1.1015", "Experimental`Minimize"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["Minimize[", "MR"],
  StyleBox["expr", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["cons", "TI"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      \(TraditionalForm\`{\)], "InlineFormula"],
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "1"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "2"], TraditionalForm]], "InlineFormula"],
  StyleBox[",", "MR"],
  " \[Ellipsis] ",
  Cell[BoxData[
      \(TraditionalForm\`}\)], "InlineFormula"],
  StyleBox["]", "MR"],
  " minimizes ",
  StyleBox["expr", "TI"],
  " with respect to the real variables ",
  Cell[BoxData[
      FormBox[
        SubscriptBox["\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"x\\\\\\\"\\\", \\\"TI\
\\\"]\\)\"\>", "i"], TraditionalForm]], "InlineFormula"],
  " subject to the constraints ",
  StyleBox["cons", "TI"],
  ". "
}], "Usage",
  CellTags->{"S1.1015", "Experimental`Minimize"}],

Cell[TextData[{
  "\[FilledSmallSquare] The constraints can involve both equations and \
inequalities. \n\[FilledSmallSquare] ",
  StyleBox["Minimize", "MR"],
  " returns both the minimum value and the position of the minimum, in the \
same form as ",
  StyleBox["ConstrainedMin", "MR"],
  " and ",
  StyleBox["FindMinimum", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["ConstrainedMin",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["FindMinimum",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["CylindricalAlgebraicDecomposition",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1015", "Experimental`Minimize"}],

Cell["Experimental`Resolve", "ObjectName",
  CellTags->{"S1.1016", "Experimental`Resolve"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["Resolve[", "MR"],
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " attempts to eliminate quantifiers in ",
  StyleBox["expr", "TI"],
  ". "
}], "Usage",
  CellTags->{"S1.1016", "Experimental`Resolve"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["Resolve", "MR"],
  " handles quantifiers of the form ",
  StyleBox["Exists[", "MR"],
  StyleBox["x", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["condition", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " and ",
  StyleBox["ForAll[", "MR"],
  StyleBox["x", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["condition", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  ". \n\[FilledSmallSquare] ",
  StyleBox["Exists[", "MR"],
  StyleBox["x", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["c", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " can be input in the form ",
  Cell[BoxData[
      RowBox[{
        SubscriptBox["\[Exists]", 
          RowBox[{
            StyleBox["x",
              "it"], ",", 
            StyleBox["c",
              "it"]}]], 
        StyleBox["expr",
          "it"]}]], "InlineFormula"],
  ". \n\[FilledSmallSquare] ",
  StyleBox["ForAll[", "MR"],
  StyleBox["x", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["c", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["expr", "TI"],
  StyleBox["]", "MR"],
  " can be input in the form ",
  Cell[BoxData[
      RowBox[{
        SubscriptBox["\[ForAll]", 
          RowBox[{
            StyleBox["x",
              "it"], ",", 
            StyleBox["c",
              "it"]}]], 
        StyleBox["expr",
          "it"]}]], "InlineFormula"],
  ". \n\[FilledSmallSquare] Lists of variables can be used in ",
  StyleBox["Exists", "MR"],
  " and ",
  StyleBox["ForAll", "MR"],
  ". \n\[FilledSmallSquare] The algorithms of ",
  StyleBox["Resolve", "MR"],
  " are used automatically inside ",
  StyleBox["FullSimplify", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["CylindricalAlgebraicDecomposition",
    ButtonStyle->"RefGuideLink"],
  ", ",
  ButtonBox["FullSimplify",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1016", "Experimental`Resolve"}],

Cell["Experimental`ValueFunction", "ObjectName",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["ValueFunction[", "MR"],
  StyleBox["symb", "TI"],
  StyleBox["]", "MR"],
  " represents a function to be applied whenever the symbol ",
  StyleBox["symb", "TI"],
  " gets a new value.  "
}], "Usage",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],

Cell[TextData[{
  "\[FilledSmallSquare] The assignment ",
  StyleBox["ValueFunction[", "MR"],
  StyleBox["symb", "TI"],
  StyleBox["]", "MR"],
  " ",
  StyleBox["=", "MR"],
  " ",
  StyleBox["f", "TI"],
  " specifies that whenever ",
  StyleBox["symb", "TI"],
  " gets a new value ",
  StyleBox["val", "TI"],
  ", the expression ",
  StyleBox["f", "TI"],
  StyleBox["[", "MR"],
  StyleBox["symb", "TI"],
  StyleBox[",", "MR"],
  " ",
  StyleBox["val", "TI"],
  StyleBox["]", "MR"],
  " should be evaluated. \n\[FilledSmallSquare] If the value of ",
  StyleBox["symb", "TI"],
  " is cleared, ",
  StyleBox["f", "TI"],
  StyleBox["[", "MR"],
  StyleBox["symb", "TI"],
  StyleBox["]", "MR"],
  " is evaluated. \n\[FilledSmallSquare] ",
  StyleBox["ValueFunction", "MR"],
  " takes account of all ways that the value of a symbol can be changed, not \
just ",
  StyleBox["Set", "MR"],
  ". \n\[FilledSmallSquare] See also: ",
  ButtonBox["Trace",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],

Cell["Experimental`$EqualTolerance", "ObjectName",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["$EqualTolerance", "MR"],
  " gives the number of decimal digits by which two numbers can disagree and \
still be considered equal according to ",
  StyleBox["Equal", "MR"],
  ". "
}], "Usage",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],

Cell[TextData[{
  "\[FilledSmallSquare] The default setting is equal to ",
  StyleBox["Log[10,", "MR"],
  " ",
  StyleBox["2^7]", "MR"],
  ", corresponding to a tolerance of 7 binary digits. \n\[FilledSmallSquare] \
See also: ",
  ButtonBox["$MachineEpsilon",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],

Cell["Experimental`$SameQTolerance", "ObjectName",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],

Cell[TextData[{
  "\[FilledSmallSquare] ",
  StyleBox["$SameQTolerance", "MR"],
  " gives the number of decimal digits by which two numbers can disagree and \
still be considered the same according to ",
  StyleBox["SameQ", "MR"],
  ". "
}], "Usage",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],

Cell[TextData[{
  "\[FilledSmallSquare] The default setting is equal to ",
  StyleBox["Log[10,", "MR"],
  " ",
  StyleBox["2]", "MR"],
  ", corresponding to a tolerance of one binary digit. \n\[FilledSmallSquare] \
See also: ",
  ButtonBox["$MachineEpsilon",
    ButtonStyle->"RefGuideLink"],
  ". \n\[FilledSmallSquare] Note: this is an experimental feature, and in \
future versions of ",
  StyleBox["Mathematica", "TI"],
  " it may not be supported, or may have a different specification."
}], "Notes",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}]
},
FrontEndVersion->"4.0 for X",
ScreenRectangle->{{0, 800}, {0, 600}},
WindowSize->{520, 455},
WindowMargins->{{140, Automatic}, {Automatic, 72}},
StyleDefinitions -> "HelpBrowser.nb"
]


(***********************************************************************
Cached data follows.  If you edit this Notebook file directly, not using
Mathematica, you must remove the line containing CacheID at the top of 
the file.  The cache data will then be recreated when you save this file 
from within Mathematica.
***********************************************************************)

(*CellTagsOutline
CellTagsIndex->{
  "SA.15.0"->{
    Cell[1717, 49, 146, 5, 70, "Section",
      CellTags->{"SA.15.0", "0.1"}]},
  "0.1"->{
    Cell[1717, 49, 146, 5, 70, "Section",
      CellTags->{"SA.15.0", "0.1"}]},
  "SA.15.1"->{
    Cell[1866, 56, 73, 1, 70, "Subsection",
      CellTags->{"SA.15.1", "1.1"}],
    Cell[1942, 59, 254, 7, 70, "Text",
      CellTags->{"SA.15.1", "1.2"}],
    Cell[2199, 68, 824, 18, 70, "Text",
      CellTags->{"SA.15.1", "1.3"}],
    Cell[3026, 88, 141, 5, 70, "Caption",
      CellTags->"SA.15.1"],
    Cell[3170, 95, 586, 19, 70, "Text",
      CellTags->{"SA.15.1", "1.4"}],
    Cell[3759, 116, 630, 15, 70, "Text",
      CellTags->{"SA.15.1", "1.5"}],
    Cell[4392, 133, 102, 1, 70, "Caption",
      CellTags->"SA.15.1"]},
  "1.1"->{
    Cell[1866, 56, 73, 1, 70, "Subsection",
      CellTags->{"SA.15.1", "1.1"}]},
  "1.2"->{
    Cell[1942, 59, 254, 7, 70, "Text",
      CellTags->{"SA.15.1", "1.2"}]},
  "1.3"->{
    Cell[2199, 68, 824, 18, 70, "Text",
      CellTags->{"SA.15.1", "1.3"}]},
  "1.4"->{
    Cell[3170, 95, 586, 19, 70, "Text",
      CellTags->{"SA.15.1", "1.4"}]},
  "1.5"->{
    Cell[3759, 116, 630, 15, 70, "Text",
      CellTags->{"SA.15.1", "1.5"}]},
  "S1.1001"->{
    Cell[4497, 136, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[4601, 139, 436, 17, 70, "Usage",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[5040, 158, 170, 4, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[8386, 221, 2275, 53, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[11281, 290, 596, 18, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}]},
  "Experimental`BinaryExport"->{
    Cell[4497, 136, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[4601, 139, 436, 17, 70, "Usage",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[5040, 158, 170, 4, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[5213, 164, 3170, 55, 70, "2ColumnTable",
      CellTags->"Experimental`BinaryExport"],
    Cell[8386, 221, 2275, 53, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}],
    Cell[10664, 276, 614, 12, 70, "3ColumnTable",
      CellTags->"Experimental`BinaryExport"],
    Cell[11281, 290, 596, 18, 70, "Notes",
      CellTags->{"S1.1001", "Experimental`BinaryExport"}]},
  "S1.1002"->{
    Cell[11880, 310, 113, 1, 70, "ObjectName",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
    Cell[11996, 313, 361, 12, 70, "Usage",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
    Cell[12360, 327, 170, 5, 70, "Notes",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}]},
  "Experimental`BinaryExportString"->{
    Cell[11880, 310, 113, 1, 70, "ObjectName",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
    Cell[11996, 313, 361, 12, 70, "Usage",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
    Cell[12360, 327, 170, 5, 70, "Notes",
      CellTags->{"S1.1002", "Experimental`BinaryExportString"}]},
  "S1.1003"->{
    Cell[12533, 334, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[12637, 337, 346, 12, 70, "Usage",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[12986, 351, 170, 4, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[16332, 414, 2192, 49, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[19352, 482, 594, 18, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}]},
  "Experimental`BinaryImport"->{
    Cell[12533, 334, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[12637, 337, 346, 12, 70, "Usage",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[12986, 351, 170, 4, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[13159, 357, 3170, 55, 70, "2ColumnTable",
      CellTags->"Experimental`BinaryImport"],
    Cell[16332, 414, 2192, 49, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}],
    Cell[18527, 465, 822, 15, 70, "3ColumnTable",
      CellTags->"Experimental`BinaryImport"],
    Cell[19352, 482, 594, 18, 70, "Notes",
      CellTags->{"S1.1003", "Experimental`BinaryImport"}]},
  "S1.1004"->{
    Cell[19949, 502, 113, 1, 70, "ObjectName",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
    Cell[20065, 505, 334, 10, 70, "Usage",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
    Cell[20402, 517, 170, 5, 70, "Notes",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}]},
  "Experimental`BinaryImportString"->{
    Cell[19949, 502, 113, 1, 70, "ObjectName",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
    Cell[20065, 505, 334, 10, 70, "Usage",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
    Cell[20402, 517, 170, 5, 70, "Notes",
      CellTags->{"S1.1004", "Experimental`BinaryImportString"}]},
  "S1.1005"->{
    Cell[20575, 524, 119, 1, 70, "ObjectName",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
    Cell[20697, 527, 294, 9, 70, "Usage",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
    Cell[20994, 538, 2598, 94, 70, "Notes",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}]},
  "Experimental`CholeskyDecomposition"->{
    Cell[20575, 524, 119, 1, 70, "ObjectName",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
    Cell[20697, 527, 294, 9, 70, "Usage",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
    Cell[20994, 538, 2598, 94, 70, "Notes",
      CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}]},
  "S1.1006"->{
    Cell[23595, 634, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
    Cell[23705, 637, 295, 9, 70, "Usage",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
    Cell[24003, 648, 688, 17, 70, "Notes",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}]},
  "Experimental`CompileEvaluate"->{
    Cell[23595, 634, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
    Cell[23705, 637, 295, 9, 70, "Usage",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
    Cell[24003, 648, 688, 17, 70, "Notes",
      CellTags->{"S1.1006", "Experimental`CompileEvaluate"}]},
  "S1.1007"->{
    Cell[24694, 667, 143, 1, 70, "ObjectName",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
    Cell[24840, 670, 1159, 32, 70, "Usage",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
    Cell[26002, 704, 1688, 45, 70, "Notes",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}]},
  "Experimental`CylindricalAlgebraicDecomposition"->{
    Cell[24694, 667, 143, 1, 70, "ObjectName",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
    Cell[24840, 670, 1159, 32, 70, "Usage",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
    Cell[26002, 704, 1688, 45, 70, "Notes",
      CellTags->{
      "S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}]},
  "S1.1008"->{
    Cell[27693, 751, 99, 1, 70, "ObjectName",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
    Cell[27795, 754, 1076, 32, 70, "Usage",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
    Cell[28874, 788, 683, 21, 70, "Notes",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}]},
  "Experimental`ExistsRealQ"->{
    Cell[27693, 751, 99, 1, 70, "ObjectName",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
    Cell[27795, 754, 1076, 32, 70, "Usage",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
    Cell[28874, 788, 683, 21, 70, "Notes",
      CellTags->{"S1.1008", "Experimental`ExistsRealQ"}]},
  "S1.1009"->{
    Cell[29560, 811, 115, 1, 70, "ObjectName",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
    Cell[29678, 814, 839, 29, 70, "Usage",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
    Cell[30520, 845, 956, 27, 70, "Notes",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}]},
  "Experimental`ExtendedLinearSolve"->{
    Cell[29560, 811, 115, 1, 70, "ObjectName",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
    Cell[29678, 814, 839, 29, 70, "Usage",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
    Cell[30520, 845, 956, 27, 70, "Notes",
      CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}]},
  "S1.1010"->{
    Cell[31479, 874, 129, 1, 70, "ObjectName",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
    Cell[31611, 877, 817, 31, 70, "Usage",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
    Cell[32431, 910, 637, 16, 70, "Notes",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}]},
  "Experimental`ExtendedLUBackSubstitution"->{
    Cell[31479, 874, 129, 1, 70, "ObjectName",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
    Cell[31611, 877, 817, 31, 70, "Usage",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
    Cell[32431, 910, 637, 16, 70, "Notes",
      CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}]},
  "S1.1011"->{
    Cell[33071, 928, 97, 1, 70, "ObjectName",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}],
    Cell[33171, 931, 229, 7, 70, "Usage",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}],
    Cell[33403, 940, 1311, 38, 70, "Notes",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}]},
  "Experimental`FileBrowse"->{
    Cell[33071, 928, 97, 1, 70, "ObjectName",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}],
    Cell[33171, 931, 229, 7, 70, "Usage",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}],
    Cell[33403, 940, 1311, 38, 70, "Notes",
      CellTags->{"S1.1011", "Experimental`FileBrowse"}]},
  "S1.1012"->{
    Cell[34717, 980, 99, 1, 70, "ObjectName",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
    Cell[34819, 983, 1062, 32, 70, "Usage",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
    Cell[35884, 1017, 609, 18, 70, "Notes",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}]},
  "Experimental`ForAllRealQ"->{
    Cell[34717, 980, 99, 1, 70, "ObjectName",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
    Cell[34819, 983, 1062, 32, 70, "Usage",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
    Cell[35884, 1017, 609, 18, 70, "Notes",
      CellTags->{"S1.1012", "Experimental`ForAllRealQ"}]},
  "S1.1013"->{
    Cell[36496, 1037, 93, 1, 70, "ObjectName",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
    Cell[36592, 1040, 931, 26, 70, "Usage",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
    Cell[37526, 1068, 1972, 53, 70, "Notes",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}]},
  "Experimental`ImpliesQ"->{
    Cell[36496, 1037, 93, 1, 70, "ObjectName",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
    Cell[36592, 1040, 931, 26, 70, "Usage",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
    Cell[37526, 1068, 1972, 53, 70, "Notes",
      CellTags->{"S1.1013", "Experimental`ImpliesQ"}]},
  "S1.1014"->{
    Cell[39501, 1123, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
    Cell[39605, 1126, 998, 26, 70, "Usage",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
    Cell[40606, 1154, 606, 18, 70, "Notes",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}]},
  "Experimental`ImpliesRealQ"->{
    Cell[39501, 1123, 101, 1, 70, "ObjectName",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
    Cell[39605, 1126, 998, 26, 70, "Usage",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
    Cell[40606, 1154, 606, 18, 70, "Notes",
      CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}]},
  "S1.1015"->{
    Cell[41215, 1174, 93, 1, 70, "ObjectName",
      CellTags->{"S1.1015", "Experimental`Minimize"}],
    Cell[41311, 1177, 1129, 37, 70, "Usage",
      CellTags->{"S1.1015", "Experimental`Minimize"}],
    Cell[42443, 1216, 859, 23, 70, "Notes",
      CellTags->{"S1.1015", "Experimental`Minimize"}]},
  "Experimental`Minimize"->{
    Cell[41215, 1174, 93, 1, 70, "ObjectName",
      CellTags->{"S1.1015", "Experimental`Minimize"}],
    Cell[41311, 1177, 1129, 37, 70, "Usage",
      CellTags->{"S1.1015", "Experimental`Minimize"}],
    Cell[42443, 1216, 859, 23, 70, "Notes",
      CellTags->{"S1.1015", "Experimental`Minimize"}]},
  "S1.1016"->{
    Cell[43305, 1241, 91, 1, 70, "ObjectName",
      CellTags->{"S1.1016", "Experimental`Resolve"}],
    Cell[43399, 1244, 260, 9, 70, "Usage",
      CellTags->{"S1.1016", "Experimental`Resolve"}],
    Cell[43662, 1255, 2240, 84, 70, "Notes",
      CellTags->{"S1.1016", "Experimental`Resolve"}]},
  "Experimental`Resolve"->{
    Cell[43305, 1241, 91, 1, 70, "ObjectName",
      CellTags->{"S1.1016", "Experimental`Resolve"}],
    Cell[43399, 1244, 260, 9, 70, "Usage",
      CellTags->{"S1.1016", "Experimental`Resolve"}],
    Cell[43662, 1255, 2240, 84, 70, "Notes",
      CellTags->{"S1.1016", "Experimental`Resolve"}]},
  "S1.1017"->{
    Cell[45905, 1341, 103, 1, 70, "ObjectName",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}],
    Cell[46011, 1344, 309, 9, 70, "Usage",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}],
    Cell[46323, 1355, 1243, 41, 70, "Notes",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}]},
  "Experimental`ValueFunction"->{
    Cell[45905, 1341, 103, 1, 70, "ObjectName",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}],
    Cell[46011, 1344, 309, 9, 70, "Usage",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}],
    Cell[46323, 1355, 1243, 41, 70, "Notes",
      CellTags->{"S1.1017", "Experimental`ValueFunction"}]},
  "S1.1018"->{
    Cell[47569, 1398, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
    Cell[47679, 1401, 304, 8, 70, "Usage",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
    Cell[47986, 1411, 563, 14, 70, "Notes",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}]},
  "Experimental`$EqualTolerance"->{
    Cell[47569, 1398, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
    Cell[47679, 1401, 304, 8, 70, "Usage",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
    Cell[47986, 1411, 563, 14, 70, "Notes",
      CellTags->{"S1.1018", "Experimental`$EqualTolerance"}]},
  "S1.1019"->{
    Cell[48552, 1427, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
    Cell[48662, 1430, 307, 8, 70, "Usage",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
    Cell[48972, 1440, 562, 14, 70, "Notes",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}]},
  "Experimental`$SameQTolerance"->{
    Cell[48552, 1427, 107, 1, 70, "ObjectName",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
    Cell[48662, 1430, 307, 8, 70, "Usage",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
    Cell[48972, 1440, 562, 14, 70, "Notes",
      CellTags->{"S1.1019", "Experimental`$SameQTolerance"}]}
  }
*)

(*CellTagsIndex
CellTagsIndex->{
  {"SA.15.0", 50163, 1473},
  {"0.1", 50254, 1476},
  {"SA.15.1", 50349, 1479},
  {"1.1", 50891, 1494},
  {"1.2", 50984, 1497},
  {"1.3", 51072, 1500},
  {"1.4", 51161, 1503},
  {"1.5", 51250, 1506},
  {"S1.1001", 51344, 1509},
  {"Experimental`BinaryExport", 51888, 1520},
  {"S1.1002", 52606, 1535},
  {"Experimental`BinaryExportString", 52973, 1542},
  {"S1.1003", 53316, 1549},
  {"Experimental`BinaryImport", 53864, 1560},
  {"S1.1004", 54587, 1575},
  {"Experimental`BinaryImportString", 54954, 1582},
  {"S1.1005", 55297, 1589},
  {"Experimental`CholeskyDecomposition", 55677, 1596},
  {"S1.1006", 56030, 1603},
  {"Experimental`CompileEvaluate", 56385, 1610},
  {"S1.1007", 56719, 1617},
  {"Experimental`CylindricalAlgebraicDecomposition", 57170, 1627},
  {"S1.1008", 57582, 1637},
  {"Experimental`ExistsRealQ", 57922, 1644},
  {"S1.1009", 58245, 1651},
  {"Experimental`ExtendedLinearSolve", 58617, 1658},
  {"S1.1010", 58964, 1665},
  {"Experimental`ExtendedLUBackSubstitution", 59364, 1672},
  {"S1.1011", 59732, 1679},
  {"Experimental`FileBrowse", 60067, 1686},
  {"S1.1012", 60386, 1693},
  {"Experimental`ForAllRealQ", 60727, 1700},
  {"S1.1013", 61051, 1707},
  {"Experimental`ImpliesQ", 61382, 1714},
  {"S1.1014", 61699, 1721},
  {"Experimental`ImpliesRealQ", 62046, 1728},
  {"S1.1015", 62375, 1735},
  {"Experimental`Minimize", 62706, 1742},
  {"S1.1016", 63023, 1749},
  {"Experimental`Resolve", 63349, 1756},
  {"S1.1017", 63662, 1763},
  {"Experimental`ValueFunction", 64013, 1770},
  {"S1.1018", 64345, 1777},
  {"Experimental`$EqualTolerance", 64703, 1784},
  {"S1.1019", 65040, 1791},
  {"Experimental`$SameQTolerance", 65398, 1798}
  }
*)

(*NotebookFileOutline
Notebook[{
Cell[1717, 49, 146, 5, 70, "Section",
  CellTags->{"SA.15.0", "0.1"}],
Cell[1866, 56, 73, 1, 70, "Subsection",
  CellTags->{"SA.15.1", "1.1"}],
Cell[1942, 59, 254, 7, 70, "Text",
  CellTags->{"SA.15.1", "1.2"}],
Cell[2199, 68, 824, 18, 70, "Text",
  CellTags->{"SA.15.1", "1.3"}],
Cell[3026, 88, 141, 5, 70, "Caption",
  CellTags->"SA.15.1"],
Cell[3170, 95, 586, 19, 70, "Text",
  CellTags->{"SA.15.1", "1.4"}],
Cell[3759, 116, 630, 15, 70, "Text",
  CellTags->{"SA.15.1", "1.5"}],
Cell[4392, 133, 102, 1, 70, "Caption",
  CellTags->"SA.15.1"],
Cell[4497, 136, 101, 1, 70, "ObjectName",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],
Cell[4601, 139, 436, 17, 70, "Usage",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],
Cell[5040, 158, 170, 4, 70, "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],
Cell[5213, 164, 3170, 55, 70, "2ColumnTable",
  CellTags->"Experimental`BinaryExport"],
Cell[8386, 221, 2275, 53, 70, "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],
Cell[10664, 276, 614, 12, 70, "3ColumnTable",
  CellTags->"Experimental`BinaryExport"],
Cell[11281, 290, 596, 18, 70, "Notes",
  CellTags->{"S1.1001", "Experimental`BinaryExport"}],
Cell[11880, 310, 113, 1, 70, "ObjectName",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
Cell[11996, 313, 361, 12, 70, "Usage",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
Cell[12360, 327, 170, 5, 70, "Notes",
  CellTags->{"S1.1002", "Experimental`BinaryExportString"}],
Cell[12533, 334, 101, 1, 70, "ObjectName",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],
Cell[12637, 337, 346, 12, 70, "Usage",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],
Cell[12986, 351, 170, 4, 70, "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],
Cell[13159, 357, 3170, 55, 70, "2ColumnTable",
  CellTags->"Experimental`BinaryImport"],
Cell[16332, 414, 2192, 49, 70, "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],
Cell[18527, 465, 822, 15, 70, "3ColumnTable",
  CellTags->"Experimental`BinaryImport"],
Cell[19352, 482, 594, 18, 70, "Notes",
  CellTags->{"S1.1003", "Experimental`BinaryImport"}],
Cell[19949, 502, 113, 1, 70, "ObjectName",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
Cell[20065, 505, 334, 10, 70, "Usage",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
Cell[20402, 517, 170, 5, 70, "Notes",
  CellTags->{"S1.1004", "Experimental`BinaryImportString"}],
Cell[20575, 524, 119, 1, 70, "ObjectName",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
Cell[20697, 527, 294, 9, 70, "Usage",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
Cell[20994, 538, 2598, 94, 70, "Notes",
  CellTags->{"S1.1005", "Experimental`CholeskyDecomposition"}],
Cell[23595, 634, 107, 1, 70, "ObjectName",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
Cell[23705, 637, 295, 9, 70, "Usage",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
Cell[24003, 648, 688, 17, 70, "Notes",
  CellTags->{"S1.1006", "Experimental`CompileEvaluate"}],
Cell[24694, 667, 143, 1, 70, "ObjectName",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
Cell[24840, 670, 1159, 32, 70, "Usage",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
Cell[26002, 704, 1688, 45, 70, "Notes",
  CellTags->{"S1.1007", "Experimental`CylindricalAlgebraicDecomposition"}],
Cell[27693, 751, 99, 1, 70, "ObjectName",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
Cell[27795, 754, 1076, 32, 70, "Usage",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
Cell[28874, 788, 683, 21, 70, "Notes",
  CellTags->{"S1.1008", "Experimental`ExistsRealQ"}],
Cell[29560, 811, 115, 1, 70, "ObjectName",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
Cell[29678, 814, 839, 29, 70, "Usage",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
Cell[30520, 845, 956, 27, 70, "Notes",
  CellTags->{"S1.1009", "Experimental`ExtendedLinearSolve"}],
Cell[31479, 874, 129, 1, 70, "ObjectName",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
Cell[31611, 877, 817, 31, 70, "Usage",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
Cell[32431, 910, 637, 16, 70, "Notes",
  CellTags->{"S1.1010", "Experimental`ExtendedLUBackSubstitution"}],
Cell[33071, 928, 97, 1, 70, "ObjectName",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],
Cell[33171, 931, 229, 7, 70, "Usage",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],
Cell[33403, 940, 1311, 38, 70, "Notes",
  CellTags->{"S1.1011", "Experimental`FileBrowse"}],
Cell[34717, 980, 99, 1, 70, "ObjectName",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
Cell[34819, 983, 1062, 32, 70, "Usage",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
Cell[35884, 1017, 609, 18, 70, "Notes",
  CellTags->{"S1.1012", "Experimental`ForAllRealQ"}],
Cell[36496, 1037, 93, 1, 70, "ObjectName",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
Cell[36592, 1040, 931, 26, 70, "Usage",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
Cell[37526, 1068, 1972, 53, 70, "Notes",
  CellTags->{"S1.1013", "Experimental`ImpliesQ"}],
Cell[39501, 1123, 101, 1, 70, "ObjectName",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
Cell[39605, 1126, 998, 26, 70, "Usage",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
Cell[40606, 1154, 606, 18, 70, "Notes",
  CellTags->{"S1.1014", "Experimental`ImpliesRealQ"}],
Cell[41215, 1174, 93, 1, 70, "ObjectName",
  CellTags->{"S1.1015", "Experimental`Minimize"}],
Cell[41311, 1177, 1129, 37, 70, "Usage",
  CellTags->{"S1.1015", "Experimental`Minimize"}],
Cell[42443, 1216, 859, 23, 70, "Notes",
  CellTags->{"S1.1015", "Experimental`Minimize"}],
Cell[43305, 1241, 91, 1, 70, "ObjectName",
  CellTags->{"S1.1016", "Experimental`Resolve"}],
Cell[43399, 1244, 260, 9, 70, "Usage",
  CellTags->{"S1.1016", "Experimental`Resolve"}],
Cell[43662, 1255, 2240, 84, 70, "Notes",
  CellTags->{"S1.1016", "Experimental`Resolve"}],
Cell[45905, 1341, 103, 1, 70, "ObjectName",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],
Cell[46011, 1344, 309, 9, 70, "Usage",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],
Cell[46323, 1355, 1243, 41, 70, "Notes",
  CellTags->{"S1.1017", "Experimental`ValueFunction"}],
Cell[47569, 1398, 107, 1, 70, "ObjectName",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
Cell[47679, 1401, 304, 8, 70, "Usage",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
Cell[47986, 1411, 563, 14, 70, "Notes",
  CellTags->{"S1.1018", "Experimental`$EqualTolerance"}],
Cell[48552, 1427, 107, 1, 70, "ObjectName",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
Cell[48662, 1430, 307, 8, 70, "Usage",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}],
Cell[48972, 1440, 562, 14, 70, "Notes",
  CellTags->{"S1.1019", "Experimental`$SameQTolerance"}]
}
]
*)




(***********************************************************************
End of Mathematica Notebook file.
***********************************************************************)

