org.uacalc.alg

Class MaltsevDecompositionIterator

java.lang.Object

org.uacalc.alg.MaltsevDecompositionIterator

All Implemented Interfaces:

java.util.Iterator<SmallAlgebra>

public class MaltsevDecompositionIterator
extends java.lang.Object
implements java.util.Iterator<SmallAlgebra>

An iterator for idempotent algebras giving sections, this is, quotients of subalgebras of the given algebra. If P is a robust property in the sense of Freese and McKenzie, then the variety of the algebra has P if and only if each of these sections does.

Author:

ralph

Constructor Summary

Constructors

Constructor and Description
MaltsevDecompositionIterator(SmallAlgebra alg) Given an idempotent algebra this constructs an iterator of SmallAlgebras that are sections, this is, quotients of subalgebras of alg.

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
static void	main(java.lang.String[] args)
SmallAlgebra	next()
void	remove()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

MaltsevDecompositionIterator

public MaltsevDecompositionIterator(SmallAlgebra alg)

Given an idempotent algebra this constructs an iterator of SmallAlgebras that are sections, this is, quotients of subalgebras of alg. If P is a robust property in the sense of Freese and McKenzie, then the variety of alg has P if and only if each of these sections does.

Parameters:

alg - an idempotent algebra

Throws:

IllegralArguementException - if alg is not idempotent

Method Detail

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<SmallAlgebra>

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<SmallAlgebra>

next

public SmallAlgebra next()

Specified by:

next in interface java.util.Iterator<SmallAlgebra>

main

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

Parameters:

args -

Throws:

java.lang.Exception