Non-homogenous Ideals In Unital Associative Free Algebras

asked 2013-10-08 09:43:39 +0200

updated 2021-01-15 18:24:51 +0200

slelievre gravatar image

I want to define a two-sided ideal I = [x*y*x*y - x*y] in a unital associative free algebra K.<x,y>.

But I get:

ArithmeticError: Can only subtract elements of the same degree.

Is there any way to define such an ideal in Sage?

edit retag flag offensive close merge delete