Algebraic Structures

Data Structures
class	CTF::Group< dtype, is_ord >
	Group is a Monoid with operator '-' defined special case (parent) of a ring. More...
class	CTF::Monoid< dtype, is_ord >
	A Monoid is a Set equipped with a binary addition operator '+' or a custom function addition must have an identity and be associative, does not need to be commutative special case (parent) of a semiring, group, and ring. More...
class	CTF::Ring< dtype, is_ord >
	Ring class defined by a datatype and addition and multiplicaton functions addition must have an identity, inverse, and be associative, does not need to be commutative multiplications must have an identity and be distributive. More...
class	CTF::Semiring< dtype, is_ord >
	Semiring is a Monoid with an addition multiplicaton function addition must have an identity and be associative, does not need to be commutative multiplications must have an identity as well as be distributive and associative special case (parent) of a Ring (which also has an additive inverse) More...
class	CTF::Set< dtype, is_ord >
	Set class defined by a datatype and a min/max function (if it is partially ordered i.e. is_ord=true) currently assumes min and max are given by numeric_limits (custom min/max not allowed) More...

Detailed Description