How do you compute intersection of ideals in non commutative setup

asked 2024-01-18 06:37:59 +0200

updated 2024-01-18 22:25:08 +0200

Max Alekseyev gravatar image

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?

edit retag flag offensive close merge delete