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
- vector<float> with element-wise multiplication
Notes