|
|||||||||
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.ProductRing
public final class ProductRing
Products over rings.
Product rings in this class always have at least 2 factors.
This is ensured through the use of make
constructors.
If a product ring with one factor should be requested, the factor
ring is returned instead.
ProductElement
,
Serialized FormMethod Summary | |
---|---|
ProductElement |
cast(ModuleElement element)
Casts element to an element in this module if possible. |
int |
compareTo(Module object)
Compares this module with object . |
ProductElement |
createElement(java.util.List<ModuleElement> elements)
Creates an element in this module from a list of module elements. |
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. |
Ring |
getFactor(int i)
|
int |
getFactorCount()
|
Ring[] |
getFactors()
|
ProductFreeModule |
getFreeModule(int dimension)
Returns the corresponding free module of dimension dim . |
ModuleMorphism |
getIdentityMorphism()
Returns the identity morphism in this module. |
ProductFreeModule |
getNullModule()
Returns the null-module corresponding to this module. |
ProductElement |
getOne()
Returns the unit element of this ring. |
static XMLInputOutput<Module> |
getXMLInputOutput()
|
ProductElement |
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 ProductRing |
make(java.util.List<Ring> rings)
Creates a new product ring from the factors in the specified collection. |
static ProductRing |
make(Ring[] factors)
Creates a new product ring from the factors in specified array. |
static ProductRing |
make(Ring r1,
Ring r2)
Creates a new product ring r1xr2. |
static ProductRing |
make(Ring r1,
Ring r2,
Ring r3)
Creates a new product ring r1xr2xr3. |
ProductElement |
parseString(java.lang.String string)
Creates an element in this module from a string representation. |
static ProductRing |
product(ProductRing r1,
ProductRing r2)
|
static ProductRing |
product(ProductRing r1,
Ring r2)
|
static ProductRing |
product(Ring r1,
ProductRing r2)
|
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.Ring |
---|
getComponentModule, 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 |
---|
getComponentModule, getDimension, getRing, getTranslation, isNullModule, isRing |
Method Detail |
---|
public static ProductRing make(Ring r1, Ring r2)
public static ProductRing make(Ring r1, Ring r2, Ring r3)
public static ProductRing make(Ring[] factors)
factors
- factors[i] must not be null
java.lang.IllegalArgumentException
- if there are less than 2 factorspublic static ProductRing make(java.util.List<Ring> rings)
public static ProductRing product(ProductRing r1, ProductRing r2)
public static ProductRing product(ProductRing r1, Ring r2)
public static ProductRing product(Ring r1, ProductRing r2)
public ProductElement getZero()
Ring
getZero
in interface Module
getZero
in class Ring
public ProductElement getOne()
Ring
getOne
in class Ring
public ProductFreeModule getNullModule()
Module
getNullModule
in interface Module
public int getFactorCount()
getFactorCount
in interface ProductFreeModule
public Ring[] getFactors()
getFactors
in interface ProductFreeModule
public Ring getFactor(int i)
getFactor
in interface ProductFreeModule
public boolean isField()
Ring
isField
in class Ring
public boolean isVectorspace()
FreeModule
isVectorspace
in interface FreeModule
public ModuleMorphism getIdentityMorphism()
Module
getIdentityMorphism
in interface Module
public boolean hasElement(ModuleElement element)
Module
element
is an element of this module.
hasElement
in interface Module
public ProductFreeModule getFreeModule(int dimension)
Ring
dim
.
getFreeModule
in class Ring
public boolean equals(java.lang.Object object)
Module
object
.
equals
in interface Module
equals
in class java.lang.Object
public int compareTo(Module object)
Module
object
.
compareTo
in interface java.lang.Comparable<Module>
compareTo
in interface Module
compareTo
in class Ring
public ProductElement createElement(java.util.List<ModuleElement> elements)
Module
createElement
in interface Module
public ProductElement cast(ModuleElement element)
Module
element
to an element in this module if possible.
cast
in interface Module
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 ProductElement 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 |