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

25 lines
513 B

# Hollow Octahedron
define @ns s - 2
-s < x < s
-s < y < s
-s < z < s
{x + y + (z - s) < 0 ∧ \
x - y + (z - s) < 0 ∧ \
-x + y + (z - s) < 0 ∧ \
-x - y + (z - s) < 0 ∧ \
x + y - (z + s) < 0 ∧ \
x - y - (z + s) < 0 ∧ \
-x + y - (z + s) < 0 ∧ \
-x - y - (z + s) < 0} \
⊻ \
{x + y + (z - @ns) < 0 ∧ \
x - y + (z - @ns) < 0 ∧ \
-x + y + (z - @ns) < 0 ∧ \
-x - y + (z - @ns) < 0 ∧ \
x + y - (z + @ns) < 0 ∧ \
x - y - (z + @ns) < 0 ∧ \
-x + y - (z + @ns) < 0 ∧ \
-x - y - (z + @ns) < 0}