diff --git a/source/DefaultSituationSpace.mmt b/source/DefaultSituationSpace.mmt index 03fe76c6bcc82a9747c1702a964c6d76f2ec36ab..a3de1b3a11676d928c923c8dfcc607cf6e704867 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 9361551bee1c40f12d9905c90471d390e0ac11ed..37049bab5f218ff6a9557ff6e9c7c91e8d2ed530 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