From dcf0d758159d8d5ca7a1f9af86f9a2b6d0f97134 Mon Sep 17 00:00:00 2001
From: Marius Kern <mariusskern@gmail.com>
Date: Tue, 5 Mar 2024 13:38:32 +0100
Subject: [PATCH] test scroll added

---
 source/DefaultSituationSpace.mmt |  1 +
 source/Scrolls/Test.mmt          | 16 ++++++++--------
 2 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/source/DefaultSituationSpace.mmt b/source/DefaultSituationSpace.mmt
index 03fe76c..a3de1b3 100644
--- a/source/DefaultSituationSpace.mmt
+++ b/source/DefaultSituationSpace.mmt
@@ -14,6 +14,7 @@ theory DefaultSituationSpace =
 		include ?CircleLineAngleToAngleScroll❙
 
         include ?Midpoint ❙
+        include ?Test ❙
         include ?CircleScroll ❙
 		include ?BouncingScroll ❙
         include ?WBouncingScroll ❙
diff --git a/source/Scrolls/Test.mmt b/source/Scrolls/Test.mmt
index 9361551..37049ba 100644
--- a/source/Scrolls/Test.mmt
+++ b/source/Scrolls/Test.mmt
@@ -2,9 +2,9 @@
 /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 Test =
+    meta ?MetaAnnotations?problemTheory  ?Test/Problem ❙
+    meta ?MetaAnnotations?solutionTheory ?Test/Solution ❙
     theory Problem =
         P: point
          ❘ meta ?MetaAnnotations?label "P"
@@ -16,13 +16,13 @@ theory Midpoint2 =
         ❙
     ❚
     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
+        include ?Test/Problem ❙
+        meta ?MetaAnnotations?label "Test" ❙
+        meta ?MetaAnnotations?description s"Our Test scroll that given two points ${lverb P} and ${lverb Q} computes the Test of the line ${lverb P Q}." ❙
+        Test: 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}."
+                ❘ meta ?MetaAnnotations?description s"The Test between points ${lverb P} and ${lverb Q}."
         ❙
     ❚
 ❚
\ No newline at end of file
-- 
GitLab