Revision history [back]

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical element is

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 is recognised as a comment after the hashtag. How to solve this?

And more importantly, how read off each factor of this type of expressions?

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical element is

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 is recognised as a comment after the hashtag. How to solve this?

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).

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical element is

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 is recognised as a comment after the hashtag. How to solve this?

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).care) ?

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical element is

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 is recognised as a comment after the hashtag. How to solve this?

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

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical element is

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 the hashtag. that signn. How to solve this?

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

If $F$ is the free algebra over the rational numbers with generators ${a,b,c,\ldots}$, then $F\otimes F$ is impementedimplemented

F<a,b,c>=FreeAlgebra(QQ)
Fsquare=F.tensor_square()

A typical Typical element is are

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 signn. How sign. Is there a way to solve this?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) ?

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