map -- make a map

Synopsis

Usage:
map(Y,X,d) or map(Y,X)
Inputs:
- Y, an object, such as a ring, module, or chain complex
- X, another object of the same type
- d, a specification, such as a function, list, or matrix, or if omitted, understood to specify the identity map
Outputs:
- a map to Y from X defined by data d.
Optional inputs:
- Degree => ..., -- set the degree of a map
- DegreeMap => ...,

Description

The function map provides a general mechanism for constructing a map (homomorphism) between rings (a ring map), modules (a matrix), chain complexes (a chain complex map), or between objects in other categories.

See also the function matrix, which focuses on creating new matrices from rectangular arrays of ring elements or matrices.

Ways to use `map` :

map(ChainComplex,ChainComplex,ChainComplexMap)
map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes
map(GradedModule,GradedModule,Function), see map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes
map(Matrix) -- make a matrix with a different degree
map(Module) -- identity map
map(Module,Module,Function) -- create a matrix by specifying a function which gives each entry
map(Module,Module,List) -- create a matrix by giving a sparse or dense list of entries
map(Module,Module,Matrix) -- create the matrix induced on generators by a given matrix
map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
map(Module,Nothing,List) -- create a matrix by giving a doubly nested list of ring elements
map(Module,Nothing,Matrix) -- recast a matrix to have a new target, and a free module as source
map(Module,ZZ,Function) -- create a matrix from a free module by specifying a function which gives each entry
map(Module,ZZ,List) -- create a matrix by giving a sparse or dense list of entries
map(Ring,Matrix) -- make a ring map
map(Ring,Ring) -- map which associates variables, rest maps to zero
map(Ring,Ring,List) -- make a ring map
map(Ring,Ring,Matrix) -- make a ring map

map(Module,Module,Function) -- create a matrix by specifying a function which gives each entry
map(Module,Module,List) -- create a matrix by giving a sparse or dense list of entries
map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
map(Module,Module,Matrix) -- create the matrix induced on generators by a given matrix

Creating a map between modules, where the source module is computed

map(Module,ZZ,Function) -- create a matrix from a free module by specifying a function which gives each entry
map(Module,Nothing,List) -- create a matrix by giving a doubly nested list of ring elements
map(Module,ZZ,List) -- create a matrix by giving a sparse or dense list of entries
map(Module,Nothing,Matrix) -- recast a matrix to have a new target, and a free module as source

Creating a map with a different degree

map(Matrix) -- make a matrix with a different degree

Creating a map between rings

map(Ring,Ring) -- map which associates variables, rest maps to zero
map(Ring,Ring,List) -- make a ring map
map(Ring,Ring,Matrix) -- make a ring map

Creating a map between chain complexes

map(ChainComplex,ChainComplex,ChainComplexMap)
map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes

map -- make a map

Synopsis

Description

Ways to use `map` :

Menu

Creating a map between modules (a matrix)

Creating a map between modules, where the source module is computed

Creating a map with a different degree

Creating a map between rings

Creating a map between chain complexes

map -- make a map

Synopsis

Description

Ways to use map :

Menu

Creating a map between modules (a matrix)

Creating a map between modules, where the source module is computed

Creating a map with a different degree

Creating a map between rings

Creating a map between chain complexes

Ways to use `map` :