CommutativeRing concept

Description

A commutative ring is a Ring in which the multiplication operation is commutative.

Refinement of

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes