fundamental domain