Nicolas, Actually all I need is a "grouped" subclass of CombinatorialFreeModule_Tensor that remembers the unflattened tensor factors (but still uses the flattened version for elements). Tensor products of algebras should use the grouped tensor version of CFM_Tensor.
Ah. I suppose one could define a subcategory, something like ModulesWithBasis(R).TensorProducts().Grouped() where tensor objects can supply their tensor factors. This seems like overkill. --Mark -- 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.