[IDEA CAS] increasing flag -> increasing cmd

[compsystems]

Hello CAS programmers

1:
increasing flag: off
reorder(a+b+c,[c,b,a]); -> c+b+a // ok

increasing flag: on
reorder(a+b+c,[c,b,a]); -> a+b+c // =( I think the order is lost, because the increase operation is applied at the end

2:
increasing flag: off (^3->^2->^1)
reorder(a +b^2+b +c^3+c^1,[c,b,a]); -> c^3+c^1 +b^2+b^1 +a // ok

increasing flag: on (^1->^2->^3)
reorder(a +b^2+b +c,[c,b,a]); -> a^1+ b^1+b^2 +c+c^3 // It is more useful that the increment flag is only made in each subpolynomial
reorder(a+b^2+b+c,[c,b,a]); -> c^1+c^3+ b^1+b^2 +a^1

3:
increasing flag: off (^3->^2->^1) & (x->y-z) I think the variable should also decrease (z->y-x)
collect(x^3+y^3+z^3+x^2+y^2+z^2+x+y+z) -> x^3+x^2+x +y^3+y^2+y +z^3+z^2+z // Collect by polynomials of the same variable
collect(x^3+y^3+z^3+x^2+y^2+z^2+x+y+z) -> z^3+z^2+z +y^3+y^2+y +x^3+x^2+x

increasing flag: on (^1->^2->^3) & (z->y-x) =(
collect(x^3+y^3+z^3+x^2+y^2+z^2+x+y+z) -> z+z^2+z^3 +y+y^2+y^3 +x+x^2+x^3 =(
collect(x^3+y^3+z^3+x^2+y^2+z^2+x+y+z) -> x+x^2+x^3 +y+y^2+y^3 z+z^2+z^3 =)

4: simplify(x^3+y^3+z^3+ x^2+y^2+z^2 +x+y+z + w+w);
2*w +x^3+x^2+x +y^3+y^2+y +z^3+z^2+z
The (increasing flag: on) does not operate
correct answer x+x^2+x^3 +y+y^2+y^3 +z+z^2+z^3 +2*w

To avoid the whole problem of INCREASING FLAG, this must be deleted from CAS settings, and better be replaced by a command In/Decreasing

Only powers, for more of 2 variables the user orders them with the REORDER command
Increasing (expr);
Decreasing (expr);

Good Idea?
----


In this way I can have control of the outputs and manipulate them with commands to extract parts, REORDER control is lost and more, otherwise it is very difficult to program on HP-PrimePL (HP-PPL)