algebra::DivisionRing< AddOp, MultOp, Element > Struct Template Reference
Concept DivisionRing. More...
#include <algebraic_concepts.hpp>
Concept DivisionRing.
AddOp | A functor implementing a binary operation representing addition |
MultOp | A functor implementing a binary operation representing multiplication |
Element | The type upon the binary operation is defined |
add | Object of type AddOp |
mult | Object of type Multop |
x, y, z | Objects of type Element |
Non-zero divisibility from left | mult(inverse(mult, x), x) == identity(mult, x) | if x != identity(add, x) |
Non-zero divisibility from right | mult(x, inverse(mult, x)) == identity(mult, x) | if x != identity(add, x) |
Zero is different from one | identity(add, x) != identity(mult, x) |
algebra::DivisionRing< AddOp, MultOp, Element > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine
-- Gen. with
rev. 7542
on Sat Aug 11 2012 by doxygen 1.7.6.1 -- © 2010 by SimuNova UG.