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.
26 lines
513 B
26 lines
513 B
3 years ago
|
# 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}
|