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

lilianjie

X:=**x(0);
9 @, w$ ]. q/ S8 X3 y0 aX;
; i% |" L- s8 J( W' _) l5 j/ N4 IX2:=
3 L% b  M- p' `4 P$ B**x(1);X2;
8 N/ t! B7 u5 @9 XX3:=**x(2);X3;
X4:=
& n* P7 W) v: G( E4 Z! o**x(3);X4;
9 I, M. E+ u3 F' a9 {X5:=
**x(4);X5;

6 @, D: @& I' h
XX:=Normalization(X5) ;
XX;
7 Z7 d9 V: q& kS:=Shift(XX, -2);
6 `6 h9 n. ~/ [7 D3 j: U, {S;
0 ]. Q0 f& G+ }6 w7 h7 }! l. RBoundary(X5) ;
" m! z3 }- o- t9 `4 W# w& ^Boundary(S) ;
K:=S + X5;K;
  s6 V* }! v  A; d) a4 L2 M2 q
Boundary(K) ;

0 P, {  x9 _: _1 n2 T5 D* g9 j" K5 Z
Simplicial complex
+ F' O/ h6 l- Q6 K& a- Q[
" H( i8 ?( @+ a; P( U7 M    { 1 }
]

Simplicial complex
[
    { 1, 2 }
# N  A9 g3 ~. ~. i]

Simplicial complex
1 `* l& v' ]# k! L3 c[
6 l' u: O! h7 K2 U8 T; T, w1 h    { 1, 2, 3 }
# S1 C7 W) ~' Y' _" O4 Q) v6 b" K]
4 P6 Z" m+ m- W) p: h* ^
" ?; Y( x# T: y9 ]Simplicial complex
% s" @" x: l* B/ w2 X[
+ w* X/ [0 j8 ]7 X3 {    { 1, 2, 3, 4 }
]

Simplicial complex
[
, g# x# H% H+ P    { 1, 2, 3, 4, 5 }
]

Simplicial complex
[
2 r+ L5 h* p) [% q% w; k; n    { 1, 2, 3, 4, 5 }
]
7 w- {0 u( ?* b/ D
; Y8 \7 q  y9 GSimplicial complex
[
: M! n1 o/ h& U    { -1, 0, 1, 2, 3 }
, f  p+ g( c* h8 Q]

) a# X5 W% L5 F3 w8 {9 QSimplicial complex
[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
" L5 \* s! V& r' m8 m    { 1, 2, 3, 5 },
    { 2, 3, 4, 5 }
0 F- q9 \+ O# d8 @]

  W! y* k  X4 d3 B, ]3 j2 j8 KSimplicial complex
[
/ r. s( G/ M, B2 Q+ Z5 g' n+ M1 l    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
. p: ~$ `5 L% a$ w# {7 Q    { 0, 1, 2, 3 },
    { -1, 0, 1, 2 },
    { -1, 0, 2, 3 }
]
# G4 F9 w" u" \' }
Simplicial complex
[
    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
3 S, g/ M$ ~, Q$ ~]
6 c& v/ @! B8 H7 V6 ~8 y- v/ l/ K( rSimplicial complex
[
    { 0, 1, 2, 3 },
' h7 H- Q- B% @1 y    { 4, 5, 6, 8 },
; M* s  N4 B; B9 u5 h, x! Z    { 4, 5, 7, 8 },
    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
; f+ I; q3 @' }3 r/ R$ @    { -1, 0, 2, 3 },
2 K7 B! Y% P& x0 _. b    { 4, 5, 6, 7 },
& q) j! P9 b2 P; C: q7 Y( v    { 4, 6, 7, 8 },
    { -1, 0, 1, 2 },
# w9 w0 H8 y6 w$ c% w6 }0 w    { -1, 1, 2, 3 }
]
2 c) ]8 l) W6 Q9 P
- Z, b8 @* D1 z, H" V" @
边界之和是怎样算出的？
" R4 Y+ S1 `/ m    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
+ ~# ?& y) ^" T+ `* y$ ?
+ q  P- W( g0 h% q# O: Q