Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 10 years ago

Ailurus gravatar image

Solving a symbolic inequality

I'm trying to solve the inequality 18bcd4b3d+b2c24c327d2>0 with b,c,dR and c<0. The goal is to obtain an expression for d.

My guess would be to use solve_ineq() and perhaps assume() for the additional condition, but I can't figure out how. In case of a symbolic equation I'd use

b,c,d = var('b,c,d')
Delta = (18*b*c*d - 4*b^3*d + b^2*c^2 - 4*c^3 - 27*d^2 == 0)
solve(Delta,d)