Nicolas, Here is a probably unintended consequence of rewriting ModulesWithBasis(QQ) in terms of vector spaces,
--Mark {{{ sage: cat = ModulesWithBasis(QQ); cat Category of vector spaces with basis over Rational Field sage: cat2 = ModulesWithBasis(QQ).TensorProducts().base_category(); cat2 Category of modules with basis over Rational Field sage: cat == cat2 False }}} -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.