/usr/share/sagemath/ext/kenzo/S4.txt is in sagemath-common 8.1-7ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | ;; The 4-sphere.
* (show-structure S4 4)
Dimension = 0:
Vertices : (*)
Dimension = 1:
Dimension = 2:
Dimension = 3:
Dimension = 4:
Simplex : S4
Faces : (<AbSm 2-1-0 *> <AbSm 2-1-0 *> <AbSm 2-1-0 *> <AbSm 2-1-0 *> <AbSm 2-1-0 *>)
|