Robuta

https://macaulay2.com/doc/Macaulay2/share/doc/Macaulay2/NCAlgebra/html/_nc__Ideal.html ncIdeal -- Define a two-sided ideal in a noncommutative ring two sided idealnoncommutative ringdefine