|
|||||||||
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.CastMorphism
public abstract class CastMorphism
Morphism that casts elements from a ring to another ring.
The make(org.rubato.math.module.Ring, org.rubato.math.module.Ring)
method is used to create a canonical morphism.
Only proper cast morphisms are created, not identities,
nor embeddings.
Therefore casting morphism should generally not be created directly
using this class, but through the CanonicalMorphism
class, this also takes care of free modules.
Method Summary | |
---|---|
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. |
ModuleMorphism |
getRingMorphism()
Returns the the ring morphism that transforms between the rings of the domain and codomain modules. |
static XMLInputOutput<ModuleMorphism> |
getXMLInputOutput()
|
boolean |
isModuleHomomorphism()
Casting morphisms are never module homomorphisms. |
boolean |
isRingHomomorphism()
Casting morphisms are never ring homomorphisms. |
static ModuleMorphism |
make(Ring domain,
Ring codomain)
Creates a casting morphism from domain
to codomain. |
ModuleElement |
map(ModuleElement x)
Maps the element x . |
abstract ModuleElement |
mapValue(ModuleElement element)
The low-level map method. |
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, compareTo, composable, compose, difference, getCodomain, getConstantMorphism, getConstantMorphism, getDomain, getIdentityMorphism, inDomain, isConstant, isIdentity, isLinear, isRingMorphism, power, scaled, sum |
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static ModuleMorphism make(Ring domain, Ring codomain)
domain
to codomain.
public final 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 abstract ModuleElement mapValue(ModuleElement element)
public boolean isModuleHomomorphism()
isModuleHomomorphism
in class ModuleMorphism
public boolean isRingHomomorphism()
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 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 |