|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.ModuleMorphismMap
org.rubato.math.yoneda.ConstantModuleMorphismMap
public final class ConstantModuleMorphismMap
Morphism map containing a constant module morphism.
Constructor Summary | |
---|---|
ConstantModuleMorphismMap(ModuleElement element)
Creates a constant morphism with constant element . |
|
ConstantModuleMorphismMap(Module domain,
ModuleElement element)
Creates a constant morphism with constant element . |
Method Summary | |
---|---|
MorphismMap |
at(ModuleElement element)
Creates a constant morphism from this morphism by evaluating it at the specified element. |
ModuleMorphismMap |
changeDomain(Module newAddress)
Returns a module morphism map with the given new domain. |
ModuleMorphismMap |
changeDomain(ModuleMorphism morphism)
Compose morphism with the morphism contained
in this ModuleMorphismMap. |
java.lang.Object |
clone()
Returns a copy of this module morphism map. |
int |
compareTo(MorphismMap object)
|
ModuleMorphismMap |
copy()
Returns a copy of this module morphism map. |
ModuleMorphismMap |
difference(ModuleMorphismMap map)
Returns the difference of this map with the given map. |
boolean |
equals(java.lang.Object object)
|
MorphismMap |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(MorphismMap map,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
Module |
getCodomain()
Returns the codomain of the map. |
Module |
getDomain()
Returns the domain of the map. |
ModuleElement |
getElement()
Returns the element resulting from applying the morphism to zero. |
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
ModuleMorphism |
getMorphism()
Returns the module morphism. |
static XMLInputOutput<MorphismMap> |
getXMLInputOutput()
|
int |
hashCode()
Returns a hash code of this module morphism map. |
boolean |
isConstant()
|
ModuleElement |
map(ModuleElement element)
Maps the specified module element using the module morphism. |
ModuleMorphismMap |
map(ModuleMorphism morphism)
Composes the morphism contained in this map with the given morphism . |
void |
setElement(ModuleElement element)
|
ModuleMorphismMap |
sum(ModuleMorphismMap map)
Returns the sum of this map with the given map. |
java.lang.String |
toString()
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.yoneda.ModuleMorphismMap |
---|
changeAddress, changeAddress, getDenotatorDependencies, getElement, getFormDependencies, make, resolveReferences |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ConstantModuleMorphismMap(ModuleElement element)
element
.
The codomain is domain of the element.
The domain is the null module corresponding to the codomain.
public ConstantModuleMorphismMap(Module domain, ModuleElement element)
element
.
The codomain is domain of the element.
The domain is the specified one.
Method Detail |
---|
public ModuleElement getElement()
ModuleMorphismMap
getElement
in class ModuleMorphismMap
public ModuleMorphism getMorphism()
ModuleMorphismMap
getMorphism
in class ModuleMorphismMap
public Module getDomain()
ModuleMorphismMap
getDomain
in class ModuleMorphismMap
public Module getCodomain()
ModuleMorphismMap
getCodomain
in class ModuleMorphismMap
public void setElement(ModuleElement element)
public int compareTo(MorphismMap object)
compareTo
in interface java.lang.Comparable<MorphismMap>
compareTo
in interface MorphismMap
compareTo
in class ModuleMorphismMap
public boolean equals(java.lang.Object object)
equals
in class ModuleMorphismMap
public boolean fullEquals(MorphismMap map, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in interface MorphismMap
fullEquals
in class ModuleMorphismMap
public ModuleElement map(ModuleElement element)
ModuleMorphismMap
map
in class ModuleMorphismMap
public MorphismMap at(ModuleElement element)
ModuleMorphismMap
at
in interface MorphismMap
at
in class ModuleMorphismMap
element
- evaluate at this element
public ModuleMorphismMap changeDomain(ModuleMorphism morphism)
ModuleMorphismMap
morphism
with the morphism contained
in this ModuleMorphismMap.
changeDomain
in class ModuleMorphismMap
public ModuleMorphismMap changeDomain(Module newAddress)
ModuleMorphismMap
changeDomain
in class ModuleMorphismMap
public ModuleMorphismMap map(ModuleMorphism morphism) throws RubatoException
ModuleMorphismMap
morphism
. The resulting morphism
is f(x) = this.morphism(morphism(x)).
map
in class ModuleMorphismMap
RubatoException
public ModuleMorphismMap sum(ModuleMorphismMap map)
ModuleMorphismMap
sum
in class ModuleMorphismMap
public ModuleMorphismMap difference(ModuleMorphismMap map)
ModuleMorphismMap
difference
in class ModuleMorphismMap
public boolean isConstant()
isConstant
in class ModuleMorphismMap
public java.lang.Object clone()
clone
in interface MorphismMap
clone
in class ModuleMorphismMap
public ModuleMorphismMap copy()
copy
in interface MorphismMap
copy
in class ModuleMorphismMap
public java.lang.String toString()
toString
in class ModuleMorphismMap
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
toXML
in interface XMLInputOutput<MorphismMap>
toXML
in class ModuleMorphismMap
public MorphismMap fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
fromXML
in interface XMLInputOutput<MorphismMap>
fromXML
in class ModuleMorphismMap
public static XMLInputOutput<MorphismMap> getXMLInputOutput()
public java.lang.String getElementTypeName()
XMLInputOutput
getElementTypeName
in interface XMLInputOutput<MorphismMap>
getElementTypeName
in class ModuleMorphismMap
public int hashCode()
ModuleMorphismMap
hashCode
in interface MorphismMap
hashCode
in class ModuleMorphismMap
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |