## `Ax::normalRep` -- the axiom of normal representation

#### Introduction

`Ax::normalRep` states that an abelian monoid has a canonically representation of its zero element.

#### Generating the axiom

`Ax::normalRep()`

#### Details

- The axiom `Ax::normalRep` is used to state that an abelian monoid has a canonically representation of its zero element, i.e., that there is only one unique expression to represent zero.
- If the axiom `Ax::normalRep` holds for a domain `dom`, one may test for zero by comparing an element with `dom::zero` using the system function `_equal`.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000