org.rubato.math.module
Interface ModularPolynomialFreeModule

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

public interface ModularPolynomialFreeModule
extends FreeModule

The interface for free modules over modular polynomials.

Author:
Gérard Milmeister

Method Summary
 Ring getCoefficientRing()
          Returns the ring of the coefficients of the polynomials.
 java.lang.String getIndeterminate()
          Returns the indeterminate of this modular polynomial module.
 PolynomialElement getModulus()
          Returns the modulus of this modular polynomial module.
 PolynomialRing getModulusRing()
          Returns the ring of the modulus.
 
Methods inherited from interface org.rubato.math.module.FreeModule
getInjection, getProjection, getUnitElement, isVectorspace
 
Methods inherited from interface org.rubato.math.module.Module
cast, compareTo, createElement, equals, getComponentModule, getDimension, getIdentityMorphism, getNullModule, getRing, getTranslation, getZero, hasElement, hashCode, isNullModule, isRing, parseString, toString, toVisualString
 
Methods inherited from interface org.rubato.xml.XMLInputOutput
fromXML, getElementTypeName, toXML
 

Method Detail

getCoefficientRing

Ring getCoefficientRing()
Returns the ring of the coefficients of the polynomials.


getIndeterminate

java.lang.String getIndeterminate()
Returns the indeterminate of this modular polynomial module.


getModulus

PolynomialElement getModulus()
Returns the modulus of this modular polynomial module.


getModulusRing

PolynomialRing getModulusRing()
Returns the ring of the modulus.