Macaulay2 » Documentation
Packages » NCAlgebra :: isCentral
next | previous | forward | backward | up | index | toc

isCentral -- Determines if an element is central

Description

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

i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z})
--Calling Bergman for NCGB calculation.
Complete!

o1 = B

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

       3          3
o2 = -y +yxz-xyz+x

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

      2        2
o3 = y +yx+xy+x

o3 : B
i4 : isCentral h

o4 = true
i5 : isCentral g

o5 = true

See also

Ways to use isCentral:

  • isCentral(NCRingElement)
  • isCentral(NCRingElement,NCGroebnerBasis)

For the programmer

The object isCentral is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:2424:0.