org.uacalc.alg.conlat
Class Subtrace

java.lang.Object
  org.uacalc.alg.conlat.Subtrace

public class Subtrace
extends java.lang.Object

A class to hold a subtrace {a, b} and its TCT type.

Version:

$Id: Subtrace.java,v 1.5 2009/08/11 23:56:38 ralphfreese Exp $

Author:

Ralph Freese

Method Summary

int	first()
java.util.List<IntArray>	getMatrixUniverse() This is part of the subuniverse of A^4 generated by the diagonal and two 4-tuples, (a,a,b,b) and (a,b,a,b), where {a,b} is a trace.
java.util.List<IntArray>	getSubtraceUniverse()
boolean	hasInvolution()
int	second()
void	setMatrixUniverse(java.util.List<IntArray> univ)
void	setSubtraceUniverse(java.util.List<IntArray> univ)
void	setType(int t)
java.lang.String	toString()
java.lang.String	toString(boolean brief)
int	type()

Methods inherited from class java.lang.Object

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

Method Detail

first

public int first()

second

public int second()

type

public int type()

hasInvolution

public boolean hasInvolution()

getSubtraceUniverse

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

setSubtraceUniverse

public void setSubtraceUniverse(java.util.List<IntArray> univ)

getMatrixUniverse

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

This is part of the subuniverse of A^4 generated by the diagonal and two 4-tuples, (a,a,b,b) and (a,b,a,b), where {a,b} is a trace. Only if the type is 1, 2, or 5 is this guaranteed to be the whole subuniverse.

setMatrixUniverse

public void setMatrixUniverse(java.util.List<IntArray> univ)

setType

public void setType(int t)

toString

public java.lang.String toString(boolean brief)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object