问个关于复形之和的边界问题

lilianjie

X:=**x(0);
X;
X2:=
' ~0 {/ \9 E3 H8 \8 C**x(1);X2;
% _& B; t( `9 e8 d2 C  ]X3:=**x(2);X3;
X4:=
**x(3);X4;
X5:=
6 R) I! g, ]. B0 O( r( c2 V, a: D( B7 R**x(4);X5;
- A' o9 {6 H0 R% m

XX:=Normalization(X5) ;
: ]9 k6 s7 ]- f- ^" B. OXX;
S:=Shift(XX, -2);
+ ]8 O2 c  G& ~. M6 mS;
& r; S( @8 x( l" L& C+ B! }" `Boundary(X5) ;
! n3 a. R% L, m/ ?* p- WBoundary(S) ;
. u$ [# @3 f5 A6 \/ ?" ^K:=S + X5;K;

$ g) b2 m' D2 j& L: eBoundary(K) ;


! w0 V% w/ @- L' FSimplicial complex
[
8 [5 e9 T* `+ |  U    { 1 }
/ L. Y! x( _$ M8 U6 ~' y]

2 ]: b  }5 F1 SSimplicial complex
[
    { 1, 2 }
! D5 {9 D  X5 ?  Y: D]

Simplicial complex
( L3 l% J& m4 }, z. W[
    { 1, 2, 3 }
]
# c7 V0 t' |, \! Q
Simplicial complex
[
    { 1, 2, 3, 4 }
$ C( w: }+ h' I  \, J$ R]

" S7 {6 d4 c+ K" c6 J& XSimplicial complex
[
    { 1, 2, 3, 4, 5 }
]

Simplicial complex
0 c0 |' w9 _$ g6 L+ W# C[
- \4 j! _7 o- U9 Z    { 1, 2, 3, 4, 5 }
7 p) o0 s# T6 m/ N; l- V. f]

Simplicial complex
[
    { -1, 0, 1, 2, 3 }
2 ]" A' |& R+ n]
2 f$ H' h* |6 c# |* i* ^
1 G+ C. K# m- o$ DSimplicial complex
[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
    { 2, 3, 4, 5 }
$ K+ d" W, J  ]/ i+ T" a% I]

# d  C( h- X3 y3 c$ bSimplicial complex
" A- v; c! @6 u; D0 r! X9 T[
    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
    { -1, 0, 1, 2 },
    { -1, 0, 2, 3 }
]
% {! G: s1 |) d" m
" v( c2 F& V; U( a  Y% m7 eSimplicial complex
[
5 o; {% C: O3 K' ~  d& R: s    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
( l7 x! Z" O5 H; ]" G) ^+ h& W]
1 Y! `2 [5 q9 A. M4 xSimplicial complex
[
9 y# j- M) f* @* y    { 0, 1, 2, 3 },
; }8 l" h4 Q- C6 k    { 4, 5, 6, 8 },
4 C3 k' E: F4 F" c. Q9 q    { 4, 5, 7, 8 },
    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
    { -1, 0, 2, 3 },
    { 4, 5, 6, 7 },
    { 4, 6, 7, 8 },
# r/ h/ V. m2 e    { -1, 0, 1, 2 },
3 Y8 [3 W* k! y7 _/ A    { -1, 1, 2, 3 }
]

; M2 `! s1 F* n9 Z  U2 a- P
- l' R& J/ H& S! n; c, @边界之和是怎样算出的？
' @3 u  b- l0 t" A1 i/ g    { 4, 5, 6, 7, 8 },
# D% I( f1 ]4 s" }$ U) S, S8 m    { -1, 0, 1, 2, 3 }

0 ]& Z' [# |: P# z7 [/ [& ~. y