org.uacalc.alg

Class PolinLikeAlgebra

java.lang.Object

org.uacalc.alg.GeneralAlgebra

org.uacalc.alg.PolinLikeAlgebra

All Implemented Interfaces:

Algebra, SmallAlgebra

public class PolinLikeAlgebra
extends GeneralAlgebra
implements SmallAlgebra

Given a homomorphism f: A to B, this constructs a Polin type algebra on the disjoint union of A and B. The elements are ordered by the elements of B first followed by those of A.

Version:

$Id$

Nested Class Summary

Nested classes/interfaces inherited from interface org.uacalc.alg.SmallAlgebra

SmallAlgebra.AlgebraType

Field Summary

Fields

Modifier and Type	Field and Description
protected SmallAlgebra	botAlg
protected int	botConstIndex
protected Operation	map
protected SmallAlgebra	topAlg
protected int	topConstIndex

Fields inherited from class org.uacalc.alg.GeneralAlgebra

con, description, monitor, name, operationsMap, similarityType, size, sub, universe

Fields inherited from interface org.uacalc.alg.Algebra

CARDINALITY_COUNTABLE, CARDINALITY_COUNTABLY_INFINITE, CARDINALITY_FINITE, CARDINALITY_INFINITE, CARDINALITY_UNKNOWN

Constructor Summary

Constructors

Constructor and Description
PolinLikeAlgebra(java.lang.String name, SmallAlgebra topAlg, SmallAlgebra botAlg, Operation map, int topConstIndex, int botConstIndex)

Method Summary

Modifier and Type	Method and Description
SmallAlgebra.AlgebraType	algebraType() The type of algebra this is, like a quotient algebra.
CongruenceLattice	con() The congurence lattice.
static SmallAlgebra	constructPolinAlgebra(SmallAlgebra alg, int elt) This is not implemented; don't use it.
static SmallAlgebra	constructPolinAlgebra(SmallAlgebra alg, java.lang.Object elem) This is not implemented; don't use it.
void	convertToDefaultValueOps() This is used in the UI.
int	elementIndex(java.lang.Object elt) This method will return k if elem is the kth element; otherwise -1.
java.lang.Object	getElement(int index) returns the kth element.
java.util.List	getUniverseList() The universe as a List such getElement(k) will equal the kth element of the List.
java.util.Map	getUniverseOrder() A map that can be used for elementIndex(a).
static void	main(java.lang.String[] args)
Operation	polinizeOperation(OperationSymbol sym)
SubalgebraLattice	sub() The subalgebra lattice.

Methods inherited from class org.uacalc.alg.GeneralAlgebra

cardinality, constantOperations, getDescription, getMonitor, getName, getOperation, getOperationsMap, inputSize, isIdempotent, isSimilarTo, isTotal, isUnary, iterator, makeOperationTables, monitoring, operations, parent, parents, resetConAndSub, setDescription, setMonitor, setName, setOperations, setUniverse, similarityType, universe, updateSimilarityType

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.uacalc.alg.SmallAlgebra

parent, parents, resetConAndSub

Methods inherited from interface org.uacalc.alg.Algebra

cardinality, constantOperations, getDescription, getMonitor, getName, getOperation, getOperationsMap, inputSize, isIdempotent, isSimilarTo, isTotal, isUnary, iterator, makeOperationTables, monitoring, operations, setDescription, setMonitor, setName, similarityType, universe, updateSimilarityType

Field Detail

botAlg

protected SmallAlgebra botAlg

topAlg

protected SmallAlgebra topAlg

map

protected Operation map

botConstIndex

protected int botConstIndex

topConstIndex

protected int topConstIndex

Constructor Detail

PolinLikeAlgebra

public PolinLikeAlgebra(java.lang.String name,
                        SmallAlgebra topAlg,
                        SmallAlgebra botAlg,
                        Operation map,
                        int topConstIndex,
                        int botConstIndex)

Method Detail

elementIndex

public int elementIndex(java.lang.Object elt)

Description copied from interface: SmallAlgebra

This method will return k if elem is the kth element; otherwise -1. (Should we have it throw an error instead?)

Specified by:

elementIndex in interface SmallAlgebra

getElement

public java.lang.Object getElement(int index)

Description copied from interface: SmallAlgebra

returns the kth element.

Specified by:

getElement in interface SmallAlgebra

getUniverseOrder

public java.util.Map getUniverseOrder()

Description copied from interface: SmallAlgebra

A map that can be used for elementIndex(a). It is allowed to be null.

Specified by:

getUniverseOrder in interface SmallAlgebra

getUniverseList

public java.util.List getUniverseList()

Description copied from interface: SmallAlgebra

The universe as a List such getElement(k) will equal the kth element of the List. It is allowed to be null.

Specified by:

getUniverseList in interface SmallAlgebra

constructPolinAlgebra

public static SmallAlgebra constructPolinAlgebra(SmallAlgebra alg,
                                                 java.lang.Object elem)

This is not implemented; don't use it.

constructPolinAlgebra

public static SmallAlgebra constructPolinAlgebra(SmallAlgebra alg,
                                                 int elt)

This is not implemented; don't use it.

polinizeOperation

public Operation polinizeOperation(OperationSymbol sym)

con

public CongruenceLattice con()

Description copied from interface: SmallAlgebra

The congurence lattice.

Specified by:

con in interface SmallAlgebra

Overrides:

con in class GeneralAlgebra

sub

public SubalgebraLattice sub()

Description copied from interface: SmallAlgebra

The subalgebra lattice.

Specified by:

sub in interface SmallAlgebra

Overrides:

sub in class GeneralAlgebra

convertToDefaultValueOps

public void convertToDefaultValueOps()

Description copied from interface: SmallAlgebra

This is used in the UI. Only valid for BASIC algebras.

Specified by:

convertToDefaultValueOps in interface SmallAlgebra

algebraType

public SmallAlgebra.AlgebraType algebraType()

Description copied from interface: SmallAlgebra

The type of algebra this is, like a quotient algebra.

Specified by:

algebraType in interface SmallAlgebra

Returns:

main

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

Throws:

java.io.IOException