noZeroDivisorsΒΆ

attribs.spad line 22

The class of all semirings such that x * y \~~= 0 implies both x and y are non-zero