Christopher Smith

Another limitation is that `solve` does not work out Boolean expressions, but the `as_set` method can do so: ```python >>> And(And(x>1,x2,x

> And is reduce_inequalities the top-level reduce function yes. And `solve`, as soon as it detects and Relational calls that function. https://github.com/sympy/sympy/blob/353653b7a3afc4ce2f25c1698efe4544ba9312f8/sympy/solvers/solvers.py#L957-L959

I am updating the `solve` docstring that had way too many examples, many of which are/should be handled in the `test_solve_args` -- it is too much information. @oscarbenjamin , please...

Thanks for the comments, @bertiewooster . I have made edits. If you have any formatting suggestions, feel free to make a PR to this. Any other comments welcome, too.

Any final comments?

Any last comments?

I will stop tests and squash to a single commit then auto-merge if there is no objection.

Well...now the document is not showing up in the index.

@bertiewooster , you suggested ":func:`~.subs`" -- is that going to work? `subs` is a method, not a function.

@bertiewooster , it wouldn't let me add your changes to a single commit, so I will squash those this evening and commit unless there are further comments. Note, that the...