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

[Jinsong Z. <js...@ye...>]

Hi Barton,

Your code works. The documentation may be out of date.

Thank you very much!

Best,
Jinsong

On 2020/2/3 2:55, Barton Willis wrote:
> 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
>