Category:Restricted Dipper Operations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Restricted Dipper Operations.

The restricted dipper operation $+^*_{m, n}$ is the binary operation on $\N^*_{< \paren {m \mathop + n} }$ defined as:

$\forall a, b \in \N^*_{< \paren {m \mathop + n} }: a +^*_{m, n} b = \begin{cases} a + b & : a + b < m \\ a + b - k n & : a + b \ge m \end{cases}$

where $k$ is the largest integer satisfying:

$m + k n \le a + b$

Pages in category "Restricted Dipper Operations"

The following 3 pages are in this category, out of 3 total.