org.rubato.math.module
Class StringRing

java.lang.Object
  extended by org.rubato.math.module.Ring
      extended by org.rubato.math.module.StringRing
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Module>, FreeModule, Module, XMLInputOutput<Module>
Direct Known Subclasses:
QStringRing, RStringRing, ZnStringRing, ZStringRing

public abstract class StringRing
extends Ring

The abstract base class for rings with RingString elements.

Author:
Gérard Milmeister
See Also:
StringElement, Serialized Form

Constructor Summary
StringRing()
           
 
Method Summary
 int compareTo(Module object)
          Compares this module with object.
 StringElement createElement(java.util.List<ModuleElement> elements)
          Creates an element in this module from a list of module elements.
abstract  boolean equals(java.lang.Object obj)
          Returns true iff this module is equals to object.
 StringRing getComponentModule(int i)
          A ring has just one component module: itself.
abstract  Ring getFactorRing()
          Returns the ring of the factors.
 ModuleMorphism getIdentityMorphism()
          Returns the identity morphism in this module.
abstract  StringElement getOne()
          Returns the unit element of this ring.
abstract  StringElement getZero()
          Returns the zero element of this ring.
abstract  boolean hasElement(ModuleElement e)
          Returns true iff element is an element of this module.
static FreeModule make(Ring ring)
           
static FreeModule make(Ring ring, int dimension)
           
 
Methods inherited from class org.rubato.math.module.Ring
getDimension, getFreeModule, getInjection, getProjection, getRing, getTranslation, getUnitElement, isField, isNullModule, isRing, parseString
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.rubato.math.module.FreeModule
isVectorspace
 
Methods inherited from interface org.rubato.math.module.Module
cast, getNullModule, hashCode, toString, toVisualString
 
Methods inherited from interface org.rubato.xml.XMLInputOutput
fromXML, getElementTypeName, toXML
 

Constructor Detail

StringRing

public StringRing()
Method Detail

getZero

public abstract StringElement getZero()
Description copied from class: Ring
Returns the zero element of this ring.

Specified by:
getZero in interface Module
Specified by:
getZero in class Ring

getOne

public abstract StringElement getOne()
Description copied from class: Ring
Returns the unit element of this ring.

Specified by:
getOne in class Ring

getIdentityMorphism

public ModuleMorphism getIdentityMorphism()
Description copied from interface: Module
Returns the identity morphism in this module.


getComponentModule

public StringRing getComponentModule(int i)
Description copied from class: Ring
A ring has just one component module: itself.

Specified by:
getComponentModule in interface Module
Overrides:
getComponentModule in class Ring

hasElement

public abstract boolean hasElement(ModuleElement e)
Description copied from interface: Module
Returns true iff element is an element of this module.


createElement

public StringElement createElement(java.util.List<ModuleElement> elements)
Description copied from interface: Module
Creates an element in this module from a list of module elements.

Returns:
null if no element in this module can be created from the arguments.

getFactorRing

public abstract Ring getFactorRing()
Returns the ring of the factors.


compareTo

public int compareTo(Module object)
Description copied from interface: Module
Compares this module with object.

Specified by:
compareTo in interface java.lang.Comparable<Module>
Specified by:
compareTo in interface Module
Overrides:
compareTo in class Ring

equals

public abstract boolean equals(java.lang.Object obj)
Description copied from interface: Module
Returns true iff this module is equals to object.

Specified by:
equals in interface Module
Overrides:
equals in class java.lang.Object

make

public static FreeModule make(Ring ring)

make

public static FreeModule make(Ring ring,
                              int dimension)