MLHom.h File Reference

#include "ddd/Hom.h"
#include "ddd/AdditiveMap.hpp"

Include dependency graph for MLHom.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	MLHom
class	_MLHom
class	StrongMLHom

Typedefs
typedef AdditiveMap< GHom, GDDD >	HomNodeMap
typedef AdditiveMap< GHom, MLHom >	HomHomMap

Functions
MLHom	operator+ (const MLHom &, const MLHom &)
	Composition by union of two homomorphisms.

Typedef Documentation

HomHomMap

typedef AdditiveMap<GHom,MLHom> HomHomMap

HomNodeMap

typedef AdditiveMap<GHom,GDDD> HomNodeMap

Function Documentation

operator+()

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

Composition by union of two homomorphisms.

By definition, as homomorphism are linear, (h+g) (d) = h(d) + g(d) ;.

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

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

Where g,h are homomorphisms and d is a DDD.