|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.module.DirectSumModule
public final class DirectSumModule
Module with arbitrary modules as components.
DirectSumElement
,
Serialized FormMethod Summary | |
---|---|
DirectSumElement |
cast(ModuleElement element)
Casts element to an element in this module if possible. |
int |
compareTo(Module object)
Compares this module with object . |
DirectSumElement |
createElement(java.util.List<ModuleElement> elements)
Creates an element in this module from a list of module elements. |
boolean |
equals(java.lang.Object object)
Returns true iff this module is equals to object . |
DirectSumElement |
fill(java.util.List<ModuleElement> elements)
|
Module |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
Module |
getComponentModule(int i)
Returns the i -th component module. |
int |
getDimension()
Returns the dimension of this module. |
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
ModuleMorphism |
getIdentityMorphism()
Returns the identity morphism in this module. |
DirectSumModule |
getNullModule()
Returns the null-module corresponding to this module. |
Ring |
getRing()
Returns the underlying ring of this module. |
ModuleMorphism |
getTranslation(ModuleElement element)
Returns a morphism that translates by element . |
DirectSumElement |
getZero()
Returns the zero element in this module. |
boolean |
hasElement(ModuleElement element)
Returns true iff element is an element of this module. |
int |
hashCode()
Returns the hash code for this module. |
boolean |
isNullModule()
Returns true iff this is a null-module. |
boolean |
isRing()
Returns true iff this module is a ring. |
static DirectSumModule |
make(Module... components)
Creates a direct sum with the given components . |
static DirectSumModule |
makeNullModule(Ring ring)
Creates a direct sum with no components of the given ring . |
DirectSumElement |
parseString(java.lang.String string)
Creates an element in this module from a string representation. |
java.lang.String |
toString()
Returns a human readable string representation of this module. |
java.lang.String |
toVisualString()
Returns a human readable string representation of this module. |
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static DirectSumModule make(Module... components)
components
.
All components must be modules of the same ring.
public static DirectSumModule makeNullModule(Ring ring)
ring
.
public DirectSumModule getNullModule()
Module
getNullModule
in interface Module
public boolean isNullModule()
Module
isNullModule
in interface Module
public boolean isRing()
Module
isRing
in interface Module
public Ring getRing()
Module
getRing
in interface Module
public DirectSumElement getZero()
Module
getZero
in interface Module
public ModuleMorphism getIdentityMorphism()
Module
getIdentityMorphism
in interface Module
public int getDimension()
Module
getDimension
in interface Module
public Module getComponentModule(int i)
Module
i
-th component module.
getComponentModule
in interface Module
public boolean hasElement(ModuleElement element)
Module
element
is an element of this module.
hasElement
in interface Module
public DirectSumElement createElement(java.util.List<ModuleElement> elements)
Module
createElement
in interface Module
public DirectSumElement fill(java.util.List<ModuleElement> elements)
public DirectSumElement cast(ModuleElement element)
Module
element
to an element in this module if possible.
cast
in interface Module
public ModuleMorphism getTranslation(ModuleElement element)
Module
element
.
getTranslation
in interface Module
public int compareTo(Module object)
Module
object
.
compareTo
in interface java.lang.Comparable<Module>
compareTo
in interface Module
public boolean equals(java.lang.Object object)
Module
object
.
equals
in interface Module
equals
in class java.lang.Object
public DirectSumElement parseString(java.lang.String string)
Module
parseString
in interface Module
public java.lang.String toString()
Module
toString
in interface Module
toString
in class java.lang.Object
public java.lang.String toVisualString()
Module
toVisualString
in interface Module
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
toXML
in interface XMLInputOutput<Module>
public Module fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
fromXML
in interface XMLInputOutput<Module>
public java.lang.String getElementTypeName()
XMLInputOutput
getElementTypeName
in interface XMLInputOutput<Module>
public int hashCode()
Module
hashCode
in interface Module
hashCode
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |