JSci.maths.categories

Class Hilb.LinearMap

java.lang.Object

JSci.maths.categories.Hilb.LinearMap

All Implemented Interfaces:

java.io.Serializable, BanachSpace.Member, Module.Member, VectorSpace.Member, Category.Morphism, AbelianGroup.Member, Member

Enclosing class:

Hilb

public class Hilb.LinearMap
extends java.lang.Object
implements BanachSpace.Member, Category.Morphism

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Hilb.LinearMap(Complex[][] array)
Hilb.LinearMap(ComplexMatrix m)

Method Summary

Methods

Modifier and Type	Method and Description
AbelianGroup.Member	add(AbelianGroup.Member m) The group composition law.
java.lang.Object	codomain() Returns the codomain.
Category.Morphism	compose(Category.Morphism m) Returns the composition of this morphism with another.
int	dimension()
java.lang.Object	domain() Returns the domain.
java.lang.Object	map(java.lang.Object v) Maps an object from the domain to the codomain.
AbelianGroup.Member	negate() Returns the inverse member.
double	norm() Returns the norm.
VectorSpace.Member	scalarDivide(Field.Member z) The scalar multiplication law with inverse.
Module.Member	scalarMultiply(Ring.Member z) The scalar multiplication law.
AbelianGroup.Member	subtract(AbelianGroup.Member m) The group composition law with inverse.

Methods inherited from class java.lang.Object

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

Constructor Detail

Hilb.LinearMap

public Hilb.LinearMap(Complex[][] array)

Hilb.LinearMap

public Hilb.LinearMap(ComplexMatrix m)

Method Detail

domain

public java.lang.Object domain()

Description copied from interface: Category.Morphism

Returns the domain.

Specified by:

domain in interface Category.Morphism

codomain

public java.lang.Object codomain()

Description copied from interface: Category.Morphism

Returns the codomain.

Specified by:

codomain in interface Category.Morphism

map

public java.lang.Object map(java.lang.Object v)

Description copied from interface: Category.Morphism

Maps an object from the domain to the codomain.

Specified by:

map in interface Category.Morphism

compose

public Category.Morphism compose(Category.Morphism m)

Description copied from interface: Category.Morphism

Returns the composition of this morphism with another.

Specified by:

compose in interface Category.Morphism

norm

public double norm()

Description copied from interface: BanachSpace.Member

Returns the norm.

Specified by:

norm in interface BanachSpace.Member

dimension

public int dimension()

add

public AbelianGroup.Member add(AbelianGroup.Member m)

Description copied from interface: AbelianGroup.Member

The group composition law.

Specified by:

add in interface AbelianGroup.Member

Parameters:

m - a group member

negate

public AbelianGroup.Member negate()

Description copied from interface: AbelianGroup.Member

Returns the inverse member.

Specified by:

negate in interface AbelianGroup.Member

subtract

public AbelianGroup.Member subtract(AbelianGroup.Member m)

Description copied from interface: AbelianGroup.Member

The group composition law with inverse.

Specified by:

subtract in interface AbelianGroup.Member

Parameters:

m - a group member

scalarMultiply

public Module.Member scalarMultiply(Ring.Member z)

Description copied from interface: Module.Member

The scalar multiplication law.

Specified by:

scalarMultiply in interface Module.Member

Parameters:

z - a ring member

scalarDivide

public VectorSpace.Member scalarDivide(Field.Member z)

Description copied from interface: VectorSpace.Member

The scalar multiplication law with inverse.

Specified by:

scalarDivide in interface VectorSpace.Member

Parameters:

z - a field member