|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.module.ProperFreeModule
org.rubato.math.module.RProperFreeModule
public final class RProperFreeModule
Free modules over real numbers.
RProperFreeElement
,
Serialized FormField Summary | |
---|---|
static RProperFreeModule |
nullModule
|
Method Summary | |
---|---|
ModuleElement |
cast(ModuleElement element)
Casts element to an element in this module if possible. |
int |
compareTo(Module object)
Compares this module with object . |
RFreeElement |
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 . |
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. |
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
Module |
getNullModule()
Returns the null-module corresponding to this module. |
Ring |
getRing()
Returns the underlying ring of this module. |
RProperFreeElement |
getUnitElement(int i)
Returns the unit vector with 1 at position i . |
static XMLInputOutput<Module> |
getXMLInputOutput()
|
RProperFreeElement |
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 |
isVectorspace()
Returns true if this free module is a vector space. |
static RFreeModule |
make(int dimension)
|
ModuleElement |
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 org.rubato.math.module.ProperFreeModule |
---|
getDimension, getIdentityMorphism, getInjection, getProjection, getTranslation, isRing |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.rubato.math.module.FreeModule |
---|
getInjection, getProjection |
Methods inherited from interface org.rubato.math.module.Module |
---|
getDimension, getIdentityMorphism, getTranslation, isRing |
Field Detail |
---|
public static final RProperFreeModule nullModule
Method Detail |
---|
public static RFreeModule make(int dimension)
public RProperFreeElement getZero()
Module
getZero
in interface Module
getZero
in interface RFreeModule
public RProperFreeElement getUnitElement(int i)
FreeModule
i
.
getUnitElement
in interface FreeModule
getUnitElement
in interface RFreeModule
public Module getNullModule()
Module
getNullModule
in interface Module
public boolean isNullModule()
Module
isNullModule
in interface Module
public Module getComponentModule(int i)
Module
i
-th component module.
getComponentModule
in interface Module
public Ring getRing()
Module
getRing
in interface Module
public boolean isVectorspace()
FreeModule
isVectorspace
in interface FreeModule
public boolean hasElement(ModuleElement element)
Module
element
is an element of this module.
hasElement
in interface Module
public int compareTo(Module object)
Module
object
.
compareTo
in interface java.lang.Comparable<Module>
compareTo
in interface Module
compareTo
in class ProperFreeModule
public RFreeElement createElement(java.util.List<ModuleElement> elements)
Module
createElement
in interface Module
createElement
in interface RFreeModule
public ModuleElement cast(ModuleElement element)
Module
element
to an element in this module if possible.
cast
in interface Module
public boolean equals(java.lang.Object object)
Module
object
.
equals
in interface Module
equals
in class java.lang.Object
public ModuleElement 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 static XMLInputOutput<Module> getXMLInputOutput()
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 |