changed description

source/Scrolls/CuboidScroll.mmt

@@ -13,11 +13,11 @@ theory CuboidScroll =
 
         R: Rectangle
          ❘ meta ?MetaAnnotations?label "R"
-         ❘ meta ?MetaAnnotations?description "The given rectangle"
+         ❘ meta ?MetaAnnotations?description "The rectangle that acts as the foundation."
         ❙
         T: point
          ❘ meta ?MetaAnnotations?label "T"
-         ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the rectangle"
+         ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the right angle formed by the rectangle."
         ❙
 
 
@@ -27,7 +27,7 @@ theory CuboidScroll =
         include ?CuboidScroll/Problem ❙
         meta ?MetaAnnotations?label "Cuboid" ❙
         meta ?MetaAnnotations?description s"Given a rectangle and a top point that lies above the point in the center of the right-angle formed by the squarepoints
-                                            this scroll constructs a cuboid. Additionally you need a proof that there are two right angles between TBC and TBA" ❙
+                                            this scroll constructs a cuboid." ❙
         ConstructedCuboid : Cuboid
                 ❘ = ( CuboidCons R T )
                 ❘ meta ?MetaAnnotations?label s"Cuboid"

source/Scrolls/PrismScroll.mmt

@@ -8,31 +8,20 @@ theory PrismScroll =
     theory Problem =
         T: triangle
             ❘ meta ?MetaAnnotations?label "T"
-            ❘ meta ?MetaAnnotations?description "Triangle"
+            ❘ meta ?MetaAnnotations?description "The triangle that forms the foundation."
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "Point D"
-        ❙
-        // dAB: Σ x:ℝ . ⊦ (d- (triangle_point1 T) D) ≐ x
-         ❘ meta ?MetaAnnotations?label s"d${lverb (triangle_point1 T) D}"
-         ❘ meta ?MetaAnnotations?description s"The distance from point ${lverb (triangle_point1 T)} to point ${lverb D}"
-        ❙
-        // rDAB: ⊦ (angle_between D (triangle_point1 T) (triangle_point2 T)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label s"r${lverb D}"
-         ❘ meta ?MetaAnnotations?description s"A right angle between ${lverb D,(triangle_point1 T),(triangle_point2 T)}, where ${lverb D} is the point enclosed by ${lverb (triangle_point1 T)} and ${lverb (triangle_point1 T)}"
-        ❙
-        // rDAC: ⊦ (angle_between D (triangle_point1 T) (triangle_point3 T)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label s"r${lverb D}"
-         ❘ meta ?MetaAnnotations?description s"A right angle between ${lverb D,(triangle_point1 T),(triangle_point3 T)}, where ${lverb D} is the point enclosed by ${lverb (triangle_point1 T)} and ${lverb (triangle_point3 T)}"
+            ❘ meta ?MetaAnnotations?description "Point above one of the edgepoints of the triangle."
         ❙
+        
     ❚
 
     theory Solution =
         include ?PrismScroll/Problem ❙
 
         meta ?MetaAnnotations?label "Prism" ❙
-        meta ?MetaAnnotations?description "Scrolls that takes three points and constructs a Prism." ❙
+        meta ?MetaAnnotations?description "Scrolls that takes a triangle and a point to construct a Prism." ❙
 
         ConstructedPrism : prismType
                 ❘ = (prismCons T D)

source/Scrolls/PyramidScroll.mmt

@@ -8,11 +8,11 @@ theory PyramidScroll =
     theory Problem =
         R: Rectangle
             ❘ meta ?MetaAnnotations?label "R"
-            ❘ meta ?MetaAnnotations?description "Rectangle"
+            ❘ meta ?MetaAnnotations?description "The rectangle that forms the foundation."
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "Point D"
+            ❘ meta ?MetaAnnotations?description "Point above the rectangle."
         ❙
     ❚
 
@@ -20,7 +20,7 @@ theory PyramidScroll =
         include ?PyramidScroll/Problem ❙
 
         meta ?MetaAnnotations?label "Pyramid" ❙
-        meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙
+        meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a point to construct a Pyramid." ❙
 
         ConstructedPyramid : Pyramid
                 ❘ = (PyramidCons R D)

source/Scrolls/RectangleScroll.mmt

@@ -12,15 +12,15 @@ theory RectangleScroll =
     theory Problem =
         A: point
          ❘ meta ?MetaAnnotations?label "A"
-         ❘ meta ?MetaAnnotations?description "The first point"
+         ❘ meta ?MetaAnnotations?description "The first edge point"
         ❙
         B: point
          ❘ meta ?MetaAnnotations?label "B"
-         ❘ meta ?MetaAnnotations?description "The second point"
+         ❘ meta ?MetaAnnotations?description "The second edge point"
         ❙
         C: point
          ❘ meta ?MetaAnnotations?label "C"
-         ❘ meta ?MetaAnnotations?description "The third point"
+         ❘ meta ?MetaAnnotations?description "The third  edge point"
         ❙
 
         rABC: ⊦ (∠ A,B,C) ≐ 90.0
@@ -44,8 +44,8 @@ theory RectangleScroll =
     theory Solution =
         include ?RectangleScroll/Problem ❙
         meta ?MetaAnnotations?label "Rectangle" ❙
-        meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points
-                                            and the distances from the first to the second and the second to the third point, constructs a rectangle." ❙
+        meta ?MetaAnnotations?description s"Scrolls that takes three points, and given a right-angle fact from the first over the second to the third point,
+                                            and the distances from the first to the second, and the second to the third point, constructs a rectangle." ❙
         ConstructedRectangle : Rectangle
                 ❘ = (RectangleCons A B C)
                 ❘ meta ?MetaAnnotations?label s"Rectangle"

source/Scrolls/RectangleType.mmt

-namespace http://mathhub.info/FrameIT/frameworld ❚
-fixmeta ?FrameworldMeta ❚
-
-theory RectangleType =
-  
-  include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
-  include ?FrameITBasics ❙
-
-  rectangleType : type ❘ # Rectangle ❙
-  rectangleCons : point ⟶ point ⟶ point  ⟶ Rectangle  ❘ # RectangleCons 1 2 3 ❙
-  
-❚
\ No newline at end of file

source/Scrolls/TriangleScroll.mmt

@@ -8,19 +8,19 @@ theory TriangleScroll =
     theory Problem =
         A: point
             ❘ meta ?MetaAnnotations?label "A"
-            ❘ meta ?MetaAnnotations?description "The first point"
+            ❘ meta ?MetaAnnotations?description "The first edge point"
         ❙
         B: point
             ❘ meta ?MetaAnnotations?label "B"
-            ❘ meta ?MetaAnnotations?description "The second point"
+            ❘ meta ?MetaAnnotations?description "The second edge point"
         ❙
         C: point
             ❘ meta ?MetaAnnotations?label "C"
-            ❘ meta ?MetaAnnotations?description "The third point"
+            ❘ meta ?MetaAnnotations?description "The third edge point"
         ❙
         D: point
             ❘ meta ?MetaAnnotations?label "D"
-            ❘ meta ?MetaAnnotations?description "The fourth point"
+            ❘ meta ?MetaAnnotations?description "The fourth edge point"
         ❙
         dAB: Σ x:ℝ . ⊦ (d- A B) ≐ x
          ❘ meta ?MetaAnnotations?label s"d${lverb A B}"