normalElements(f,n)
A normal element x in a non-commutative ring R determines an automorphism f of R by a*x=x*f(a). Conversely, given a ring endomorphism, we may ask if any x satisfy the above equation for all a.
Given a ring map f and a degree n, this method returns solutions to the equations a*x=x*f(a) for all generators a of R.
|
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/AssociativeAlgebras/doc.m2:280:0.