Associative operation taking which combines two values.
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.
Return the identity element for this monoid.
Tests if a
is the identity.
Tests if a
is the identity.
Return a
combined with itself more than once.
Return a
combined with itself more than once.