rationals.algebra

Class Matrix

java.lang.Object

rationals.algebra.Matrix

All Implemented Interfaces:

SemiRing

public final class Matrix
extends Object
implements SemiRing

Matrix representation of an automaton.

The elements of a the matrix are SemiRing objects.

Version:

$Id: Matrix.java 6 2006-08-30 08:56:44Z oqube $

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Matrix(int ns)
Matrix(int l, int c)

Method Summary

Modifier and Type	Method and Description
int	getCol()
int	getLine()
SemiRing	mult(SemiRing s2) Multiplication of semiring element with another element.
SemiRing	one() Neutral element for multiplication.
static Matrix	one(int dim, SemiRing sr) Factory method for creating unit Matrix instances with coefficients in a certain SemiRing.
SemiRing	plus(SemiRing s2) Addition of a Semi-ring element with another element.
Matrix	power(int n, Matrix res) Returns the n th power of this matrix.
String	toString()
SemiRing	zero() Neutral element for addition.
static Matrix	zero(int line, int col, SemiRing sr) Factory method for creating Matrix instances with coefficients in a certain SemiRing.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Matrix

public Matrix(int ns)

Parameters:

ns - line and column number

Matrix

public Matrix(int l,
              int c)

Parameters:

l - l

c - c

Method Detail

power

public Matrix power(int n,
                    Matrix res)

Returns the n ^th power of this matrix.

Parameters:

n - the power. Must be positive or null.

res - matrix where the result should be stored. Must be same size as this matrix with all elements initialized with null.

Returns:

the result Matrix object with transition matrix equals the n ^th power of this matrix's transition.

getLine

public int getLine()

Returns:

line number

toString

public String toString()

Overrides:

toString in class Object

plus

public SemiRing plus(SemiRing s2)

Description copied from interface: SemiRing

Addition of a Semi-ring element with another element.

Specified by:

plus in interface SemiRing

Parameters:

s2 - s2

Returns:

addition

mult

public SemiRing mult(SemiRing s2)

Description copied from interface: SemiRing

Multiplication of semiring element with another element.

Specified by:

mult in interface SemiRing

Parameters:

s2 - s2

Returns:

multiplication

one

public SemiRing one()

Description copied from interface: SemiRing

Neutral element for multiplication.

Specified by:

one in interface SemiRing

Returns:

one

zero

public SemiRing zero()

Description copied from interface: SemiRing

Neutral element for addition.

Specified by:

zero in interface SemiRing

Returns:

zero

getCol

public int getCol()

Returns:

column number

zero

public static Matrix zero(int line,
                          int col,
                          SemiRing sr)

Factory method for creating Matrix instances with coefficients in a certain SemiRing.

Parameters:

line - line

col - col

sr - a SemiRing instance. Used to get one and zero.

Returns:

a new zero matrix.

one

public static Matrix one(int dim,
                         SemiRing sr)

Factory method for creating unit Matrix instances with coefficients in a certain SemiRing.

Parameters:

dim - dim

sr - a SemiRing instance. Used to get one and zero.

Returns:

a new unit square matrix.