>
>
> I think we need to distinguish these cases:
> 1. Solve decides that there are no solutions.
> 2. Solve cannot find a solution.
>
> I think these are currently distinguished in the case of the
> single-equation solve
> by returning, respectively, an empty list and an "unsolved" equation or
> equations, i.e. not
> of the form x= ... .
>
>
Precisely (see also Dima's reply). An empty list should mean no answer; if
it can't decide, let the user know that.
>
> in the first case it returns what looks like nonsense.
> Is there any compelling reason for SOLVEX to return []
> rather that the noun form?
>
>