FriCAS code
(1) -> FACTORY := SimplicialComplexFactory(Integer)
(1) SimplicialComplexFactory(Integer)
Type: Type
(2) -> b1 := sphereSolid(2)$FACTORY
(2) points 1..3
(1,2,3)
Type: FiniteSimplicialComplex(Integer)
(3) -> d1 := boundary(b1)
(3) points 1..3
(1,2)
-(1,3)
(2,3)
Type: FiniteSimplicialComplex(Integer)
(4) -> z1 := boundary(d1)
(4) [empty]
Type: FiniteSimplicialComplex(Integer)
(5) -> b2 := sphereSolid(3)$FACTORY
(5) points 1..4
(1,2,3,4)
Type: FiniteSimplicialComplex(Integer)
(6) -> d2 := boundary(b2)
(6) points 1..4
(1,2,3)
-(1,2,4)
(1,3,4)
-(2,3,4)
Type: FiniteSimplicialComplex(Integer)
(7) -> z2 := boundary(d2)
(7) [empty]
Type: FiniteSimplicialComplex(Integer)
(8) -> b3 := sphereSurface(2)$FACTORY
(8) points 1..3
(1,2)
-(1,3)
(2,3)
Type: FiniteSimplicialComplex(Integer)
(9) -> d3 := boundary(b3)
(9) [empty]
Type: FiniteSimplicialComplex(Integer)
(10) -> z3 := boundary(d3)
(10) [empty]
Type: FiniteSimplicialComplex(Integer)
(11) -> b4 := sphereSurface(3)$FACTORY
(11) points 1..4
(1,2,3)
-(1,2,4)
(1,3,4)
-(2,3,4)
Type: FiniteSimplicialComplex(Integer)
(12) -> d4 := boundary(b4)
(12) [empty]
Type: FiniteSimplicialComplex(Integer)
(13) -> z4 := boundary(d4)
(13) [empty]
Type: FiniteSimplicialComplex(Integer)
(14) -> b5 := torusSurface()$FACTORY
(14) points 1..7
(1,2,3)
(2,3,5)
(2,4,5)
(2,4,7)
(1,2,6)
(2,6,7)
(3,4,6)
(3,5,6)
(3,4,7)
(1,3,7)
(1,4,5)
(1,4,6)
(5,6,7)
(1,5,7)
Type: FiniteSimplicialComplex(Integer)
(15) -> d5 := boundary(b5)
(15) points 1..7
2*(1,2)
2*(2,3)
- 2*(2,5)
2*(3,5)
2*(2,4)
2*(4,5)
- 2*(2,7)
2*(4,7)
- 2*(1,6)
2*(2,6)
2*(6,7)
2*(3,4)
- 2*(3,6)
2*(4,6)
2*(5,6)
- 2*(1,7)
2*(1,4)
Type: FiniteSimplicialComplex(Integer)
(16) -> z5 := boundary(d5)
(16) [empty]
Type: FiniteSimplicialComplex(Integer)
(17) -> b6 := projectiveSpace(2)$FACTORY
(17) points 1..6
(1,2,3)
(1,3,4)
(1,2,6)
(1,5,6)
(1,4,5)
(2,3,5)
(2,4,5)
(2,4,6)
(3,4,6)
(3,5,6)
Type: FiniteSimplicialComplex(Integer)
(18) -> d6 := boundary(b6)
(18) points 1..6
2*(1,2)
2*(2,3)
2*(3,4)
- 2*(1,6)
2*(5,6)
2*(4,5)
- 2*(2,5)
2*(3,5)
2*(2,4)
2*(4,6)
- 2*(3,6)
Type: FiniteSimplicialComplex(Integer)
(19) -> z6 := boundary(d6)
(19) [empty]
Type: FiniteSimplicialComplex(Integer)
(20) -> b7 := kleinBottle()$FACTORY
(20) points 1..8
(3,4,8)
(2,3,4)
(2,4,6)
(2,6,8)
(2,5,8)
(3,5,7)
(2,3,7)
(1,2,7)
(1,2,5)
(1,3,5)
(4,5,8)
(4,5,7)
(4,6,7)
(1,6,7)
(1,3,6)
(3,6,8)
Type: FiniteSimplicialComplex(Integer)
(21) -> d7 := boundary(b7)
(21) points 1..8
2*(3,4)
- 2*(3,8)
2*(2,3)
2*(4,6)
- 2*(2,8)
2*(6,8)
2*(2,5)
2*(5,8)
2*(3,5)
2*(5,7)
2*(1,2)
- 2*(1,7)
- 2*(1,5)
2*(1,3)
2*(4,5)
- 2*(4,7)
2*(6,7)
2*(3,6)
Type: FiniteSimplicialComplex(Integer)
(22) -> z7 := boundary(d7)
(22) [empty]
Type: FiniteSimplicialComplex(Integer)
|
