Produces a module over the direct sum of the Lie algebras of the two modules.
|
A complicated way to define usual tensor product LieAlgebraModule ** LieAlgebraModule would be using the diagonal embedding:
|
|
|
|
|
|
|
The source of this document is in LieTypes.m2:2622:0.