ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 07 May 2016 00:59:45 +0200Exterior and tensor product of algebrashttps://ask.sagemath.org/question/33337/exterior-and-tensor-product-of-algebras/Hi,
I've been trying to construct something like $\Lambda^2 A \otimes A$ where $A$ is a free associative $\mathbb{Q}$-algebra on some generators, say, $x$ and $y$, without success. I think I understand the basics of the FreeAlgebra object in Sage, but I could not find more specific information about this kind of construction in the documentation or here in this forum. Ultimately, I would like to form and calculate with expressions like $x y \wedge xx \otimes xy$ where $x,y\in \mathbb{Q}\langle x,y\rangle$, the free associative unital algebra, and such that, for instance, $xy \wedge xx \otimes xy = - xx \wedge xy \otimes xy$. Does anyone know whether this is or is not possible to achieve in Sage at the moment? Any help will be greatly appreciated.
Cheers,
WaldeckWaldeckSat, 07 May 2016 00:59:45 +0200https://ask.sagemath.org/question/33337/