IdempotentElements( nr )
The function IdempotentElements
returns a list containing the
idempotent elements of the multiplicative semigroup of the near-ring nr.
gap> IdempotentElements( LibraryNearring( "S3", 25 ) ); [ (), (2,3) ]
GAP 3.4.4