Predicates.nb

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

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

(* CreatedBy='Mathematica 10.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     67855,       2249]
NotebookOptionsPosition[     54204,       1791]
NotebookOutlinePosition[     57537,       1893]
CellTagsIndexPosition[     56688,       1868]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["Predicates` Documentation", "Chapter",
 CellChangeTimes->{{3.6333515346579514`*^9, 3.63335154627586*^9}, {
  3.633364320690548*^9, 3.63336432261762*^9}, {3.633781291117386*^9, 
  3.633781292159832*^9}, {3.633781364287074*^9, 3.633781366334139*^9}}],

Cell[CellGroupData[{

Cell["Preamble", "Subsection",
 CellChangeTimes->{{3.636378911584093*^9, 3.63637891258384*^9}}],

Cell[BoxData[
 RowBox[{"Needs", "[", "\"\<Predicates`\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.633351696261045*^9, 3.633351701530016*^9}, {
  3.633781146956828*^9, 3.633781148275402*^9}, {3.633781294331254*^9, 
  3.633781296275483*^9}, {3.633781369011711*^9, 3.633781370275049*^9}}]
}, Closed]],

Cell[CellGroupData[{

Cell["Source Code", "Subsection",
 CellChangeTimes->{{3.6351824420646763`*^9, 3.635182446927919*^9}}],

Cell[BoxData[
 ButtonBox["\<\"Open Source Code\"\>",
  Appearance->Automatic,
  ButtonFunction:>(Needs["QUDevTools`"]; NotebookOpen[
     FileNameJoin[{QUDevTools`$QUSourcePath, 
       StringJoin[
        FileBaseName[
         NotebookFileName[]], ".m"]}]]),
  Evaluator->Automatic,
  Method->"Preemptive"]], "Output",
 CellChangeTimes->{{3.635182609676621*^9, 3.6351826444407997`*^9}, {
  3.635182842680962*^9, 3.63518284820653*^9}, {3.635182903083259*^9, 
  3.635182906619155*^9}, {3.635182952870352*^9, 3.635182956778173*^9}}]
}, Closed]],

Cell["Introduction and Overview", "Section",
 CellChangeTimes->{{3.633351563673402*^9, 3.633351567143589*^9}}],

Cell[CellGroupData[{

Cell["Fuzzy Logic", "Section",
 CellChangeTimes->{{3.63335202563237*^9, 3.6333520385490847`*^9}, {
  3.633441643373975*^9, 3.633441643471745*^9}, {3.63517368379494*^9, 
  3.635173685445573*^9}}],

Cell[CellGroupData[{

Cell["PossiblyTrueQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174352886713*^9}}],

Cell[TextData[{
 StyleBox["PossiblyTrueQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is not definitely ",
 StyleBox["False", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.635174436950211*^9, 
  3.635174477806769*^9}},
 CellTags->"PossiblyTrueQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.635174363676161*^9, 3.6351743646763906`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyTrueQ", "[", 
  RowBox[{"a", "\[Equal]", "b"}], "]"}]], "Input",
 CellChangeTimes->{{3.635174527188837*^9, 3.635174540460546*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.6351745319745293`*^9, 3.635174540699416*^9}}]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyTrueQ", "[", 
  RowBox[{"a", "===", "b"}], "]"}]], "Input",
 CellChangeTimes->{{3.635174533545053*^9, 3.6351745470969143`*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{{3.635174538189804*^9, 3.635174547601367*^9}}]
}, Closed]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["PossiblyFalseQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174368096346*^9}}],

Cell[TextData[{
 StyleBox["PossiblyFalseQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is not definitely ",
 StyleBox["True", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351744203004093`*^9, 
  3.6351744332177563`*^9}, {3.635174487677144*^9, 3.635174496346218*^9}},
 CellTags->"PossiblyFalseQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.635174363676161*^9, 3.6351743646763906`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyFalseQ", "[", 
  RowBox[{"a", "\[Equal]", "b"}], "]"}]], "Input",
 CellChangeTimes->{{3.635174527188837*^9, 3.635174557142927*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.6351745319745293`*^9, 3.6351745575150642`*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyFalseQ", "[", 
  RowBox[{"a", "===", "b"}], "]"}]], "Input",
 CellChangeTimes->{{3.635174533545053*^9, 3.635174563634218*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.635174538189804*^9, 3.6351745640431957`*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["PossiblyNonzeroQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174383306546*^9}}],

Cell[TextData[{
 StyleBox["PossiblyNonzeroQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is not definitely zero."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}},
 CellTags->"PossiblyNonzeroQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.6351743708073387`*^9, 3.635174371730427*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyNonzeroQ", "[", "a", "]"}]], "Input",
 CellChangeTimes->{{3.635174573557672*^9, 3.635174578078495*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635174578440152*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PossiblyNonzeroQ", "[", "0", "]"}]], "Input",
 CellChangeTimes->{{3.6351745796354027`*^9, 3.635174586189817*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.635174586674797*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Numbers and Lists", "Section",
 CellChangeTimes->{{3.633352040880207*^9, 3.633352042744746*^9}, {
  3.635173689483839*^9, 3.635173692083069*^9}}],

Cell[CellGroupData[{

Cell["AnyQ, AnyElementQ, AnyMatchQ", "Subsection",
 CellChangeTimes->{{3.635173751360343*^9, 3.635173753564307*^9}, {
  3.635173858110283*^9, 3.6351738697770367`*^9}, {3.635174055559205*^9, 
  3.635174076113044*^9}}],

Cell[TextData[{
 StyleBox["AnyQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", {", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["[", "Input"],
 StyleBox["xj", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 " for at least one element of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.635174664612571*^9, 
  3.635174696847032*^9}},
 CellTags->"AnyQ::usage"],

Cell[TextData[{
 StyleBox["AnyElementQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", ", "Input"],
 StyleBox["expr", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["AnyQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", Flatten[", "Input"],
 StyleBox["expr", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.6351740428464937`*^9, 3.6351740444338827`*^9}, {3.635174149913251*^9, 
  3.63517415492013*^9}, {3.635174190345613*^9, 3.6351742159299183`*^9}, {
  3.6351747536635303`*^9, 3.6351748365022497`*^9}},
 CellTags->"AnyElementQ::usage"],

Cell[TextData[{
 StyleBox["AnyMatchQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", {", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["MatchQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["xj", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 " for at least one element of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
   3.635174049889555*^9, 3.6351740510826406`*^9}, {3.635174158879348*^9, 
   3.6351741990694*^9}, 3.6351742626384783`*^9, {3.635174843654109*^9, 
   3.635174869498268*^9}},
 CellTags->"AnyMatchQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.635174108648138*^9, 3.6351741108200293`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AnyQ", "[", 
  RowBox[{"Positive", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"-", "5"}], ",", "0", ",", "1"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635176683568844*^9, 3.6351766929234333`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.6351766932486353`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AnyElementQ", "[", 
  RowBox[{"Positive", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"-", "5"}], ",", "0"}], "}"}], ",", "1", ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635176697974545*^9, 3.635176706242916*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176706711413*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AnyMatchQ", "[", 
  RowBox[{"0", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"-", "5"}], ",", "0", ",", 
     RowBox[{"a", "^", "4"}], ",", "3"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.63517671195336*^9, 3.635176778155526*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.6351767418623734`*^9, 3.635176778532651*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["AllQ, AllElementQ, AllMatchQ", "Subsection",
 CellChangeTimes->{{3.635173759605186*^9, 3.635173762148381*^9}, {
  3.635173884469015*^9, 3.635173886910424*^9}, {3.635174086700738*^9, 
  3.635174091346074*^9}}],

Cell[TextData[{
 StyleBox["AllQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", {", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["[", "Input"],
 StyleBox["xj", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 " for all elements of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.635173807710828*^9}, {
  3.6351740970285873`*^9, 3.6351740972637177`*^9}, {3.635174227598545*^9, 
  3.635174252625938*^9}, {3.6351747176402683`*^9, 3.63517472643141*^9}},
 CellTags->"AllQ::usage"],

Cell[TextData[{
 StyleBox["AllElementQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", ", "Input"],
 StyleBox["expr", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["AllQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", Flatten[", "Input"],
 StyleBox["expr", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.635173807710828*^9}, {
  3.6351740992995872`*^9, 3.635174100470084*^9}, {3.6351742563875923`*^9, 
  3.635174279040758*^9}, {3.6351748767142353`*^9, 3.6351748940235167`*^9}},
 CellTags->"AllElementQ::usage"],

Cell[TextData[{
 StyleBox["AllMatchQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[", {", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if ",
 StyleBox["MatchQ[", "Input"],
 StyleBox["cond", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["xj", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 " for all elements of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.635173807710828*^9}, {
  3.635174102539455*^9, 3.63517410392365*^9}, {3.635174261137085*^9, 
  3.63517427359578*^9}, {3.6351748800308027`*^9, 3.6351748912552423`*^9}},
 CellTags->"AllMatchQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.635174112799303*^9, 3.635174113531341*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AllQ", "[", 
  RowBox[{"Positive", ",", 
   RowBox[{"{", 
    RowBox[{"0", ",", "1", ",", "2", ",", "3"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635176787317074*^9, 3.6351767944549437`*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.6351767948407993`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AllElementQ", "[", 
  RowBox[{"Positive", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635176824059155*^9, 3.635176831400042*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176831769302*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AllMatchQ", "[", 
  RowBox[{"0", ",", 
   RowBox[{"{", 
    RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635176810459384*^9, 3.635176818642868*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.6351768164393044`*^9, 3.6351768190192738`*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["AnyNonZeroQ, AnyPossiblyNonzeroQ", "Subsection",
 CellChangeTimes->{{3.635174962705472*^9, 3.6351749718283777`*^9}}],

Cell[TextData[{
 StyleBox["AnyNonzeroQ[{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if at least one element of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 " is explicitly non-zero",
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.635173807710828*^9}, {
  3.6351740970285873`*^9, 3.6351740972637177`*^9}, {3.635174227598545*^9, 
  3.635174252625938*^9}, {3.6351747176402683`*^9, 3.63517472643141*^9}, {
  3.635174992766452*^9, 3.635175045447914*^9}},
 CellTags->"AnyNonzeroQ::usage"],

Cell[TextData[{
 StyleBox["AnyPossiblyNonzeroQ[{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}]", "Input"],
 " retuns ",
 StyleBox["True", "Input"],
 " if and only if at least one element of ",
 StyleBox["{", "Input"],
 StyleBox["x1", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",", "Input"],
 StyleBox["x2", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",...}", "Input"],
 " is possibly non-zero."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.635173807710828*^9}, {
  3.6351740992995872`*^9, 3.635174100470084*^9}, {3.6351742563875923`*^9, 
  3.635174279040758*^9}, {3.6351748767142353`*^9, 3.6351748940235167`*^9}, {
  3.635175033958672*^9, 3.635175043546736*^9}},
 CellTags->"AnyPossiblyNonzeroQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.6351768388469133`*^9, 3.635176839509989*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AnyNonzeroQ", "[", 
  RowBox[{"{", 
   RowBox[{"1", ",", "2", ",", "3"}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.6351768408762712`*^9, 3.635176844562495*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.63517684493225*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AnyPossiblyNonzeroQ", "[", 
  RowBox[{"{", 
   RowBox[{"a", ",", "b", ",", "c"}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.635176850834948*^9, 3.6351768544851*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.6351768547332277`*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Symbolic Expressions", "Section",
 CellChangeTimes->{{3.635173728815413*^9, 3.6351737308957644`*^9}}],

Cell[CellGroupData[{

Cell["SymbolQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174383306546*^9}, {
  3.635175825379125*^9, 3.635175827155224*^9}}],

Cell[TextData[{
 StyleBox["SymbolQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if the ",
 StyleBox["Head", "Input"],
 " ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is ",
 StyleBox["Symbol", "Input"],
 " and ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " has no ",
 StyleBox["DownValues", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175830473914*^9}, {3.635175870671286*^9, 3.6351758852271347`*^9}, {
  3.635555216983077*^9, 3.6355552244087057`*^9}},
 CellTags->"SymbolQ::usage"],

Cell[CellGroupData[{

Cell["Example 1: Atoms", "Subsubsection",
 CellChangeTimes->{{3.6351743708073387`*^9, 3.635174371730427*^9}, {
  3.635555325890601*^9, 3.635555351531261*^9}}],

Cell["Undefined atomic symbols evaluate to True.", "Text",
 CellChangeTimes->{{3.6351760924520483`*^9, 3.635176098212796*^9}, {
  3.635555335938898*^9, 3.635555336580267*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SymbolQ", "[", "a", "]"}]], "Input",
 CellChangeTimes->{{3.635176030443733*^9, 3.635176034482232*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176034675449*^9}]
}, Open  ]],

Cell["Assigned variables evaluate to valse", "Text",
 CellChangeTimes->{{3.635176075869659*^9, 3.635176079256659*^9}, {
  3.635555319156077*^9, 3.635555321251857*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"var", "=", "10"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"SymbolQ", "[", "var", "]"}]}], "Input",
 CellChangeTimes->{{3.6351760808129683`*^9, 3.635176085118945*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.6351760856875362`*^9}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 2: Function Symbols", "Subsubsection",
 CellChangeTimes->{{3.635555353939505*^9, 3.6355553638293056`*^9}}],

Cell["User defined functions evaluate to false", "Text",
 CellChangeTimes->{{3.63555526909424*^9, 3.6355552815130444`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "f", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"f", "[", "x_", "]"}], ":=", "x"}], ";", "\[IndentingNewLine]", 
    RowBox[{"SymbolQ", "[", "f", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635555283333905*^9, 3.635555298650894*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.635555299167734*^9}]
}, Open  ]],

Cell["\<\
Built in functions however will evaluate to True, as they have no user \
defined DownValues.\
\>", "Text",
 CellChangeTimes->{{3.63517604813977*^9, 3.635176100259706*^9}, {
  3.635555255808272*^9, 3.635555263809862*^9}, {3.635555303370006*^9, 
  3.635555313075533*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SymbolQ", "[", "Sin", "]"}]], "Input",
 CellChangeTimes->{{3.635175967680512*^9, 3.635175970155497*^9}, {
  3.635176028924385*^9, 3.635176029227519*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176029592142*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["ScalarQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174383306546*^9}, {
  3.635175825379125*^9, 3.635175827155224*^9}, {3.636464055425941*^9, 
  3.63646405613313*^9}}],

Cell[TextData[{
 StyleBox["ScalarQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " returns true for either ",
 StyleBox["NumericQ", "Input"],
 ", ",
 StyleBox["SymbolQ", "Input"],
 " or ",
 StyleBox["StringQ", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175830473914*^9}, {3.635175870671286*^9, 3.6351758852271347`*^9}, {
  3.635555216983077*^9, 3.6355552244087057`*^9}, {3.636464077431715*^9, 
  3.636464144389044*^9}},
 CellTags->"ScalarQ::usage"],

Cell[CellGroupData[{

Cell["Example 1", "Subsubsection",
 CellChangeTimes->{{3.6351743708073387`*^9, 3.635174371730427*^9}, {
   3.635555325890601*^9, 3.635555351531261*^9}, 3.6364641674066143`*^9, {
   3.636464288885439*^9, 3.636464291809289*^9}, {3.636464463348899*^9, 
   3.6364644651036043`*^9}}],

Cell["\<\
The following are all considered scalar quantitites by ScalarQ:\
\>", "Text",
 CellChangeTimes->{{3.6351760924520483`*^9, 3.635176098212796*^9}, {
  3.635555335938898*^9, 3.635555336580267*^9}, {3.636464239924054*^9, 
  3.6364642547737913`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ScalarQ", "/@", 
  RowBox[{"{", 
   RowBox[{"a", ",", "\[Pi]", ",", "1", ",", "\"\<a\>\""}], "}"}]}]], "Input",\

 CellChangeTimes->{{3.635176030443733*^9, 3.635176034482232*^9}, {
  3.636464171283947*^9, 3.6364641782867413`*^9}, {3.636464228013386*^9, 
  3.636464231881822*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{3.635176034675449*^9, 3.6364642322756863`*^9}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 2", "Subsubsection",
 CellChangeTimes->{{3.635555353939505*^9, 3.6355553638293056`*^9}, 
   3.6364644673908567`*^9}],

Cell["As with SymbolQ, user defined functions evaluate to false", "Text",
 CellChangeTimes->{{3.63555526909424*^9, 3.6355552815130444`*^9}, {
  3.63646430641298*^9, 3.636464310978791*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "f", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"f", "[", "x_", "]"}], ":=", "x"}], ";", "\[IndentingNewLine]", 
    RowBox[{"ScalarQ", "[", "f", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635555283333905*^9, 3.635555298650894*^9}, {
  3.636464299545917*^9, 3.636464300851407*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.635555299167734*^9, 3.636464301292616*^9}]
}, Open  ]],

Cell["\<\
Built in functions however will evaluate to True, as they have no user \
defined DownValues.\
\>", "Text",
 CellChangeTimes->{{3.63517604813977*^9, 3.635176100259706*^9}, {
  3.635555255808272*^9, 3.635555263809862*^9}, {3.635555303370006*^9, 
  3.635555313075533*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ScalarQ", "[", "Sin", "]"}]], "Input",
 CellChangeTimes->{{3.635175967680512*^9, 3.635175970155497*^9}, {
  3.635176028924385*^9, 3.635176029227519*^9}, {3.6364643033718863`*^9, 
  3.636464303982843*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176029592142*^9, 3.636464304685568*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["CoefficientSymbolQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174383306546*^9}, {
  3.635175825379125*^9, 3.635175827155224*^9}, {3.636464057820383*^9, 
  3.636464059001553*^9}}],

Cell[TextData[{
 StyleBox["CoefficientSymbolQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is ",
 StyleBox["Symbol", "Input"],
 " with no ",
 StyleBox["DownValues", "Input"],
 "., and with either no ",
 StyleBox["Attributes", "Input"],
 ", has only the attribute ",
 StyleBox["Temporary", "Input"],
 ", or has the attribute ",
 StyleBox["NumericFunction", "Input"],
 ". "
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175830473914*^9}, {3.635175870671286*^9, 3.6351758852271347`*^9}, {
  3.635555216983077*^9, 3.6355552244087057`*^9}, {3.636464331288371*^9, 
  3.6364644212519484`*^9}},
 CellTags->"CoefficientSymbolQ::usage"],

Cell[CellGroupData[{

Cell["Example 1: Built in functions", "Subsubsection",
 CellChangeTimes->{{3.6351743708073387`*^9, 3.635174371730427*^9}, {
  3.635555325890601*^9, 3.635555351531261*^9}, {3.636464460728286*^9, 
  3.63646446130131*^9}, {3.636464531052782*^9, 3.636464533335668*^9}}],

Cell["\<\
Built in functions with the NumericFunction attribute evaluate to true, while \
those without it evalute to false\
\>", "Text",
 CellChangeTimes->{{3.6351760924520483`*^9, 3.635176098212796*^9}, {
  3.635555335938898*^9, 3.635555336580267*^9}, {3.6364644734650707`*^9, 
  3.636464498640635*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientSymbolQ", "/@", 
  RowBox[{"{", 
   RowBox[{"Sin", ",", "Exp", ",", "Dot", ",", "KroneckerProduct"}], 
   "}"}]}]], "Input",
 CellChangeTimes->{{3.635176030443733*^9, 3.635176034482232*^9}, {
  3.636464426818164*^9, 3.636464449739492*^9}, {3.63646450290592*^9, 
  3.636464526435193*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "False", ",", "False"}], "}"}]], "Output",\

 CellChangeTimes->{
  3.635176034675449*^9, {3.636464429891961*^9, 3.636464450743781*^9}, {
   3.636464513532165*^9, 3.6364645270919867`*^9}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 2: Protected Symbols", "Subsubsection",
 CellChangeTimes->{{3.635555353939505*^9, 3.6355553638293056`*^9}, {
  3.636464535528923*^9, 3.6364645527753696`*^9}}],

Cell["Undefined symbols evaluate to true:", "Text",
 CellChangeTimes->{{3.63555526909424*^9, 3.6355552815130444`*^9}, {
  3.636464546407744*^9, 3.63646457578121*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "a", "}"}], ",", 
   RowBox[{"CoefficientSymbolQ", "[", "a", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.636464561346324*^9, 3.63646456517561*^9}, {
  3.636464614911214*^9, 3.636464619231718*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.636464565474263*^9, 3.636464619504999*^9}]
}, Open  ]],

Cell["\<\
If we want to specify that a symbol should not evaluate to true, one work \
around is to add the attribute Protected to the symbol:\
\>", "Text",
 CellChangeTimes->{{3.636464578190276*^9, 3.6364646037043047`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "a", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Protect", "[", "a", "]"}], ";", "\[IndentingNewLine]", 
    RowBox[{"CoefficientSymbolQ", "[", "a", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.635555283333905*^9, 3.635555298650894*^9}, {
  3.636464606573888*^9, 3.636464631650693*^9}, {3.636464696464107*^9, 
  3.6364647172225313`*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{
  3.635555299167734*^9, 3.636464632499913*^9, {3.63646469847124*^9, 
   3.636464717705241*^9}}]
}, Open  ]],

Cell["\<\
If we want a protected symbol to evaluate to true it must have the \
NumericFunction attribute:\
\>", "Text",
 CellChangeTimes->{{3.6364646576610622`*^9, 3.636464670911934*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "a", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"SetAttributes", "[", 
     RowBox[{"a", ",", 
      RowBox[{"{", 
       RowBox[{"NumericFunction", ",", "Protected"}], "}"}]}], "]"}], ";", 
    "\[IndentingNewLine]", 
    RowBox[{"CoefficientSymbolQ", "[", "a", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.636464675807835*^9, 3.636464719979103*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.636464688959113*^9, 3.6364647206431427`*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["CoefficientQ", "Subsection",
 CellChangeTimes->{{3.63517435000613*^9, 3.635174383306546*^9}, {
  3.635175825379125*^9, 3.635175827155224*^9}, {3.635553958648284*^9, 
  3.6355539608398733`*^9}}],

Cell[TextData[{
 StyleBox["CoefficientQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if either ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is recognized as a scalar coefficient for symbolic evaluation."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.635553964854762*^9, 3.635554019896164*^9}},
 CellTags->"CoefficientQ::usage"],

Cell[CellGroupData[{

Cell["Example 1: Numerical", "Subsubsection",
 CellChangeTimes->{{3.6351743708073387`*^9, 3.635174371730427*^9}, {
  3.635554127533334*^9, 3.635554146831666*^9}, {3.63555463812578*^9, 
  3.6355546415961637`*^9}}],

Cell["Nymerical quantities are are recognized as coefficients", "Text",
 CellChangeTimes->{{3.635554025967887*^9, 3.6355540412812433`*^9}, {
  3.6355541544390497`*^9, 3.635554155488241*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{"3", ",", "\[Pi]", ",", "1.4", ",", 
    RowBox[{"Zeta", "[", "5", "]"}]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.6351762388798723`*^9, 3.635176241099403*^9}, {
  3.635554045558165*^9, 3.635554056375422*^9}, {3.635554150757217*^9, 
  3.6355541508871603`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{3.635176241659259*^9, 3.635554056763234*^9, 
  3.635554157430097*^9}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 2: Symbols", "Subsubsection",
 CellChangeTimes->{{3.635554160135092*^9, 3.635554162448324*^9}}],

Cell["Undefined symbols are recognized as coefficients:", "Text",
 CellChangeTimes->{{3.6355540585393143`*^9, 3.635554121509569*^9}, {
  3.635554164295137*^9, 3.6355541979773273`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{"x", ",", "y", ",", "g"}], "}"}]}]], "Input",
 CellChangeTimes->{{3.6355541995410423`*^9, 3.6355542096829853`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{{3.635554203998406*^9, 3.6355542100383463`*^9}}]
}, Open  ]],

Cell["\<\
 However symbols which have definitions as a funciton will also be recognized \
as coefficients if they are not supplied with any arguments. For example:\
\>", "Text",
 CellChangeTimes->{{3.63555419090086*^9, 3.635554221978372*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "[", "Sin", "]"}]], "Input",
 CellChangeTimes->{{3.635554081536812*^9, 3.63555408430877*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635554084569456*^9}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 3: Functions", "Subsubsection",
 CellChangeTimes->{{3.635554228897019*^9, 3.635554254441828*^9}}],

Cell["\<\
Symbolic functions (those where the function symbol does not have any \
definitions) are recognized as coefficients, regardless of depth of \
concatenated functions\
\>", "Text",
 CellChangeTimes->{{3.6355542647052937`*^9, 3.6355542803712*^9}, {
  3.635554361332555*^9, 3.6355543690462837`*^9}, {3.6355546795526237`*^9, 
  3.635554702519195*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"a", "[", 
     RowBox[{"1", ",", "2"}], "]"}], ",", 
    RowBox[{"f", "[", "x", "]"}], ",", " ", 
    RowBox[{"g", "[", 
     RowBox[{"f", "[", "x", "]"}], "]"}], ",", 
    RowBox[{"h", "@", 
     RowBox[{"g", "@", 
      RowBox[{"f", "@", "x"}]}]}]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.635176242324267*^9, 3.635176248626647*^9}, {
  3.635554336948444*^9, 3.63555437710406*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{
  3.635176248892572*^9, {3.63555433149946*^9, 3.6355543784604588`*^9}}]
}, Open  ]],

Cell["\<\
If the symbol has any associated DownValues it will evaluate to false (if the \
function doesn\[CloseCurlyQuote]t explicitly evaluate to a valid Coefficient \
quantitiy).\
\>", "Text",
 CellChangeTimes->{{3.635554963350359*^9, 3.63555497833694*^9}, {
  3.63555503950493*^9, 3.635555055386857*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Block", "[", 
  RowBox[{
   RowBox[{"{", "f", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"f", "[", "x_", "]"}], ":=", 
     RowBox[{"3", "x"}]}], ";", "\[IndentingNewLine]", 
    RowBox[{"CoefficientQ", "/@", 
     RowBox[{"{", 
      RowBox[{"f", ",", 
       RowBox[{"f", "[", "x", "]"}], ",", 
       RowBox[{"f", "[", "3", "]"}], ",", 
       RowBox[{"f", "[", 
        RowBox[{"1", ",", "2"}], "]"}]}], "}"}]}]}]}], "\[IndentingNewLine]", 
  "]"}]], "Input",
 CellChangeTimes->{{3.635554946687793*^9, 3.63555503401024*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "True", ",", "True", ",", "False"}], "}"}]], "Output",\

 CellChangeTimes->{
  3.635554999827067*^9, {3.6355550350501204`*^9, 3.63555505868449*^9}, 
   3.635555206470813*^9, 3.636464756692912*^9}]
}, Open  ]],

Cell["\<\
Numerical functions with coefficient arguments are also recognized as \
coefficients\
\>", "Text",
 CellChangeTimes->{{3.635554384877329*^9, 3.635554397166842*^9}, {
  3.635554465354617*^9, 3.63555447171465*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Sin", "[", 
     RowBox[{"3", "t"}], "]"}], ",", 
    RowBox[{"Exp", "[", 
     RowBox[{
      RowBox[{"-", "I"}], " ", "\[Omega]", " ", "t"}], "]"}], ",", 
    SuperscriptBox["\[Lambda]", "n"]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.63555439830121*^9, 3.635554421488304*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{3.635554421865996*^9}]
}, Open  ]],

Cell["\<\
Functions without the explicit NumericalFunction attributate are NOT \
recognized as coefficients, regardless of their argumetns. For example\
\>", "Text",
 CellChangeTimes->{{3.6355544252154503`*^9, 3.635554452225708*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Dot", "[", 
     RowBox[{"1", ",", "2"}], "]"}], ",", 
    RowBox[{"KroneckerProduct", "[", 
     RowBox[{"a", ",", "b"}], "]"}]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.635554551044774*^9, 3.6355545703707447`*^9}, {
  3.636464781728794*^9, 3.636464783851985*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{{3.635554558817779*^9, 3.635554570847425*^9}, {
  3.636464759907219*^9, 3.636464785334436*^9}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 4: Strings", "Subsubsection",
 CellChangeTimes->{{3.635554288850197*^9, 3.635554292019573*^9}, {
  3.635554537193472*^9, 3.635554537279849*^9}}],

Cell["\<\
Strings are also recognized as coefficients, and can be used in place of \
symbols if one wants to ensure that they are immutable:\
\>", "Text",
 CellChangeTimes->{{3.6355542937541857`*^9, 3.635554314236393*^9}, {
  3.636464807791971*^9, 3.636464838423963*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "[", "\"\<X\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.635554316422234*^9, 3.6355543195342607`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635554320227869*^9, 3.636464815630909*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CoefficientQ", "/@", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Sin", "[", "\"\<x\>\"", "]"}], ",", 
    RowBox[{"f", "[", "\"\<x\>\"", "]"}], ",", 
    RowBox[{"\"\<a\>\"", "[", "2", "]"}]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.6355544911863194`*^9, 3.635554508275815*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "True", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{{3.635554500431765*^9, 3.635554508637897*^9}, {
  3.6364648177125463`*^9, 3.6364648500273447`*^9}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Example 5: Attributes", "Subsubsection",
 CellChangeTimes->{{3.6364648599014378`*^9, 3.636464867899467*^9}, {
  3.636464983425313*^9, 3.63646498614764*^9}}],

Cell["\<\
To specify that a quantity should not be treated as a coefficient, one may \
add any attribute other than Temporary to the symbol. For example making it \
protected:\
\>", "Text",
 CellChangeTimes->{{3.6364648691137457`*^9, 3.636464906824435*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "f", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"SetAttributes", "[", 
     RowBox[{"f", ",", "Protected"}], "]"}], ";", "\[IndentingNewLine]", 
    RowBox[{"CoefficientQ", "[", 
     RowBox[{"f", "[", 
      RowBox[{"1", ",", "2"}], "]"}], "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.636464908025815*^9, 3.63646493738459*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.636464934963086*^9}]
}, Open  ]],

Cell["\<\
One could also use another attribute, since it is never explicity used\
\>", "Text",
 CellChangeTimes->{{3.636464940541629*^9, 3.636464952825426*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Module", "[", 
  RowBox[{
   RowBox[{"{", "f", "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"SetAttributes", "[", 
     RowBox[{"f", ",", "Flat"}], "]"}], ";", "\[IndentingNewLine]", 
    RowBox[{"CoefficientQ", "[", 
     RowBox[{"f", "[", 
      RowBox[{"1", ",", "2"}], "]"}], "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.636464960472378*^9, 3.636464960803193*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.6364649613126507`*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Matrices and Vectors", "Section",
 CellChangeTimes->{{3.635173733921253*^9, 3.635173736149295*^9}}],

Cell[CellGroupData[{

Cell["NonzeroDimQ", "Subsection",
 CellChangeTimes->{{3.6351762769428587`*^9, 3.6351762803730717`*^9}}],

Cell[TextData[{
 StyleBox["NonzeroDimQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is is an array with no zero dimensional axes."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}, {3.635176515915966*^9, 
  3.635176517951063*^9}, {3.635176654075465*^9, 3.635176672683885*^9}},
 CellTags->"NonzeroDimQ::usage"],

Cell[CellGroupData[{

Cell["Example ", "Subsubsection",
 CellChangeTimes->{{3.635176866431868*^9, 3.635176867961372*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"NonzeroDimQ", "[", 
  RowBox[{"{", 
   RowBox[{"{", "}"}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.6351768694025173`*^9, 3.635176873587379*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.635176873939844*^9}]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["PureStateQ", "Subsection",
 CellChangeTimes->{{3.635176282903903*^9, 3.635176284434312*^9}}],

Cell[TextData[{
 StyleBox["PureStateQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is a pure state density matrix."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}, {3.6351765206956177`*^9, 
  3.6351765231597347`*^9}, {3.6351766156566563`*^9, 3.635176637572818*^9}},
 CellTags->"PureStateQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.635176878513228*^9, 3.635176879211608*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PureStateQ", "[", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "0"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"0", ",", "0"}], "}"}]}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.635176879830584*^9, 3.6351768924818773`*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.635176886735746*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PureStateQ", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "1"}], "}"}]}], "}"}], "/", "2"}], "]"}]], "Input",
 CellChangeTimes->{{3.6351768951356783`*^9, 3.635176896042261*^9}}],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.635176896588517*^9}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["DiagonalMatrixQ", "Subsection",
 CellChangeTimes->{{3.635176286222393*^9, 3.635176287888072*^9}}],

Cell[TextData[{
 StyleBox["DiagonalMatrixQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is is a matrix with all off diagonal elements explicitly zero."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}, {3.635176524981744*^9, 
  3.6351765499347878`*^9}},
 CellTags->"DiagonalMatrixQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.6351769010917463`*^9, 3.635176902150215*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiagonalMatrixQ", "[", 
  RowBox[{"DiagonalMatrix", "[", 
   RowBox[{"{", 
    RowBox[{"a", ",", "b", ",", "c"}], "}"}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.635176902758863*^9, 3.635176908338785*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.635176908560602*^9, 3.635176928563693*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell["ColumnVectorQ, RowVectorQ, GeneralVectorQ", "Subsection",
 CellChangeTimes->{{3.635176290216188*^9, 3.6351763090984488`*^9}}],

Cell[TextData[{
 StyleBox["ColumnVectorQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is is a matrix with dimensions ",
 StyleBox["{", "Input"],
 StyleBox["d", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox[",1}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}},
 CellTags->"ColumnVectorQ::usage"],

Cell[TextData[{
 StyleBox["RowVectorQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if ",
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 " is is a matrix with dimensions ",
 StyleBox["{1,", "Input"],
 StyleBox["d", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["}", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}, {3.63517638852101*^9, 
  3.63517638872224*^9}, {3.635176461351199*^9, 3.6351764625447397`*^9}},
 CellTags->"RowVectorQ::usage"],

Cell[TextData[{
 StyleBox["GeneralVectorQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " returns ",
 StyleBox["True", "Input"],
 " if either ",
 StyleBox["VectorQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " or ",
 StyleBox["ColumnVectorQ[", "Input"],
 StyleBox["arg", "Input",
  FontWeight->"Plain",
  FontSlant->"Italic"],
 StyleBox["]", "Input"],
 " is ",
 StyleBox["True", "Input"],
 "."
}], "Text",
 CellDingbat->"\[FilledSquare]",
 CellChangeTimes->{{3.635173764906163*^9, 3.6351737862678633`*^9}, {
  3.63517403862992*^9, 3.635174038943677*^9}, {3.63517412720644*^9, 
  3.635174146493905*^9}, {3.635174184114853*^9, 3.635174186047757*^9}, {
  3.635174236573915*^9, 3.6351742387996817`*^9}, {3.6351743972516727`*^9, 
  3.635174414989091*^9}, {3.6351745032604218`*^9, 3.6351745174746943`*^9}, {
  3.6351751509757*^9, 3.6351751523914022`*^9}, {3.635175829675034*^9, 
  3.635175852996606*^9}, {3.6351761773254147`*^9, 3.635176221119586*^9}, {
  3.6351763198392982`*^9, 3.635176356716166*^9}, {3.635176390555282*^9, 
  3.6351764510461903`*^9}},
 CellTags->"GeneralVectorQ::usage"],

Cell[CellGroupData[{

Cell["Example", "Subsubsection",
 CellChangeTimes->{{3.6351769342018843`*^9, 3.635176934865107*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"#", "@", 
    RowBox[{"Array", "[", 
     RowBox[{"a", ",", "2"}], "]"}]}], "&"}], "/@", 
  RowBox[{"{", 
   RowBox[{"ColumnVectorQ", ",", "RowVectorQ", ",", "GeneralVectorQ"}], 
   "}"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"#", "@", 
    RowBox[{"Array", "[", 
     RowBox[{"a", ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "1"}], "}"}]}], "]"}]}], "&"}], "/@", 
  RowBox[{"{", 
   RowBox[{"ColumnVectorQ", ",", "RowVectorQ", ",", "GeneralVectorQ"}], 
   "}"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"#", "@", 
    RowBox[{"Array", "[", 
     RowBox[{"a", ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "2"}], "}"}]}], "]"}]}], "&"}], "/@", 
  RowBox[{"{", 
   RowBox[{"ColumnVectorQ", ",", "RowVectorQ", ",", "GeneralVectorQ"}], 
   "}"}]}]}], "Input",
 CellChangeTimes->{{3.635176937341251*^9, 3.6351770133062057`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{{3.635176948301036*^9, 3.6351770136973257`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "False", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{{3.635176948301036*^9, 3.6351770137078733`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "True", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{{3.635176948301036*^9, 3.635177013715952*^9}}]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell["", "Subsection",
 CellChangeTimes->{{3.63517629842873*^9, 3.6351763078924522`*^9}}]
}, Open  ]]
}, Open  ]]
},
WindowSize->{1280, 1000},
WindowMargins->{{Automatic, 0}, {Automatic, 0}},
FrontEndVersion->"10.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (December 4, \
2014)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "AllElementQ::usage"->{
  Cell[13792, 487, 887, 30, 31, "Text",
   CellTags->"AllElementQ::usage"]},
 "AllMatchQ::usage"->{
  Cell[14682, 519, 1217, 44, 31, "Text",
   CellTags->"AllMatchQ::usage"]},
 "AllQ::usage"->{
  Cell[12610, 442, 1179, 43, 31, "Text",
   CellTags->"AllQ::usage"]},
 "AnyElementQ::usage"->{
  Cell[8806, 301, 939, 31, 31, "Text",
   CellTags->"AnyElementQ::usage"]},
 "AnyMatchQ::usage"->{
  Cell[9748, 334, 1255, 45, 31, "Text",
   CellTags->"AnyMatchQ::usage"]},
 "AnyNonzeroQ::usage"->{
  Cell[17315, 620, 935, 30, 31, "Text",
   CellTags->"AnyNonzeroQ::usage"]},
 "AnyPossiblyNonzeroQ::usage"->{
  Cell[18253, 652, 947, 29, 31, "Text",
   CellTags->"AnyPossiblyNonzeroQ::usage"]},
 "AnyQ::usage"->{
  Cell[7521, 254, 1282, 45, 31, "Text",
   CellTags->"AnyQ::usage"]},
 "CoefficientQ::usage"->{
  Cell[33082, 1126, 984, 23, 31, "Text",
   CellTags->"CoefficientQ::usage"]},
 "CoefficientSymbolQ::usage"->{
  Cell[27974, 971, 1259, 34, 51, "Text",
   CellTags->"CoefficientSymbolQ::usage"]},
 "ColumnVectorQ::usage"->{
  Cell[49012, 1631, 1079, 29, 31, "Text",
   CellTags->"ColumnVectorQ::usage"]},
 "DiagonalMatrixQ::usage"->{
  Cell[47297, 1580, 1036, 24, 31, "Text",
   CellTags->"DiagonalMatrixQ::usage"]},
 "GeneralVectorQ::usage"->{
  Cell[51265, 1694, 1218, 34, 31, "Text",
   CellTags->"GeneralVectorQ::usage"]},
 "NonzeroDimQ::usage"->{
  Cell[43541, 1459, 1055, 24, 31, "Text",
   CellTags->"NonzeroDimQ::usage"]},
 "PossiblyFalseQ::usage"->{
  Cell[3986, 132, 774, 22, 31, "Text",
   CellTags->"PossiblyFalseQ::usage"]},
 "PossiblyNonzeroQ::usage"->{
  Cell[5641, 190, 800, 21, 31, "Text",
   CellTags->"PossiblyNonzeroQ::usage"]},
 "PossiblyTrueQ::usage"->{
  Cell[2387, 74, 723, 22, 31, "Text",
   CellTags->"PossiblyTrueQ::usage"]},
 "PureStateQ::usage"->{
  Cell[45158, 1509, 1045, 24, 31, "Text",
   CellTags->"PureStateQ::usage"]},
 "RowVectorQ::usage"->{
  Cell[50094, 1662, 1168, 30, 31, "Text",
   CellTags->"RowVectorQ::usage"]},
 "ScalarQ::usage"->{
  Cell[24024, 850, 1096, 30, 31, "Text",
   CellTags->"ScalarQ::usage"]},
 "SymbolQ::usage"->{
  Cell[20273, 726, 1114, 33, 31, "Text",
   CellTags->"SymbolQ::usage"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"AllElementQ::usage", 54521, 1802},
 {"AllMatchQ::usage", 54621, 1805},
 {"AllQ::usage", 54715, 1808},
 {"AnyElementQ::usage", 54811, 1811},
 {"AnyMatchQ::usage", 54910, 1814},
 {"AnyNonzeroQ::usage", 55010, 1817},
 {"AnyPossiblyNonzeroQ::usage", 55120, 1820},
 {"AnyQ::usage", 55223, 1823},
 {"CoefficientQ::usage", 55319, 1826},
 {"CoefficientSymbolQ::usage", 55430, 1829},
 {"ColumnVectorQ::usage", 55542, 1832},
 {"DiagonalMatrixQ::usage", 55652, 1835},
 {"GeneralVectorQ::usage", 55763, 1838},
 {"NonzeroDimQ::usage", 55870, 1841},
 {"PossiblyFalseQ::usage", 55977, 1844},
 {"PossiblyNonzeroQ::usage", 56086, 1847},
 {"PossiblyTrueQ::usage", 56194, 1850},
 {"PureStateQ::usage", 56295, 1853},
 {"RowVectorQ::usage", 56397, 1856},
 {"ScalarQ::usage", 56496, 1859},
 {"SymbolQ::usage", 56591, 1862}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 254, 3, 65, "Chapter"],
Cell[CellGroupData[{
Cell[859, 29, 95, 1, 44, "Subsection"],
Cell[957, 32, 286, 4, 28, "Input"]
}, Closed]],
Cell[CellGroupData[{
Cell[1280, 41, 101, 1, 36, "Subsection"],
Cell[1384, 44, 531, 12, 43, "Output"]
}, Closed]],
Cell[1930, 59, 110, 1, 50, "Section"],
Cell[CellGroupData[{
Cell[2065, 64, 194, 3, 50, "Section"],
Cell[CellGroupData[{
Cell[2284, 71, 100, 1, 44, "Subsection"],
Cell[2387, 74, 723, 22, 31, "Text",
 CellTags->"PossiblyTrueQ::usage"],
Cell[CellGroupData[{
Cell[3135, 100, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[3260, 105, 162, 3, 28, "Input"],
Cell[3425, 110, 99, 1, 28, "Output"]
}, Closed]],
Cell[CellGroupData[{
Cell[3561, 116, 159, 3, 22, "Input"],
Cell[3723, 121, 98, 1, 28, "Output"]
}, Closed]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[3882, 129, 101, 1, 44, "Subsection"],
Cell[3986, 132, 774, 22, 31, "Text",
 CellTags->"PossiblyFalseQ::usage"],
Cell[CellGroupData[{
Cell[4785, 158, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[4910, 163, 163, 3, 28, "Input"],
Cell[5076, 168, 101, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[5214, 174, 158, 3, 28, "Input"],
Cell[5375, 179, 99, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[5535, 187, 103, 1, 44, "Subsection"],
Cell[5641, 190, 800, 21, 31, "Text",
 CellTags->"PossiblyNonzeroQ::usage"],
Cell[CellGroupData[{
Cell[6466, 215, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[6591, 220, 135, 2, 28, "Input"],
Cell[6729, 224, 73, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[6839, 230, 137, 2, 28, "Input"],
Cell[6979, 234, 74, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[7126, 243, 151, 2, 64, "Section"],
Cell[CellGroupData[{
Cell[7302, 249, 216, 3, 44, "Subsection"],
Cell[7521, 254, 1282, 45, 31, "Text",
 CellTags->"AnyQ::usage"],
Cell[8806, 301, 939, 31, 31, "Text",
 CellTags->"AnyElementQ::usage"],
Cell[9748, 334, 1255, 45, 31, "Text",
 CellTags->"AnyMatchQ::usage"],
Cell[CellGroupData[{
Cell[11028, 383, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[11153, 388, 235, 6, 28, "Input"],
Cell[11391, 396, 75, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11503, 402, 348, 10, 28, "Input"],
Cell[11854, 414, 73, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11964, 420, 266, 7, 28, "Input"],
Cell[12233, 429, 99, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[12393, 437, 214, 3, 44, "Subsection"],
Cell[12610, 442, 1179, 43, 31, "Text",
 CellTags->"AllQ::usage"],
Cell[13792, 487, 887, 30, 31, "Text",
 CellTags->"AllElementQ::usage"],
Cell[14682, 519, 1217, 44, 31, "Text",
 CellTags->"AllMatchQ::usage"],
Cell[CellGroupData[{
Cell[15924, 567, 98, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[16047, 572, 224, 5, 28, "Input"],
Cell[16274, 579, 76, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16387, 585, 315, 9, 28, "Input"],
Cell[16705, 596, 73, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16815, 602, 210, 5, 28, "Input"],
Cell[17028, 609, 101, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[17190, 617, 122, 1, 44, "Subsection"],
Cell[17315, 620, 935, 30, 31, "Text",
 CellTags->"AnyNonzeroQ::usage"],
Cell[18253, 652, 947, 29, 31, "Text",
 CellTags->"AnyPossiblyNonzeroQ::usage"],
Cell[CellGroupData[{
Cell[19225, 685, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[19350, 690, 189, 4, 28, "Input"],
Cell[19542, 696, 72, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19651, 702, 193, 4, 28, "Input"],
Cell[19847, 708, 75, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[19995, 717, 107, 1, 64, "Section"],
Cell[CellGroupData[{
Cell[20127, 722, 143, 2, 44, "Subsection"],
Cell[20273, 726, 1114, 33, 31, "Text",
 CellTags->"SymbolQ::usage"],
Cell[CellGroupData[{
Cell[21412, 763, 158, 2, 35, "Subsubsection"],
Cell[21573, 767, 175, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[21773, 773, 126, 2, 28, "Input"],
Cell[21902, 777, 73, 1, 28, "Output"]
}, Open  ]],
Cell[21990, 781, 167, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[22182, 787, 203, 4, 46, "Input"],
Cell[22388, 793, 76, 1, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[22513, 800, 120, 1, 29, "Subsubsection"],
Cell[22636, 803, 123, 1, 30, "Text"],
Cell[CellGroupData[{
Cell[22784, 808, 336, 8, 63, "Input"],
Cell[23123, 818, 74, 1, 28, "Output"]
}, Open  ]],
Cell[23212, 822, 279, 6, 30, "Text"],
Cell[CellGroupData[{
Cell[23516, 832, 177, 3, 28, "Input"],
Cell[23696, 837, 73, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[23830, 845, 191, 3, 44, "Subsection"],
Cell[24024, 850, 1096, 30, 31, "Text",
 CellTags->"ScalarQ::usage"],
Cell[CellGroupData[{
Cell[25145, 884, 278, 4, 35, "Subsubsection"],
Cell[25426, 890, 255, 5, 30, "Text"],
Cell[CellGroupData[{
Cell[25706, 899, 303, 7, 28, "Input"],
Cell[26012, 908, 171, 3, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[26232, 917, 130, 2, 29, "Subsubsection"],
Cell[26365, 921, 188, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[26578, 927, 385, 9, 63, "Input"],
Cell[26966, 938, 96, 1, 28, "Output"]
}, Open  ]],
Cell[27077, 942, 279, 6, 30, "Text"],
Cell[CellGroupData[{
Cell[27381, 952, 228, 4, 28, "Input"],
Cell[27612, 958, 95, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[27768, 966, 203, 3, 44, "Subsection"],
Cell[27974, 971, 1259, 34, 51, "Text",
 CellTags->"CoefficientSymbolQ::usage"],
Cell[CellGroupData[{
Cell[29258, 1009, 265, 3, 35, "Subsubsection"],
Cell[29526, 1014, 305, 6, 30, "Text"],
Cell[CellGroupData[{
Cell[29856, 1024, 322, 7, 28, "Input"],
Cell[30181, 1033, 252, 6, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[30482, 1045, 172, 2, 29, "Subsubsection"],
Cell[30657, 1049, 166, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[30848, 1055, 266, 6, 28, "Input"],
Cell[31117, 1063, 95, 1, 28, "Output"]
}, Open  ]],
Cell[31227, 1067, 223, 4, 30, "Text"],
Cell[CellGroupData[{
Cell[31475, 1075, 425, 9, 63, "Input"],
Cell[31903, 1086, 148, 3, 28, "Output"]
}, Open  ]],
Cell[32066, 1092, 187, 4, 30, "Text"],
Cell[CellGroupData[{
Cell[32278, 1100, 439, 11, 63, "Input"],
Cell[32720, 1113, 99, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[32880, 1121, 199, 3, 44, "Subsection"],
Cell[33082, 1126, 984, 23, 31, "Text",
 CellTags->"CoefficientQ::usage"],
Cell[CellGroupData[{
Cell[34091, 1153, 212, 3, 35, "Subsubsection"],
Cell[34306, 1158, 190, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[34521, 1164, 335, 7, 28, "Input"],
Cell[34859, 1173, 194, 4, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[35102, 1183, 109, 1, 29, "Subsubsection"],
Cell[35214, 1186, 184, 2, 30, "Text"],
Cell[CellGroupData[{
Cell[35423, 1192, 188, 4, 28, "Input"],
Cell[35614, 1198, 160, 3, 28, "Output"]
}, Open  ]],
Cell[35789, 1204, 242, 4, 30, "Text"],
Cell[CellGroupData[{
Cell[36056, 1212, 132, 2, 28, "Input"],
Cell[36191, 1216, 73, 1, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[36313, 1223, 111, 1, 29, "Subsubsection"],
Cell[36427, 1226, 356, 7, 30, "Text"],
Cell[CellGroupData[{
Cell[36808, 1237, 472, 13, 28, "Input"],
Cell[37283, 1252, 197, 4, 28, "Output"]
}, Open  ]],
Cell[37495, 1259, 307, 6, 30, "Text"],
Cell[CellGroupData[{
Cell[37827, 1269, 583, 16, 80, "Input"],
Cell[38413, 1287, 249, 6, 28, "Output"]
}, Open  ]],
Cell[38677, 1296, 222, 5, 30, "Text"],
Cell[CellGroupData[{
Cell[38924, 1305, 367, 10, 35, "Input"],
Cell[39294, 1317, 134, 3, 28, "Output"]
}, Open  ]],
Cell[39443, 1323, 233, 4, 30, "Text"],
Cell[CellGroupData[{
Cell[39701, 1331, 354, 9, 28, "Input"],
Cell[40058, 1342, 196, 4, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[40303, 1352, 158, 2, 29, "Subsubsection"],
Cell[40464, 1356, 271, 5, 30, "Text"],
Cell[CellGroupData[{
Cell[40760, 1365, 141, 2, 28, "Input"],
Cell[40904, 1369, 95, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[41036, 1375, 302, 7, 28, "Input"],
Cell[41341, 1384, 211, 4, 28, "Output"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[41601, 1394, 162, 2, 29, "Subsubsection"],
Cell[41766, 1398, 257, 5, 30, "Text"],
Cell[CellGroupData[{
Cell[42048, 1407, 416, 10, 63, "Input"],
Cell[42467, 1419, 74, 1, 28, "Output"]
}, Open  ]],
Cell[42556, 1423, 160, 3, 30, "Text"],
Cell[CellGroupData[{
Cell[42741, 1430, 412, 10, 63, "Input"],
Cell[43156, 1442, 76, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[43305, 1451, 105, 1, 64, "Section"],
Cell[CellGroupData[{
Cell[43435, 1456, 103, 1, 44, "Subsection"],
Cell[43541, 1459, 1055, 24, 31, "Text",
 CellTags->"NonzeroDimQ::usage"],
Cell[CellGroupData[{
Cell[44621, 1487, 99, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[44745, 1492, 174, 4, 28, "Input"],
Cell[44922, 1498, 74, 1, 28, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[45057, 1506, 98, 1, 44, "Subsection"],
Cell[45158, 1509, 1045, 24, 31, "Text",
 CellTags->"PureStateQ::usage"],
Cell[CellGroupData[{
Cell[46228, 1537, 98, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[46351, 1542, 280, 8, 28, "Input"],
Cell[46634, 1552, 73, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[46744, 1558, 309, 9, 28, "Input"],
Cell[47056, 1569, 74, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[47191, 1577, 103, 1, 44, "Subsection"],
Cell[47297, 1580, 1036, 24, 31, "Text",
 CellTags->"DiagonalMatrixQ::usage"],
Cell[CellGroupData[{
Cell[48358, 1608, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[48483, 1613, 234, 5, 28, "Input"],
Cell[48720, 1620, 97, 1, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[48878, 1628, 131, 1, 44, "Subsection"],
Cell[49012, 1631, 1079, 29, 31, "Text",
 CellTags->"ColumnVectorQ::usage"],
Cell[50094, 1662, 1168, 30, 31, "Text",
 CellTags->"RowVectorQ::usage"],
Cell[51265, 1694, 1218, 34, 31, "Text",
 CellTags->"GeneralVectorQ::usage"],
Cell[CellGroupData[{
Cell[52508, 1732, 100, 1, 35, "Subsubsection"],
Cell[CellGroupData[{
Cell[52633, 1737, 923, 29, 63, "Input"],
Cell[53559, 1768, 162, 3, 28, "Output"],
Cell[53724, 1773, 161, 3, 28, "Output"],
Cell[53888, 1778, 160, 3, 28, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[54087, 1786, 89, 1, 44, "Subsection"]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)