You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

28 lines
480 B
Plaintext

6 years ago
# The facets of a self-dual 4-dim regular polytope
# with 24 octahedron facets. Taken from cddlib.
# Format b + Ax >= 0
1 1 1 1 1
1 1 1 1 -1
1 1 1 -1 1
1 1 1 -1 -1
1 1 -1 1 1
1 1 -1 1 -1
1 1 -1 -1 1
1 1 -1 -1 -1
1 -1 1 1 1
1 -1 1 1 -1
1 -1 1 -1 1
1 -1 1 -1 -1
1 -1 -1 1 1
1 -1 -1 1 -1
1 -1 -1 -1 1
1 -1 -1 -1 -1
1 2 0 0 0
1 0 2 0 0
1 0 0 2 0
1 0 0 0 2
1 -2 0 0 0
1 0 -2 0 0
1 0 0 -2 0
1 0 0 0 -2