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

[compsystems]

Hello

recent firmware

Quote:"HP Prime Graphing Calculator
Software Version: 2.0.0.13865 (2018 07 06)
Hardware Version: Emu
CAS Version: 1.4.9 6x
Serial Number: E43247C51117C96
Operating System: Windows 10
© 2018 HP Development Company, L.P."

/!\ the items 1,3, and 5 must be done manually [shift] [cas] (settings), the autosimplify xcas command has not yet been included in the hp-prime cas catalog, this is a problem because from the history view or program I can not control the output format, result unexpected outputs. Request hp-prime team, please include it in the next firmware version the autosimplify xcas cmd
Thanks

please follow the steps below to check the bugs

1: autosimplify(None); [enter] // set manually to simplify: none

2: answer:=domain((1/(x+1)),x); returns x≠1 // ok
[up] [copy] x<>1 // lost pretty print

2.1: [up][up] [copy]
answer=domain((1/(x+1)),x); // the symbol ( : ) is lost: [enter]
returns True=x<>-1 ?
[up] [copy]
equal(True,x<>-1) ?

3: autosimplify('regroup'); // set manually to simplify: minimum [enter]
4: answer:=domain((1/(x+1)),x); returns 1 // Why?

5: autosimplify('simplify'); [enter] // set manually to simplify: maximum
6: answer:=domain((1/(x+1)),x); returns 1 // Why?

7: a=b
[up] [copy]
equal(a,b) // lost pretty print

8: poly2symb(poly1[1,2,3])/poly2symb(poly1[4,5,6]) returns (x^2+2*x+3)/(4*x^2+5*x+6) // ok

9: Bug with Entry flag: set to textbook

(poly1[1,2,3])/(poly1[4,5,6]) returns (poly1[1,2,3])/(poly1[4,5,6]) // ok
[up][copy]

poly1*([1,2,3]/poly1)[4,5,6] ? [enter]

"Index outside range : 4, vector size is 3 Error: Invalid dimension" ?

poly1 is a reserved word, prefix of an array that means that the data type is a polynomial, it can not be interpreted as variable, that's the problem.

10: (x^3-6*x^2+11*x-6 | x=y) + (x^4-x^3-6*x^2+11*x-6)/x^6) :;
returns
"Done" // ok

but
[up]
nodisp( (x^3-6*x^2+11*x-6 | x=y) + (x^4-x^3-6*x^2+11*x-6)/x^6) ) [enter]
nodisp( (x^3....
lost nodisp xcas cmd, The command nodisp is used in xcas to not show the result or output, very useful when the output is very "large", another example M0:=ranm(50,50) [enter] [[-49,31,-68,39,82 ....

[compsystems]

in previous versions item 2.1 did not happen, this is a problem because the idea is for the student to manipulate the history, that is, to copy expressions to the entry line and re-execute sentences.

although it is solved by doing

'index':= 1

which should be the default mode at 1 and show (request hp-prime team) as a new flag in the CAS configuration view.


please press [up] [up][copy]


I do not want conversions, but keep the input

In previous versions

a:=1 [enter] 1
[up][up][copy]
a:=1

now Software Version: 2.0.0.13865 (2018 07 06)

a:=1 [enter] 1
[up][up]
a=1 // must show a:=1 and not a=1. current convert from assignment ( := ) to equality (=)

also in item 2 and 7, before it was shown in pretty-print, ideal to copy the entries (edit menu, copy) and exits to a document (pdf, powerpoint, etc, screen capture) and to make classroom presentations

[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 =^]

[compsystems]

not(x>y) => y ≥ x although the sense of reading is reversed. x ≤ y (real math book print)

problem

not(x=y) => not(x==y) [up][copy][enter] NOT x=y [up][copy][enter] (NOT x)=y
x:=true; y:=false
[up][copy][enter] 0 = false // sometimes 0 other times 'false', there is no consistency

//
( e^pi = pi^e ) and (0=0) => 0 => false

Another problem

if NOT(input(id)) then kill; end;
// does not operate with NOT in lower case.
if not(input(id)) then kill; end;