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.