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
-- Generated on 24 Aug 2009 by Doxygen 1.5.9 -- Copyright 2008-09 by TU Dresden and the Trustees of Indiana University.