  We show a new reduction method on a simplicial complex. This reduction works
well with relations and Dowker complexes. The idea is to add a dummy vertex $ z
$ to the simplicial complex $K$. We add the simplicial cone $ z * L $ to $K$
where $ L$ is the union of stars from a set of vertices. If $ L $ is
contractible, then we can apply the Gluing theorem to glue $ z * L $ to $K$ to
obtain $K'$. Finally, we strong collapse each vertex of $L$ in $K'$ to obtain
$K''$. If the conditions are satisfied, then $K$, $K'$ and $K''$ are
homotopically equivalent.
  This trick can be adapted to relation with the associated Dowker complex
$K_R$. This notation help to simplify various computations. Relations are
simple data structures, and they are represented by binary matrices. This
method of reduction with relation is versatile and it can be used on different
structures such as simplicial complexes, convex polytopal complexes and covers
of topological spaces that satisfy the Nerve Theorem. We develop an algorithm
based on the reduction step. Let $n$ be the number of vertices of $K$.
  We have $ O(n^2) $ subcomplexes $ L$ to verify contractibility. This
verification of $ L $ is costly with $ O(d \epsilon (n^2 + m^2)) $ where $d$ is
the dimension of $L$, $m$ the number of toplexes in $L$, $n$ the number of
vertices in $L$ and $ \epsilon $ the maximal number of toplexes adjacent to a
vertex in $L$. But, $L$ is often a small simplicial complex. If $L$ is
contractible, then we apply a clean-up method on some columns that takes $ O(d
m^2) $. Finally, we show the efficiency of the reduction algorithm on several
experimental results.
