| |  
 |  | 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | http://functions.wolfram.com/13.08.17.0004.01 | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | JacobiSymbol[n, m] == JacobiSymbol[n/4, m] /; 
 Element[n/4, Integers] && n/4 >= 0 && Element[(m - 1)/2, Integers] && 
  (m - 1)/2 >= 0 | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["JacobiSymbol", "[", RowBox[List["n", ",", "m"]], "]"]], "\[Equal]", RowBox[List["JacobiSymbol", "[", RowBox[List[FractionBox["n", "4"], ",", "m"]], "]"]]]], "/;", RowBox[List[RowBox[List[FractionBox["n", "4"], "\[Element]", "Integers"]], "\[And]", RowBox[List[FractionBox["n", "4"], "\[GreaterEqual]", "0"]], "\[And]", RowBox[List[FractionBox[RowBox[List["m", "-", "1"]], "2"], "\[Element]", "Integers"]], "\[And]", RowBox[List[FractionBox[RowBox[List["m", "-", "1"]], "2"], "\[GreaterEqual]", "0"]]]]]]]] | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 | | 
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <semantics>  <mrow>  <mo> ( </mo>  <mfrac>  <mi> n </mi>  <mi> m </mi>  </mfrac>  <mo> ) </mo>  </mrow>  <annotation encoding='Mathematica'> TagBox[RowBox[List["(", FractionBox["n", "m"], ")"]], JacobiSymbol, Rule[Editable, False]] </annotation>  </semantics>  <mo> ⩵ </mo>  <semantics>  <mrow>  <mo> ( </mo>  <mfrac>  <mfrac>  <mi> n </mi>  <mn> 4 </mn>  </mfrac>  <mi> m </mi>  </mfrac>  <mo> ) </mo>  </mrow>  <annotation encoding='Mathematica'> TagBox[RowBox[List["(", FractionBox[FractionBox["n", "4"], "m"], ")"]], JacobiSymbol, Rule[Editable, False]] </annotation>  </semantics>  </mrow>  <mo> /; </mo>  <mrow>  <mrow>  <mfrac>  <mi> n </mi>  <mn> 4 </mn>  </mfrac>  <mo> ∈ </mo>  <mi> ℕ </mi>  </mrow>  <mo> ∧ </mo>  <mrow>  <mfrac>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  <mn> 2 </mn>  </mfrac>  <mo> ∈ </mo>  <mi> ℕ </mi>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <ci> Condition </ci>  <apply>  <eq />  <apply>  <ci> JacobiSymbol </ci>  <ci> n </ci>  <ci> m </ci>  </apply>  <apply>  <ci> JacobiSymbol </ci>  <apply>  <times />  <ci> n </ci>  <apply>  <power />  <cn type='integer'> 4 </cn>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <ci> m </ci>  </apply>  </apply>  <apply>  <and />  <apply>  <in />  <apply>  <times />  <ci> n </ci>  <apply>  <power />  <cn type='integer'> 4 </cn>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <ci> ℕ </ci>  </apply>  <apply>  <in />  <apply>  <times />  <apply>  <plus />  <ci> m </ci>  <cn type='integer'> -1 </cn>  </apply>  <apply>  <power />  <cn type='integer'> 2 </cn>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <ci> ℕ </ci>  </apply>  </apply>  </apply>  </annotation-xml>  </semantics>  </math> 
   | 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  |  
 |  
 |  
 |  |  
 |  |  
 |  |  
 |  
 |  
 |  |  
 | | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["JacobiSymbol", "[", RowBox[List["n_", ",", "m_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List["JacobiSymbol", "[", RowBox[List[FractionBox["n", "4"], ",", "m"]], "]"]], "/;", RowBox[List[RowBox[List[FractionBox["n", "4"], "\[Element]", "Integers"]], "&&", RowBox[List[FractionBox["n", "4"], "\[GreaterEqual]", "0"]], "&&", RowBox[List[FractionBox[RowBox[List["m", "-", "1"]], "2"], "\[Element]", "Integers"]], "&&", RowBox[List[FractionBox[RowBox[List["m", "-", "1"]], "2"], "\[GreaterEqual]", "0"]]]]]]]]]] | 
 |  
 |   
 |  
 |  
 | |   
 |  
 |  
 |  
 |  
 |  
 |  
 | | Date Added to functions.wolfram.com (modification date) | 
 |  
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |   
 |  
 |  
 |  |  | 
 
 
 | 
 |