From 638ef002682c48fd19654ce1e5cf267a6b60a0b9 Mon Sep 17 00:00:00 2001
From: raffitz <raf.a.m.c.gon@gmail.com>
Date: Sat, 27 Mar 2021 00:32:10 +0000
Subject: [PATCH] Add hollow twisty triangle torus examples

---
 examples/hollow_rtt.solid    | 18 ++++++++++++++++++
 examples/hollow_rtt_t1.solid | 18 ++++++++++++++++++
 examples/hollow_rtt_t2.solid | 18 ++++++++++++++++++
 examples/hollow_rtt_t6.solid | 18 ++++++++++++++++++
 4 files changed, 72 insertions(+)
 create mode 100644 examples/hollow_rtt.solid
 create mode 100644 examples/hollow_rtt_t1.solid
 create mode 100644 examples/hollow_rtt_t2.solid
 create mode 100644 examples/hollow_rtt_t6.solid

diff --git a/examples/hollow_rtt.solid b/examples/hollow_rtt.solid
new file mode 100644
index 0000000..6c55c88
--- /dev/null
+++ b/examples/hollow_rtt.solid
@@ -0,0 +1,18 @@
+# Rotating triangle torus
+
+define @angle0 φ
+define @angle1 φ + ⅓π
+define @angle2 φ + 2 * ⅓π
+define @angle3 φ + π
+define @angle4 φ + π + ⅓π
+define @angle5 φ + 2π - ⅓π
+
+define @exp1 (ρ - (3 * s) - s * (cos @angle0)) * (cos @angle1) + (z - s * (sin @angle0)) * (sin @angle1)
+define @exp2 (ρ - (3 * s) - s * (cos @angle2)) * (cos @angle3) + (z - s * (sin @angle2)) * (sin @angle3)
+define @exp3 (ρ - (3 * s) - s * (cos @angle4)) * (cos @angle5) + (z - s * (sin @angle4)) * (sin @angle5)
+
+-5 * s < x < 5 * s
+-5 * s < y < 5 * s
+-s < z < s
+
+{@exp1 < 0 and @exp2 < 0 and @exp3 < 0} xor {@exp1 < -1 and @exp2 < -2 and @exp3 < -1}
diff --git a/examples/hollow_rtt_t1.solid b/examples/hollow_rtt_t1.solid
new file mode 100644
index 0000000..fc46102
--- /dev/null
+++ b/examples/hollow_rtt_t1.solid
@@ -0,0 +1,18 @@
+# Rotating triangle torus
+
+define @angle0 (1/3) * φ
+define @angle1 (1/3) * φ + ⅓π
+define @angle2 (1/3) * φ + 2 * ⅓π
+define @angle3 (1/3) * φ + π
+define @angle4 (1/3) * φ + π + ⅓π
+define @angle5 (1/3) * φ + 2π - ⅓π
+
+define @exp1 (ρ - (3 * s) - s * (cos @angle0)) * (cos @angle1) + (z - s * (sin @angle0)) * (sin @angle1)
+define @exp2 (ρ - (3 * s) - s * (cos @angle2)) * (cos @angle3) + (z - s * (sin @angle2)) * (sin @angle3)
+define @exp3 (ρ - (3 * s) - s * (cos @angle4)) * (cos @angle5) + (z - s * (sin @angle4)) * (sin @angle5)
+
+-5 * s < x < 5 * s
+-5 * s < y < 5 * s
+-s < z < s
+
+{@exp1 < 0 and @exp2 < 0 and @exp3 < 0} xor {@exp1 < -1 and @exp2 < -2 and @exp3 < -1}
diff --git a/examples/hollow_rtt_t2.solid b/examples/hollow_rtt_t2.solid
new file mode 100644
index 0000000..6bb7247
--- /dev/null
+++ b/examples/hollow_rtt_t2.solid
@@ -0,0 +1,18 @@
+# Rotating triangle torus
+
+define @angle0 (2/3) * φ
+define @angle1 (2/3) * φ + ⅓π
+define @angle2 (2/3) * φ + 2 * ⅓π
+define @angle3 (2/3) * φ + π
+define @angle4 (2/3) * φ + π + ⅓π
+define @angle5 (2/3) * φ + 2π - ⅓π
+
+define @exp1 (ρ - (3 * s) - s * (cos @angle0)) * (cos @angle1) + (z - s * (sin @angle0)) * (sin @angle1)
+define @exp2 (ρ - (3 * s) - s * (cos @angle2)) * (cos @angle3) + (z - s * (sin @angle2)) * (sin @angle3)
+define @exp3 (ρ - (3 * s) - s * (cos @angle4)) * (cos @angle5) + (z - s * (sin @angle4)) * (sin @angle5)
+
+-5 * s < x < 5 * s
+-5 * s < y < 5 * s
+-s < z < s
+
+{@exp1 < 0 and @exp2 < 0 and @exp3 < 0} xor {@exp1 < -1 and @exp2 < -2 and @exp3 < -1}
diff --git a/examples/hollow_rtt_t6.solid b/examples/hollow_rtt_t6.solid
new file mode 100644
index 0000000..b147362
--- /dev/null
+++ b/examples/hollow_rtt_t6.solid
@@ -0,0 +1,18 @@
+# Rotating triangle torus
+
+define @angle0 2 * φ
+define @angle1 2 * φ + ⅓π
+define @angle2 2 * φ + 2 * ⅓π
+define @angle3 2 * φ + π
+define @angle4 2 * φ + π + ⅓π
+define @angle5 2 * φ + 2π - ⅓π
+
+define @exp1 (ρ - (3 * s) - s * (cos @angle0)) * (cos @angle1) + (z - s * (sin @angle0)) * (sin @angle1)
+define @exp2 (ρ - (3 * s) - s * (cos @angle2)) * (cos @angle3) + (z - s * (sin @angle2)) * (sin @angle3)
+define @exp3 (ρ - (3 * s) - s * (cos @angle4)) * (cos @angle5) + (z - s * (sin @angle4)) * (sin @angle5)
+
+-5 * s < x < 5 * s
+-5 * s < y < 5 * s
+-s < z < s
+
+{@exp1 < 0 and @exp2 < 0 and @exp3 < 0} xor {@exp1 < -1 and @exp2 < -2 and @exp3 < -1}