@@ -583,31 +583,31 @@ def ComplexProjectiveSpace(n):
583
583
f4_201110 = AbstractSimplex (4 , name = 'tau_1' , latex_name = '\\ tau_1' )
584
584
f4_211010 = AbstractSimplex (4 , name = 'tau_2' , latex_name = '\\ tau_2' )
585
585
K = SimplicialSet_finite ({f2_1 : (v .apply_degeneracies (0 ),
586
- v .apply_degeneracies (0 ),
587
- v .apply_degeneracies (0 )),
588
- f2_2 : (v .apply_degeneracies (0 ),
589
- v .apply_degeneracies (0 ),
590
- v .apply_degeneracies (0 )),
591
- f3_110 : (f2_1 , f2_2 , f2_1 , v .apply_degeneracies (1 , 0 )),
592
- f3_011 : (f2_1 , f2_1 , f2_1 , f2_1 ),
593
- f3_111 : (v .apply_degeneracies (1 , 0 ), f2_1 , f2_2 , f2_1 ),
594
- f4_101101 : (f2_1 .apply_degeneracies (0 ),
595
- f2_1 .apply_degeneracies (0 ),
596
- f3_011 ,
597
- f2_1 .apply_degeneracies (2 ),
598
- f2_1 .apply_degeneracies (2 )),
599
- f4_201110 : (f2_1 .apply_degeneracies (1 ),
600
- f3_111 ,
601
- f3_011 ,
602
- f3_110 ,
603
- f2_1 .apply_degeneracies (1 )),
604
- f4_211010 : (f2_1 .apply_degeneracies (2 ),
605
- f3_111 ,
606
- f2_1 .apply_degeneracies (1 ),
607
- f3_110 ,
608
- f2_1 .apply_degeneracies (0 ))},
609
- base_point = v , name = 'CP^2' ,
610
- latex_name = 'CP^{2}' )
586
+ v .apply_degeneracies (0 ),
587
+ v .apply_degeneracies (0 )),
588
+ f2_2 : (v .apply_degeneracies (0 ),
589
+ v .apply_degeneracies (0 ),
590
+ v .apply_degeneracies (0 )),
591
+ f3_110 : (f2_1 , f2_2 , f2_1 , v .apply_degeneracies (1 , 0 )),
592
+ f3_011 : (f2_1 , f2_1 , f2_1 , f2_1 ),
593
+ f3_111 : (v .apply_degeneracies (1 , 0 ), f2_1 , f2_2 , f2_1 ),
594
+ f4_101101 : (f2_1 .apply_degeneracies (0 ),
595
+ f2_1 .apply_degeneracies (0 ),
596
+ f3_011 ,
597
+ f2_1 .apply_degeneracies (2 ),
598
+ f2_1 .apply_degeneracies (2 )),
599
+ f4_201110 : (f2_1 .apply_degeneracies (1 ),
600
+ f3_111 ,
601
+ f3_011 ,
602
+ f3_110 ,
603
+ f2_1 .apply_degeneracies (1 )),
604
+ f4_211010 : (f2_1 .apply_degeneracies (2 ),
605
+ f3_111 ,
606
+ f2_1 .apply_degeneracies (1 ),
607
+ f3_110 ,
608
+ f2_1 .apply_degeneracies (0 ))},
609
+ base_point = v , name = 'CP^2' ,
610
+ latex_name = 'CP^{2}' )
611
611
return K
612
612
if n == 3 :
613
613
file = os .path .join (SAGE_ENV ['SAGE_EXTCODE' ], 'kenzo' , 'CP3.txt' )
0 commit comments