|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FreeModule
The interface for free modules over rings.
FreeElement
Method Summary | |
---|---|
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 . |
ModuleElement |
getUnitElement(int i)
Returns the unit vector with 1 at position i . |
boolean |
isVectorspace()
Returns true if this free module is a vector space. |
Methods inherited from interface org.rubato.math.module.Module |
---|
cast, compareTo, createElement, equals, getComponentModule, getDimension, getIdentityMorphism, getNullModule, getRing, getTranslation, getZero, hasElement, hashCode, isNullModule, isRing, parseString, toString, toVisualString |
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Method Detail |
---|
boolean isVectorspace()
ModuleElement getUnitElement(int i)
i
.
ModuleMorphism getProjection(int index)
index
.
index
- the number of the component to project to,
the index will be clamped between 0 and the dimension-1 of
the free moduleModuleMorphism getInjection(int index)
index
.
index
- the number of the component to project to,
the index will be clamped between 0 and the dimension-1 of
the free module
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |