# TransSolvePackage R¶

This package tries to find solutions of equations of type Expression(R). This means expressions involving transcendental, exponential, logarithmic and nthRoot functions. After trying to transform different kernels to one kernel by applying several rules, it calls zerosOf for the SparseUnivariatePolynomial in the remaining kernel. For example the expression sin(x)*cos(x)-2 will be transformed to -2 tan(x/2)^4 -2 tan(x/2)^3 -4 tan(x/2)^2 +2 tan(x/2) -2 by using the function normalize and then to -2 tan(x)^2 + tan(x) -2 with help of subsTan. This function tries to express the given function in terms of tan(x/2) to express in terms of tan(x) . Other examples are the expressions sqrt(x+1)+sqrt(x+7)+1 or sqrt(sin(x))+1 .
solve(eq, x) finds the solutions of the equation eq where eq is an equation of functions of type Expression(R) with respect to the symbol x.
solve(expr, x) finds the solutions of the equation expr = 0 with respect to the symbol x where expr is a function of type Expression(R).
solve(leqs, lvar) returns a list of solutions to the list of equations leqs with respect to the list of symbols lvar.
solve(eq) finds the solutions of the equation eq where eq is an equation of functions of type Expression(R) with respect to the unique symbol x appearing in eq.
solve(expr) finds the solutions of the equation expr = 0 where expr is a function of type Expression(R) with respect to the unique symbol x appearing in eq.