[Axiom-developer] [DistributedMultivariatePolynomial]

[Bill Page]

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/address@hidden