I want to compute intersection of ideal in non commutative set up for example
Q.<x,y>= FreeAlgebra(QQ,2)
sage: I=Q*[x^5]
sage: I
Left Ideal (x^5) of Free Algebra on 2 generators (x, y) over Rational Field
sage: J=Q*[x^4]
sage: I.intersection(J) ------------- This is a trivial intersection and should return "I" itself....
There is a big error ending with
AttributeError: 'Ideal_nc' object has no attribute 'intersection'
Or is there any other methods to take intersection?