  
| 
 | 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   http://functions.wolfram.com/07.32.04.0013.01
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
 | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
    RamificationIndex[HypergeometricPFQRegularized[{Subscript[a, 1], \[Ellipsis], 
     Subscript[a, q + 1]}, {Subscript[b, 1], \[Ellipsis], Subscript[b, q]}, 
    z], z, 1] == Log /; Element[Subscript[\[Psi], q], Integers] || 
  ( !Element[Subscript[\[Psi], q], Rationals] && 
   Subscript[\[Psi], q] == Sum[Subscript[b, j], {j, 1, q}] - 
     Sum[Subscript[a, j], {j, 1, q + 1}] && 
   NonTerminatingHypergeometricSeriesQ[{Subscript[a, 1], \[Ellipsis], 
     Subscript[a, q + 1]}]) 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["RamificationIndex", "[", RowBox[List[RowBox[List["HypergeometricPFQRegularized", "[", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["a", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["a", RowBox[List["q", "+", "1"]]]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["b", "q"]]], "}"]], ",", "z"]], "]"]], ",", "z", ",", "1"]], "]"]], "\[Equal]", "Log"]], "/;", RowBox[List[RowBox[List["Element", "[", RowBox[List[SubscriptBox["\[Psi]", "q"], ",", "Integers"]], "]"]], "\[Or]", RowBox[List[RowBox[List["Not", "[", RowBox[List["Element", "[", RowBox[List[SubscriptBox["\[Psi]", "q"], ",", "Rationals"]], "]"]], "]"]], "\[And]", RowBox[List[SubscriptBox["\[Psi]", "q"], "\[Equal]", RowBox[List[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["j", "=", "1"]], "q"], SubscriptBox["b", "j"]]], "-", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["j", "=", "1"]], RowBox[List["q", "+", "1"]]], SubscriptBox["a", "j"]]]]]]], "\[And]", RowBox[List["NonTerminatingHypergeometricSeriesQ", "[", RowBox[List["{", RowBox[List[SubscriptBox["a", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["a", RowBox[List["q", "+", "1"]]]]], "}"]], "]"]]]]]]]]]] 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
 
  | 
   
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <mrow>  <msub>  <mi> ℛ </mi>  <mi> z </mi>  </msub>  <mo> ( </mo>  <mrow>  <mrow>  <mrow>  <msub>  <mo>   </mo>  <mrow>  <mi> q </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  </msub>  <msub>  <mover>  <mi> F </mi>  <mo> ~ </mo>  </mover>  <mi> q </mi>  </msub>  </mrow>  <mo> ⁡ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <semantics>  <mrow>  <msub>  <mi> a </mi>  <mn> 1 </mn>  </msub>  <mo> , </mo>  <mo> … </mo>  <mo> , </mo>  <msub>  <mi> a </mi>  <mrow>  <mi> q </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  </msub>  </mrow>  <annotation encoding='Mathematica'> TagBox[TagBox[RowBox[List[TagBox[SubscriptBox["a", "1"], HypergeometricPFQ, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", HypergeometricPFQ, Rule[Editable, True]], ",", TagBox[SubscriptBox["a", RowBox[List["q", "+", "1"]]], HypergeometricPFQ, Rule[Editable, True]]]], InterpretTemplate[Function[List[SlotSequence[1]]]]], HypergeometricPFQ, Rule[Editable, False]] </annotation>  </semantics>  <mo> ; </mo>  <semantics>  <mrow>  <msub>  <mi> b </mi>  <mn> 1 </mn>  </msub>  <mo> , </mo>  <mo> … </mo>  <mo> , </mo>  <msub>  <mi> b </mi>  <mi> q </mi>  </msub>  </mrow>  <annotation encoding='Mathematica'> TagBox[TagBox[RowBox[List[TagBox[SubscriptBox["b", "1"], HypergeometricPFQ, Rule[Editable, True]], ",", TagBox["\[Ellipsis]", HypergeometricPFQ, Rule[Editable, True]], ",", TagBox[SubscriptBox["b", "q"], HypergeometricPFQ, Rule[Editable, True]]]], InterpretTemplate[Function[List[SlotSequence[1]]]]], HypergeometricPFQ, Rule[Editable, False]] </annotation>  </semantics>  <mo> ; </mo>  <semantics>  <mi> z </mi>  <annotation encoding='Mathematica'> TagBox["z", HypergeometricPFQ, Rule[Editable, True]] </annotation>  </semantics>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> , </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mi> log </mi>  </mrow>  <mo> /; </mo>  <mrow>  <mrow>  <msub>  <mi> ψ </mi>  <mi> q </mi>  </msub>  <mo> ∈ </mo>  <semantics>  <mi> ℤ </mi>  <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] </annotation>  </semantics>  </mrow>  <mo> ∨ </mo>  <mrow>  <mrow>  <msub>  <mi> ψ </mi>  <mi> q </mi>  </msub>  <mo> ∉ </mo>  <semantics>  <mi> ℚ </mi>  <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalQ]", Function[Rationals]] </annotation>  </semantics>  </mrow>  <mo> ∧ </mo>  <mrow>  <msub>  <mi> ψ </mi>  <mi> q </mi>  </msub>  <mo> ⩵ </mo>  <mrow>  <mrow>  <munderover>  <mo movablelimits='false'> ∑ </mo>  <mrow>  <mi> j </mi>  <mo> = </mo>  <mn> 1 </mn>  </mrow>  <mi> q </mi>  </munderover>  <msub>  <mi> b </mi>  <mi> j </mi>  </msub>  </mrow>  <mo> - </mo>  <mrow>  <munderover>  <mo movablelimits='false'> ∑ </mo>  <mrow>  <mi> j </mi>  <mo> = </mo>  <mn> 1 </mn>  </mrow>  <mrow>  <mi> q </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  </munderover>  <msub>  <mi> a </mi>  <mi> j </mi>  </msub>  </mrow>  </mrow>  </mrow>  <mo> ∧ </mo>  <mrow>  <mi> 𝒩𝒯 </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mo> { </mo>  <mrow>  <msub>  <mi> a </mi>  <mn> 1 </mn>  </msub>  <mo> , </mo>  <mo> … </mo>  <mo> , </mo>  <msub>  <mi> a </mi>  <mrow>  <mi> q </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  </msub>  </mrow>  <mo> } </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <ci> FormBox </ci>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <ms> ℛ </ms>  <ms> z </ms>  </apply>  <ms> [ </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <apply>  <ci> ErrorBox </ci>  <ms>  </ms>  </apply>  <apply>  <ci> FormBox </ci>  <apply>  <ci> RowBox </ci>  <list>  <ms> q </ms>  <ms> + </ms>  <ms> 1 </ms>  </list>  </apply>  <ci> TraditionalForm </ci>  </apply>  </apply>  <apply>  <ci> SubscriptBox </ci>  <apply>  <ci> OverscriptBox </ci>  <ms> F </ms>  <ms> ~ </ms>  </apply>  <apply>  <ci> FormBox </ci>  <ms> q </ms>  <ci> TraditionalForm </ci>  </apply>  </apply>  </list>  </apply>  <ms> ⁡ </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> ( </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> TagBox </ci>  <apply>  <ci> TagBox </ci>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> TagBox </ci>  <apply>  <ci> SubscriptBox </ci>  <ms> a </ms>  <ms> 1 </ms>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  <ms> , </ms>  <apply>  <ci> TagBox </ci>  <ms> … </ms>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  <ms> , </ms>  <apply>  <ci> TagBox </ci>  <apply>  <ci> SubscriptBox </ci>  <ms> a </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> q </ms>  <ms> + </ms>  <ms> 1 </ms>  </list>  </apply>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  </list>  </apply>  <apply>  <ci> InterpretTemplate </ci>  <apply>  <ci> Function </ci>  <list>  <apply>  <ci> SlotSequence </ci>  <cn type='integer'> 1 </cn>  </apply>  </list>  </apply>  </apply>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <false />  </apply>  </apply>  <ms> ; </ms>  <apply>  <ci> TagBox </ci>  <apply>  <ci> TagBox </ci>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> TagBox </ci>  <apply>  <ci> SubscriptBox </ci>  <ms> b </ms>  <ms> 1 </ms>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  <ms> , </ms>  <apply>  <ci> TagBox </ci>  <ms> … </ms>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  <ms> , </ms>  <apply>  <ci> TagBox </ci>  <apply>  <ci> SubscriptBox </ci>  <ms> b </ms>  <ms> q </ms>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  </list>  </apply>  <apply>  <ci> InterpretTemplate </ci>  <apply>  <ci> Function </ci>  <list>  <apply>  <ci> SlotSequence </ci>  <cn type='integer'> 1 </cn>  </apply>  </list>  </apply>  </apply>  </apply>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <false />  </apply>  </apply>  <ms> ; </ms>  <apply>  <ci> TagBox </ci>  <ms> z </ms>  <ci> HypergeometricPFQ </ci>  <apply>  <ci> Rule </ci>  <ci> Editable </ci>  <true />  </apply>  </apply>  </list>  </apply>  <ms> ) </ms>  </list>  </apply>  </list>  </apply>  <ms> , </ms>  <ms> 1 </ms>  <ms> ] </ms>  </list>  </apply>  <ms> ⩵ </ms>  <ms> log </ms>  </list>  </apply>  <ms> /; </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <ms> ψ </ms>  <ms> q </ms>  </apply>  <ms> ∈ </ms>  <apply>  <ci> TagBox </ci>  <ms> ℤ </ms>  <apply>  <ci> Function </ci>  <integers />  </apply>  </apply>  </list>  </apply>  <ms> ∨ </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <ms> ψ </ms>  <ms> q </ms>  </apply>  <ms> ∉ </ms>  <apply>  <ci> TagBox </ci>  <ms> ℚ </ms>  <apply>  <ci> Function </ci>  <rationals />  </apply>  </apply>  </list>  </apply>  <ms> ∧ </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <ms> ψ </ms>  <ms> q </ms>  </apply>  <ms> ⩵ </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> UnderoverscriptBox </ci>  <ms> ∑ </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> j </ms>  <ms> = </ms>  <ms> 1 </ms>  </list>  </apply>  <ms> q </ms>  </apply>  <apply>  <ci> SubscriptBox </ci>  <ms> b </ms>  <ms> j </ms>  </apply>  </list>  </apply>  <ms> - </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> UnderoverscriptBox </ci>  <ms> ∑ </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> j </ms>  <ms> = </ms>  <ms> 1 </ms>  </list>  </apply>  <apply>  <ci> RowBox </ci>  <list>  <ms> q </ms>  <ms> + </ms>  <ms> 1 </ms>  </list>  </apply>  </apply>  <apply>  <ci> SubscriptBox </ci>  <ms> a </ms>  <ms> j </ms>  </apply>  </list>  </apply>  </list>  </apply>  </list>  </apply>  <ms> ∧ </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> 𝒩𝒯 </ms>  <ms> ( </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> { </ms>  <apply>  <ci> RowBox </ci>  <list>  <apply>  <ci> SubscriptBox </ci>  <ms> a </ms>  <ms> 1 </ms>  </apply>  <ms> , </ms>  <ms> … </ms>  <ms> , </ms>  <apply>  <ci> SubscriptBox </ci>  <ms> a </ms>  <apply>  <ci> RowBox </ci>  <list>  <ms> q </ms>  <ms> + </ms>  <ms> 1 </ms>  </list>  </apply>  </apply>  </list>  </apply>  <ms> } </ms>  </list>  </apply>  <ms> ) </ms>  </list>  </apply>  </list>  </apply>  </list>  </apply>  </list>  </apply>  <ci> TraditionalForm </ci>  </apply>  </annotation-xml>  </semantics>  </math> 
   
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 
  |   
  |  
  |  
  |   
  |  |  
  |   
  |  
  |  
  |   
  | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["RamificationIndex", "[", RowBox[List[RowBox[List["HypergeometricPFQRegularized", "[", RowBox[List[RowBox[List["{", RowBox[List[SubscriptBox["a_", "1"], ",", "\[Ellipsis]_", ",", SubscriptBox["a_", RowBox[List["q_", "+", "1"]]]]], "}"]], ",", RowBox[List["{", RowBox[List[SubscriptBox["b_", "1"], ",", "\[Ellipsis]_", ",", SubscriptBox["b_", "q_"]]], "}"]], ",", "z_"]], "]"]], ",", "z_", ",", "1"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List["Log", "/;", RowBox[List[RowBox[List[SubscriptBox["\[Psi]", "q"], "\[Element]", "Integers"]], "||", RowBox[List["(", RowBox[List[RowBox[List["!", RowBox[List[SubscriptBox["\[Psi]", "q"], "\[Element]", "Rationals"]]]], "&&", RowBox[List[SubscriptBox["\[Psi]", "q"], "\[Equal]", RowBox[List[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["j", "=", "1"]], "q"], SubscriptBox["b", "j"]]], "-", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["j", "=", "1"]], RowBox[List["q", "+", "1"]]], SubscriptBox["a", "j"]]]]]]], "&&", RowBox[List["NonTerminatingHypergeometricSeriesQ", "[", RowBox[List["{", RowBox[List[SubscriptBox["a", "1"], ",", "\[Ellipsis]", ",", SubscriptBox["a", RowBox[List["q", "+", "1"]]]]], "}"]], "]"]]]], ")"]]]]]]]]]]  |  
  |  
  |   
  |  
  |  
  | 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Date Added to functions.wolfram.com (modification date)
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 | 
  | 
  
  
  
 |  
 
 |