Macaulay2 » Documentation
Packages » AssociativeAlgebras :: FreeAlgebra / Ideal
next | previous | forward | backward | up | index | toc

FreeAlgebra / Ideal -- Type of a noncommutative ring



This is the type of a quotient of a tensor algebra by a two-sided ideal.

At this point, one cannot define quotients of quotients.

Ways to use this method: