org.uacalc.alg

Class BigProductAlgebra

java.lang.Object

org.uacalc.alg.GeneralAlgebra

org.uacalc.alg.BigProductAlgebra

All Implemented Interfaces:

Algebra

public class BigProductAlgebra
extends GeneralAlgebra
implements Algebra

This class represents the direct product of SmallAlgebras which is too big to be a SmallAlgebra. We use IntArray for the elements of the universe. After we have a real element scheme, we'll use that.

Version:

$Id$

Author:

Ralph Freese

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<SmallAlgebra>	algebras
protected int	cardinality -2 indicates the value has not been calculated; -1 that it is too big to be an int.
protected java.util.List<IntArray>	constants
protected java.util.Map<IntArray,OperationSymbol>	constantToSymbol
protected int	numberOfFactors
protected int[]	powers
protected java.util.List<SmallAlgebra>	rootAlgebras
protected int[]	sizes

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

Modifier	Constructor and Description
protected	BigProductAlgebra()
	BigProductAlgebra(java.util.List<SmallAlgebra> algs) Construct the direct product of a List of SmallAlgebra's.
	BigProductAlgebra(java.util.List<SmallAlgebra> algs, int[] powers) Construct the direct product of a List of SmallAlgebra's raised to various powers.
	BigProductAlgebra(SmallAlgebra alg, int power) Construct the direct power of a SmallAlgebra.
protected	BigProductAlgebra(java.lang.String name)
	BigProductAlgebra(java.lang.String name, java.util.List<SmallAlgebra> algs) Construct the direct product of a List of SmallAlgebra's.
	BigProductAlgebra(java.lang.String name, java.util.List<SmallAlgebra> algs, int[] powers) Construct the direct product of a List of SmallAlgebra's raised to various powers.
	BigProductAlgebra(java.lang.String name, SmallAlgebra alg, int power) Construct the direct power of a SmallAlgebra.

Method Summary

Modifier and Type	Method and Description
int	cardinality() If this is larger than an int, return -1.
java.util.List<SmallAlgebra>	factors()
java.util.List<IntArray>	getConstants()
OperationSymbol	getConstantSymbol(IntArray constant)
Term	getConstantTerm(IntArray constant)
int	getNumberOfFactors()
int[]	getPowers()
boolean	isPower() Test if this is a power of a single algebra.
static void	main(java.lang.String[] args)
protected void	makeOperations() Most of the rest of this is out of date.
void	makeOperationTables() Make operation tables to speed up the evaluation of operations at the cost using more space.
SmallAlgebra	projection(int k)
BasicPartition	projectionKernel(int k) Don't use this yet; it is not implemented.
java.util.List<SmallAlgebra>	rootFactors()
java.util.List	sgClose_old(java.util.List elems, int closedMark, java.util.Map termMap, java.lang.Object elt, ProgressReport report) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems, int closedMark, java.util.Map<IntArray,Term> termMap) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems, int closedMark, java.util.Map<IntArray,Term> termMap, IntArray elt, ProgressReport report) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems, java.util.Map<IntArray,Term> termMap) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems, java.util.Map<IntArray,Term> termMap, IntArray elt) Closure of elems under the operations.
java.util.List<IntArray>	sgClose(java.util.List<IntArray> elems, java.util.Map<IntArray,Term> termMap, IntArray elt, ProgressReport report) Closure of elems under the operations.
java.util.List	sgCloseXX(java.util.List elems, int closedMark, java.util.Map termMap, java.lang.Object elt) Closure of elems under the operations.
java.util.SortedMap<java.lang.Integer,java.lang.Integer>	sizeMultiplicities()

Methods inherited from class org.uacalc.alg.GeneralAlgebra

con, constantOperations, getDescription, getMonitor, getName, getOperation, getOperationsMap, inputSize, isIdempotent, isSimilarTo, isTotal, isUnary, iterator, monitoring, operations, parent, parents, resetConAndSub, setDescription, setMonitor, setName, setOperations, setUniverse, similarityType, sub, 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.Algebra

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

Field Detail

algebras

protected java.util.List<SmallAlgebra> algebras

sizes

protected int[] sizes

numberOfFactors

protected int numberOfFactors

constants

protected java.util.List<IntArray> constants

constantToSymbol

protected java.util.Map<IntArray,OperationSymbol> constantToSymbol

cardinality

protected int cardinality

-2 indicates the value has not been calculated; -1 that it is too big to be an int.

rootAlgebras

protected java.util.List<SmallAlgebra> rootAlgebras

powers

protected int[] powers

Constructor Detail

BigProductAlgebra

protected BigProductAlgebra()

BigProductAlgebra

protected BigProductAlgebra(java.lang.String name)

BigProductAlgebra

public BigProductAlgebra(java.util.List<SmallAlgebra> algs)

Construct the direct product of a List of SmallAlgebra's.

BigProductAlgebra

public BigProductAlgebra(java.lang.String name,
                         java.util.List<SmallAlgebra> algs)

Construct the direct product of a List of SmallAlgebra's.

BigProductAlgebra

public BigProductAlgebra(SmallAlgebra alg,
                         int power)

Construct the direct power of a SmallAlgebra.

BigProductAlgebra

public BigProductAlgebra(java.lang.String name,
                         SmallAlgebra alg,
                         int power)

Construct the direct power of a SmallAlgebra.

BigProductAlgebra

public BigProductAlgebra(java.util.List<SmallAlgebra> algs,
                         int[] powers)

Construct the direct product of a List of SmallAlgebra's raised to various powers.

Parameters:

algs - a list of SmallAlgebras.

powers - an array of powers, one for each algebra in algs.

BigProductAlgebra

public BigProductAlgebra(java.lang.String name,
                         java.util.List<SmallAlgebra> algs,
                         int[] powers)

Construct the direct product of a List of SmallAlgebra's raised to various powers.

Parameters:

algs - a list of SmallAlgebras.

powers - an array of powers, one for each algebra in algs.

Method Detail

makeOperations

protected void makeOperations()

Most of the rest of this is out of date. For speed we have make all operations on the coordinates into int operations with a lookup table. This could cause space problems. And we directly generate the Horner encoding for the lookup to speed things up.

If space becomes an issue, we could make sure if the valueTables for an operation on different coordinates happen to be equal, they are identical.

makeOperationTables

public void makeOperationTables()

Description copied from interface: Algebra

Make operation tables to speed up the evaluation of operations at the cost using more space.

Specified by:

makeOperationTables in interface Algebra

Overrides:

makeOperationTables in class GeneralAlgebra

See Also:

Operation.makeTable

getConstants

public java.util.List<IntArray> getConstants()

getConstantSymbol

public OperationSymbol getConstantSymbol(IntArray constant)

getConstantTerm

public Term getConstantTerm(IntArray constant)

cardinality

public int cardinality()

If this is larger than an int, return -1.

Specified by:

cardinality in interface Algebra

Overrides:

cardinality in class GeneralAlgebra

Returns:

the cardinality if possible, else a negative int

factors

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

getPowers

public int[] getPowers()

isPower

public boolean isPower()

Test if this is a power of a single algebra.

rootFactors

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

getNumberOfFactors

public int getNumberOfFactors()

projection

public SmallAlgebra projection(int k)

sizeMultiplicities

public java.util.SortedMap<java.lang.Integer,java.lang.Integer> sizeMultiplicities()

projectionKernel

public BasicPartition projectionKernel(int k)

Don't use this yet; it is not implemented.

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems)

Closure of elems under the operations.

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

Returns:

a List of IntArray's.

See Also:

sgClose(List, Map)

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems,
                                        java.util.Map<IntArray,Term> termMap)

Closure of elems under the operations.

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

Returns:

a List of IntArray's.

See Also:

sgClose(List, int, Map)

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems,
                                        int closedMark,
                                        java.util.Map<IntArray,Term> termMap)

Closure of elems under the operations.

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

closedMark - use a default of 0 if you do not know what this is good for.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

Returns:

a List of IntArray's.

See Also:

sgClose(List, int, Map, IntArray, ProgressReport)

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems,
                                        java.util.Map<IntArray,Term> termMap,
                                        IntArray elt)

Closure of elems under the operations.

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

elt - an element to search for; if found return the closure found so far. Use a null reference if there is no element to search for.

Returns:

a List of IntArray's.

See Also:

sgClose(List, Map, IntArray, ProgressReport)

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems,
                                        java.util.Map<IntArray,Term> termMap,
                                        IntArray elt,
                                        ProgressReport report)

Closure of elems under the operations.

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

elt - an element to search for; if found return the closure found so far. Use a null reference if there is no element to search for.

report - a reference to a ProgressReport; used in the GUI to display the status of the closure. Use a null reference if you do not need it.

Returns:

a List of IntArray's.

See Also:

sgClose(List, int, Map, IntArray, ProgressReport)

sgClose_old

public java.util.List sgClose_old(java.util.List elems,
                                  int closedMark,
                                  java.util.Map termMap,
                                  java.lang.Object elt,
                                  ProgressReport report)

Closure of elems under the operations. (Worry about nullary ops later.)

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

elt - an element to search for; if found return the closure found so far. Use a null reference if there is no element to search for.

report - a reference to a ProgressReport; used in the GUI to display the status of the closure. Use a null reference if you do not need it.

Returns:

a List of IntArray's.

sgCloseXX

public java.util.List sgCloseXX(java.util.List elems,
                                int closedMark,
                                java.util.Map termMap,
                                java.lang.Object elt)

Closure of elems under the operations. (Worry about nullary ops later.)

Parameters:

elems - a List of IntArray's to be closed under the fundamental operations.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

elt - an element to search for; if found return the closure found so far. Use a null reference if there is no element to search for.

Returns:

a List of IntArray's.

sgClose

public java.util.List<IntArray> sgClose(java.util.List<IntArray> elems,
                                        int closedMark,
                                        java.util.Map<IntArray,Term> termMap,
                                        IntArray elt,
                                        ProgressReport report)

Closure of elems under the operations. Computes the closure of the specified tuples (in the collection elems) under all fundamental operations including nullary operations.

Parameters:

elems - a List of IntArray's to be closed under the operations.

closedMark - use a default of 0 if you do not know what this is good for.

termMap - a Map from the element to the corresponding term used to generate it. The generators should be already in the Map. In other words the termMap should have the same number of entries as elems. Provide a null reference if the terms are not of interest.

elt - an element to search for; if found return the closure found so far. Use a null reference if there is no element to search for.

report - a reference to a ProgressReport; used in the GUI to display the status of the closure. Use a null reference if you do not need it.

Returns:

a List of IntArray's.

main

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

Throws:

java.io.IOException

BadAlgebraFileException