(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 69932, 2311] NotebookOptionsPosition[ 62323, 2052] NotebookOutlinePosition[ 63871, 2102] CellTagsIndexPosition[ 63533, 2091] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Symbolics 1.01", "Title"], Cell["documentation notebook", "Subtitle"], Cell[TextData[{ "Eric Rowland\n", ButtonBox["http://math.tulane.edu/~erowland/packages.html", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://math.tulane.edu/~erowland/packages.html"], None}] }], "Subsubtitle"], Cell[CellGroupData[{ Cell["Introduction", "Section"], Cell["\<\ Symbolics is a collection of functions for computing with polynomials and \ formal power series. This introduction gets you started with a few features of the package; the \ next section provides a complete list of package symbols along with their \ usage messages and further examples.\ \>", "Text"], Cell[TextData[{ "To use ", "Symbolics", ", first you will need to load the package by evaluating the following cell. \ (If you need help, see ", ButtonBox["loading a package", BaseStyle->"Hyperlink", ButtonData->{ URL["http://math.tulane.edu/~erowland/packages/loadingapackage.html"], None}, ButtonNote-> "http://math.tulane.edu/~erowland/packages/loadingapackage.html"], ".)" }], "Text"], Cell[BoxData[ RowBox[{"<<", "Symbolics`"}]], "Code"], Cell[CellGroupData[{ Cell["Polynomials", "Subsection"], Cell[TextData[{ StyleBox["FromCoefficientList", "Input"], " provides an inverse to the ", StyleBox["Mathematica", FontSlant->"Italic"], " function ", StyleBox["CoefficientList", "Input"], "." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FromCoefficientList", "[", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5"}], "}"}], ",", "x"}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"1", "+", RowBox[{"2", " ", "x"}], "+", RowBox[{"3", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"4", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"5", " ", SuperscriptBox["x", "4"]}]}]], "Output"] }, Open ]], Cell[TextData[{ "The structure of certain polynomials is more clear when written in a basis \ other than the standard basis consisting of powers of ", Cell[BoxData[ FormBox["x", TraditionalForm]], FormatType->"TraditionalForm"], ". The Symbolics package extends ", StyleBox["CoefficientList", "Input"], " to other bases." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{ RowBox[{"362880", " ", "x"}], "-", RowBox[{"485424", " ", SuperscriptBox["x", "2"]}], "-", RowBox[{"114300", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"421280", " ", SuperscriptBox["x", "4"]}], "-", RowBox[{"239085", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"63273", " ", SuperscriptBox["x", "6"]}], "-", RowBox[{"9450", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"870", " ", SuperscriptBox["x", "8"]}], "-", RowBox[{"45", " ", SuperscriptBox["x", "9"]}], "+", SuperscriptBox["x", "10"]}], ",", "x", ",", "\"\\""}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3628800", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3628800"}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FromCoefficientList", "[", RowBox[{ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3628800", ",", "0", ",", "0", ",", "0", ",", "0", ",", "3628800"}], "}"}], ",", "x", ",", "\"\\""}], "]"}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{"30240", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "4"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "3"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "2"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", "x"}], ")"}], " ", "x"}], "+", RowBox[{"3628800", " ", RowBox[{"Binomial", "[", RowBox[{"x", ",", "10"}], "]"}]}]}]], "Output"] }, Open ]], Cell[TextData[{ "Often one wants to obtain a system of equations by setting two polynomials \ in formal variables equal to each other and matching coefficients. ", StyleBox["PolynomialSolve", "Input"], " extracts the system and calls ", StyleBox["Solve", "Input"], " on it." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"PolynomialSolve", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", " ", "x", " ", "y"}], "+", "x", "+", RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b"}], ")"}], " ", "y"}], "+", RowBox[{"(", RowBox[{"b", "+", "d"}], ")"}]}], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "c"}], ")"}], " ", "x", " ", "y"}], "+", RowBox[{ RowBox[{"(", RowBox[{"a", "-", "c", "+", "d"}], ")"}], " ", "x"}], "+", RowBox[{"c", " ", "y"}], "+", RowBox[{"(", RowBox[{"b", "+", "a"}], ")"}]}]}], ",", RowBox[{"{", RowBox[{"x", ",", "y"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"a", "\[Rule]", FractionBox["1", "2"]}], ",", RowBox[{"b", "\[Rule]", RowBox[{"-", FractionBox["1", "2"]}]}], ",", RowBox[{"c", "\[Rule]", "0"}], ",", RowBox[{"d", "\[Rule]", FractionBox["1", "2"]}]}], "}"}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Generating functions and formal power series", "Subsection"], Cell[TextData[{ StyleBox["SeriesCoefficientList", "Input"], " gives a list of coefficients in a power series." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"SeriesCoefficientList", "[", RowBox[{ FractionBox[ RowBox[{"-", "1"}], RowBox[{ SuperscriptBox["x", "2"], "+", "x", "-", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "1", ",", "2", ",", "3", ",", "5", ",", "8", ",", "13", ",", "21", ",", "34", ",", "55", ",", "89"}], "}"}]], "Output"] }, Open ]], Cell[TextData[{ StyleBox["ImplicitSeries", "Input"], " produces series solutions for a function defined implicitly by an \ equation. This is especially useful when the equation cannot be solved, or \ cannot be solved simply." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ImplicitSeries", "[", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Equal]", RowBox[{"x", "+", SuperscriptBox[ RowBox[{"f", "[", "x", "]"}], "5"]}]}], ",", RowBox[{"f", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "1"}], "-", FractionBox["x", "4"], "+", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "2"]}], "32"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "3"]}], "32"], "+", FractionBox[ RowBox[{"385", " ", SuperscriptBox["x", "4"]}], "2048"], "-", FractionBox[ SuperscriptBox["x", "5"], "4"], "+", FractionBox[ RowBox[{"23205", " ", SuperscriptBox["x", "6"]}], "65536"], "-", FractionBox[ RowBox[{"2145", " ", SuperscriptBox["x", "7"]}], "4096"], "+", FractionBox[ RowBox[{"6705765", " ", SuperscriptBox["x", "8"]}], "8388608"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "9"]}], "4"], "+", FractionBox[ RowBox[{"534734915", " ", SuperscriptBox["x", "10"]}], "268435456"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {-1, Rational[-1, 4], Rational[5, 32], Rational[-5, 32], Rational[385, 2048], Rational[-1, 4], Rational[23205, 65536], Rational[-2145, 4096], Rational[6705765, 8388608], Rational[-5, 4], Rational[534734915, 268435456]}, 0, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"x", "+", SuperscriptBox["x", "5"], "+", RowBox[{"5", " ", SuperscriptBox["x", "9"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 1, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 0, 0, 0, 1, 0, 0, 0, 5}, 1, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "\[ImaginaryI]"}], "-", FractionBox["x", "4"], "-", FractionBox[ RowBox[{"5", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "2"]}], "32"], "+", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "3"]}], "32"], "+", FractionBox[ RowBox[{"385", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "4"]}], "2048"], "-", FractionBox[ SuperscriptBox["x", "5"], "4"], "-", FractionBox[ RowBox[{"23205", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "6"]}], "65536"], "+", FractionBox[ RowBox[{"2145", " ", SuperscriptBox["x", "7"]}], "4096"], "+", FractionBox[ RowBox[{"6705765", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "8"]}], "8388608"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "9"]}], "4"], "-", FractionBox[ RowBox[{"534734915", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "10"]}], "268435456"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, { Complex[0, -1], Rational[-1, 4], Complex[0, Rational[-5, 32]], Rational[5, 32], Complex[0, Rational[385, 2048]], Rational[-1, 4], Complex[0, Rational[-23205, 65536]], Rational[2145, 4096], Complex[0, Rational[6705765, 8388608]], Rational[-5, 4], Complex[0, Rational[-534734915, 268435456]]}, 0, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"\[ImaginaryI]", "-", FractionBox["x", "4"], "+", FractionBox[ RowBox[{"5", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "2"]}], "32"], "+", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "3"]}], "32"], "-", FractionBox[ RowBox[{"385", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "4"]}], "2048"], "-", FractionBox[ SuperscriptBox["x", "5"], "4"], "+", FractionBox[ RowBox[{"23205", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "6"]}], "65536"], "+", FractionBox[ RowBox[{"2145", " ", SuperscriptBox["x", "7"]}], "4096"], "-", FractionBox[ RowBox[{"6705765", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "8"]}], "8388608"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "9"]}], "4"], "+", FractionBox[ RowBox[{"534734915", " ", "\[ImaginaryI]", " ", SuperscriptBox["x", "10"]}], "268435456"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, { Complex[0, 1], Rational[-1, 4], Complex[0, Rational[5, 32]], Rational[5, 32], Complex[0, Rational[-385, 2048]], Rational[-1, 4], Complex[0, Rational[23205, 65536]], Rational[2145, 4096], Complex[0, Rational[-6705765, 8388608]], Rational[-5, 4], Complex[0, Rational[534734915, 268435456]]}, 0, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"1", "-", FractionBox["x", "4"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "2"]}], "32"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "3"]}], "32"], "-", FractionBox[ RowBox[{"385", " ", SuperscriptBox["x", "4"]}], "2048"], "-", FractionBox[ SuperscriptBox["x", "5"], "4"], "-", FractionBox[ RowBox[{"23205", " ", SuperscriptBox["x", "6"]}], "65536"], "-", FractionBox[ RowBox[{"2145", " ", SuperscriptBox["x", "7"]}], "4096"], "-", FractionBox[ RowBox[{"6705765", " ", SuperscriptBox["x", "8"]}], "8388608"], "-", FractionBox[ RowBox[{"5", " ", SuperscriptBox["x", "9"]}], "4"], "-", FractionBox[ RowBox[{"534734915", " ", SuperscriptBox["x", "10"]}], "268435456"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, Rational[-1, 4], Rational[-5, 32], Rational[-5, 32], Rational[-385, 2048], Rational[-1, 4], Rational[-23205, 65536], Rational[-2145, 4096], Rational[-6705765, 8388608], Rational[-5, 4], Rational[-534734915, 268435456]}, 0, 11, 1], Editable->False]}]}], "}"}]], "Output"] }, Open ]], Cell[TextData[{ "In counting combinatorial objects one frequently encounters systems of \ linear recurrences in the multivariate counting function. One technique is \ then to use generating functions to rewrite the system and in some cases \ solve it algebraically. ", StyleBox["GeneratingFunctionRelations", "Input"], " automates the process of converting a linear system of partial recurrence \ equations into a system of equations in the generating function." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GeneratingFunctionRelations", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", "0"}], "]"}], "\[Equal]", RowBox[{"2", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", "1"}], "]"}]}]}], "&&", RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", "m"}], "]"}], "\[Equal]", RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "+", "1"}], ",", "m"}], "]"}], "-", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", RowBox[{"m", "-", "1"}]}], "]"}], "+", RowBox[{"3", " ", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", RowBox[{"m", "+", "1"}]}], "]"}]}]}]}]}], ",", RowBox[{"a", "[", RowBox[{"n", ",", "m"}], "]"}], ",", RowBox[{"f", "[", RowBox[{"x", ",", "y"}], "]"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"a", "[", RowBox[{"0", ",", "0"}], "]"}]}], "+", RowBox[{"f", "[", RowBox[{"x", ",", "0"}], "]"}], "-", RowBox[{"2", " ", "x", " ", RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"n", "=", "0"}], "\[Infinity]"], RowBox[{ SuperscriptBox["x", "n"], " ", RowBox[{"a", "[", RowBox[{"n", ",", "1"}], "]"}]}]}]}]}], "\[Equal]", "0"}], ",", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "x"}], " ", SuperscriptBox["y", "3"], " ", RowBox[{"a", "[", RowBox[{"0", ",", "0"}], "]"}]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"], " ", RowBox[{"a", "[", RowBox[{"0", ",", "0"}], "]"}]}], "-", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"], " ", RowBox[{"a", "[", RowBox[{"1", ",", "0"}], "]"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", " ", SuperscriptBox["y", "3"]}], "-", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"]}]}], ")"}], " ", RowBox[{"f", "[", RowBox[{"0", ",", "y"}], "]"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"3", " ", SuperscriptBox["x", "3"], " ", SuperscriptBox["y", "2"]}], "+", RowBox[{"x", " ", SuperscriptBox["y", "3"]}], "-", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"]}]}], ")"}], " ", RowBox[{"f", "[", RowBox[{"x", ",", "0"}], "]"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", "3"}], " ", SuperscriptBox["x", "3"], " ", SuperscriptBox["y", "2"]}], "-", RowBox[{"x", " ", SuperscriptBox["y", "3"]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"]}], "+", RowBox[{ SuperscriptBox["x", "3"], " ", SuperscriptBox["y", "4"]}]}], ")"}], " ", RowBox[{"f", "[", RowBox[{"x", ",", "y"}], "]"}]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox["y", "3"], " ", RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"m", "=", "0"}], "\[Infinity]"], RowBox[{ SuperscriptBox["y", "m"], " ", RowBox[{"a", "[", RowBox[{"1", ",", "m"}], "]"}]}]}]}], "+", RowBox[{"3", " ", SuperscriptBox["x", "3"], " ", SuperscriptBox["y", "3"], " ", RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"n", "=", "0"}], "\[Infinity]"], RowBox[{ SuperscriptBox["x", "n"], " ", RowBox[{"a", "[", RowBox[{"n", ",", "1"}], "]"}]}]}]}]}], "\[Equal]", "0"}]}], "}"}]], "Output"] }, Open ]] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Package symbols", "Section"], Cell[CellGroupData[{ Cell[TextData[{ StyleBox["CoefficientList", "Input"], StyleBox[" (extension)", FontWeight->"Plain"] }], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "CoefficientList"}]], "Input"], Cell[BoxData[ RowBox[{ StyleBox["\<\"CoefficientList[\*StyleBox[\\\"poly\\\", \\\"TI\\\"], \ \*StyleBox[\\\"var\\\", \\\"TI\\\"]] gives a list of coefficients of powers \ of \*StyleBox[\\\"var\\\", \\\"TI\\\"] in \*StyleBox[\\\"poly\\\", \ \\\"TI\\\"], starting with power \ 0.\\nCoefficientList[\*StyleBox[\\\"poly\\\", \\\"TI\\\"], \ {\!\(\*SubscriptBox[StyleBox[\\\"var\\\", \\\"TI\\\"], StyleBox[\\\"1\\\", \\\ \"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\\\"var\\\", \\\"TI\\\"], StyleBox[\ \\\"2\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"\[Ellipsis]\\\", \\\"TI\\\"]}] \ gives an array of coefficients of the \ \!\(\*SubscriptBox[StyleBox[\\\"var\\\", \\\"TI\\\"], StyleBox[\\\"i\\\", \ \\\"TI\\\"]]\).\\nCoefficientList[\*StyleBox[\\\"poly\\\", \\\"TI\\\"], \ \*StyleBox[\\\"var\\\", \\\"TI\\\"], \*StyleBox[\\\"polynomial\\\", \ \\\"TI\\\"]] gives the list of coefficients of \*StyleBox[\\\"poly\\\", \ \\\"TI\\\"] in the basis specified by \*StyleBox[\\\"polynomial\\\", \\\"TI\\\ \"], which is a one\[Hyphen]parameter family of polynomials in \ \*StyleBox[\\\"var\\\", \\\"TI\\\"] or one of \\\"BernoulliB\\\", \ \\\"Binomial\\\", \\\"ChebyshevT\\\", \\\"ChebyshevU\\\", \\\"EulerE\\\", \ \\\"Fibonacci\\\", \\\"HermiteH\\\", \\\"LaguerreL\\\", \\\"LegendreP\\\", \\\ \"NorlundB\\\", \\\"Pochhammer\\\", \\\"Power\\\".\"\>", "MSG"], "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:ref/CoefficientList"]}]], "Print", "PrintUsage", CellTags->"Info3462399450-6410860"] }, Open ]], Cell["Put a general quintic polynomial into the binomial basis:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{ SubscriptBox["a", "0"], "+", RowBox[{ SubscriptBox["a", "1"], " ", "x"}], "+", RowBox[{ SubscriptBox["a", "2"], " ", SuperscriptBox["x", "2"]}], "+", RowBox[{ SubscriptBox["a", "3"], " ", SuperscriptBox["x", "3"]}], "+", RowBox[{ SubscriptBox["a", "4"], SuperscriptBox["x", "4"]}], "+", RowBox[{ SubscriptBox["a", "5"], SuperscriptBox["x", "5"]}]}], ",", "x", ",", "\"\\""}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ SubscriptBox["a", "0"], ",", RowBox[{ SubscriptBox["a", "1"], "+", SubscriptBox["a", "2"], "+", SubscriptBox["a", "3"], "+", SubscriptBox["a", "4"], "+", SubscriptBox["a", "5"]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{ SubscriptBox["a", "2"], "+", RowBox[{"3", " ", SubscriptBox["a", "3"]}], "+", RowBox[{"7", " ", SubscriptBox["a", "4"]}], "+", RowBox[{"15", " ", SubscriptBox["a", "5"]}]}], ")"}]}], ",", RowBox[{"6", " ", RowBox[{"(", RowBox[{ SubscriptBox["a", "3"], "+", RowBox[{"6", " ", SubscriptBox["a", "4"]}], "+", RowBox[{"25", " ", SubscriptBox["a", "5"]}]}], ")"}]}], ",", RowBox[{"24", " ", RowBox[{"(", RowBox[{ SubscriptBox["a", "4"], "+", RowBox[{"10", " ", SubscriptBox["a", "5"]}]}], ")"}]}], ",", RowBox[{"120", " ", SubscriptBox["a", "5"]}]}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Expand", "[", RowBox[{"%", ".", RowBox[{"Binomial", "[", RowBox[{"x", ",", RowBox[{"Range", "[", RowBox[{"0", ",", "5"}], "]"}]}], "]"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{ SubscriptBox["a", "0"], "+", RowBox[{"x", " ", SubscriptBox["a", "1"]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", SubscriptBox["a", "2"]}], "+", RowBox[{ SuperscriptBox["x", "3"], " ", SubscriptBox["a", "3"]}], "+", RowBox[{ SuperscriptBox["x", "4"], " ", SubscriptBox["a", "4"]}], "+", RowBox[{ SuperscriptBox["x", "5"], " ", SubscriptBox["a", "5"]}]}]], "Output"] }, Open ]], Cell[TextData[{ "The polynomial ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}], "7"], TraditionalForm]]], " is represented very simply in the basis ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}], "n"], TraditionalForm]]], ":" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Expand", "[", SuperscriptBox[ RowBox[{"(", RowBox[{"x", "+", "1"}], ")"}], "7"], "]"}]], "Input"], Cell[BoxData[ RowBox[{"1", "+", RowBox[{"7", " ", "x"}], "+", RowBox[{"21", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"35", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"35", " ", SuperscriptBox["x", "4"]}], "+", RowBox[{"21", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"7", " ", SuperscriptBox["x", "6"]}], "+", SuperscriptBox["x", "7"]}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{"1", "+", RowBox[{"7", " ", "x"}], "+", RowBox[{"21", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"35", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"35", " ", SuperscriptBox["x", "4"]}], "+", RowBox[{"21", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"7", " ", SuperscriptBox["x", "6"]}], "+", SuperscriptBox["x", "7"]}], ",", "x", ",", RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}], "#"], "&"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ StyleBox["FragileTogether", "Input"], StyleBox[" (a variant of ", "Text", FontWeight->"Plain"], StyleBox["Together", "Input"], StyleBox[")", "Text", FontWeight->"Plain"] }], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "FragileTogether"}]], "Input"], Cell[BoxData[ StyleBox["\<\"FragileTogether[expr] puts terms in a sum over a common \ denominator, without expanding the numerator.\"\>", "MSG"]], "Print", \ "PrintUsage", CellTags->"Info3462399458-7050035"] }, Open ]], Cell[TextData[{ StyleBox["Together", "Input"], " expands the numerator, but ", StyleBox["FragileTogether", "Input"], " does not:" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Together", "[", RowBox[{ FractionBox[ RowBox[{"x", "-", "1"}], RowBox[{"x", "-", "2"}]], "+", FractionBox[ RowBox[{"x", "-", "3"}], RowBox[{"x", "+", "1"}]]}], "]"}]], "Input"], Cell[BoxData[ FractionBox[ RowBox[{"5", "-", RowBox[{"5", " ", "x"}], "+", RowBox[{"2", " ", SuperscriptBox["x", "2"]}]}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "2"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}]}]]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FragileTogether", "[", RowBox[{ FractionBox[ RowBox[{"x", "-", "1"}], RowBox[{"x", "-", "2"}]], "+", FractionBox[ RowBox[{"x", "-", "3"}], RowBox[{"x", "+", "1"}]]}], "]"}]], "Input"], Cell[BoxData[ FractionBox[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "3"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "2"}], "+", "x"}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}]}]}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "2"}], "+", "x"}], ")"}], " ", RowBox[{"(", RowBox[{"1", "+", "x"}], ")"}]}]]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[StyleBox["FromCoefficientList", "Input"]], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "FromCoefficientList"}]], "Input"], Cell[BoxData[ StyleBox["\<\"FromCoefficientList[\*StyleBox[\\\"list\\\", \\\"TI\\\"], \ \*StyleBox[\\\"var\\\", \\\"TI\\\"]] constructs a polynomial in \*StyleBox[\\\ \"var\\\", \\\"TI\\\"] from its coefficient list \*StyleBox[\\\"list\\\", \ \\\"TI\\\"].\\nFromCoefficientList[\*StyleBox[\\\"array\\\", \\\"TI\\\"], {\!\ \(\*SubscriptBox[StyleBox[\\\"var\\\", \\\"TI\\\"], StyleBox[\\\"1\\\", \ \\\"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\\\"var\\\", \\\"TI\\\"], \ StyleBox[\\\"2\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"\[Ellipsis]\\\", \ \\\"TI\\\"]}] constructs a multivariate polynomial from its coefficient array \ \*StyleBox[\\\"array\\\", \ \\\"TI\\\"].\\nFromCoefficientList[\*StyleBox[\\\"list\\\", \\\"TI\\\"], \ \*StyleBox[\\\"var\\\", \\\"TI\\\"], \*StyleBox[\\\"polynomial\\\", \ \\\"TI\\\"]] constructs a polynomial in \*StyleBox[\\\"var\\\", \\\"TI\\\"] \ from its coefficient list \*StyleBox[\\\"list\\\", \\\"TI\\\"] in the basis \ specified by \*StyleBox[\\\"polynomial\\\", \\\"TI\\\"], which is a one\ \[Hyphen]parameter family of polynomials in \*StyleBox[\\\"var\\\", \ \\\"TI\\\"] or one of \\\"BernoulliB\\\", \\\"Binomial\\\", \ \\\"ChebyshevT\\\", \\\"ChebyshevU\\\", \\\"EulerE\\\", \\\"Fibonacci\\\", \\\ \"HermiteH\\\", \\\"LaguerreL\\\", \\\"LegendreP\\\", \\\"NorlundB\\\", \ \\\"Pochhammer\\\", \\\"Power\\\".\"\>", "MSG"]], "Print", "PrintUsage", CellTags->"Info3462399463-8217142"] }, Open ]], Cell[TextData[{ StyleBox["FromCoefficientList", "Input"], " provides an inverse to ", StyleBox["CoefficientList", "Input"], ":" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FromCoefficientList", "[", RowBox[{ RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{"a", "+", RowBox[{"b", " ", "x"}], "+", RowBox[{"c", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"d", " ", SuperscriptBox["x", "3"]}]}], ",", "x"}], "]"}], ",", "x"}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"a", "+", RowBox[{"b", " ", "x"}], "+", RowBox[{"c", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"d", " ", SuperscriptBox["x", "3"]}]}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"With", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"coeffs", "=", RowBox[{"Table", "[", RowBox[{ SubscriptBox["a", RowBox[{"i", ",", "j", ",", "k"}]], ",", RowBox[{"{", RowBox[{"i", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "4"}], "}"}]}], "]"}]}], ",", RowBox[{"vars", "=", RowBox[{"{", RowBox[{"x", ",", "y", ",", "z"}], "}"}]}]}], "}"}], ",", RowBox[{ RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{"FromCoefficientList", "[", RowBox[{"coeffs", ",", "vars"}], "]"}], ",", "vars"}], "]"}], "\[Equal]", "coeffs"}]}], "]"}]], "Input"], Cell[BoxData["True"], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Expand", "[", RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{"FunctionExpand", "[", RowBox[{"FromCoefficientList", "[", RowBox[{ RowBox[{"Thread", "[", SubscriptBox["a", RowBox[{"Range", "[", "10", "]"}]], "]"}], ",", "x", ",", "#1"}], "]"}], "]"}], ",", "x", ",", "#1"}], "]"}], "]"}], "&"}], ")"}], "/@", RowBox[{"{", RowBox[{ "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\""}], "}"}]}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}], ",", RowBox[{"{", RowBox[{ SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", SubscriptBox["a", "5"], ",", SubscriptBox["a", "6"], ",", SubscriptBox["a", "7"], ",", SubscriptBox["a", "8"], ",", SubscriptBox["a", "9"], ",", SubscriptBox["a", "10"]}], "}"}]}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[StyleBox["GeneratingFunctionRelations", "Input"]], \ "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "GeneratingFunctionRelations"}]], "Input"], Cell[BoxData[ StyleBox["\<\"GeneratingFunctionRelations[{\!\(\*SubscriptBox[StyleBox[\\\"\ eqn\\\", \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]]\), \ \!\(\*SubscriptBox[StyleBox[\\\"eqn\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \ \\\"TR\\\"]]\), \*StyleBox[\\\"\[Ellipsis]\\\", \\\"TI\\\"]}, \ \*StyleBox[\\\"a\\\", \\\"TI\\\"][\!\(\*SubscriptBox[StyleBox[\\\"n\\\", \ \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\ \\\"n\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"\ \[Ellipsis]\\\", \\\"TI\\\"], \!\(\*SubscriptBox[StyleBox[\\\"n\\\", \\\"TI\\\ \"], StyleBox[\\\"k\\\", \\\"TI\\\"]]\)], \*StyleBox[\\\"f\\\", \ \\\"TI\\\"][\!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], \ StyleBox[\\\"1\\\", \\\"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\ \"TI\\\"], StyleBox[\\\"2\\\", \\\"TR\\\"]]\), \ \*StyleBox[\\\"\[Ellipsis]\\\", \\\"TI\\\"], \ \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\"k\\\", \ \\\"TI\\\"]]\)]] gives equations satisfied by the multivariate generating \ function \*StyleBox[\\\"f\\\", \ \\\"TI\\\"][\!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], \ StyleBox[\\\"1\\\", \\\"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\ \"TI\\\"], StyleBox[\\\"2\\\", \\\"TR\\\"]]\), \ \*StyleBox[\\\"\[Ellipsis]\\\", \\\"TI\\\"], \ \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\"k\\\", \ \\\"TI\\\"]]\)] of the sequence \*StyleBox[\\\"a\\\", \ \\\"TI\\\"][\!\(\*SubscriptBox[StyleBox[\\\"n\\\", \\\"TI\\\"], \ StyleBox[\\\"1\\\", \\\"TR\\\"]]\), \!\(\*SubscriptBox[StyleBox[\\\"n\\\", \\\ \"TI\\\"], StyleBox[\\\"2\\\", \\\"TR\\\"]]\), \ \*StyleBox[\\\"\[Ellipsis]\\\", \\\"TI\\\"], \ \!\(\*SubscriptBox[StyleBox[\\\"n\\\", \\\"TI\\\"], StyleBox[\\\"k\\\", \ \\\"TI\\\"]]\)] satisfying a linear system of partial recurrence equations.\"\ \>", "MSG"]], "Print", "PrintUsage", CellTags->"Info3462399469-7634071"] }, Open ]], Cell["\<\ Find an equation satisfied by the generating function for the Fibonacci \ sequence:\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GeneratingFunctionRelations", "[", RowBox[{ RowBox[{ RowBox[{"u", "[", RowBox[{"n", "+", "2"}], "]"}], "\[Equal]", RowBox[{ RowBox[{"u", "[", RowBox[{"n", "+", "1"}], "]"}], "+", RowBox[{"u", "[", "n", "]"}]}]}], ",", RowBox[{"u", "[", "n", "]"}], ",", RowBox[{"f", "[", "x", "]"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"x", "-", SuperscriptBox["x", "2"], "-", SuperscriptBox["x", "3"]}], ")"}], " ", RowBox[{"f", "[", "x", "]"}]}], "-", RowBox[{"x", " ", RowBox[{"u", "[", "0", "]"}]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", RowBox[{"u", "[", "0", "]"}]}], "-", RowBox[{ SuperscriptBox["x", "2"], " ", RowBox[{"u", "[", "1", "]"}]}]}], "\[Equal]", "0"}], "}"}]], "Output"] }, Open ]], Cell["Here is the generating function itself:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Solve", "[", RowBox[{"%", ",", RowBox[{"f", "[", "x", "]"}]}], "]"}], "/.", "\[InvisibleSpace]", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"u", "[", "0", "]"}], "\[Rule]", "0"}], ",", RowBox[{ RowBox[{"u", "[", "1", "]"}], "\[Rule]", "1"}]}], "}"}]}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", RowBox[{"-", FractionBox["x", RowBox[{ RowBox[{"-", "1"}], "+", "x", "+", SuperscriptBox["x", "2"]}]]}]}], "}"}], "}"}]], "Output"] }, Open ]], Cell["Compute the first few terms of the series:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Series", "[", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "/.", "\[InvisibleSpace]", "%"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", InterpretationBox[ RowBox[{"x", "+", SuperscriptBox["x", "2"], "+", RowBox[{"2", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"3", " ", SuperscriptBox["x", "4"]}], "+", RowBox[{"5", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"8", " ", SuperscriptBox["x", "6"]}], "+", RowBox[{"13", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"21", " ", SuperscriptBox["x", "8"]}], "+", RowBox[{"34", " ", SuperscriptBox["x", "9"]}], "+", RowBox[{"55", " ", SuperscriptBox["x", "10"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 1, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 1, 2, 3, 5, 8, 13, 21, 34, 55}, 1, 11, 1], Editable->False], "}"}]], "Output"] }, Open ]], Cell[TextData[{ StyleBox["RSolve", "Input"], " can't solve systems of a certain complexity, but ", StyleBox["RecurrenceGeneratingFunctionEquations", "Input"], " can give equations satisfied by the generating function:" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"RSolve", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}], "\[Equal]", "1"}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "0"}], "]"}], "\[Equal]", RowBox[{"2", " ", "n", " ", RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", "1"}], "]"}]}]}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], "\[Equal]", RowBox[{ RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", RowBox[{"l", "-", "1"}]}], "]"}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"2", " ", "n"}], "-", "1"}], ")"}], " ", RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", RowBox[{"l", "+", "1"}]}], "]"}]}]}]}]}], ",", RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], ",", RowBox[{"{", RowBox[{"p", ",", "l"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"RSolve", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}], "\[Equal]", "1"}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "0"}], "]"}], "\[Equal]", RowBox[{"2", " ", "n", " ", RowBox[{"c", "[", RowBox[{ RowBox[{ RowBox[{"-", "1"}], "+", "p"}], ",", "1"}], "]"}]}]}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], "\[Equal]", RowBox[{ RowBox[{"c", "[", RowBox[{ RowBox[{ RowBox[{"-", "1"}], "+", "p"}], ",", RowBox[{ RowBox[{"-", "1"}], "+", "l"}]}], "]"}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"2", " ", "n"}]}], ")"}], " ", RowBox[{"c", "[", RowBox[{ RowBox[{ RowBox[{"-", "1"}], "+", "p"}], ",", RowBox[{"1", "+", "l"}]}], "]"}]}]}]}]}], ",", RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], ",", RowBox[{"{", RowBox[{"p", ",", "l"}], "}"}]}], "]"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GeneratingFunctionRelations", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}], "\[Equal]", "1"}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "0"}], "]"}], "\[Equal]", RowBox[{"2", " ", "n", " ", RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", "1"}], "]"}]}]}], "&&", RowBox[{ RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], "\[Equal]", RowBox[{ RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", RowBox[{"l", "-", "1"}]}], "]"}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"2", " ", "n"}], "-", "1"}], ")"}], " ", RowBox[{"c", "[", RowBox[{ RowBox[{"p", "-", "1"}], ",", RowBox[{"l", "+", "1"}]}], "]"}]}]}]}]}], ",", RowBox[{"c", "[", RowBox[{"p", ",", "l"}], "]"}], ",", RowBox[{"f", "[", RowBox[{"x", ",", "y"}], "]"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}]}], "\[Equal]", "0"}], ",", RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}]}], "+", RowBox[{"f", "[", RowBox[{"x", ",", "0"}], "]"}], "-", RowBox[{"2", " ", "n", " ", "x", " ", RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"p", "=", "0"}], "\[Infinity]"], RowBox[{ SuperscriptBox["x", "p"], " ", RowBox[{"c", "[", RowBox[{"p", ",", "1"}], "]"}]}]}]}]}], "\[Equal]", "0"}], ",", RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["y", "2"], " ", RowBox[{"c", "[", RowBox[{"0", ",", "0"}], "]"}]}], "-", RowBox[{ SuperscriptBox["y", "2"], " ", RowBox[{"f", "[", RowBox[{"0", ",", "y"}], "]"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"2", " ", "n"}]}], ")"}], " ", "x", " ", "y"}], "-", SuperscriptBox["y", "2"]}], ")"}], " ", RowBox[{"f", "[", RowBox[{"x", ",", "0"}], "]"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"1", "-", RowBox[{"2", " ", "n"}]}], ")"}], " ", "x", " ", "y"}], "+", SuperscriptBox["y", "2"], "-", RowBox[{"x", " ", SuperscriptBox["y", "3"]}]}], ")"}], " ", RowBox[{"f", "[", RowBox[{"x", ",", "y"}], "]"}]}], "-", RowBox[{ RowBox[{"(", RowBox[{"1", "-", RowBox[{"2", " ", "n"}]}], ")"}], " ", "x", " ", SuperscriptBox["y", "2"], " ", RowBox[{ UnderoverscriptBox["\[Sum]", RowBox[{"p", "=", "0"}], "\[Infinity]"], RowBox[{ SuperscriptBox["x", "p"], " ", RowBox[{"c", "[", RowBox[{"p", ",", "1"}], "]"}]}]}]}]}], "\[Equal]", "0"}]}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[StyleBox["ImplicitSeries", "Input"]], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "ImplicitSeries"}]], "Input"], Cell[BoxData[ StyleBox["\<\"ImplicitSeries[\*StyleBox[\\\"eqn\\\", \\\"TI\\\"], \ \*StyleBox[\\\"f[x]\\\", \\\"TI\\\"], {\*StyleBox[\\\"x\\\", \\\"TI\\\"], \ \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\"0\\\", \ \\\"TR\\\"]]\), \*StyleBox[\\\"n\\\", \\\"TI\\\"]}] generates a power series \ expansion for the implicit function \*StyleBox[\\\"f[x]\\\", \\\"TI\\\"] in \ \*StyleBox[\\\"eqn\\\", \\\"TI\\\"] about the point \*StyleBox[\\\"x\\\", \ \\\"TI\\\"] = \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\ \"0\\\", \\\"TR\\\"]]\) to order \!\(\*SuperscriptBox[RowBox[{\\\"(\\\", \ RowBox[{StyleBox[\\\"x\\\", \\\"TI\\\"], \\\"-\\\", \ SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\"0\\\", \ \\\"TR\\\"]]}], \\\")\\\"}], StyleBox[\\\"n\\\", \\\"TI\\\"]]\).\"\>", "MSG"]], "Print", "PrintUsage", CellTags->"Info3462399480-2156948"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ImplicitSeries", "[", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Equal]", FractionBox["1", RowBox[{"1", "-", "x"}]]}], ",", RowBox[{"f", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"1", "+", "x", "+", SuperscriptBox["x", "2"], "+", SuperscriptBox["x", "3"], "+", SuperscriptBox["x", "4"], "+", SuperscriptBox["x", "5"], "+", SuperscriptBox["x", "6"], "+", SuperscriptBox["x", "7"], "+", SuperscriptBox["x", "8"], "+", SuperscriptBox["x", "9"], "+", SuperscriptBox["x", "10"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, 0, 11, 1], Editable->False]}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ImplicitSeries", "[", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Equal]", RowBox[{"1", "+", RowBox[{"x", " ", RowBox[{"f", "[", "x", "]"}]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", SuperscriptBox[ RowBox[{"f", "[", "x", "]"}], "2"]}], "+", RowBox[{ SuperscriptBox["x", "3"], " ", SuperscriptBox[ RowBox[{"f", "[", "x", "]"}], "3"]}]}]}], ",", RowBox[{"f", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"1", "+", "x", "+", RowBox[{"2", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"5", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"13", " ", SuperscriptBox["x", "4"]}], "+", RowBox[{"36", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"104", " ", SuperscriptBox["x", "6"]}], "+", RowBox[{"309", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"939", " ", SuperscriptBox["x", "8"]}], "+", RowBox[{"2905", " ", SuperscriptBox["x", "9"]}], "+", RowBox[{"9118", " ", SuperscriptBox["x", "10"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 1, 2, 5, 13, 36, 104, 309, 939, 2905, 9118}, 0, 11, 1], Editable->False]}], "}"}]], "Output"] }, Open ]], Cell[TextData[{ "Various arguments can be supplied to the function ", Cell[BoxData[ FormBox[ RowBox[{"f", "[", "x", "]"}], TraditionalForm]]], ". (This is Example 12.1 on page 371 of Allouche & Shallit, ", StyleBox["Automatic Sequences", FontSlant->"Italic"], ".)" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ImplicitSeries", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], " ", RowBox[{"f", "[", SuperscriptBox["x", "2"], "]"}]}], "\[Equal]", FractionBox["1", RowBox[{"1", "-", "x"}]]}], ",", RowBox[{"f", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "22"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "1"}], "-", "x", "-", SuperscriptBox["x", "4"], "-", SuperscriptBox["x", "5"], "-", SuperscriptBox["x", "16"], "-", SuperscriptBox["x", "17"], "-", SuperscriptBox["x", "20"], "-", SuperscriptBox["x", "21"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "23"], SeriesData[$CellContext`x, 0, {}, 0, 23, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {-1, -1, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, -1, -1}, 0, 23, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{"1", "+", "x", "+", SuperscriptBox["x", "4"], "+", SuperscriptBox["x", "5"], "+", SuperscriptBox["x", "16"], "+", SuperscriptBox["x", "17"], "+", SuperscriptBox["x", "20"], "+", SuperscriptBox["x", "21"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "23"], SeriesData[$CellContext`x, 0, {}, 0, 23, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1}, 0, 23, 1], Editable->False]}]}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ImplicitSeries", "[", RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["x", "2"], "+", RowBox[{"x", " ", RowBox[{"f", "[", "x", "]"}]}], "+", SuperscriptBox[ RowBox[{"f", "[", "x", "]"}], "3"]}], "\[Equal]", "0"}], ",", RowBox[{"f", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "x"}], "+", SuperscriptBox["x", "2"], "-", RowBox[{"3", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"12", " ", SuperscriptBox["x", "4"]}], "-", RowBox[{"55", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"273", " ", SuperscriptBox["x", "6"]}], "-", RowBox[{"1428", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"7752", " ", SuperscriptBox["x", "8"]}], "-", RowBox[{"43263", " ", SuperscriptBox["x", "9"]}], "+", RowBox[{"246675", " ", SuperscriptBox["x", "10"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 1, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {-1, 1, -3, 12, -55, 273, -1428, 7752, -43263, 246675}, 1, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "x"}], "+", SuperscriptBox["x", "2"], "-", RowBox[{"3", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"12", " ", SuperscriptBox["x", "4"]}], "-", RowBox[{"55", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"273", " ", SuperscriptBox["x", "6"]}], "-", RowBox[{"1428", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"7752", " ", SuperscriptBox["x", "8"]}], "-", RowBox[{"43263", " ", SuperscriptBox["x", "9"]}], "+", RowBox[{"246675", " ", SuperscriptBox["x", "10"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 1, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {-1, 1, -3, 12, -55, 273, -1428, 7752, -43263, 246675}, 1, 11, 1], Editable->False]}], ",", RowBox[{ RowBox[{"f", "[", "x", "]"}], "\[Rule]", InterpretationBox[ RowBox[{ RowBox[{"-", "x"}], "+", SuperscriptBox["x", "2"], "-", RowBox[{"3", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"12", " ", SuperscriptBox["x", "4"]}], "-", RowBox[{"55", " ", SuperscriptBox["x", "5"]}], "+", RowBox[{"273", " ", SuperscriptBox["x", "6"]}], "-", RowBox[{"1428", " ", SuperscriptBox["x", "7"]}], "+", RowBox[{"7752", " ", SuperscriptBox["x", "8"]}], "-", RowBox[{"43263", " ", SuperscriptBox["x", "9"]}], "+", RowBox[{"246675", " ", SuperscriptBox["x", "10"]}], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 1, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {-1, 1, -3, 12, -55, 273, -1428, 7752, -43263, 246675}, 1, 11, 1], Editable->False]}]}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[StyleBox["PolynomialSolve", "Input"]], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "PolynomialSolve"}]], "Input"], Cell[BoxData[ StyleBox["\<\"PolynomialSolve[\*StyleBox[\\\"eqn\\\", \\\"TI\\\"], \ \*StyleBox[\\\"vars\\\", \\\"TI\\\"]] solves the system of equations obtained \ by equating two polynomials in \*StyleBox[\\\"vars\\\", \ \\\"TI\\\"].\\nPolynomialSolve[\*StyleBox[\\\"eqn\\\", \\\"TI\\\"], \ \*StyleBox[\\\"vars\\\", \\\"TI\\\"], \*StyleBox[\\\"solvevars\\\", \ \\\"TI\\\"]] solves for the variables \*StyleBox[\\\"solvevars\\\", \ \\\"TI\\\"].\"\>", "MSG"]], "Print", "PrintUsage", CellTags->"Info3462399487-1424732"] }, Open ]], Cell["\<\ Two polynomials are equal if their corresponding coefficients are equal.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"PolynomialSolve", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ SuperscriptBox["a", "2"], "+", "1"}], ")"}], " ", SuperscriptBox["x", "2"]}], "-", "x", "+", "a"}], "\[Equal]", RowBox[{ RowBox[{"b", " ", SuperscriptBox["x", "2"]}], "-", "x", "+", "4"}]}], ",", "x"}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"b", "\[Rule]", "17"}], ",", RowBox[{"a", "\[Rule]", "4"}]}], "}"}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"PolynomialSolve", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ SuperscriptBox["a", "2"], "+", "1"}], ")"}], " ", SuperscriptBox["x", "2"]}], "-", "x", "+", "a"}], "\[Equal]", RowBox[{ RowBox[{"b", " ", SuperscriptBox["x", "2"]}], "-", "x", "+", "4"}]}], ",", "x", ",", "b"}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{"b", "\[Rule]", "17"}], "}"}], "}"}]], "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[StyleBox["SeriesCoefficientList", "Input"]], "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "SeriesCoefficientList"}]], "Input"], Cell[BoxData[ StyleBox["\<\"SeriesCoefficientList[\*StyleBox[\\\"f\\\", \\\"TI\\\"], \ {\*StyleBox[\\\"x\\\", \\\"TI\\\"], \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\ \"TI\\\"], StyleBox[\\\"0\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"n\\\", \\\"TI\\\ \"]}] gives a list of coefficients of the power series expansion for \ \*StyleBox[\\\"f\\\", \\\"TI\\\"] about the point \*StyleBox[\\\"x\\\", \ \\\"TI\\\"] = \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\ \"0\\\", \\\"TR\\\"]]\) to order \!\(\*SuperscriptBox[RowBox[{\\\"(\\\", \ RowBox[{StyleBox[\\\"x\\\", \\\"TI\\\"], \\\"-\\\", \ SubscriptBox[StyleBox[\\\"x\\\", \\\"TI\\\"], StyleBox[\\\"0\\\", \ \\\"TR\\\"]]}], \\\")\\\"}], StyleBox[\\\"n\\\", \ \\\"TI\\\"]]\).\\nSeriesCoefficientList[\*StyleBox[\\\"f\\\", \\\"TI\\\"], \ {\*StyleBox[\\\"x\\\", \\\"TI\\\"], \!\(\*SubscriptBox[StyleBox[\\\"x\\\", \\\ \"TI\\\"], StyleBox[\\\"0\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"m\\\", \\\"TI\\\ \"]}, {\*StyleBox[\\\"y\\\", \\\"TI\\\"], \!\(\*SubscriptBox[StyleBox[\\\"y\\\ \", \\\"TI\\\"], StyleBox[\\\"0\\\", \\\"TR\\\"]]\), \*StyleBox[\\\"n\\\", \\\ \"TI\\\"]}, \[Ellipsis]] gives an array of coefficients of the series \ expansion with respect to \*StyleBox[\\\"x\\\", \\\"TI\\\"], then \*StyleBox[\ \\\"y\\\", \\\"TI\\\"], etc.\"\>", "MSG"]], "Print", "PrintUsage", CellTags->"Info3462399491-2475781"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Series", "[", RowBox[{ FractionBox["1", RowBox[{ SuperscriptBox["x", "2"], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ InterpretationBox[ RowBox[{"1", "-", SuperscriptBox["x", "2"], "+", SuperscriptBox["x", "4"], "-", SuperscriptBox["x", "6"], "+", SuperscriptBox["x", "8"], "-", SuperscriptBox["x", "10"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "11"], SeriesData[$CellContext`x, 0, {}, 0, 11, 1], Editable->False]}], SeriesData[$CellContext`x, 0, {1, 0, -1, 0, 1, 0, -1, 0, 1, 0, -1}, 0, 11, 1], Editable->False]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"SeriesCoefficientList", "[", RowBox[{ FractionBox["1", RowBox[{ SuperscriptBox["x", "2"], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "0", ",", RowBox[{"-", "1"}], ",", "0", ",", "1", ",", "0", ",", RowBox[{"-", "1"}], ",", "0", ",", "1", ",", "0", ",", RowBox[{"-", "1"}]}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Grid", "[", RowBox[{"SeriesCoefficientList", "[", RowBox[{ FractionBox["1", RowBox[{"1", "-", RowBox[{"(", RowBox[{"x", "+", "y"}], ")"}]}]], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", "0", ",", "10"}], "}"}]}], "]"}], "]"}]], "Input"], Cell[BoxData[ TagBox[GridBox[{ {"1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"}, {"1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11"}, {"1", "3", "6", "10", "15", "21", "28", "36", "45", "55", "66"}, {"1", "4", "10", "20", "35", "56", "84", "120", "165", "220", "286"}, {"1", "5", "15", "35", "70", "126", "210", "330", "495", "715", "1001"}, {"1", "6", "21", "56", "126", "252", "462", "792", "1287", "2002", "3003"}, {"1", "7", "28", "84", "210", "462", "924", "1716", "3003", "5005", "8008"}, {"1", "8", "36", "120", "330", "792", "1716", "3432", "6435", "11440", "19448"}, {"1", "9", "45", "165", "495", "1287", "3003", "6435", "12870", "24310", "43758"}, {"1", "10", "55", "220", "715", "2002", "5005", "11440", "24310", "48620", "92378"}, {"1", "11", "66", "286", "1001", "3003", "8008", "19448", "43758", "92378", "184756"} }, AutoDelete->False, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Grid"]], "Output"] }, Open ]] }, Closed]] }, Open ]] }, Open ]] }, AutoGeneratedPackage->None, WindowSize->{1272, 717}, WindowMargins->{{Automatic, 0}, {Automatic, 0}}, ShowSelection->True, CellLabelAutoDelete->True, TrackCellChangeTimes->False, Magnification->1., FrontEndVersion->"7.0 for Microsoft Windows (64-bit) (February 18, 2009)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info3462399450-6410860"->{ Cell[19254, 658, 1564, 27, 100, "Print", CellTags->"Info3462399450-6410860"]}, "Info3462399458-7050035"->{ Cell[25249, 867, 209, 4, 40, "Print", CellTags->"Info3462399458-7050035"]}, "Info3462399463-8217142"->{ Cell[27189, 953, 1415, 20, 93, "Print", CellTags->"Info3462399463-8217142"]}, "Info3462399469-7634071"->{ Cell[36018, 1222, 1930, 30, 60, "Print", CellTags->"Info3462399469-7634071"]}, "Info3462399480-2156948"->{ Cell[46682, 1568, 884, 13, 42, "Print", CellTags->"Info3462399480-2156948"]}, "Info3462399487-1424732"->{ Cell[56241, 1867, 519, 8, 58, "Print", CellTags->"Info3462399487-1424732"]}, "Info3462399491-2475781"->{ Cell[58206, 1940, 1365, 19, 60, "Print", CellTags->"Info3462399491-2475781"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info3462399450-6410860", 62755, 2067}, {"Info3462399458-7050035", 62868, 2070}, {"Info3462399463-8217142", 62978, 2073}, {"Info3462399469-7634071", 63090, 2076}, {"Info3462399480-2156948", 63203, 2079}, {"Info3462399487-1424732", 63315, 2082}, {"Info3462399491-2475781", 63426, 2085} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[567, 22, 31, 0, 83, "Title"], Cell[601, 24, 42, 0, 49, "Subtitle"], Cell[646, 26, 222, 6, 47, "Subsubtitle"], Cell[CellGroupData[{ Cell[893, 36, 31, 0, 71, "Section"], Cell[927, 38, 310, 6, 47, "Text"], Cell[1240, 46, 412, 13, 29, "Text"], Cell[1655, 61, 53, 1, 47, "Code"], Cell[CellGroupData[{ Cell[1733, 66, 33, 0, 36, "Subsection"], Cell[1769, 68, 211, 8, 30, "Text"], Cell[CellGroupData[{ Cell[2005, 80, 177, 5, 31, "Input"], Cell[2185, 87, 247, 8, 30, "Output"] }, Open ]], Cell[2447, 98, 343, 9, 30, "Text"], Cell[CellGroupData[{ Cell[2815, 111, 726, 22, 33, "Input"], Cell[3544, 135, 182, 4, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3763, 144, 286, 7, 31, "Input"], Cell[4052, 153, 488, 17, 30, "Output"] }, Open ]], Cell[4555, 173, 292, 7, 30, "Text"], Cell[CellGroupData[{ Cell[4872, 184, 692, 22, 31, "Input"], Cell[5567, 208, 335, 11, 47, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[5951, 225, 66, 0, 28, "Subsection"], Cell[6020, 227, 124, 3, 30, "Text"], Cell[CellGroupData[{ Cell[6169, 234, 261, 8, 47, "Input"], Cell[6433, 244, 175, 4, 30, "Output"] }, Open ]], Cell[6623, 251, 240, 5, 30, "Text"], Cell[CellGroupData[{ Cell[6888, 260, 334, 10, 33, "Input"], Cell[7225, 272, 7270, 222, 167, "Output"] }, Open ]], Cell[14510, 497, 479, 8, 48, "Text"], Cell[CellGroupData[{ Cell[15014, 509, 928, 30, 31, "Input"], Cell[15945, 541, 2979, 95, 98, "Output"] }, Open ]] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell[18985, 643, 34, 0, 71, "Section"], Cell[CellGroupData[{ Cell[19044, 647, 124, 4, 28, "Subsubsection"], Cell[CellGroupData[{ Cell[19193, 655, 58, 1, 31, "Input"], Cell[19254, 658, 1564, 27, 100, "Print", CellTags->"Info3462399450-6410860"] }, Open ]], Cell[20833, 688, 73, 0, 29, "Text"], Cell[CellGroupData[{ Cell[20931, 692, 555, 19, 33, "Input"], Cell[21489, 713, 1021, 35, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[22547, 753, 205, 6, 31, "Input"], Cell[22755, 761, 442, 16, 30, "Output"] }, Open ]], Cell[23212, 780, 350, 14, 29, "Text"], Cell[CellGroupData[{ Cell[23587, 798, 132, 4, 33, "Input"], Cell[23722, 804, 401, 13, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24160, 822, 598, 19, 33, "Input"], Cell[24761, 843, 139, 4, 30, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[24949, 853, 214, 7, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[25188, 864, 58, 1, 31, "Input"], Cell[25249, 867, 209, 4, 40, "Print", CellTags->"Info3462399458-7050035"] }, Open ]], Cell[25473, 874, 145, 5, 30, "Text"], Cell[CellGroupData[{ Cell[25643, 883, 228, 8, 47, "Input"], Cell[25874, 893, 297, 11, 52, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[26208, 909, 235, 8, 47, "Input"], Cell[26446, 919, 531, 21, 49, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[27026, 946, 73, 0, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[27124, 950, 62, 1, 31, "Input"], Cell[27189, 953, 1415, 20, 93, "Print", CellTags->"Info3462399463-8217142"] }, Open ]], Cell[28619, 976, 143, 5, 30, "Text"], Cell[CellGroupData[{ Cell[28787, 985, 351, 11, 33, "Input"], Cell[29141, 998, 189, 6, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[29367, 1009, 783, 24, 31, "Input"], Cell[30153, 1035, 31, 0, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[30221, 1040, 831, 20, 52, "Input"], Cell[31055, 1062, 4733, 146, 69, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[35837, 1214, 83, 1, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[35945, 1219, 70, 1, 31, "Input"], Cell[36018, 1222, 1930, 30, 60, "Print", CellTags->"Info3462399469-7634071"] }, Open ]], Cell[37963, 1255, 107, 3, 29, "Text"], Cell[CellGroupData[{ Cell[38095, 1262, 372, 11, 31, "Input"], Cell[38470, 1275, 523, 17, 33, "Output"] }, Open ]], Cell[39008, 1295, 55, 0, 29, "Text"], Cell[CellGroupData[{ Cell[39088, 1299, 328, 10, 31, "Input"], Cell[39419, 1311, 266, 9, 45, "Output"] }, Open ]], Cell[39700, 1323, 58, 0, 29, "Text"], Cell[CellGroupData[{ Cell[39783, 1327, 218, 6, 31, "Input"], Cell[40004, 1335, 889, 27, 33, "Output"] }, Open ]], Cell[40908, 1365, 234, 5, 30, "Text"], Cell[CellGroupData[{ Cell[41167, 1374, 1006, 33, 31, "Input"], Cell[42176, 1409, 1133, 38, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[43346, 1452, 1032, 33, 31, "Input"], Cell[44381, 1487, 2099, 68, 55, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[46529, 1561, 68, 0, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[46622, 1565, 57, 1, 31, "Input"], Cell[46682, 1568, 884, 13, 42, "Print", CellTags->"Info3462399480-2156948"] }, Open ]], Cell[CellGroupData[{ Cell[47603, 1586, 299, 9, 47, "Input"], Cell[47905, 1597, 762, 21, 33, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[48704, 1623, 583, 18, 33, "Input"], Cell[49290, 1643, 1039, 31, 33, "Output"] }, Open ]], Cell[50344, 1677, 289, 9, 29, "Text"], Cell[CellGroupData[{ Cell[50658, 1690, 384, 12, 47, "Input"], Cell[51045, 1704, 1425, 39, 33, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[52507, 1748, 399, 12, 33, "Input"], Cell[52909, 1762, 3128, 92, 73, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[56086, 1860, 69, 0, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[56180, 1864, 58, 1, 31, "Input"], Cell[56241, 1867, 519, 8, 58, "Print", CellTags->"Info3462399487-1424732"] }, Open ]], Cell[56775, 1878, 96, 2, 29, "Text"], Cell[CellGroupData[{ Cell[56896, 1884, 388, 13, 33, "Input"], Cell[57287, 1899, 160, 5, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[57484, 1909, 399, 13, 33, "Input"], Cell[57886, 1924, 104, 3, 30, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[58039, 1933, 75, 0, 22, "Subsubsection"], Cell[CellGroupData[{ Cell[58139, 1937, 64, 1, 31, "Input"], Cell[58206, 1940, 1365, 19, 60, "Print", CellTags->"Info3462399491-2475781"] }, Open ]], Cell[CellGroupData[{ Cell[59608, 1964, 216, 7, 47, "Input"], Cell[59827, 1973, 503, 15, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[60367, 1993, 231, 7, 47, "Input"], Cell[60601, 2002, 220, 5, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[60858, 2012, 367, 11, 49, "Input"], Cell[61228, 2025, 1043, 21, 177, "Output"] }, Open ]] }, Closed]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)