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.0027.01

 Input Form

 Floor[x] == x - FractionalPart[x] /; (Element[x, Reals] && x > 0) || Element[x, Integers]

 Standard Form

 Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["Floor", "[", "x", "]"]], "\[Equal]", RowBox[List["x", "-", RowBox[List["FractionalPart", "[", "x", "]"]]]]]], "/;", RowBox[List[RowBox[List[RowBox[List["x", "\[Element]", "Reals"]], "\[And]", RowBox[List["x", ">", "0"]]]], "\[Or]", RowBox[List["(", RowBox[List["x", "\[Element]", "Integers"]], ")"]]]]]]]]

 MathML Form

 x x - frac ( x ) /; x TagBox["\[DoubleStruckCapitalR]", Function[Reals]] x > 0 x TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] Condition x x -1 FractionalPart x x x 0 x [/itex]

 Rule Form

 Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["Floor", "[", "x_", "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List["x", "-", RowBox[List["FractionalPart", "[", "x", "]"]]]], "/;", RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["x", "\[Element]", "Reals"]], "&&", RowBox[List["x", ">", "0"]]]], ")"]], "||", RowBox[List["x", "\[Element]", "Integers"]]]]]]]]]]

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

 2007-05-02