MLSHom.cpp File Reference

#include "ddd/MLSHom.h"
#include "ddd/UniqueTable.h"
#include <typeinfo>

Include dependency graph for MLSHom.cpp:

Classes
struct	d3::util::equal< _MLShom * >
class	nsMLShom::Identity
class	nsMLShom::Add
class	nsMLShom::GShomAdapter
class	nsMLShom::ConstantUp
class	nsMLShom::LeftConcat

Namespaces
namespace	d3
namespace	d3::util
namespace	nsMLShom

Functions
MLShom	operator+ (const MLShom &h1, const MLShom &h2)
	Composition by union of two homomorphisms.

Variables
static UniqueTable< _MLShom >	canonical

Function Documentation

operator+()

MLShom operator+	(	const MLShom &	h1,
		const MLShom &	h2
	)

Composition by union of two homomorphisms.

By definition, as homomorphism are linear, (h+g) (d) = h(d) + g(d) ; Where g,h are homomorphisms and d is a SDDD.

This commutative operation computes a homomorphism that evaluates as the sum of two homomorphism.

Semantics : (h1 + h2) (d) = h1(d) + h2(d).

Variable Documentation

canonical

UniqueTable<_MLShom> canonical

static

Referenced by MLShom::garbage().