centralElements -- Finds central elements in a given degree

Synopsis

Usage:

centralElements(A,n)
Inputs:
- A, a ring,
- n, an integer, the homogeneous degree in which to compute central elements
Outputs:
- a matrix,

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})
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

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 :

centralElements(Ring,ZZ)

For the programmer

The object centralElements is a method function.