# 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) ?