Previous Page Next Page Contents

Cat::AbelianMonoid -- the category of abelian monoids

Introduction

Cat::AbelianMonoid represents an abelian monoid.

Generating the category

Cat::AbelianMonoid()

Categories

Cat::AbelianSemiGroup

Axioms

if dom has Ax::canonicalRep then
Ax::normalRep

Details

Basic Entries

zero

Must hold the neutral Element according to the operation +.

Method intmult: returns integer multiple

Method iszero: tests if element is zero

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000