org.uacalc.alg

Class Homomorphism

java.lang.Object

org.uacalc.alg.Homomorphism

Type Parameters:

K - the type of element of the domain

V - the type of element of the range

public class Homomorphism
extends java.lang.Object

A homomorphism from the domain algebra into the range algebra. Previously we had parameterize this with with K and V but not this is based on the index of the elements. It might make sense to require the domain keys be Integers but have parameterize values.

Author:

ralph

Constructor Summary

Constructors

Constructor and Description
Homomorphism(SmallAlgebra domain, SmallAlgebra range, java.util.Map<java.lang.Integer,java.lang.Integer> map)

Method Summary

Modifier and Type	Method and Description
Algebra	getDomain()
java.util.Map<java.lang.Integer,java.lang.Integer>	getMap()
SmallAlgebra	getRange()
Partition	kernel()
static java.util.List<IntArray>	productHomo(java.util.List<Homomorphism> lst) Make a list of elements (IntArray's) of a subpower from a list of maps all with the same domain.
void	setDomain(SmallAlgebra domain)
void	setMap(java.util.Map<java.lang.Integer,java.lang.Integer> map)
void	setRange(SmallAlgebra range)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Homomorphism

public Homomorphism(SmallAlgebra domain,
                    SmallAlgebra range,
                    java.util.Map<java.lang.Integer,java.lang.Integer> map)

Method Detail

kernel

public Partition kernel()

productHomo

public static java.util.List<IntArray> productHomo(java.util.List<Homomorphism> lst)

Make a list of elements (IntArray's) of a subpower from a list of maps all with the same domain. Note the map i goes to the ith element of the list is the product homomorphism.

Parameters:

lst - a list of Homomorphisms all with the same domain

Returns:

getDomain

public Algebra getDomain()

setDomain

public void setDomain(SmallAlgebra domain)

getRange

public SmallAlgebra getRange()

setRange

public void setRange(SmallAlgebra range)

getMap

public java.util.Map<java.lang.Integer,java.lang.Integer> getMap()

setMap

public void setMap(java.util.Map<java.lang.Integer,java.lang.Integer> map)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object