|


| > |
SupportTools:-Version();
|

| > |
sol:=ln( (y-1)^(1/3)* (y^2+y+1)^(1/3) ) - ln(y) = 2/5* ln(t^2+1)+_C1;
|


Main: Entering solver with 1 equation in 1 variable
Dispatch: dispatching to Radicals handler
Transformer: solving for linear equation in y
Recurse: recursively solving 1 equations and 4 inequations in 1 variables
Dispatch: dispatching to ln handler (extension)
Dispatch: logarithm substitution _S000002 = ln(_S000001)
Recurse: recursively solving 1 equations and 4 inequations in 1 variables
Dispatch: dispatching to ln handler (extension)
Dispatch: logarithm substitution _S000003 = ln(t^2+1)
Transformer: solving for linear equation in _S000003
Recurse: recursively solving 1 equations and 3 inequations in 1 variables
Dispatch: dispatching to ln handler (extension)
Dispatch: logarithm substitution _S000004 = ln(exp(_S000002)^3+1)
Recurse: recursively solving 2 equations and 3 inequations in 2 variables
Dispatch: dispatching to ln handler (extension)
Dispatch: logarithm substitution _S000005 = ln(exp(_S000002)^6+3*exp(_S000002)^3+3)
Recurse: recursively solving 3 equations and 3 inequations in 3 variables
Dispatch: dispatching to Exponentials handler
Transformer: solving for linear equation in _S000005
Recurse: recursively solving 3 equations and 4 inequations in 4 variables
Dispatch: dispatching to Exponentials handler
Transformer: solving for linear equation in _S000004
Recurse: recursively solving 3 equations and 5 inequations in 5 variables
Dispatch: dispatching to Exponentials handler
Transformer: solving for linear equation in _S000002
Recurse: recursively solving 3 equations and 6 inequations in 6 variables
Dispatch: dispatching to Rename handler
Dispatch: renaming exp(5/2*_C1) = _S000012, exp(-5/2*_C1) = 1/_S000012
Recurse: recursively solving 3 equations and 6 inequations in 6 variables
Dispatch: handling polynomials of the form a*x^n-b
Dispatch: dispatching to PolynomialSystem handler
Main: polynomial system split into 1 parts under preprocessing
Main: using RegularChains based methods
SolverVariableOrder: using the variable order _S000008 > _S000006 > _S000010
TriangularDecomposition: using deterministic algorithm for decomposition
|