Associative operation taking which combines two values.
Given a sequence of as
, sum them using the monoid and return the total.
Given a sequence of as
, sum them using the monoid and return the total.
Given a sequence of as
, combine them and return the total.
Return a
appended to itself n
times.
Return the identity element for this monoid.
Find the inverse of a
.
Tests if a
is the identity.
Tests if a
is the identity.
Remove the element b
from a
.
Return a
combined with itself more than once.
Return a
combined with itself more than once.