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

lilianjie

X:=**x(0);
X;
X2:=
**x(1);X2;
X3:=**x(2);X3;
X4:=
" @( A/ e/ S1 m- G**x(3);X4;
$ S' }$ P$ w( A# _2 [* F& o' ?. wX5:=
* g8 J2 _9 D/ i$ r, u4 e**x(4);X5;

7 q: [* Y( z! U" w  M
- P+ h, J" r( H( xXX:=Normalization(X5) ;
1 n+ P3 p$ |2 w6 f2 k" NXX;
7 R# p0 n, o% _S:=Shift(XX, -2);
1 a3 ?/ G$ b- {( RS;
Boundary(X5) ;
; ^0 `6 m% s( V4 x' e  LBoundary(S) ;
K:=S + X5;K;
2 [/ }: w' b: R: L
1 D# M3 S' C  z) k2 i  }Boundary(K) ;

: x# i5 b5 b( ?: Q& S+ Z! [0 I
Simplicial complex
[
    { 1 }
]

Simplicial complex
8 j6 L& E( Y/ K. B& ?  H, N[
7 X8 i. q$ v6 r- g3 ]- I# @    { 1, 2 }
]

Simplicial complex
6 N4 e& N$ q1 w5 i# \[
    { 1, 2, 3 }
+ O& s, j  ?1 ?" _]
: E5 k: r: {  H) h: N. I
Simplicial complex
$ M& ~1 ]/ n% Q. x[
' \. a- a+ V/ y" f2 V1 J  W4 \    { 1, 2, 3, 4 }
]
0 X; {4 \1 a' Y
Simplicial complex
[
    { 1, 2, 3, 4, 5 }
]
* p) D. h; c& d- Q* C
Simplicial complex
5 A/ j0 B8 ], b5 x& j& D[
    { 1, 2, 3, 4, 5 }
]

5 T* U% f8 w: E  E& F1 b( J0 Q0 n2 K: oSimplicial complex
4 m! |$ k- r, t( r+ f[
    { -1, 0, 1, 2, 3 }
- `0 B" U5 z5 t  F; I1 @]
+ g9 J- k& s" A3 _0 y+ K; W/ M
Simplicial complex
[
0 V* h4 J* Q/ w) H3 o, ~0 J    { 1, 2, 4, 5 },
8 P# [; U. ?. g" J7 U$ Q1 P    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
+ N* v0 W. `/ \1 z    { 2, 3, 4, 5 }
]

% |9 c6 h; C; o: y- |- NSimplicial complex
+ O, H8 F% o# z' P( }9 t6 }[
* X1 e$ z5 W1 @5 H) q& `. }    { -1, 0, 1, 3 },
! R& w1 C4 ?' V4 J    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
- Y7 C; L/ f9 ^" ^    { -1, 0, 1, 2 },
; \$ S: l" I. V! q# R" k- [    { -1, 0, 2, 3 }
6 A8 Q3 _) c: @2 X]
7 i4 y) k& c" k$ ]7 b8 f! x3 K
0 R6 U! c3 Y, g5 \  ySimplicial complex
[
1 D4 G7 M6 Q8 r# r( C3 g8 @    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
]
Simplicial complex
[
: s2 L; z+ _) J6 I    { 0, 1, 2, 3 },
6 ?- o# q! s+ u9 V    { 4, 5, 6, 8 },
    { 4, 5, 7, 8 },
; x% U1 @; }' @- k  t4 L    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
# X# B) R- |, Q    { -1, 0, 2, 3 },
" t1 W0 F4 ?" P" m( K! P% R' i    { 4, 5, 6, 7 },
  K" X" G  _7 j2 y( g6 ^% E    { 4, 6, 7, 8 },
    { -1, 0, 1, 2 },
    { -1, 1, 2, 3 }
& T* k# a9 x* j0 d]

) ?, `6 P$ V: Q3 `' |, L
/ R' B7 w, n6 i' ?边界之和是怎样算出的？
' v$ Q3 U6 v/ Y$ B+ B8 m    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
% m  E; [: d2 U5 d& Z- \
5 G3 Q8 ?  Z& q2 x+ t' z+ z/ V