Problem: History to entry line [up]...[copy]
08-29-2018, 11:20 AM (This post was last modified: 08-29-2018 11:49 AM by compsystems.)
Post: #3
 compsystems Senior Member Posts: 1,384 Joined: Dec 2013
RE: Problem: History to entry line
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 =^]
 « Next Oldest | Next Newest »

 Messages In This Thread Problem: History to entry line [up]...[copy] - compsystems - 07-20-2018, 05:34 PM RE: Problem: History to entry line - compsystems - 08-29-2018, 10:30 AM RE: Problem: History to entry line - compsystems - 08-29-2018 11:20 AM RE: Problem: History to entry line [up]...[copy] - compsystems - 09-26-2018, 01:17 PM

User(s) browsing this thread: 1 Guest(s)