IsPrimeNearring( nr )
A near-ring (N,+,cdot) with zero element 0 is called prime if the ideal { 0 } is a prime ideal.
The function IsPrimeNearring
checks if nr is a prime near-ring
by using the condition for all non-zero ideals I,J: I cdot J ne
{ 0 } and returns the according value true
or false
.
gap> IsPrimeNearring( LibraryNearring( "V4", 11 ) ); false
GAP 3.4.4