Hi every one,
I have a problem for subtracting two non-homogenous monomial "xyyx-xyx" in a unital associative free algebra with two generators x&y.
The error which is appeared is "ArithmaticError : can only subtract the elements of the same degree".
I will apreciate some one who tell me what is the soloution.
Thanks
Abdolrasoul
The docstring of FreeAlgebra says
By http://trac.sagemath.org/7797, we provide a different implementation of free algebras, based on Singular's "letterplace rings". Our letterplace wrapper allows for chosing positive integral degree weights for the generators of the free algebra. However, only (weighted) homogenous elements are supported. Of course, isomorphic algebras in different implementations are not identical:
If you drop the implementation='letterplace' option, the ArithmeticError disappears:
sage: F.<x,y> = FreeAlgebra(QQ)
sage: x*y*x + 2*x*y
2*x*y + x*y*x
But I need an unital associative free algebra and if I drop the "implementation= 'letterplace", it just give me free algebra.
Maybe I miss understood the definition of free algebra. When I put F.<x,y>=FreeAlgebra(QQ) "Sage" write me "Free Algebra en two generators x,y"" and when I write F.<x,y>=FreeAlgebra(QQ, implementation='letterplace') it gives me "Unital associative free algebra with two generators", but I think the both is the same, yes? Now, my problem is to construct a quotient of this algebra ba a non-homogenous ideal. Do you know, how can I do that?
Asked: 2013-10-07 11:11:34 +0100
Seen: 297 times
Last updated: Oct 08 '13
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
Actually the problem is here:
F.<x,y> = FreeAlgebra(QQ, implementation='letterplace') I=F[xyx-2xy]*F J=F.quo(I)
And the eroor is :
ArithmaticError : can only subtract the elements of the same degree"