If the given noncommutative ring has central elements of the specified degree, this method returns a basis for the space of central elements in that degree.
i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z}) o1 = B o1 : FreeAlgebraQuotient |
i2 : centralElements(B,2) o2 = | y2 yz+zy z2 | 1 3 o2 : Matrix B <--- B |
i3 : centralElements(B,3) o3 = | -y3+yzx-zyx+z3 | 1 1 o3 : Matrix B <--- B |
The object centralElements is a method function.