enum identity_t |
Special values to be supported as the only parameters of constructors of user-defined algebraic types.
Enumerator | |
---|---|
additive_identity | A tag to construct additive identity element. See rng_concept. Any user-defined chsvlib-compatible algebraic type implementing an algebraic structure that is at least an Rng should have a publicly available constructor of the only argument that can have a value, possibly converted, of additive_identity which resolves to integral 0. |
multiplicative_identity | A tag to construct multiplicative identity element. See ring_concept. Any user-defined chsvlib-compatible algebraic type implementing an algebraic structure that is at least a ring should have a publicly available constructor of the only argument that can have a value, possibly converted, of multiplicative_identity which resolves to integral 1. |