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

lilianjie

X:=**x(0);
6 d6 r1 V  h6 AX;
X2:=
**x(1);X2;
X3:=**x(2);X3;
X4:=
**x(3);X4;
* A/ q7 n% q2 Y) g2 @: K" vX5:=
**x(4);X5;
: @: ^/ [4 G5 B& T$ T. ]
4 t% ]: e' M( M# B) a. I- J" K
2 I. {/ l3 \+ L) ?1 m9 t7 zXX:=Normalization(X5) ;
XX;
S:=Shift(XX, -2);
5 A1 `, m1 Y, S: J- I$ FS;
Boundary(X5) ;
Boundary(S) ;
K:=S + X5;K;
! C7 J7 }3 \2 X
Boundary(K) ;

, `: ^) r) E+ l% f0 H9 S
Simplicial complex
[
    { 1 }
+ R& V; w+ J  h* F- y# z6 K]

Simplicial complex
[
9 I* _: d9 @- R. {- M    { 1, 2 }
]

Simplicial complex
# _3 W* p1 g( Y1 v8 T, m" K[
/ k+ K. r+ I! g* E5 G$ L    { 1, 2, 3 }
8 C- j  b- S, {0 h# l- O]

Simplicial complex
[
    { 1, 2, 3, 4 }
5 E# F! m3 w( k]

Simplicial complex
[
9 z5 |( \$ l' ?7 Y    { 1, 2, 3, 4, 5 }
: ]% s: @; }" N4 h/ Z* g* O# O]
3 t; C; a8 l; J3 [$ c& P
0 F- M, L8 j9 q) S8 A0 m5 I/ ?Simplicial complex
[
" X% P$ S' J. P$ E7 ?7 h    { 1, 2, 3, 4, 5 }
]

Simplicial complex
% W+ q% |1 X& k0 w0 Q$ Z" ]$ t5 Q  _[
    { -1, 0, 1, 2, 3 }
]

# W  M" p# Y7 _* L1 }4 C4 sSimplicial complex
3 c8 \' W8 n/ Y- _[
; y1 M) S0 O) p! H. E    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
& z, @- c* O+ R    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
& ?  [2 w1 ]' c( c0 c    { 2, 3, 4, 5 }
! C6 a% n: k& t3 Y]

/ n7 k# @- x0 E! T6 M; ASimplicial complex
& C1 B, b; X& _: z" P[
    { -1, 0, 1, 3 },
% d4 S8 o% _4 N) |4 X5 `. {$ M. U    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
, F( V, j5 `* @    { -1, 0, 1, 2 },
) u) G* p7 ?! x! s    { -1, 0, 2, 3 }
]
  p* l: y4 Y- u, }
  w5 V" |4 x% ^6 }: U5 BSimplicial complex
" ~1 b& i- r7 C0 A$ h[
    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
; W. ?; P$ }4 |) y: }]
3 S4 U5 m- v4 A7 p3 A1 U* sSimplicial complex
. a" L* j7 A; {[
    { 0, 1, 2, 3 },
8 y* g- E; R0 G+ J1 H8 }$ N3 K    { 4, 5, 6, 8 },
* l( {& |" @$ i7 o- Z* `    { 4, 5, 7, 8 },
2 a, v" B2 x. A8 [1 B0 `; j    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
1 H/ N9 ?( r! x! G3 Z    { -1, 0, 2, 3 },
    { 4, 5, 6, 7 },
    { 4, 6, 7, 8 },
    { -1, 0, 1, 2 },
7 W8 E0 R* g" q4 S    { -1, 1, 2, 3 }
+ g% T8 D# b9 Y2 N2 l]


边界之和是怎样算出的？
    { 4, 5, 6, 7, 8 },
; N$ O: J4 B% q& X    { -1, 0, 1, 2, 3 }


9 }! r* o  C# d6 l# @4 O2 A. }
' |$ a7 [" K% D  G# h' H5 M