org.uacalc.alg

Class MatrixPowerAlgebra

java.lang.Object

org.uacalc.alg.GeneralAlgebra

org.uacalc.alg.MatrixPowerAlgebra

All Implemented Interfaces:

Algebra, SmallAlgebra

public class MatrixPowerAlgebra
extends GeneralAlgebra
implements SmallAlgebra

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 int	power
protected PowerAlgebra	powerAlgebra
protected SmallAlgebra	root
protected int	rootSize

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
MatrixPowerAlgebra(SmallAlgebra alg, int power)
MatrixPowerAlgebra(java.lang.String name, SmallAlgebra alg, int power) Construct the direct power of an algebra.

Method Summary

Modifier and Type	Method and Description
SmallAlgebra.AlgebraType	algebraType() The type of algebra this is, like a quotient algebra.
int	cardinality()
CongruenceLattice	con() The congurence lattice.
void	convertToDefaultValueOps() This is used in the UI.
int	elementIndex(java.lang.Object obj) This method will return k if elem is the kth element; otherwise -1.
java.lang.Object	getElement(int index) returns the kth element.
int	getPower()
PowerAlgebra	getPowerAlgebra()
SmallAlgebra	getRoot()
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).
SmallAlgebra	parent() For a BasicAlgebra this is null; for a QuotientAlgebra this is the preimage; for a Subalgebra it is the super algebra.
java.util.List<SmallAlgebra>	parents() For a ProductAlgebra this will be the factors.
SubalgebraLattice	sub() The subalgebra lattice.

Methods inherited from class org.uacalc.alg.GeneralAlgebra

constantOperations, getDescription, getMonitor, getName, getOperation, getOperationsMap, inputSize, isIdempotent, isSimilarTo, isTotal, isUnary, iterator, makeOperationTables, monitoring, operations, 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

resetConAndSub

Methods inherited from interface org.uacalc.alg.Algebra

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

Field Detail

root

protected final SmallAlgebra root

rootSize

protected final int rootSize

power

protected final int power

powerAlgebra

protected final PowerAlgebra powerAlgebra

Constructor Detail

MatrixPowerAlgebra

public MatrixPowerAlgebra(SmallAlgebra alg,
                          int power)

MatrixPowerAlgebra

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

Construct the direct power of an algebra.

Method Detail

getRoot

public SmallAlgebra getRoot()

parent

public SmallAlgebra parent()

Description copied from interface: SmallAlgebra

For a BasicAlgebra this is null; for a QuotientAlgebra this is the preimage; for a Subalgebra it is the super algebra.

Specified by:

parent in interface SmallAlgebra

Overrides:

parent in class GeneralAlgebra

getPowerAlgebra

public PowerAlgebra getPowerAlgebra()

parents

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

Description copied from interface: SmallAlgebra

For a ProductAlgebra this will be the factors. For a BasicAlgebra it will be null. Otherwise it is a list of the parent algebra.

Specified by:

parents in interface SmallAlgebra

Overrides:

parents in class GeneralAlgebra

See Also:

parent

getPower

public int getPower()

getElement

public java.lang.Object getElement(int index)

Description copied from interface: SmallAlgebra

returns the kth element.

Specified by:

getElement in interface SmallAlgebra

elementIndex

public int elementIndex(java.lang.Object obj)

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

cardinality

public int cardinality()

Specified by:

cardinality in interface Algebra

Overrides:

cardinality in class GeneralAlgebra

Returns:

the cardinality if possible, else a negative int

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

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

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

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

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: