isLeftRegular(x,n) or isRightRegular(x,n)
Given an element x in an noncommutative ring, isLeftRegular returns true if a*x=0 implies a=0 for all a in the specified homogeneous degree n. Likewise isRightRegular returns true if x*a=0 implies a=0 for all elements a of degree n. The method calls leftMultiplicationMap or rightMultiplicationMap as appropriate and checks the kernel in the specified degree.
|
|
|
|
|
|
|
The object isLeftRegular is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2:632:0.