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

lilianjie

X:=**x(0);
X;
- y4 w5 F) m# U3 E  @) H% a  ^X2:=
**x(1);X2;
+ t9 t5 P$ x$ c: S' gX3:=**x(2);X3;
* t+ C- j& i# Z( h. v5 N7 F$ \X4:=
**x(3);X4;
+ V/ m% |6 A( C' l  N5 TX5:=
+ \. \% v6 @: i1 m, m**x(4);X5;
  z; N" L" r3 j3 g8 J  @4 V2 A' P
* ?- ~& i1 `% Q* X0 q+ a
# y, g+ }5 f8 K# A8 |0 b; eXX:=Normalization(X5) ;
XX;
S:=Shift(XX, -2);
, a5 G3 c6 a, ES;
; y% h6 n' I! }( X/ sBoundary(X5) ;
) \, W- a% s1 s7 g: V8 C+ N  HBoundary(S) ;
K:=S + X5;K;
$ V' q* o/ |  _* A
6 ^! J7 |4 N8 L! H6 q; f0 ?Boundary(K) ;
; n( _8 S$ k$ v2 Z+ u. v8 ~
# o/ F4 c( O  c! E$ F" M
. V% d. A% ]! zSimplicial complex
[
    { 1 }
6 c% X/ @+ s$ @5 z" v' l]

Simplicial complex
5 X! I/ K9 R) ~& L  V[
    { 1, 2 }
7 n/ g9 p5 G4 K: r0 A* y5 s]

6 X* {0 E5 K2 Y  P0 t7 O( w6 eSimplicial complex
[
6 ^8 b* s. k- W  d# o# W    { 1, 2, 3 }
3 |3 \/ j- V' o: k]

2 s2 H: H! v2 D, p+ _. E* g: pSimplicial complex
[
0 d0 j# N3 Y! R$ f, }    { 1, 2, 3, 4 }
]
- {& x, s& w6 O2 A
5 B# {$ G1 H8 H8 c+ O$ BSimplicial complex
. {! b. F8 W% {; N& c* W3 D[
+ E  X; }+ Q. |( ~    { 1, 2, 3, 4, 5 }
]

9 Z. l9 D! h  P2 o9 Z" {) aSimplicial complex
[
    { 1, 2, 3, 4, 5 }
- |. ^; _* R2 ^' @! E+ u+ ?]
7 }$ z+ F, w4 P' W" t
Simplicial complex
[
    { -1, 0, 1, 2, 3 }
, O# c; _) r! w' v& T8 W6 ~]

9 ~& y( E9 k% Y' ?  s/ xSimplicial complex
[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
8 H# b7 T/ h) S2 V$ C    { 1, 3, 4, 5 },
8 ]+ X$ _' I! T  x5 j7 v    { 1, 2, 3, 5 },
& i+ P9 G1 \6 x0 J' U3 \    { 2, 3, 4, 5 }
5 f( F; f+ u0 G* B! d* i6 N  i4 c]

Simplicial complex
2 v* n7 `* w% |[
& p+ u% C! F' y    { -1, 0, 1, 3 },
3 B+ Y/ P( i; g9 E6 e    { -1, 1, 2, 3 },
/ O! H- F4 b; B& t0 K$ b  b8 K    { 0, 1, 2, 3 },
; v7 l! }9 l$ t. g1 n- ]7 a    { -1, 0, 1, 2 },
6 @8 ^( Y7 P' u8 T5 B' v5 l# P* G, i    { -1, 0, 2, 3 }
6 d) r6 ?  E. Q- X2 T; b& W, f! j]
* q6 k& A5 D% {3 b
Simplicial complex
[
    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
]
  i: S' n, @/ w2 E# X- zSimplicial complex
- Q  w  Q* H+ K[
    { 0, 1, 2, 3 },
/ k6 }% g5 [3 x! h& A5 T    { 4, 5, 6, 8 },
    { 4, 5, 7, 8 },
    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
/ r; W" `+ W2 S3 y5 V; @    { -1, 0, 2, 3 },
    { 4, 5, 6, 7 },
    { 4, 6, 7, 8 },
1 H+ {8 [: ]# M" Y) B    { -1, 0, 1, 2 },
! A+ @0 q- f1 ]" ]% H    { -1, 1, 2, 3 }
5 _/ }' t$ _! S2 ]# y* M]
2 s" u: y+ {2 i1 _, T: o4 B

边界之和是怎样算出的？
    { 4, 5, 6, 7, 8 },
' r6 B$ q- C/ z: Z' M3 l8 U    { -1, 0, 1, 2, 3 }
: Y3 C8 T9 D% V