Non-homogenous Ideals In Unital Associative Free Algebras

asked 2013-10-08 02:43:39 -0600

updated 2015-01-14 03:28:58 -0600

FrédéricC gravatar image

Hi all,

I want to define a two sided ideal I=[xyxy-xy] in an unital associative free algebra K.<x,y>. But, the error I have faced to is the following:

ArithmaticError: Can only subtract the elements of the same degree.

Is there any way to define such an ideal in sage.


edit retag flag offensive close merge delete