From 74de1696c1e333852e3ab56368dad32245e76592 Mon Sep 17 00:00:00 2001
From: PaulWalcher <EthicalMonk@proton.me>
Date: Mon, 4 Mar 2024 16:47:33 +0100
Subject: [PATCH] Testscroll

---
 source/Scrolls/Test.mmt | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 source/Scrolls/Test.mmt

diff --git a/source/Scrolls/Test.mmt b/source/Scrolls/Test.mmt
new file mode 100644
index 0000000..9361551
--- /dev/null
+++ b/source/Scrolls/Test.mmt
@@ -0,0 +1,28 @@
+
+/T Miscellaneous scrolls for playing around/testing that don't have a good home yet  ❚
+namespace http://mathhub.info/FrameIT/frameworld ❚
+fixmeta ?FrameworldMeta ❚
+theory Midpoint2 =
+    meta ?MetaAnnotations?problemTheory  ?Midpoint2/Problem ❙
+    meta ?MetaAnnotations?solutionTheory ?Midpoint2/Solution ❙
+    theory Problem =
+        P: point
+         ❘ meta ?MetaAnnotations?label "P"
+         ❘ meta ?MetaAnnotations?description "Some arbitrary input point"
+        ❙
+        Q: point
+         ❘ meta ?MetaAnnotations?label "Q"
+         ❘ meta ?MetaAnnotations?description "Some other arbitrary input point"
+        ❙
+    ❚
+    theory Solution =
+        include ?Midpoint2/Problem ❙
+        meta ?MetaAnnotations?label "Midpoint2" ❙
+        meta ?MetaAnnotations?description s"Our Midpoint2 scroll that given two points ${lverb P} and ${lverb Q} computes the Midpoint2 of the line ${lverb P Q}." ❙
+        Midpoint2: point
+                ❘ = ⟨0.5 ⋅ (P _x + Q _x), 0.5 ⋅ (P _y + Q _y), 0.5 ⋅ (P _z + Q _z)⟩
+                ❘ meta ?MetaAnnotations?label s"Mid[${lverb P Q}]"
+                ❘ meta ?MetaAnnotations?description s"The Midpoint2 between points ${lverb P} and ${lverb Q}."
+        ❙
+    ❚
+❚
\ No newline at end of file
-- 
GitLab