[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [DistributedMultivariatePolynomial]
From: |
Bill Page |
Subject: |
[Axiom-developer] [DistributedMultivariatePolynomial] |
Date: |
Mon, 27 Feb 2006 12:51:36 -0600 |
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