E^(1/x)*((2*x+2)/Abs(x)+3/x^2)>=4 roots doesn't work

[Former user]

How can i find E^(1/x)((2x+2)/Abs(x)+3/x^2)>=4 roots with symja? I tried Roots(E^(1/x)((2x+2)/Abs(x)+3/x^2)>=4) but it only tries to simplify the poly.

Thanks

[yinhang]

co ask. Are there any method can solve inequation? or, need me to join this project to write it?

[yinhang]

what's more, it's actually not simplified enough. e.g.: Root((2*x+5)<(5^(1/2)),x)

why constants remains left of "<"?

[Axel Kramer]

There are NMaximize and NMinimize which are based on commons math SimplexSolver.

Roots, RootIntervals, NRoots and Solve are only working for equations (or expressions assuming == 0 ) (see JUnit tests)

Sometimes you can use Refine() and work with Assumptions (see LowercaseTestCases, AssumptionTestCases). Or like in PowerExpand with an additional Option "Assumptions->True".

Eliminate() can "eliminate some variable"

FrobeniusSolve() can solve "non negative integer" equations.

[Axel Kramer]

With commit ea6f29e inequations like (2*x+5)<(5^(1/2)) are "more" normalized, so that constants are moved to the right-hand-side expression.

[Axel Kramer]

Please use the Github issue tracker to open a new issue if this issue shouldn't be closed Github issues