One thought on “Solving Rational Inequalities in Maxima: solve_rat_ineq()”

  1. For *systems* of inequalities, you can use **fourier_elim** in the **to_poly_solve** package:

    (%i1) load(to_poly_solve)$
    WARNING: redefining MAXIMA::OPAPPLY in DEFMACRO
    WARNING: redefining MAXIMA::OPCONS in DEFMACRO

    (%i2) fourier_elim( [ a+b > 0, a*b < 0 ], [a,b] );

    (%o2) [- b < a, a < 0, 0 < b] or [- b < a, b 0, a*b < 0, a = 2 ], [a,b] );

    (%o3) [a = 2, – 2 < b, b < 0]

    Like

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s