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

lilianjie

X:=**x(0);
, \! Q7 w1 t; P; ]$ T. UX;
. b: w/ ~1 A% NX2:=
**x(1);X2;
X3:=**x(2);X3;
0 ^! V% Q& _. p- M* q1 CX4:=
+ ]7 i2 [! v5 ~0 d/ E**x(3);X4;
X5:=
**x(4);X5;


XX:=Normalization(X5) ;
& d4 d* y; K4 i% `' }) HXX;
: U3 j. w* g, M8 h1 kS:=Shift(XX, -2);
S;
3 x, D- X. B0 f- y6 PBoundary(X5) ;
Boundary(S) ;
" F3 R8 m! j' h2 J7 FK:=S + X5;K;

Boundary(K) ;


Simplicial complex
[
7 C) V" s9 m4 f3 W1 \! B: V    { 1 }
  X0 A. ~2 p, K$ G! j]
& [" J' R1 q, o1 r
. T8 Z: N* N  d  W; hSimplicial complex
. {( Y/ \7 k$ ~[
2 H7 q1 z$ U4 m" r/ B1 T2 C" u    { 1, 2 }
]
! |; r9 b6 d# e% p! _
Simplicial complex
[
/ M" w/ B! i4 d. B, _  H6 j( I    { 1, 2, 3 }
2 T- x# k( G( O$ c" X  S]
. E8 l; w& N: r; R9 c0 @
+ x6 Y/ n7 `& _# v9 E) W6 eSimplicial complex
[
    { 1, 2, 3, 4 }
]
5 R4 `# F( S4 r5 h# s. ~, J# h
- v1 J6 a* I) h+ {Simplicial complex
[
' X$ S9 M0 P& P5 v+ _1 L4 j3 I    { 1, 2, 3, 4, 5 }
& r: m& i% n) G7 u( v6 {! F]
, D$ a) t% d. `6 U& Q
: ?4 a0 f* }9 O, @Simplicial complex
[
    { 1, 2, 3, 4, 5 }
$ @6 N2 W$ x' q$ ]- D4 S2 M$ F]
  v8 b; K4 c" q/ s& N) K: w
. i% O/ `' O6 P" W( K9 QSimplicial complex
[
# i7 l- C3 u# a( M3 b    { -1, 0, 1, 2, 3 }
]
+ S3 H8 u) ]- j3 q
$ d8 ?, _4 S2 a/ |Simplicial complex
[
    { 1, 2, 4, 5 },
4 k$ p% n* ]" H    { 1, 2, 3, 4 },
    { 1, 3, 4, 5 },
    { 1, 2, 3, 5 },
* V1 J' g; v0 x* d% d+ n    { 2, 3, 4, 5 }
# g% q* g/ f% p7 h]
4 w% ~8 ]1 y* ~2 P8 n  h  G
Simplicial complex
[
. Y  s, X4 f% p    { -1, 0, 1, 3 },
    { -1, 1, 2, 3 },
) m0 m  Y: J, H. a* h    { 0, 1, 2, 3 },
# g1 |  H) \1 z. F8 }    { -1, 0, 1, 2 },
    { -1, 0, 2, 3 }
]

Simplicial complex
[
    { 4, 5, 6, 7, 8 },
, ~; L8 E& K2 R% P# H    { -1, 0, 1, 2, 3 }
. S$ A* k3 e0 ]1 ]9 `  S$ L]
Simplicial complex
[
2 G- B9 [( y# W+ x    { 0, 1, 2, 3 },
# s, L9 q# t# ^5 u6 a    { 4, 5, 6, 8 },
    { 4, 5, 7, 8 },
& g$ I7 q8 ^6 I    { 5, 6, 7, 8 },
    { -1, 0, 1, 3 },
    { -1, 0, 2, 3 },
    { 4, 5, 6, 7 },
. o, t' K% T# [1 k4 w  _    { 4, 6, 7, 8 },
5 H9 C1 f7 _4 p! B7 A% |    { -1, 0, 1, 2 },
+ s" Y9 [: f5 M7 ^0 Y$ X5 S    { -1, 1, 2, 3 }
]


6 V% J4 l6 N2 M  T边界之和是怎样算出的？
    { 4, 5, 6, 7, 8 },
& e+ u7 g, a2 W/ _/ J    { -1, 0, 1, 2, 3 }

% ]6 b" r) P6 {+ E" o
  E5 F3 Z% e7 T/ b! u  u# `
* b# z; O- t$ L6 _0 c3 C* y' _9 `& W