Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

Edit :

F = FreeAlgebra(QQ, 3, 'x,y,z') M.<x,y,z> = FreeMonoid(3) w = xyz print F.lie_polynomial(w) w = w.to_word() w.lyndon_factorization()

This code giving me the out output : xyz - yzx (xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

Edit :

F = FreeAlgebra(QQ, 3, 'x,y,z') 'x,y,z')

M.<x,y,z> = FreeMonoid(3) FreeMonoid(3)

w = xyz z

print F.lie_polynomial(w) F.lie_polynomial(w)

w = w.to_word() w.to_word()

w.lyndon_factorization()

This code giving me the out output : :

xyz - yzx x

(xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

Edit :

F = FreeAlgebra(QQ, 3, 'x,y,z')

M.<x,y,z> = FreeMonoid(3)

w = xyz

print F.lie_polynomial(w)

w = w.to_word()

w.lyndon_factorization()

This code giving me the out output :

xyz - yzx

(xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output.output, where am I making mistake. please tell.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

Edit :

F = FreeAlgebra(QQ, 3, 'x,y,z')

M.<x,y,z> = FreeMonoid(3)

w = xyz

print F.lie_polynomial(w)

w = w.to_word()

w.lyndon_factorization()

This code giving me the out output :

xyz - yzx

(xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output, where am I making mistake. please tell.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

Thanks for your valuable timing.

Have a good day.

Edit :

F = FreeAlgebra(QQ, 3, 'x,y,z') 

M.<x,y,z> = FreeMonoid(3)

FreeMonoid(3) w = xyz

x*y*z print F.lie_polynomial(w)

F.lie_polynomial(w) w = w.to_word()

w.lyndon_factorization()

w.to_word() w.lyndon_factorization()

This code giving me the output :

xyz - yzx

(xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output, where am I making mistake. please tell.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

F = FreeAlgebra(QQ, 3, 'x,y,z') 

M.<x,y,z> = FreeMonoid(3)

w = x*y*z

print F.lie_polynomial(w)

w = w.to_word()

w.lyndon_factorization()

This code giving me the output :

xyz

x*y*z - yzx

(xyz)

y*z*x (xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output, where am I making mistake. please tell.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Thanks a lot once again.

default order in FreeAlgebra

In this link : http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/free_algebra.html I am interested in the method lie_polynomial(w), which takes word from a FreeMonoid as input and give the output, the corresponding Lie monomial. But All these things depends on the order in the FreeAlgebra elements. Theoretically this is the lex order induced from the order on the alphabets, but in sage, the order in FreeAlgebra is it same as lex or different order?

F = FreeAlgebra(QQ, 3, 'x,y,z') 

M.<x,y,z> = FreeMonoid(3)

w = x*y*z

print F.lie_polynomial(w)

w = w.to_word()

w.lyndon_factorization()

This code giving me the output :

x*y*z - y*z*x

(xyz)

Since, w is Lyndon, the associated Lie monomial is [x [y z]] = xyz - xzy - yzx + zyx which is different from the above output, where am I making mistake. please tell.

The method of associating monomial to a word can be seen here : https://en.wikipedia.org/wiki/Free_Lie_algebra#Lyndon_basis

Edit : There is a ticket regarding lie_polynomial( ) method. Please see here : https://trac.sagemath.org/ticket/22251

Thanks a lot once again.