|
|||||||||
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.GenericAffineMorphism
public final class GenericAffineMorphism
This class handles affine morphisms between free modules over a given ring, that are not covered by specialized classes such as ZFreeAfineMorphism, etc.
Constructor Summary | |
---|---|
GenericAffineMorphism(Ring ring,
int dim,
int codim)
Creates an affine morphism from a free ring -module
of dimension dim to a free ring -module
of dimension codim . |
Method Summary | |
---|---|
ModuleMorphism |
compose(ModuleMorphism morphism)
Returns the composition this* morphism . |
ModuleMorphism |
difference(ModuleMorphism morphism)
Returns the difference of this module morphism and morphism . |
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 |
isConstant()
Returns true iff this morphism is constant. |
boolean |
isIdentity()
Returns true iff this morphism is the identity morphism. |
boolean |
isLinear()
Returns true iff this is a linear morphism. |
boolean |
isModuleHomomorphism()
If true, then this is a module homomorphism. |
boolean |
isRingHomomorphism()
If true, then this is a ring homomorphism. |
ModuleElement |
map(ModuleElement x)
Maps the element x . |
void |
setMatrix(int i,
int j,
RingElement element)
Sets the i ,j-element of the
matrix to the specified element . |
void |
setVector(int i,
RingElement element)
Sets the i-th element of the translation vector to element. |
ModuleMorphism |
sum(ModuleMorphism morphism)
Returns the sum of this module morphism and morphism . |
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, getCodomain, getConstantMorphism, getConstantMorphism, getDomain, getIdentityMorphism, inDomain, isRingMorphism, power, scaled |
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public GenericAffineMorphism(Ring ring, int dim, int codim)
ring
-module
of dimension dim
to a free ring
-module
of dimension codim
. The morphism is the null
morphism by default.
Method Detail |
---|
public void setMatrix(int i, int j, RingElement element)
i
,j-element of the
matrix to the specified element
.
public void setVector(int i, RingElement element)
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 isModuleHomomorphism()
ModuleMorphism
isModuleHomomorphism
in class ModuleMorphism
public boolean isRingHomomorphism()
ModuleMorphism
isRingHomomorphism
in class ModuleMorphism
public boolean isLinear()
ModuleMorphism
isLinear
in class ModuleMorphism
public boolean isIdentity()
ModuleMorphism
isIdentity
in class ModuleMorphism
public boolean isConstant()
ModuleMorphism
isConstant
in class ModuleMorphism
public ModuleMorphism compose(ModuleMorphism morphism) throws CompositionException
ModuleMorphism
morphism
.
compose
in class ModuleMorphism
CompositionException
- if composition could not be performedpublic ModuleMorphism sum(ModuleMorphism morphism) throws CompositionException
ModuleMorphism
morphism
.
sum
in class ModuleMorphism
CompositionException
- if sum could not be performedpublic ModuleMorphism difference(ModuleMorphism morphism) throws CompositionException
ModuleMorphism
morphism
.
difference
in class ModuleMorphism
CompositionException
- if difference could not be performedpublic 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 |