  
| 
 | 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   http://functions.wolfram.com/04.04.27.0006.01
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
 | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
    IntegerPart[z] == z + 1 + I - Mod[z, 1] - 
  I Sign[CharacteristicFunction[Im[z], Integers] + UnitStep[Im[z]]] - 
  Sign[CharacteristicFunction[Re[z], Integers] + UnitStep[Re[z]]] 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Cell[BoxData[RowBox[List[RowBox[List["IntegerPart", "[", "z", "]"]], "\[Equal]", RowBox[List["z", "+", "1", "+", "\[ImaginaryI]", "-", RowBox[List["Mod", "[", RowBox[List["z", ",", "1"]], "]"]], "-", RowBox[List["\[ImaginaryI]", " ", RowBox[List["Sign", "[", RowBox[List[RowBox[List["CharacteristicFunction", "[", RowBox[List[RowBox[List["Im", "[", "z", "]"]], ",", "Integers"]], "]"]], "+", RowBox[List["UnitStep", "[", RowBox[List["Im", "[", "z", "]"]], "]"]]]], "]"]]]], "-", RowBox[List["Sign", "[", RowBox[List[RowBox[List["CharacteristicFunction", "[", RowBox[List[RowBox[List["Re", "[", "z", "]"]], ",", "Integers"]], "]"]], "+", RowBox[List["UnitStep", "[", RowBox[List["Re", "[", "z", "]"]], "]"]]]], "]"]]]]]]]] 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
 
  | 
   
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <mi> int </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mrow>  <mi> z </mi>  <mo> + </mo>  <mn> 1 </mn>  <mo> + </mo>  <mi> ⅈ </mi>  <mo> - </mo>  <semantics>  <mrow>  <mi> z </mi>  <mo> ⁢ </mo>  <mi> mod </mi>  <mo> ⁢ </mo>  <mn> 1 </mn>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <rem />  <ci> $CellContext`z </ci>  <cn type='integer'> 1 </cn>  </apply>  </annotation-xml>  </semantics>  <mo> - </mo>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mrow>  <mi> sgn </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mrow>  <msub>  <mi> χ </mi>  <mi> ℤ </mi>  </msub>  <mo> ( </mo>  <mrow>  <mi> Im </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mrow>  <mi> θ </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> Im </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> - </mo>  <mrow>  <mi> sgn </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mrow>  <msub>  <mi> χ </mi>  <mi> ℤ </mi>  </msub>  <mo> ( </mo>  <mrow>  <mi> Re </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mrow>  <mi> θ </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> Re </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <eq />  <apply>  <ci> int </ci>  <ci> z </ci>  </apply>  <apply>  <plus />  <ci> z </ci>  <cn type='integer'> 1 </cn>  <imaginaryi />  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <rem />  <ci> $CellContext`z </ci>  <cn type='integer'> 1 </cn>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <imaginaryi />  <apply>  <ci> Sign </ci>  <apply>  <plus />  <apply>  <apply>  <ci> Subscript </ci>  <ci> χ </ci>  <ci> ℤ </ci>  </apply>  <apply>  <imaginary />  <ci> z </ci>  </apply>  </apply>  <apply>  <ci> θ </ci>  <apply>  <imaginary />  <ci> z </ci>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <ci> Sign </ci>  <apply>  <plus />  <apply>  <apply>  <ci> Subscript </ci>  <ci> χ </ci>  <ci> ℤ </ci>  </apply>  <apply>  <real />  <ci> z </ci>  </apply>  </apply>  <apply>  <ci> θ </ci>  <apply>  <real />  <ci> z </ci>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  </annotation-xml>  </semantics>  </math> 
   
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 
  |   
  |  
  |  
  |   
  |  |  
  |   
  |  
  |  
  |   
  | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["IntegerPart", "[", "z_", "]"]], "]"]], "\[RuleDelayed]", RowBox[List["z", "+", "1", "+", "\[ImaginaryI]", "-", RowBox[List["Mod", "[", RowBox[List["z", ",", "1"]], "]"]], "-", RowBox[List["\[ImaginaryI]", " ", RowBox[List["Sign", "[", RowBox[List[RowBox[List["CharacteristicFunction", "[", RowBox[List[RowBox[List["Im", "[", "z", "]"]], ",", "Integers"]], "]"]], "+", RowBox[List["UnitStep", "[", RowBox[List["Im", "[", "z", "]"]], "]"]]]], "]"]]]], "-", RowBox[List["Sign", "[", RowBox[List[RowBox[List["CharacteristicFunction", "[", RowBox[List[RowBox[List["Re", "[", "z", "]"]], ",", "Integers"]], "]"]], "+", RowBox[List["UnitStep", "[", RowBox[List["Re", "[", "z", "]"]], "]"]]]], "]"]]]]]]]]  |  
  |  
  |   
  |  
  |  
  | 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Date Added to functions.wolfram.com (modification date)
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 | 
  | 
  
  
  
 |  
 
 |