Comparison of the theoretical Snell's law given by (15a) and (15b) (lines) against full numerical computations (points) for a unit-amplitude () spatial soliton at a linear interface () with and when (a) and (b) . Curves below (above) the line have (), so that the refraction is internal (external).