org.rubato.math.module
Interface ZnFreeModule

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

public interface ZnFreeModule
extends FreeModule

The interface for free modules over integers mod n.

Author:
Gérard Milmeister
See Also:
ZnFreeElement

Method Summary
 ZnFreeElement createElement(java.util.List<ModuleElement> elements)
          Creates an element in this module from a list of module elements.
 int getModulus()
           
 ZnFreeElement getUnitElement(int i)
          Returns the unit vector with 1 at position i.
 ZnFreeElement 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

getModulus

int getModulus()

createElement

ZnFreeElement 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

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

Specified by:
getZero in interface Module

getUnitElement

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

Specified by:
getUnitElement in interface FreeModule