From e1318668f1ebe79f7b215af01f4bed049d0cd555 Mon Sep 17 00:00:00 2001
From: baletiballo <75846481+baletiballo@users.noreply.github.com>
Date: Tue, 18 Feb 2025 10:27:00 +0100
Subject: [PATCH] Change scroll-slot to be an attribute
---
source/Scrolls/TriangleScrolls.mmt | 234 ++++++++++++++---------------
1 file changed, 114 insertions(+), 120 deletions(-)
diff --git a/source/Scrolls/TriangleScrolls.mmt b/source/Scrolls/TriangleScrolls.mmt
index ea91c89..a9c27ef 100644
--- a/source/Scrolls/TriangleScrolls.mmt
+++ b/source/Scrolls/TriangleScrolls.mmt
@@ -105,126 +105,120 @@ theory OppositeLen =
meta ?MetaAnnotations?label "OppositeLen" â™
meta ?MetaAnnotations?description s"<scroll-description title='OppositeLenScroll' alt='Given a triangle △${lverb A B C} right-angled at ⊾${lverb C}, the opposite side has length ${lverb deducedLineCA} = tan(${lverb angleB}) ⋅ ${lverb B C}.'>
<span>Given a triangle</span>
- <math>
- <mi>△<!-- â–³ --></mi>
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?A</scroll-slot>
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?B</scroll-slot>
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?C</scroll-slot>
- </math>
- <span>right-angled at</span>
- <math>
- <!--<mi>⦝</mi>--><!-- ⦠-->
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC</scroll-slot>
- </math>,<br />
- <span>the opposite side has length</span>
- <math>
- <scroll-solution>http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA</scroll-solution>
- <mo>=</mo>
- <mrow>
- <mi>tan</mi>
- <!--<mo>⁡</mo>-->
- <mo>(</mo>
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB</scroll-slot>
- <mo>)</mo>
- </mrow>
- <mo>⁢</mo>
- <scroll-slot>http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC</scroll-slot>
- </math>
- <span>.</span>
- <div>
- <svg
- width='50mm'
- height='45mm'
- viewBox='35 0 90 70'
- version='1.1'
- id='triangle'
- xmlns='http://www.w3.org/2000/svg'
- xmlns:svg='http://www.w3.org/2000/svg'>
- <g id='shape'>
- <path
- style='fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1'
- d='M 42.871972,64.67128 H 84.290656 V 7.6297578 Z'
- id='triangle' />
- <path
- id='angleABC'
- style='fill:none;stroke:#000000;stroke-width:0.265;stroke-dasharray:none;stroke-opacity:1'
- d='m 46.024276,60.304806 a 5.3589964,5.3589964 0 0 1 2.252109,4.366474 h -5.358996 z' />
- <g
- id='angleBCA'>
- <path
- style='fill:none;stroke:#000000;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
- id='rightAngle'
- d='m 78.972396,64.665062 a 5.3308268,5.3308268 0 0 1 5.330827,-5.330827 v 5.330827 z' />
- <circle
- style='fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
- id='rightAngleDot'
- cx='82.081886'
- cy='62.813831'
- r='0.32113415' />
- </g>
- </g>
- <g
- id='labels'
- style='font-size:4.23333px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583'
- >
- <text
- xml:space='preserve'
- x='39.242592'
- y='67.117035'
- id='pointB'
- style='fill:#0000ff'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'>${lverb B}</text>
- <text
- xml:space='preserve'
- x='85.100548'
- y='68.080437'
- id='pointC'
- style='fill:#0000ff'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'>${lverb C}</text>
- <text
- xml:space='preserve'
- x='84.650963'
- y='6.551136'
- id='pointA'
- style='fill:#0000ff'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'>${lverb A}</text>
- <text
- xml:space='preserve'
- x='48.234348'
- y='62.492699'
- id='angleAtB'
- style='fill:#ffcc00'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'>${lverb angleB}</text>
- <text
- xml:space='preserve'
- x='71.548683'
- y='60.951256'
- id='rightAngleAtC'
- style='fill:#ffcc00'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'>${lverb rightAngleC}</text>
- <text
- xml:space='preserve'
- x='59.409813'
- y='68.273117'
- id='distanceBC'
- style='fill:#008000'
- dropzone='copy'
- data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'>${lverb distanceBC}</text>
- <text
- xml:space='preserve'
- x='84.972092'
- y='35.260529'
- id='solutionCA'
- style='fill:#008000'
- data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'>${lverb deducedLineCA}</text>
- </g>
- </svg>
- </div>
+ <math>
+ <mi>△<!-- â–³ --></mi>
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'></mi>
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'></mi>
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'></mi>
+ </math>
+ <span>right-angled at</span>
+ <math>
+ <!--<mi>⦝</mi>--><!-- ⦠-->
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'></mi>
+ </math>,<br />
+ <span>the opposite side has length</span>
+ <math>
+ <mi data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'></mi>
+ <mo>=</mo>
+ <mrow>
+ <mi>tan</mi>
+ <!--<mo>⁡</mo>-->
+ <mo>(</mo>
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'></mi>
+ <mo>)</mo>
+ </mrow>
+ <mo>⁢</mo>
+ <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'></mi>
+ </math>
+ <span>.</span>
+ <div>
+ <svg
+ width='50mm'
+ height='45mm'
+ viewBox='35 0 90 70'
+ version='1.1'
+ id='triangle'
+ xmlns='http://www.w3.org/2000/svg'
+ xmlns:svg='http://www.w3.org/2000/svg'>
+ <g id='shape'>
+ <path
+ style='fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1'
+ d='M 42.871972,64.67128 H 84.290656 V 7.6297578 Z'
+ id='triangle' />
+ <path
+ id='angleABC'
+ style='fill:none;stroke:#000000;stroke-width:0.265;stroke-dasharray:none;stroke-opacity:1'
+ d='m 46.024276,60.304806 a 5.3589964,5.3589964 0 0 1 2.252109,4.366474 h -5.358996 z' />
+ <g
+ id='angleBCA'>
+ <path
+ style='fill:none;stroke:#000000;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
+ id='rightAngle'
+ d='m 78.972396,64.665062 a 5.3308268,5.3308268 0 0 1 5.330827,-5.330827 v 5.330827 z' />
+ <circle
+ style='fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
+ id='rightAngleDot'
+ cx='82.081886'
+ cy='62.813831'
+ r='0.32113415' />
+ </g>
+ </g>
+ <g
+ id='labels'
+ style='font-size:4.23333px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583'
+ >
+ <text
+ xml:space='preserve'
+ x='39.242592'
+ y='67.117035'
+ id='pointB'
+ style='fill:#0000ff'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'>${lverb B}</text>
+ <text
+ xml:space='preserve'
+ x='85.100548'
+ y='68.080437'
+ id='pointC'
+ style='fill:#0000ff'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'>${lverb C}</text>
+ <text
+ xml:space='preserve'
+ x='84.650963'
+ y='6.551136'
+ id='pointA'
+ style='fill:#0000ff'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'>${lverb A}</text>
+ <text
+ xml:space='preserve'
+ x='48.234348'
+ y='62.492699'
+ id='angleAtB'
+ style='fill:#ffcc00'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'>${lverb angleB}</text>
+ <text
+ xml:space='preserve'
+ x='71.548683'
+ y='60.951256'
+ id='rightAngleAtC'
+ style='fill:#ffcc00'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'>${lverb rightAngleC}</text>
+ <text
+ xml:space='preserve'
+ x='59.409813'
+ y='68.273117'
+ id='distanceBC'
+ style='fill:#008000'
+ data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'>${lverb distanceBC}</text>
+ <text
+ xml:space='preserve'
+ x='84.972092'
+ y='35.260529'
+ id='solutionCA'
+ style='fill:#008000'
+ data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'>${lverb deducedLineCA}</text>
+ </g>
+ </svg>
+ </div>
</scroll-description>" â™
âš
âš
--
GitLab