Hello Simon, On Mon, Jan 30, 2012 at 05:02:24AM -0800, Simon King wrote: > Hi Oliver, > > On 30 Jan., 11:24, Oliver Block <oliver_blo...@web.de> wrote: > > I do not understand why "Univariate Polynomial Ring in x over Rational > > Field" is not in "Category of vector spaces over Rational Field". It > > should be. Is not it? > > Argh. It is not in sage-4.7.2, but it will be, in sage-5.0 (and I > produced my example on sage-5.0.prealpha0). There are two rather big > patches, available on the sage trac server. See > http://trac.sagemath.org/sage_trac/ticket/9138 > and http://trac.sagemath.org/sage_trac/ticket/11900. > > With these patches, category containment becomes more useful. Without > it, one needs to modify my example a little bit. Thank you for the clarification. At the moment I am not very motivated to work with development code. So I will probably wait for the release of sage 5.0 (this is hopefully not too far in the future?).
Meanwhile I developed some functions I can use manually, even if not integrated in the class of (multivariate) polynomials. This could be done later once sage 5.0 is released. Best regards, Oliver -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
