diff --git a/source/Scrolls/Test.mmt b/source/Scrolls/Test.mmt new file mode 100644 index 0000000000000000000000000000000000000000..9361551bee1c40f12d9905c90471d390e0ac11ed --- /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