Documentation

This is machine translation

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

Cat::SemiGroup

Category of semi-groups

Description

Cat::SemiGroup represents the category of semi-groups.

A Cat::SemiGroup represents the category of non-Abelian semi-groups, where the group operation is written as multiplication. Hence a Cat::SemiGroup is a set with an associative operation * (_mult).

Note that Abelian semi-groups with operation + have category Cat::AbelianSemiGroup.

Methods

expand all

Basic Methods

_mult(x, …)

Mathematical Methods

_power(x, n)

Was this topic helpful?