On Fri, Jun 04, 2010 at 09:44:11AM -0400, Jason Bandlow wrote: > Thanks Simon and Florent, > > This is now http://trac.sagemath.org/sage_trac/ticket/9138 .
Thanks. I renamed this ticket to "Categories for polynomial rings", following all the other "Categories for ..." tickets. Polynomial rings should eventually be in GradedAlgebrasWithBasis and IntegralDomains / EuclideanDomains (depending on the number of variables); maybe even GradedHopfAlgebrasWithBasis. As a first step, putting them in IntegralDomains would be good. That's a good occasion to learn about categories, and with the other tickets of the same nature (e.g. #8576), there are examples to look at to see what needs to be done (most likely very little). See: http://trac.sagemath.org/sage_trac/wiki/CategoriesRoadMap Cheers, Nicolas -- Nicolas M. Thiéry "Isil" <[email protected]> http://Nicolas.Thiery.name/ -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
