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

lilianjie

X:=**x(0);
X;
2 I3 y8 {6 X7 m0 T  nX2:=
**x(1);X2;
X3:=**x(2);X3;
+ u- W  p1 ?; A4 E) IX4:=
**x(3);X4;
X5:=
**x(4);X5;

* P. |0 O1 Y" S: J( [1 z
$ W! }; l/ b! \& s" o" H4 UXX:=Normalization(X5) ;
XX;
S:=Shift(XX, -2);
; S0 |: p+ X  XS;
Boundary(X5) ;
& F# H2 g3 a, h4 q- ]Boundary(S) ;
9 y+ s6 J4 A7 TK:=S + X5;K;
/ ^; W5 G8 m& ~: m7 w
Boundary(K) ;
6 \: q$ `# M& w' q

Simplicial complex
[
9 d: Z4 j. G# J! P    { 1 }
]
% Z" M% `; Q, e6 p- C6 V% b  L. `
3 M) @, @4 m3 Y% kSimplicial complex
[
. z. L; c1 f# u! X: Z; p    { 1, 2 }
]
1 c' H! P/ z9 ?, v/ o
Simplicial complex
[
4 _2 U( T3 G' i/ O' g    { 1, 2, 3 }
" ?, @0 d) D3 n, i]
0 {9 K' O; ?1 M" P+ p% }* Y% b( ~
+ }, z. n& n% M; ^Simplicial complex
[
    { 1, 2, 3, 4 }
]
9 |: }4 n) g, y8 l9 E
" r, L7 J+ x9 }: Z" |, [Simplicial complex
[
; c# o, a' c3 E    { 1, 2, 3, 4, 5 }
/ H1 |0 H& g8 T]
+ S* E% W0 S) |3 o
Simplicial complex
[
8 ?( W+ A+ H7 w9 U    { 1, 2, 3, 4, 5 }
]
. D" J( ~: |+ i
Simplicial complex
[
    { -1, 0, 1, 2, 3 }
]
7 H: l9 a# m6 j) E! y( J% D
Simplicial complex
* f7 D' g) X1 x# j6 l[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
) L+ L# @9 J" T( e0 k    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
' y4 w: J  H9 L0 i$ [8 I    { 2, 3, 4, 5 }
2 S$ M% @) c% E]
& U: d: ^) p) H) Y, a
Simplicial complex
[
& Y  W# ^, g3 r4 p) h4 |  `    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
' F) y3 j% E9 l    { -1, 0, 1, 2 },
% ]0 F, ]& w( a# i. C) z    { -1, 0, 2, 3 }
]
- I, i) [8 [$ Y/ P, g$ P6 n
Simplicial complex
[
    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
5 _' j6 E- d) C; T! N]
Simplicial complex
[
  o& t0 n( [  A# e    { 0, 1, 2, 3 },
  v4 y5 h; I4 o* U6 F5 c    { 4, 5, 6, 8 },
& L9 a8 x6 W. I5 Q    { 4, 5, 7, 8 },
    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
    { -1, 0, 2, 3 },
    { 4, 5, 6, 7 },
+ l6 k2 \. I+ R( P    { 4, 6, 7, 8 },
4 d3 F$ V4 }$ i" a5 U' D% z6 j, t1 h% U    { -1, 0, 1, 2 },
    { -1, 1, 2, 3 }
' R9 h! ?" A4 U: p$ T/ g; t]


边界之和是怎样算出的？
7 J9 I0 S) O1 v; y8 m    { 4, 5, 6, 7, 8 },
* [  j5 ?$ s3 F. w    { -1, 0, 1, 2, 3 }

1 [1 b% @7 Y: C6 F
  Y/ w5 _& H6 w* h$ ~- w$ P# h% D9 [
' E  P" Q- ~: f( [. t  {