next | previous | forward | backward | up | top | index | toc | Macaulay2 website
AssociativeAlgebras :: centralElements

centralElements -- Finds central elements in a given degree

Synopsis

Description

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

Ways to use centralElements :

For the programmer

The object centralElements is a method function.