Macaulay2 » Documentation
Packages » CellularResolutions :: cellComplexRPn
next | previous | forward | backward | up | index | toc

cellComplexRPn -- gives a $RP^n$ as a cell complex

Synopsis

Description

This function constructs n-dimensional projective space as a cell complex with the typical CW-structure: a single cell of each dimension, where each r-cell is attached as a 2-sheeted covering to the (r-1)-cell.

i1 : QP5 = cellComplexRPn(QQ,5)

o1 = QP5

o1 : CellComplex
 
i2 : prune homology QP5

o2 = -1 : 0  

      0 : 0  

      1 : 0  

      2 : 0  

      3 : 0  

      4 : 0  

            1
      5 : QQ

o2 : GradedModule
 
i3 : ZP6 = cellComplexRPn(ZZ,6)

o3 = ZP6

o3 : CellComplex
 
i4 : prune homology ZP6

o4 = -1 : 0             

      0 : 0             

      1 : cokernel | 2 |

      2 : 0             

      3 : cokernel | 2 |

      4 : 0             

      5 : cokernel | 2 |

      6 : 0             

o4 : GradedModule

See also

Ways to use cellComplexRPn :

For the programmer

The object cellComplexRPn is a method function.