Re: [Maxima-discuss] %and is not an infix operator

[Barton W. <wi...@un...>]

Hi Jinsong,

Try this:

(%i1) load(to_poly_solve)$

(%i2) simp_inequality((x > minf) %and (x < 0));
(%o2) x<0

The user documentation says to use this function, you need to load(fourier_elim).  Maybe the user documentation is out of date--I'm not sure.

Please let us know if you all have more questions or observations.

--Barton
________________________________
From: Jinsong Zhao <js...@ye...>
Sent: Sunday, February 2, 2020 07:50
To: <max...@li...> <max...@li...>
Subject: [Maxima-discuss] %and is not an infix operator

Hi there,

? simp_inequality gives the following example code:

          (%i1) simp_inequality((x > minf) %and (x < 0));
          (%o1) (x>1) %and (x<1)

However, I run it in Maxima 43.0, it gave:

(%i2) simp_inequality((x > minf) %and (x < 0));

incorrect syntax: %and is not an infix operator
ity((x > minf) %and
                   ^
And the help page gives:

           (%i2) assume(x > 0)$

           (%i3) simp_inequality(x > 0);
           (%o3)                         x > 0

I got:
(%i2) assume(x > 0)$

(%i3) simp_inequality(x > 0);
(%o3)                       simp_inequality(x > 0)

I don't know what are the correct ones. Any hints? Thanks!

Best,
Jinsong



_______________________________________________
Maxima-discuss mailing list
Max...@li...
https://urldefense.proofpoint.com/v2/url?u=https-3A__lists.sourceforge.net_lists_listinfo_maxima-2Ddiscuss&d=DwICAg&c=Cu5g146wZdoqVuKpTNsYHeFX_rg6kWhlkLF8Eft-wwo&r=Ln0CjFotuA7GyhsRS-QpQA&m=tRbTK_WSPUE-afOeiOG1MPeQtBRXsOrMah-cIsaGUCE&s=wCxpK7L4CGATA0Csdd4mSN2uD63yV1e9hndWuGRH67s&e=