Consider the following: fricas q:FR POLY INT := (x-1)*(x^2+1)
Type: Factored(Polynomial(Integer))fricas p:FR POLY INT := (x-1)*(2*x)
Type: Factored(Polynomial(Integer))fricas p+q
Type: Factored(Polynomial(Integer))fricas )tr MULTFACT )ma The documentation says: Others, like addition require somewhat more work, and unless the argument domain provides a factor function, the result may not be completely factored. which is not true, as shown by the result of above. - Comment: In fact, in the past polynomial domains failed to provide
`factor` - factoring
was done by separate routine. Now polynomials provide
`factor` and the result above is fully factored.
Furthermore, applying Comment: Yes, if base domain is GCD domain I'm not sure whether Another issue is raised by the documentation to expand(f) multiplies the unit and factors together, yielding an "unfactored" object. Note: this is purposely not called 'coerce' which would cause the interpreter to do this automatically. I tested this and found it not to be true. Note that the domain was written already in 1985, so it might well be that the interpreters behaviour has changed in this respect. Martin |

...--test1, Tue, 27 Oct 2015 14:17:38 +0000 reply