html, body, form { margin: 0; padding: 0; width: 100%; } #calculate { position: relative; width: 177px; height: 110px; background: transparent url(/images/alphabox/embed_functions_inside.gif) no-repeat scroll 0 0; } #i { position: relative; left: 18px; top: 44px; width: 133px; border: 0 none; outline: 0; font-size: 11px; } #eq { width: 9px; height: 10px; background: transparent; position: absolute; top: 47px; right: 18px; cursor: pointer; }

 Floor

 http://functions.wolfram.com/04.01.27.0018.01

 Input Form

 Floor[z] == Ceiling[z] - 1 /; !Element[Re[z], Integers] && Element[Im[z], Integers]

 Standard Form

 Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["Floor", "[", "z", "]"]], "\[Equal]", RowBox[List[RowBox[List["Ceiling", "[", "z", "]"]], "-", "1"]]]], "/;", RowBox[List[RowBox[List["Not", "[", RowBox[List[RowBox[List["Re", "[", "z", "]"]], "\[Element]", "Integers"]], "]"]], "\[And]", RowBox[List[RowBox[List["Im", "[", "z", "]"]], "\[Element]", "Integers"]]]]]]]]

 MathML Form

 z z - 1 /; Re ( z ) TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] Im ( z ) TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] Condition z z -1 z z [/itex]

 Rule Form

 Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["Floor", "[", "z_", "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List["Ceiling", "[", "z", "]"]], "-", "1"]], "/;", RowBox[List[RowBox[List["!", RowBox[List[RowBox[List["Re", "[", "z", "]"]], "\[Element]", "Integers"]]]], "&&", RowBox[List[RowBox[List["Im", "[", "z", "]"]], "\[Element]", "Integers"]]]]]]]]]]

 Date Added to functions.wolfram.com (modification date)

 2007-05-02