Quotient of free algebra on 2 generators (x, y) over rational field by a non-homogenous ideal

savecancel

Hi all,

Here I asked a question in sage but there is an error which I can not solve it:

F.<x,y>=FreeAlgebra(QQ)
I=F*[x*y*x*y-y*x, y*x*y*x-x*y]*F
G.<a,b>=F.quo(I)
G

TypeError: quotient() takes exactly 4 arguments (3 given)

Please help me to find the forth argument should I put.

Actually I want to construct a quotient of infinite dimensional non-commutative free algebra F by a non-homogenous ideal.

Thanks