Changes http://wiki.axiom-developer.org/DistributedMultivariatePolynomial/diff --
??changed: -shows clearly (this is a much simplified version of what actually is done, which involves 4 "coercions") that the coercion from 'DMP([x], FRAC POLY INT)' to "FRAC POLY INT' for the denominator 'a' is really a substitution, implemented using the 'map' function from 'FRAC2' package, taking $1/x_Q$ to $1/x_S$ via the substitution $x_Q$ to $x_S$. If we replace 'S' by 'POLY INT', the coercion would be simpler, but then 'S' is not a field. shows clearly (this is a much simplified version of what actually is done, which involves 4 "coercions") that the coercion from 'DMP([x], FRAC POLY INT)' to 'FRAC POLY INT' for the denominator 'a' is really a substitution, implemented using the 'map' function from 'FRAC2' package, taking $1/x_Q$ to $1/x_S$ via the substitution $x_Q$ to $x_S$. If we replace 'S' by 'POLY INT', the coercion would be simpler, but then 'S' is not a field. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
