- axiom
factor ((y-1) * x + y - 1) - is right
(1) **Type:**Factored(Polynomial(Integer))axiomfactor ((y-1) * sin x + y - 1) -- does nothing (2) **Type:**Factored(Expression(Integer))
`EXPR` is a field...
Martin I think we can close this issue. Are you agree ?well documented and more or less mathematically sound --kratt6, Mon, 03 Apr 2006 05:01:02 -0500 replyTo get what the OP wanted, recast the problem as a Polynomial: Unfortunately, any conversion of h from a "Factored Polynomial Integer" to a "Factored Expression Integer" will destroy the factorization. Category: Axiom Mathematics => Axiom Library |

(new)--Martin Rubey, Sat, 04 Mar 2006 12:56:00 -0600 reply