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

isCentral -- Determines if an element is central

Synopsis

Description

This method checks to see if a given noncommutative ring element is central.

i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z})

o1 = B

o1 : FreeAlgebraQuotient
i2 : g = z^3 + y*z*x - z*y*x - y^3

        3                    3
o2 = - y  + y*z*x - z*y*x + z

o2 : B
i3 : h = x^2 + y^2 + z^2

      2                2
o3 = y  + y*z + z*y + z

o3 : B
i4 : isCentral h

o4 = true
i5 : isCentral g

o5 = true

See also

Ways to use isCentral :

For the programmer

The object isCentral is a method function.