Concept Distributive. More...
#include <algebraic_concepts.hpp>
Concept Distributive.
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 |
Distributivity from left | mult(x, add(y, z)) == add(mult(x, y), mult(x, z)) |
Distributivity from right | mult(add(x, y), z) == add(mult(x, z), mult(y, z)) |