fixes factor(), separatevars(), combsimp() from Issue #6280
Update ask.py

TautologicalHandler is in _val_template + "common" + TautologicalHandler
Changed tol on Complex and Real field to None

Fixes simplification issue #7263. Added test to check issue in
test_simplify.
Fixed travis errors

Direct comparison of expressions lacks enough precision for ==.
Comparing numerically now with evalf().
Show that init_session() runs init_printing()
polyroots: always refine all roots

Previously if the given root was already converged, it wasn't refined. But this
seems to increase the number of iterations needed to converge considerably.
polyroots: Raise error if convergence not achieved
polyroots: chop small numbers in "cleanup" mode

Previously only small real or imaginary parts were chopped. But if abs(x) is
close to zero, we want to chop this case as well.
polyroots: use `extraprec` argument

Previously this argument was not used at all by a mistake and instead the
default value 10 was assigned directly.
polyroots: fix tolerance calculation

We now set the tolerance `tol` directly equal to `ctx.eps`. This is the right
way to do it, since if more working precision is needed, the user needs to
assign the `extraprec` argument.
Refactor nroots() to make it more robust

The following changes were made:

* The polynomial coefficients are always converted to integers. Previously, a
  floating point number was used instead, which loses accuracy, and then for
  higher order polynomials (e.g. Legendre of order 64) one has to use large
  working precision just to represent polynomial coefficients accurately
  enough (otherwise one gets inaccurate roots, for example complex roots
  solution instead of real ones). Now this problem is completely avoided.

* We set extra precision in polyroots() based on the polynomial order.
  "10*order" seem to work well. This formula can be adjusted. This takes care
  of the problem that higher order polynomials suffer from numerical
  cancellation.

* We remove the `error` argument. Now the error is always either lower than `n`
  digits, or an exception is raised.

* The roots are now ordered by mpmath, which returns the correct ordering (real
  roots first, then complex ones).
Add tests for nroots()

We test roots of Legendre polynomial of order 64, as well as some smaller
polynomials. Besides accuracy, these tests also ensure the proper ordering of
the roots.
polyroots: use NoConvergence instead of Exception

A test written as well.
Add a note to tests about the roots order
Added non homogeneoous linear ruler eq
Corrected the documentation
corrected nameerror
Added trialset match in nonhomogeneous euler eq
Fixed the error coming due to Dummy
added simplfication of log function