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

lilianjie

X:=**x(0);
5 F2 N2 A0 G; g2 L1 RX;
X2:=
; n0 l6 O+ {9 r6 Q- R; Z0 z5 H**x(1);X2;
+ j4 x  C2 x( l" kX3:=**x(2);X3;
X4:=
**x(3);X4;
' q! m' B: p( C1 B( KX5:=
5 r4 ^7 g' S; ^2 \6 u$ J**x(4);X5;
4 {# ^2 e' Z. a5 k1 l

XX:=Normalization(X5) ;
XX;
S:=Shift(XX, -2);
' j9 _. j( L. m6 f/ hS;
Boundary(X5) ;
Boundary(S) ;
K:=S + X5;K;
) o8 {! i3 e3 ^5 X$ Z5 I, l
6 W. N# x! d, ~( k  u; U6 {Boundary(K) ;
/ I5 j8 {9 Z$ K5 Y  T

) ~* T! w, ^$ g$ B& rSimplicial complex
) Q% g5 r+ O/ B9 g[
) D4 M8 s0 K% r    { 1 }
]

Simplicial complex
[
0 q# R) b* O  r    { 1, 2 }
" `1 }+ L" n7 z8 G" u]

Simplicial complex
  H7 u3 j$ S  ~% w3 R[
    { 1, 2, 3 }
. i0 k$ d  b  w% B$ [' r; N]
  w5 I5 j' W* @8 E" ~
Simplicial complex
& }, m4 R" X3 T1 P& i& o[
    { 1, 2, 3, 4 }
9 `. x" S+ `, t; r/ u]

Simplicial complex
[
* ]: q! j/ ]" `* X$ _    { 1, 2, 3, 4, 5 }
# z+ f* ]: N! a  f3 b]

9 I6 a# p9 t3 G1 z) ~/ iSimplicial complex
[
    { 1, 2, 3, 4, 5 }
]
0 y. a5 m+ v: F% i& Z
Simplicial complex
[
, w0 D7 Z+ d1 A; }# q    { -1, 0, 1, 2, 3 }
2 J6 }5 k* ^* O( B]
- S2 a0 {) L+ g  F
Simplicial complex
' t2 ~4 N: {: G* q[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
    { 2, 3, 4, 5 }
]
( D+ C  w& _. @% w/ i
Simplicial complex
[
    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
" ?* m4 i' H* n; [- q& V6 T/ t$ F    { -1, 0, 1, 2 },
$ S! @* d$ O  q0 y( k    { -1, 0, 2, 3 }
% M- P" l& D) _6 k; q( |]

5 O& @3 ~! X  H! q# OSimplicial complex
" C. r( u& `" e+ e8 E6 X2 |9 p[
    { 4, 5, 6, 7, 8 },
" \: E: h% u4 p) Y- \    { -1, 0, 1, 2, 3 }
]
Simplicial complex
6 W  v. U8 h  ?[
    { 0, 1, 2, 3 },
    { 4, 5, 6, 8 },
0 C3 Y% P: F0 N    { 4, 5, 7, 8 },
# ?0 }7 ?- \7 t9 G+ A! u, t    { 5, 6, 7, 8 },
0 Q" v& y1 q6 ?( s    { -1, 0, 1, 3 },
    { -1, 0, 2, 3 },
. d( K1 B0 H# U/ j' Z5 Y+ r    { 4, 5, 6, 7 },
    { 4, 6, 7, 8 },
    { -1, 0, 1, 2 },
    { -1, 1, 2, 3 }
]


3 k1 {' g2 k# y边界之和是怎样算出的？
    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }


, d1 V! E8 ^4 g' N( ~) X' L* e
# C3 [1 N& n9 x" T; w% X6 k; C