@@ -1262,8 +1262,8 @@ class CombinatorialFreeModule_Tensor(CombinatorialFreeModule):
12621262 Category of tensor products of
12631263 finite dimensional modules with basis over Integer Ring
12641264
1265- sage: T.construction() # todo: not implemented
1266- [ tensor, ]
1265+ sage: T.construction()
1266+ (The tensor functorial construction, (F, G))
12671267
12681268 T is a free module, with same base ring as F and G::
12691269
@@ -1350,7 +1350,8 @@ def __classcall_private__(cls, modules, **options):
13501350 assert (all (module in ModulesWithBasis (R )) for module in modules )
13511351 # should check the base ring
13521352 # flatten the list of modules so that tensor(A, tensor(B,C)) gets rewritten into tensor(A, B, C)
1353- modules = sum ([module ._sets if isinstance (module , CombinatorialFreeModule_Tensor ) else (module ,) for module in modules ], ())
1353+ modules = sum ([module ._sets if isinstance (module , CombinatorialFreeModule_Tensor ) else (module ,)
1354+ for module in modules ], ())
13541355 if all ('FiniteDimensional' in M .category ().axioms () for M in modules ):
13551356 options ['category' ] = options ['category' ].FiniteDimensional ()
13561357 return super (CombinatorialFreeModule .Tensor , cls ).__classcall__ (cls , modules , ** options )
0 commit comments