Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Cat::AbelianMonoid

Category of Abelian monoids

MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.

Description

Cat::AbelianMonoid represents an Abelian monoid.

An Cat::AbelianMonoid is an Abelian semi-group with a neutral element dom::zero according to the operation + (_plus).

Use the axiom Ax::normalRep to state that zero is always represented in a unique way (i.e. canonically).

If an Abelian monoid has not the axion Ax::normalRep then dom::zero is only one possible representation of the neutral element. An Abelian semi-group must at least have the method "iszero" to test for zero in such a case.

Axioms

If the domain has Ax::canonicalRep, then Ax::normalRep.

Entries

"zero"

Must hold the neutral element according to the operation +.

Methods

expand all

Mathematical Methods

intmult(x, n)

iszero(x)

Was this topic helpful?