Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

SageMath is not solving this inequality

I have the following inequality:

ineqal=T1Sol[0].rhs().numerator() > 0
ineqal

$$-\kappa m^{4} + 8 \pi m^{3} r - 4 \pi r^{2} > 0$$

So it's a quadratic, but I would imagine it's solveable. Find the zeros, check the sign on either side of them, and tell me where it's positive. If you need more info, yell at me about assumptions. But instead:

solve(ineqal,r)

$$\left[\left[-\kappa m^{4} + 8 \pi m^{3} r - 4 \pi r^{2} > 0\right]\right]$$

Sometimes I can trick it into behaving with some expand() or simplify_full(), but that seems not to be working here. Any ideas?

SageMath is not solving this inequality

I have the following inequality:

ineqal=T1Sol[0].rhs().numerator() > 0
ineqal

$$-\kappa m^{4} + 8 \pi m^{3} r - 4 \pi r^{2} > 0$$

So it's a quadratic, but I would imagine it's solveable. Find the zeros, check the sign on either side of them, and tell me where it's positive. If you need more info, yell at me about assumptions. But instead:

solve(ineqal,r)

solve(ineqal,r)

$$\left[\left[-\kappa m^{4} + 8 \pi m^{3} r - 4 \pi r^{2} > 0\right]\right]$$

Sometimes I can trick it into behaving with some expand() or simplify_full(), but that seems not to be working here. Any ideas?