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: QuotientElement.java,v 1.2 2006/10/17 05:10:57 ralphfreese Exp $

Author:

Ralph Freese

Field Summary

protected QuotientAlgebra	alg
protected int	index

Constructor Summary

QuotientElement(QuotientAlgebra alg, int index)

Method Summary

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