|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.module.Ring
org.rubato.math.module.StringRing
org.rubato.math.module.ZnStringRing
public final class ZnStringRing
The ring of ZnString.
ZnStringElement
,
Serialized FormMethod Summary | |
---|---|
ModuleElement |
cast(ModuleElement element)
Casts element to an element in this module if possible. |
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 . |
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
ZnRing |
getFactorRing()
Returns the ring of the factors. |
FreeModule |
getFreeModule(int dimension)
Returns the corresponding free module of dimension dim . |
ModuleMorphism |
getIdentityMorphism()
Returns the identity morphism in this module. |
int |
getModulus()
|
ZnStringProperFreeModule |
getNullModule()
Returns the null-module corresponding to this module. |
ZnStringElement |
getOne()
Returns the unit element of this ring. |
static XMLInputOutput<Module> |
getXMLInputOutput()
|
ZnStringElement |
getZero()
Returns the zero element of this ring. |
boolean |
hasElement(ModuleElement element)
Returns true iff element is an element of this module. |
int |
hashCode()
Returns the hash code for this module. |
boolean |
isField()
Returns true if this ring is a field. |
boolean |
isVectorspace()
Returns true if this free module is a vector space. |
static ZnStringRing |
make(int modulus)
|
ZnStringElement |
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.StringRing |
---|
compareTo, createElement, getComponentModule, make, make |
Methods inherited from class org.rubato.math.module.Ring |
---|
getDimension, getInjection, getProjection, getRing, getTranslation, getUnitElement, isNullModule, 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, getUnitElement |
Methods inherited from interface org.rubato.math.module.Module |
---|
compareTo, createElement, getComponentModule, getDimension, getRing, getTranslation, isNullModule, isRing |
Method Detail |
---|
public static ZnStringRing make(int modulus)
public ZnStringElement getZero()
Ring
getZero
in interface Module
getZero
in class StringRing
public ZnStringElement getOne()
Ring
getOne
in class StringRing
public ZnStringProperFreeModule getNullModule()
Module
getNullModule
in interface Module
public boolean isField()
Ring
isField
in class Ring
public boolean isVectorspace()
FreeModule
isVectorspace
in interface FreeModule
public ModuleMorphism getIdentityMorphism()
Module
getIdentityMorphism
in interface Module
getIdentityMorphism
in class StringRing
public boolean hasElement(ModuleElement element)
Module
element
is an element of this module.
hasElement
in interface Module
hasElement
in class StringRing
public FreeModule getFreeModule(int dimension)
Ring
dim
.
getFreeModule
in class Ring
public ZnRing getFactorRing()
StringRing
getFactorRing
in class StringRing
public boolean equals(java.lang.Object object)
Module
object
.
equals
in interface Module
equals
in class StringRing
public ModuleElement cast(ModuleElement element)
Module
element
to an element in this module if possible.
cast
in interface Module
public int getModulus()
getModulus
in interface ZnStringFreeModule
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 ZnStringElement parseString(java.lang.String string)
Module
parseString
in interface Module
parseString
in class Ring
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 static XMLInputOutput<Module> getXMLInputOutput()
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 |