|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.module.ProperFreeModule
public abstract class ProperFreeModule
The abstract base class for proper
free modules.
All free modules that are proper
free modules are derived
from this. Proper
means that the module is not of
dimension 1, because in that case the corresponding ring is used.
ProperFreeElement
,
Serialized FormConstructor Summary | |
---|---|
ProperFreeModule(int dimension)
|
Method Summary | |
---|---|
int |
compareTo(Module object)
Compares this module with object . |
int |
getDimension()
Returns the dimension of this module. |
ModuleMorphism |
getIdentityMorphism()
Returns the identity morphism in this module. |
ModuleMorphism |
getInjection(int index)
Returns a module morphism that injects a ring into the free module at the component index . |
ModuleMorphism |
getProjection(int index)
Returns a module morphism that projects the free module at the component index . |
ModuleMorphism |
getTranslation(ModuleElement element)
Returns a morphism that translates by element . |
boolean |
isRing()
Returns true iff this module is a ring. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.rubato.math.module.FreeModule |
---|
getUnitElement, isVectorspace |
Methods inherited from interface org.rubato.math.module.Module |
---|
cast, createElement, equals, getComponentModule, getNullModule, getRing, getZero, hasElement, hashCode, isNullModule, parseString, toString, toVisualString |
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Constructor Detail |
---|
public ProperFreeModule(int dimension)
Method Detail |
---|
public final ModuleMorphism getIdentityMorphism()
Module
getIdentityMorphism
in interface Module
public final ModuleMorphism getTranslation(ModuleElement element)
Module
element
.
getTranslation
in interface Module
public final ModuleMorphism getProjection(int index)
FreeModule
index
.
getProjection
in interface FreeModule
index
- the number of the component to project to,
the index will be clamped between 0 and the dimension-1 of
the free modulepublic final ModuleMorphism getInjection(int index)
FreeModule
index
.
getInjection
in interface FreeModule
index
- the number of the component to project to,
the index will be clamped between 0 and the dimension-1 of
the free modulepublic final boolean isRing()
Module
isRing
in interface Module
public int compareTo(Module object)
Module
object
.
compareTo
in interface java.lang.Comparable<Module>
compareTo
in interface Module
public final int getDimension()
Module
getDimension
in interface Module
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |