MTL 4: algebra::DivisionRing< AddOp, MultOp, Element > Struct Template Reference
#include <algebraic_concepts.hpp>
Inherits RingWithIdentity< AddOp, MultOp, Element >, and Inversion< MultOp, Element >.
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 7 Apr 2011 by doxygen 1.5.9 -- © 2010 by SimuNova UG.