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; }

 Quotient

 http://functions.wolfram.com/04.07.16.0027.01

 Input Form

 Quotient[m + k n, n] == Quotient[m, n] + k /; Element[k, Integers]

 Standard Form

 Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["Quotient", "[", RowBox[List[RowBox[List["m", "+", RowBox[List["k", " ", "n"]]]], ",", "n"]], "]"]], "\[Equal]", RowBox[List[RowBox[List["Quotient", "[", RowBox[List["m", ",", "n"]], "]"]], "+", "k"]]]], "/;", RowBox[List["k", "\[Element]", "Integers"]]]]]]

 MathML Form

 quotient ( m + k n , n ) quotient ( m , n ) + k /; k TagBox["\[DoubleStruckCapitalZ]", Function[List[], Integers]] Condition quotient m k n n quotient m n k k [/itex]

 Rule Form

 Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["Quotient", "[", RowBox[List[RowBox[List["m_", "+", RowBox[List["k_", " ", "n_"]]]], ",", "n_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List["Quotient", "[", RowBox[List["m", ",", "n"]], "]"]], "+", "k"]], "/;", RowBox[List["k", "\[Element]", "Integers"]]]]]]]]

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

 2007-05-02