|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.module.morphism.ModuleMorphism
org.rubato.math.module.morphism.ReorderMorphism
public class ReorderMorphism
These are generalized projections, i.e., factors of a product ring
are reordered, deleted or duplicated. A common example is the twisting
morphism that switches positions in pairs.
An ordering is an array of integers a:
The codomain product ring as a factor for each entry ai
which gives the factor of domain.
Instances are created using the make(ProductRing,int[])
and make(Ring,int)
methods.
ProductRing
,
Serialized FormMethod Summary | |
---|---|
int |
compareTo(ModuleMorphism object)
Compares two module morphisms. |
boolean |
equals(java.lang.Object object)
Returns true iff this morphism is equal to object . |
ModuleMorphism |
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. |
int[] |
getOrdering()
Returns ordering specifcation. |
ModuleMorphism |
getRingMorphism()
Returns the the ring morphism that transforms between the rings of the domain and codomain modules. |
static XMLInputOutput<ModuleMorphism> |
getXMLInputOutput()
|
boolean |
isRingHomomorphism()
If true, then this is a ring homomorphism. |
static ModuleMorphism |
make(ProductRing domain,
int[] ordering)
Creates a reordering of the domain using the
ordering specification. |
static ModuleMorphism |
make(Ring ring,
int fc)
Creates a morphism that "blows up" a ring into a product ring
with fc factors equal to ring . |
ModuleElement |
map(ModuleElement x)
Maps the element x . |
java.lang.String |
toString()
Returns a string representation of this morphism. |
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.module.morphism.ModuleMorphism |
---|
atZero, clone, composable, compose, difference, getCodomain, getConstantMorphism, getConstantMorphism, getDomain, getIdentityMorphism, inDomain, isConstant, isIdentity, isLinear, isModuleHomomorphism, isRingMorphism, power, scaled, sum |
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static ModuleMorphism make(ProductRing domain, int[] ordering)
domain
using the
ordering
specification.
If ordering is null or the length of ordering is 0, an
identity morphism is returned.
public static ModuleMorphism make(Ring ring, int fc)
ring
into a product ring
with fc
factors equal to ring
. This simply
copies the value in the domain to the factors of the codomain.
public final int[] getOrdering()
public ModuleElement map(ModuleElement x) throws MappingException
ModuleMorphism
x
.
This must be implemented for each specific morphism type.
map
in class ModuleMorphism
x
MappingException
- if mapping of element fails
public boolean isRingHomomorphism()
ModuleMorphism
isRingHomomorphism
in class ModuleMorphism
public ModuleMorphism getRingMorphism()
ModuleMorphism
getRingMorphism
in class ModuleMorphism
public boolean equals(java.lang.Object object)
ModuleMorphism
object
.
In general it is not possible to determine whether to functions
are the same, so this returns true iff both morphisms have
the same structure.
equals
in class ModuleMorphism
public int compareTo(ModuleMorphism object)
ModuleMorphism
compareTo
in interface java.lang.Comparable<ModuleMorphism>
compareTo
in class ModuleMorphism
public java.lang.String toString()
ModuleMorphism
toString
in class ModuleMorphism
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
public ModuleMorphism fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
public static XMLInputOutput<ModuleMorphism> getXMLInputOutput()
public java.lang.String getElementTypeName()
XMLInputOutput
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |