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.Fri, 21 Jun 2024 11:56:41 +0200Question on tensor products (of the free algebra)https://ask.sagemath.org/question/77929/question-on-tensor-products-of-the-free-algebra/If $F$ is the free algebra over the rational numbers with generators $\{a,b,c,\ldots\}$, then $F\otimes F$ is implemented
F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()
Typical element are (sums of)
F(a) # F(1)
F(a) # F(b^2)
(1/2)*F(1) # F(a* b*a* c^2)
A first issue I have is that -- despite the *typing* alternative e.g. `a.tensor(b)` for `a#b` -- output happens in the hashtag format, which, if copied, is recognised only as a comment after that sign. Is there a way to make output useful [or rendered as tensor(a,b)] ?
And more importantly, how read off each factor of this type of expressions? That is, how to map
(1/2)*F(1) # F(a* b*a* c^2)
to, say,
(1/2) , a*b*a*c^2
or
1, a*b*a*c^2 /2
(who gets the numerical factor I don't care) ?c.p.Fri, 21 Jun 2024 11:56:41 +0200https://ask.sagemath.org/question/77929/