image(SimplicialMap) -- construct the image of a simplicial map

Function: image
Usage:

image f
Inputs:
- f, a map of abstract simplicial complexes,
Outputs:
- an abstract simplicial complex, the image of the source of $f$ in the target of $f$

Description

The image of $f$ is the subcomplex of the target of $f$ whose faces are of the form $f(F)$ for some face $F$ in the source of $f$.

i1 : R = ZZ/229[a,b,c];

i2 : D = simplicialComplex{a*b*c}

o2 = simplicialComplex | abc |

o2 : SimplicialComplex

i3 : E = simplicialComplex{a*b,b*c}

o3 = simplicialComplex | bc ab |

o3 : SimplicialComplex

i4 : f = map(E,D,{a,b,a})

o4 = | a b a |

o4 : SimplicialMap simplicialComplex | bc ab | <--- simplicialComplex | abc |

i5 : isWellDefined f

o5 = true

i6 : image f

o6 = simplicialComplex | ab |

o6 : SimplicialComplex

The source of this document is in SimplicialComplexes/Documentation.m2:4297:0.