algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Semiring.ZeroProduct

Synopsis

Documentation

class (Monoidal r, Semiring r) => ZeroProductSemiring r Source #

A zero-product semiring has no zero divisors

a * b = 0 implies a == 0 || b == 0