[fricas-devel] ncpoly notes&problems

[Raymond Rogers]

For all who are interested.
As far as I can tell:

1) The transition from nc_ini01.input to nc_ini03.input,and my
nc_ini03-a.input: breaks polynomfactor.input

2)  Also the transition induces the following error: consider

z1 :=(1+z*p)* (p-1)
factorization(z1 ::NCP)
z1a : NCP := (1+z*p)* (p-1)
factorization(z1a)

With nc_ini01.input the "factorization(z1 ::NCP)" simply throws an
error; which, I guess, is okay.
With nc_ini03.input or nc_ini03-a.input it works and produces the wrong
answer for z1!  Superficially it seems the ALS is also wrong.

3) My previous test harness ncpoly-a.tar.gz had a grossness in
test_init.input which I have fixed.
Attached is the corrected test_init.input
If anybody wants I will regenerate the tar.gz but, since it also passes
the item ")2", incorrect formating
 is rampant.  I am inclined to wait for a fix, even if it's a bailout
mode fix, but  I would rather have the late conversion work.  Makes a
nice commutation diagram (when closed).
Do not run polynomfactor.input in the same ws/time as nc_ini03-a.input
because I have taken "p" and used it as noncommuting variable in order
to make the entry of differential equations match the normal use of "p"
as a derivative operator. nc_ini03.input doesn't seem to have this problem.

RayR