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

       1
o2 = QQ
      
     5

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

o3 = ZP6

o3 : CellComplex
 
i4 : prune homology ZP6

o4 = cokernel | 2 | <-- 0 <-- cokernel | 2 | <-- 0 <-- cokernel | 2 |
                                                        
     1                  2     3                  4     5

o4 : Complex

See also

Ways to use cellComplexRPn:

For the programmer

The object cellComplexRPn is a method function.