Definition:Fundamental Domain (Lattice)

Definition
Let $L \subset \R^n$ be an integral lattice.

Let $B = \tuple {v_1, \ldots, v_n}$ be an ordered basis for $L$.

The fundamental domain of $L$ associated to $B$ is the set:
 * $\ds \set {\sum_{i \mathop = 1}^n \lambda_i v_i: \forall i: 0 \le \lambda_i < 1}$