Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations

In automated reasoning in geometry, in particular in computing locus equations, degenerate components usually play an important role. Although degeneracy may have multiple meanings by considering different mathematical traditions, avoiding degenerate components is useful from the geometrical point of view.