org.uacalc.alg

Class QuotientElement

java.lang.Object

org.uacalc.alg.QuotientElement

public class QuotientElement
extends java.lang.Object

This class represents an element in a quotient algebra. It holds the element from the super algebra (the pre-image) and the congruence.

Version:

$Id$

Author:

Ralph Freese

Field Summary

Fields

Modifier and Type	Field and Description
protected QuotientAlgebra	alg
protected int	index

Constructor Summary

Constructors

Constructor and Description
QuotientElement(QuotientAlgebra alg, int index)

Method Summary

Modifier and Type	Method and Description
QuotientAlgebra	getAlgebra()
Partition	getCongruence() Get the congruence on the super algebra giving this algebra.
int	getIndex() The index in the quotient algebras, not in the super algebra.
int	getIndexInSuperAlgebra()
SmallAlgebra	superAlgebra()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

alg

protected final QuotientAlgebra alg

index

protected final int index

Constructor Detail

QuotientElement

public QuotientElement(QuotientAlgebra alg,
                       int index)

Method Detail

getAlgebra

public QuotientAlgebra getAlgebra()

superAlgebra

public SmallAlgebra superAlgebra()

getCongruence

public Partition getCongruence()

Get the congruence on the super algebra giving this algebra.

getIndex

public int getIndex()

The index in the quotient algebras, not in the super algebra.

getIndexInSuperAlgebra

public int getIndexInSuperAlgebra()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object