  Border basis schemes are open subschemes of Hilbert schemes parametrizing
0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open
coverings and are easy to describe and to compute with. Our topic is to find
re-embeddings of border basis schemes into affine spaces of minimal dimension.
Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$,
and a tuple $Z$ of indeterminates, in previous papers the authors developed
techniques for computing $Z$-separating re-embeddings of $I$, i.e., of
isomorphisms $\Phi: P/I \rightarrow K[X\setminus Z] / (I\cap K[X\setminus Z])$.
Here these general techniques are developed further and improved by
constructing a new algorithm for checking candidate tuples $Z$ and by using the
Gr\"obner fan of the linear part of $I$ advantageously.
  Then we apply this to the ideals defining border basis schemes
$\mathbb{B}_{\mathcal{O}}$, where $\mathcal{O}$ is an order ideal of terms, and
to their natural generating polynomials. The fact that these ideals are
homogeneous w.r.t. the arrow grading allows us to look for suitable tuples $Z$
more systematically. Using the equivalence of indeterminates modulo the square
of the maximal ideal, we compute the Gr\"obner fan of the linear part of the
ideal quickly and determine which indeterminates should be in $Z$ when we are
looking for optimal re-embeddings. Specific applications include re-embeddings
of border basis schemes where $\mathcal{O}\subseteq K[x,y]$ and where
$\mathcal{O}$ consists of all terms up to some degree.
