"William Stein" <[EMAIL PROTECTED]> writes:

> I also added f.polynomial(...) for f a multivariate polynomial, which
> sort of fits into the thread of this discussion.  This is
> a very useful function for certain applications -- it allows you to
> view a multivariate polynomial as a single variable polynomial in any
> one of its variables.

It seems to me like this should be factored into two pieces.  The
first part, the actual conversion, should really be a (canonical?)
coercion from R[x, y, z] -> (R[x, y])[z].  The polynomial(var)
function should be a helper that creates the correct rings and
coerces.

Does that seem reasonable?  This is all contingent on such coercions
existing :)

Nick

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to