PartiallyInvertibleCommutativeRing concept

Description

A partially invertible commutative ring is a partially invertible ring for which the multiplication is commutative.

Refinement of

PartiallyInvertibleRing and MultiplicativePartiallyInvertibleCommutativeMonoid

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes