org.rubato.math.module
Interface ZFreeModule

All Superinterfaces:
java.lang.Comparable<Module>, FreeModule, Module, java.io.Serializable, XMLInputOutput<Module>
All Known Implementing Classes:
ZProperFreeModule, ZRing

public interface ZFreeModule
extends FreeModule

The interface for free modules over integers.

Author:
Gérard Milmeister
See Also:
ZFreeElement

Method Summary
 ZFreeElement createElement(java.util.List<ModuleElement> elements)
          Creates an element in this module from a list of module elements.
 ZFreeElement getUnitElement(int i)
          Returns the unit vector with 1 at position i.
 ZFreeElement getZero()
          Returns the zero element in this module.
 
Methods inherited from interface org.rubato.math.module.FreeModule
getInjection, getProjection, isVectorspace
 
Methods inherited from interface org.rubato.math.module.Module
cast, compareTo, equals, getComponentModule, getDimension, getIdentityMorphism, getNullModule, getRing, getTranslation, hasElement, hashCode, isNullModule, isRing, parseString, toString, toVisualString
 
Methods inherited from interface org.rubato.xml.XMLInputOutput
fromXML, getElementTypeName, toXML
 

Method Detail

createElement

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

Specified by:
createElement in interface Module
Returns:
null if no element in this module can be created from the arguments.

getZero

ZFreeElement getZero()
Description copied from interface: Module
Returns the zero element in this module.

Specified by:
getZero in interface Module

getUnitElement

ZFreeElement getUnitElement(int i)
Description copied from interface: FreeModule
Returns the unit vector with 1 at position i.

Specified by:
getUnitElement in interface FreeModule