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. Cheers, Simon -- 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
