(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 4.0, MathReader 4.0, or any compatible application. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. ***********************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 54461, 1582]*) (*NotebookOutlinePosition[ 55250, 1612]*) (* CellTagsIndexPosition[ 55177, 1606]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["Kummer", "Subsection", CellTags->"Kummer"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ Kummer[i][exp] applies Kummer relation number i (i =1, ... 24, \ 94,95,96) to all Hypergeometric2F1 in exp. i = 94 corresponds to eq. 9.131.2, \ i = 95 to eq. 9.132.1 and i = 96 to eq. 9.132.2 in Gradsteyn & Ryzhik.\ \>", \ "Text"], Cell[TextData[{ "See also: ", " ", ButtonBox["HypergeometricAC", ButtonData:>"HypergeometricAC", ButtonStyle->"Hyperlink", ButtonNote->"HypergeometricAC"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[2]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[3]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(-\(z\/\(1 - z\)\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[4]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-b\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(-\(z\/\(1 - z\)\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[6]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(\(-a\) - b + c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - b\), (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z] == \(Kummer[6]\)[ Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(1 - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(b - c + 1\), (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[7]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(-a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z] == \(Kummer[7]\)[ Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(-a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(a - c + 1\), (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[8]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(-b\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z] == \(Kummer[8]\)[ Hypergeometric2F1[a, b, a + b + 1 - c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(-b\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[10]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", \(\((\(-z\))\)\^\(a + b - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)] == \(Kummer[10]\)[ Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(a - c + 1\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", \(\((\(-z\))\)\^\(a + b - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(1 - b\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[11]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((\(-\(\(1 - z\)\/z\)\))\)\^\(-a\)\), " ", \(\((\(-z\))\)\^a\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)] == \(Kummer[11]\)[ Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(a - c + 1\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((\(-\(\(1 - z\)\/z\)\))\)\^\(-a\)\), " ", \(\((\(-z\))\)\^a\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[12]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-b\)\), " ", \(\((\(-z\))\)\^\(b - a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)] == \(Kummer[12]\)[ Hypergeometric2F1[a, a + 1 - c, a + 1 - b, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(a - c + 1\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) + c - 1\)\), " ", \(\((\(-z\))\)\^\(1 - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(1 - b\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[14]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", \(\((\(-z\))\)\^\(a + b - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - b\), (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)] == \(Kummer[14]\)[ Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", \(\((\(-z\))\)\^\(a + b - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(1 - a\), (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[15]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-b\)\), " ", \(\((\(-z\))\)\^b\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)] == \(Kummer[15]\)[ Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-b\)\), " ", \(\((\(-z\))\)\^b\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z^\((\(-1\))\)] == \(Kummer[16]\)[ Hypergeometric2F1[a, b, c, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-a\)\), " ", \(\((\(-z\))\)\^a\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)] == \(Kummer[16]\)[ Hypergeometric2F1[b + 1 - c, b, b + 1 - a, z^\((\(-1\))\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-b\) + c - 1\)\), " ", \(\((\(-z\))\)\^\(b - c + 1\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox[\(1 - a\), (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z] == \(Kummer[18]\)[ Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(b - c + 1\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(1 - a\), (Editable -> True)], ",", TagBox[\(1 - b\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[18]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) - b + c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z] == \(Kummer[19]\)[ Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(b - c + 1\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-a\) + c - 1\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(1 - b\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox[\(z\/\(z - 1\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[19]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(z\/\(z - 1\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z] == \(Kummer[20]\)[ Hypergeometric2F1[a + 1 - c, b + 1 - c, 2 - c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(a - c + 1\), (Editable -> True)], ",", TagBox[\(b - c + 1\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(\(-b\) + c - 1\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(b - c + 1\), (Editable -> True)], ",", TagBox[\(1 - a\), (Editable -> True)]}], ";", TagBox[\(2 - c\), (Editable -> True)], ";", TagBox[\(z\/\(z - 1\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[20]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-b\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(z\/\(z - 1\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z] == \(Kummer[22]\)[ Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(1 - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(1 - a\), (Editable -> True)], ",", TagBox[\(1 - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[22]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(\(-a\) - b + c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - b\), (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z] == \(Kummer[23]\)[ Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(a - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(1 - a\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - 1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[23]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(\((1 - z)\)\^\(-a\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - 1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z] == \(Kummer[24]\)[ Hypergeometric2F1[c - a, c - b, c + 1 - a - b, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(b - c\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - b\), (Editable -> True)], ",", TagBox[\(1 - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, 1 - z] == \(Kummer[24]\)[ Hypergeometric2F1[a, b, c, 1 - z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{\(z\^\(-b\)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox[\(-\(\(1 - z\)\/z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[94]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{ FractionBox[ RowBox[{\(\[CapitalGamma](a + b - c)\), " ", \(\[CapitalGamma](c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox[\(c - a\), (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(\(-a\) - b + c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], " ", \(\((1 - z)\)\^\(\(-a\) - b + c\)\)}], \(\(\[CapitalGamma]( a)\)\ \(\[CapitalGamma](b)\)\)], "+", FractionBox[ RowBox[{\(\[CapitalGamma](c)\), " ", \(\[CapitalGamma](\(-a\) - b + c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox[\(a + b - c + 1\), (Editable -> True)], ";", TagBox[\(1 - z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]]}], \(\(\[CapitalGamma]( c - a)\)\ \(\[CapitalGamma](c - b)\)\)]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[95]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{ FractionBox[ RowBox[{\(\[CapitalGamma](b - a)\), " ", \(\[CapitalGamma](c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(c - b\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], " ", \(\((1 - z)\)\^\(-a\)\)}], \(\(\[CapitalGamma]( b)\)\ \(\[CapitalGamma](c - a)\)\)], "+", FractionBox[ RowBox[{\(\[CapitalGamma](a - b)\), " ", \(\[CapitalGamma](c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(c - a\), (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/\(1 - z\)\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], " ", \(\((1 - z)\)\^\(-b\)\)}], \(\(\[CapitalGamma]( a)\)\ \(\[CapitalGamma](c - b)\)\)]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Hypergeometric2F1[a, b, c, z] == \(Kummer[96]\)[ Hypergeometric2F1[a, b, c, z]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox["b", (Editable -> True)]}], ";", TagBox["c", (Editable -> True)], ";", TagBox["z", (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], "==", RowBox[{ FractionBox[ RowBox[{\(\((\(-1\))\)\^a\), " ", \(\[CapitalGamma](b - a)\), " ", \(\[CapitalGamma](c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["a", (Editable -> True)], ",", TagBox[\(a - c + 1\), (Editable -> True)]}], ";", TagBox[\(a - b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], " ", \(z\^\(-a\)\)}], \(\(\[CapitalGamma]( b)\)\ \(\[CapitalGamma](c - a)\)\)], "+", FractionBox[ RowBox[{\(\((\(-1\))\)\^b\), " ", \(\[CapitalGamma](a - b)\), " ", \(\[CapitalGamma](c)\), " ", TagBox[ RowBox[{\(\(\[ThinSpace]\_2\)\(F\_1\)\), "(", RowBox[{ RowBox[{ TagBox["b", (Editable -> True)], ",", TagBox[\(b - c + 1\), (Editable -> True)]}], ";", TagBox[\(\(-a\) + b + 1\), (Editable -> True)], ";", TagBox[\(1\/z\), (Editable -> True)]}], ")"}], InterpretTemplate[ Hypergeometric2F1[ #, #2, #3, #4]&]], " ", \(z\^\(-b\)\)}], \(\(\[CapitalGamma]( a)\)\ \(\[CapitalGamma](c - b)\)\)]}]}], TraditionalForm]], "Output"] }, Open ]] }, Open ]] }, Open ]] }, FrontEndVersion->"4.0 for X", ScreenRectangle->{{0, 1024}, {0, 768}}, WindowSize->{520, 485}, WindowMargins->{{Automatic, 244}, {114, Automatic}}, StyleDefinitions -> "Demo.nb" ] (*********************************************************************** Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. ***********************************************************************) (*CellTagsOutline CellTagsIndex->{ "Kummer"->{ Cell[1739, 51, 50, 1, 40, "Subsection", CellTags->"Kummer"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Kummer", 55080, 1599} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 50, 1, 40, "Subsection", CellTags->"Kummer"], Cell[CellGroupData[{ Cell[1814, 56, 36, 0, 36, "Subsubsection"], Cell[1853, 58, 241, 5, 57, "Text"], Cell[2097, 65, 191, 8, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[2325, 78, 33, 0, 36, "Subsubsection"], Cell[CellGroupData[{ Cell[2383, 82, 119, 2, 47, "Input"], Cell[2505, 86, 1131, 30, 49, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3673, 121, 119, 2, 47, "Input"], Cell[3795, 125, 1131, 30, 60, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4963, 160, 119, 2, 47, "Input"], Cell[5085, 164, 1131, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6253, 199, 127, 2, 70, "Input"], Cell[6383, 203, 1133, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[7553, 238, 151, 2, 70, "Input"], Cell[7707, 242, 1160, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8904, 277, 127, 2, 70, "Input"], Cell[9034, 281, 1127, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10198, 316, 151, 2, 70, "Input"], Cell[10352, 320, 1159, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[11548, 355, 127, 2, 70, "Input"], Cell[11678, 359, 1127, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12842, 394, 151, 2, 70, "Input"], Cell[12996, 398, 1159, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[14192, 433, 146, 2, 70, "Input"], Cell[14341, 437, 1190, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[15568, 473, 198, 4, 70, "Input"], Cell[15769, 479, 1220, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17026, 515, 146, 2, 70, "Input"], Cell[17175, 519, 1184, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[18396, 555, 198, 4, 70, "Input"], Cell[18597, 561, 1214, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[19848, 597, 146, 2, 70, "Input"], Cell[19997, 601, 1176, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[21210, 637, 198, 4, 70, "Input"], Cell[21411, 643, 1228, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[22676, 679, 146, 2, 70, "Input"], Cell[22825, 683, 1190, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24052, 719, 198, 4, 70, "Input"], Cell[24253, 725, 1230, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[25520, 761, 146, 2, 70, "Input"], Cell[25669, 765, 1157, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[26863, 800, 198, 4, 70, "Input"], Cell[27064, 806, 1197, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[28298, 841, 146, 2, 70, "Input"], Cell[28447, 845, 1157, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[29641, 880, 198, 4, 70, "Input"], Cell[29842, 886, 1242, 31, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[31121, 922, 160, 2, 70, "Input"], Cell[31284, 926, 1163, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[32484, 961, 120, 2, 70, "Input"], Cell[32607, 965, 1131, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[33775, 1000, 160, 2, 70, "Input"], Cell[33938, 1004, 1180, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[35155, 1039, 120, 2, 70, "Input"], Cell[35278, 1043, 1126, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[36441, 1078, 160, 2, 70, "Input"], Cell[36604, 1082, 1180, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[37821, 1117, 120, 2, 70, "Input"], Cell[37944, 1121, 1126, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[39107, 1156, 168, 2, 70, "Input"], Cell[39278, 1160, 1174, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[40489, 1195, 128, 2, 70, "Input"], Cell[40620, 1199, 1133, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[41790, 1234, 168, 2, 70, "Input"], Cell[41961, 1238, 1195, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[43193, 1273, 128, 2, 70, "Input"], Cell[43324, 1277, 1136, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[44497, 1312, 168, 2, 70, "Input"], Cell[44668, 1316, 1186, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[45891, 1351, 128, 2, 70, "Input"], Cell[46022, 1355, 1127, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[47186, 1390, 120, 2, 70, "Input"], Cell[47309, 1394, 2250, 55, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[49596, 1454, 120, 2, 70, "Input"], Cell[49719, 1458, 2259, 55, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[52015, 1518, 120, 2, 70, "Input"], Cell[52138, 1522, 2283, 55, 70, "Output"] }, Open ]] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)