Walter Taylor proved recently that there is no algorithm for deciding of a finite set of equations whether it is topologically compatible with the real line in the sense that it has a model with universe \mathbbR{\mathbb{R}} and with basic operations which are all continuous with respect to the usual topology of the real line. Taylor’s account used operation symbols suitable for the theory of rings with unit together with three unary operation symbols intended to name trigonometric functions supplemented finally by a countably infinite list of constant symbols. We refine Taylor’s work to apply to single equations using operation symbols for the theory of rings with unit supplemented by two unary operation symbols and at most one additional constant symbol.