Ask Your Question

Revision history [back]

How do you compute intersection of ideals in non commutative setup

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?

How do you compute intersection of ideals in non commutative setup

I want to compute intersection of ideal in non commutative set up for example

Q.<x,y>= FreeAlgebra(QQ,2)

FreeAlgebra(QQ,2) sage: I=Q*[x^5]

sage: I=Q*[x^5]

sage: I

I

Left Ideal (x^5) of Free Algebra on 2 generators (x, y) over Rational Field

sage: J=Q*[x^4]

J=Q*[x^4]

sage: I.intersection(J) ------------- This is a trivial intersection and should return "I" itself....

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?

How do you compute intersection of ideals in non commutative setup

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

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?