((a=b)*-1)|([a = 4,b = 3]) => -1 ?

[compsystems]

Hello
with autosimplify flag: none

((a=b)*-1 [enter] returns -a=(-b)
((a>b)*-1 [enter] returns (-b)>(-a)

((a=b)*-1)|([a = 4,b = 3]) [enter] returns (-4=-3)
((a>b)*-1)|([a = 4,b = 3]) [enter] returns (true)*-1 => -1 ? // Shouldn't the left side be resolved first?

((a>b)*-1)|([a = 4,b = 3]) => (-b)>(-a)|([a = 4,b = 3]) => -3 >-4 => true

I think the left side should do a low-level evaluation before replacing what the right side indicates.

[compsystems]

Another possible problem is when an expression is applied in an inequality.

(((x-2)/(x+2))<2)*(x+2) [Enter] ([(6+x)/(2+x),(12+2*x)/(2+x)])>0

=> (x-2) < (2*(x+2))

[parisse]

You should eval the inequation*number before doing substitution.

[compsystems]

I have noticed that depending on the simplification flag, an assignment is performed.
You can improve the xcas interpreter by adding a flag to the system that allows you to decide whether you want the equal sign to always act as an assignment or not,