org.uacalc.alg

Class MaltsevProductDecomposition

java.lang.Object

org.uacalc.alg.MaltsevProductDecomposition

public class MaltsevProductDecomposition
extends java.lang.Object

Suppose P is a robust property; a property such that if A is an idempotent algebra in the Maltsev product of two idempotent varieties satisfying P, then A satisfies P. We can speed up a basic test of A having P by various decompositions of A. One example is a subdirect decomposition. The other is to have a chain of congruences of A. Then P holds in A iff it holds in every C which is B mod theta restricted to B, where B is a block (which is an algebra) of the congruence above theta. A class to represent a decomposition of an idempotent algebra into a quotient and the blocks as subalgebras of a congruence.

Author:

ralph

Constructor Summary

Constructors

Constructor and Description
MaltsevProductDecomposition(SmallAlgebra alg, Partition cong) Make the decomposition.

Method Summary

Modifier and Type	Method and Description
SmallAlgebra	getAlgebra()
java.util.List<SmallAlgebra>	getBlockAlgebras()
Partition	getCongruence()
SmallAlgebra	getQuotientAlgebra()
static void	main(java.lang.String[] args)
void	setAlgebra(SmallAlgebra algebra)
void	setBlockAlgebras(java.util.List<SmallAlgebra> blockAlgebras)
void	setCongruence(Partition congruence)
void	setQuotientAlgebra(SmallAlgebra quotientAlgebra)

Methods inherited from class java.lang.Object

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

Constructor Detail

MaltsevProductDecomposition

public MaltsevProductDecomposition(SmallAlgebra alg,
                                   Partition cong)

Make the decomposition.

Parameters:

alg - an idempotent, nontrivial algebra

cong - a congruence of alg

Method Detail

getCongruence

public Partition getCongruence()

setCongruence

public void setCongruence(Partition congruence)

getAlgebra

public SmallAlgebra getAlgebra()

setAlgebra

public void setAlgebra(SmallAlgebra algebra)

getBlockAlgebras

public java.util.List<SmallAlgebra> getBlockAlgebras()

setBlockAlgebras

public void setBlockAlgebras(java.util.List<SmallAlgebra> blockAlgebras)

getQuotientAlgebra

public SmallAlgebra getQuotientAlgebra()

setQuotientAlgebra

public void setQuotientAlgebra(SmallAlgebra quotientAlgebra)

main

public static void main(java.lang.String[] args)

Parameters:

args -