Problem: History to entry line [up]...[copy]

[compsystems]

Now with the problems of a=b, a!=b, a<b, etc

1: autosimplify(None); [enter]
2: answer:=domain((1/(x+1)),x); returns x≠1 // ok

but

5: autosimplify('simplify'); [enter] // maximum
6: answer:=domain((1/(x+1)),x); returns 1 synonymus of true =(


there must be a flag so that it does not interpret and operate on a and b with is in maximum simplification, but it retains the symbolic expression, this is the important thing of a CAS, keeping the symbols not evaluate them. [request for our dear friend Mr. Bernard Parisse]

that is, there must be a new flag in configuration on xcas kernel

Evaluate expression of comparison [✔ (yes/no)]

x≠1 syntactically they are not equal therefore it is a truth, but mathematically it depends on the value of x, so it can not be assumed that x≠1 is true

autosimplify('simplify'); [enter] // set manually to simplify: maximum
x≠1 [enter] returns true =^[ // this generates confusion in the student, therefore it is difficult to develop the algebraic reasoning if the machine gives feedback "wrong"

for the next firmware

autosimplify('simplify'); [enter] // without setting the flag of simplify manually but by means of a sentence autosimplify('simplify');
x≠1 [enter] returns x≠1 =^]