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

lilianjie

X:=**x(0);
X;
4 [) W, ~/ M1 B( A% G% A$ yX2:=
. r+ `! `4 {% L% z2 ~**x(1);X2;
X3:=**x(2);X3;
X4:=
% a! t/ V5 U; t( Y**x(3);X4;
" e) n3 Q3 U$ o4 s2 Y5 FX5:=
**x(4);X5;


XX:=Normalization(X5) ;
  Q) m. y, J5 ]. _0 }& PXX;
S:=Shift(XX, -2);
" |6 j& M/ ^$ V+ n) KS;
Boundary(X5) ;
Boundary(S) ;
4 j2 I* Q, b4 oK:=S + X5;K;

6 N8 U- s) u: i* G" l& ^' l2 mBoundary(K) ;


/ k5 U- n; P9 u8 i2 ]" `  l. v9 qSimplicial complex
1 n- A# w* p' q4 R[
    { 1 }
]
: |! y" |$ S% ?& G
Simplicial complex
[
! D% E. M/ z8 d! |- X9 r$ |( }    { 1, 2 }
2 j3 B& \& D1 p0 y]
% Z- A* }  l; E7 Z  b. R* u
Simplicial complex
, a! C8 `3 ~% c[
    { 1, 2, 3 }
6 b' j  ]; s! O; ?3 b/ @. Q]
. D3 _( {& y' C0 b: i; b
Simplicial complex
[
    { 1, 2, 3, 4 }
# [, T" e/ H5 @0 H# A2 h]
9 m5 F  U- A6 s- f1 M
Simplicial complex
; G& _! Q  w) ~  ~/ z[
    { 1, 2, 3, 4, 5 }
]
1 Y; k3 G: q' ?6 U. R
Simplicial complex
[
7 ~# K% o% o  U, k  l% d4 @5 W    { 1, 2, 3, 4, 5 }
; G# g6 \: N* C6 k]

/ I5 ^* i) \) M+ D6 A" o) |  F, fSimplicial complex
[
    { -1, 0, 1, 2, 3 }
]
6 K3 ^0 Y  ]/ c  X6 F, @9 p
Simplicial complex
[
    { 1, 2, 4, 5 },
    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
7 {8 _  X. v+ O3 z- k; D" \    { 2, 3, 4, 5 }
* r9 C# {! k, J( E]

Simplicial complex
% W1 o0 q5 m  C[
/ M/ J+ o) V# O# P+ ^    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
    { 0, 1, 2, 3 },
    { -1, 0, 1, 2 },
8 p) @% C! a5 S- f    { -1, 0, 2, 3 }
]
' _( r0 b/ P! X
Simplicial complex
5 |( R- G  q5 V- z+ L% I! s[
- v& _* d( L( P3 c5 x' P* K9 y6 k( X    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
]
2 d* Q1 F! D7 vSimplicial complex
[
0 N% T' t- G* x# C    { 0, 1, 2, 3 },
    { 4, 5, 6, 8 },
    { 4, 5, 7, 8 },
    { 5, 6, 7, 8 },
% s% M5 m' B1 N3 _0 a4 W% Q. d; u    { -1, 0, 1, 3 },
    { -1, 0, 2, 3 },
' a+ R( r: h! S: a. l    { 4, 5, 6, 7 },
! d6 t' U  m  i    { 4, 6, 7, 8 },
    { -1, 0, 1, 2 },
    { -1, 1, 2, 3 }
" k, F; i; i; J% N* Z5 X1 w]
7 s' s# C7 ?" s1 {) M

  \4 x& N, e: `8 o5 N2 j边界之和是怎样算出的？
* e' H: u1 y! ~) }    { 4, 5, 6, 7, 8 },
    { -1, 0, 1, 2, 3 }
& E% l9 t% j; ~- U# n3 J& |; d
$ F- a" \( [4 q2 G

+ ~- m; ~- t$ E' y