Skip to content
Snippets Groups Projects
Commit e1318668 authored by baletiballo's avatar baletiballo
Browse files

Change scroll-slot to be an attribute

parent 4616c800
Branches devel
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/TriangleScrolls.mmt
+ 114
− 120
View file @ e1318668
...@@ -105,126 +105,120 @@ theory OppositeLen = ...@@ -105,126 +105,120 @@ theory OppositeLen =
meta ?MetaAnnotations?label "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}.'> 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> <span>Given a triangle</span>
<math> <math>
<mi>&xutri;<!-- △ --></mi> <mi>&xutri;<!-- △ --></mi>
<scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?A</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'></mi>
<scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?B</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'></mi>
<scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem?C</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'></mi>
</math> </math>
<span>right-angled at</span> <span>right-angled at</span>
<math> <math>
<!--<mi>&angrtvbd;</mi>--><!-- ⦝ --> <!--<mi>&angrtvbd;</mi>--><!-- ⦝ -->
<scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'></mi>
</math>,<br /> </math>,<br />
<span>the opposite side has length</span> <span>the opposite side has length</span>
<math> <math>
<scroll-solution>http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA</scroll-solution> <mi data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'></mi>
<mo>&equals;</mo> <mo>&equals;</mo>
<mrow> <mrow>
<mi>tan</mi> <mi>tan</mi>
<!--<mo>&#8289;</mo>--> <!--<mo>&#8289;</mo>-->
<mo>(</mo> <mo>(</mo>
<scroll-slot>http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'></mi>
<mo>)</mo> <mo>)</mo>
</mrow> </mrow>
<mo>&#8290;</mo> <mo>&#8290;</mo>
<scroll-slot>http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC</scroll-slot> <mi data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'></mi>
</math> </math>
<span>.</span> <span>.</span>
<div> <div>
<svg <svg
width='50mm' width='50mm'
height='45mm' height='45mm'
viewBox='35 0 90 70' viewBox='35 0 90 70'
version='1.1' version='1.1'
id='triangle' id='triangle'
xmlns='http://www.w3.org/2000/svg' xmlns='http://www.w3.org/2000/svg'
xmlns:svg='http://www.w3.org/2000/svg'> xmlns:svg='http://www.w3.org/2000/svg'>
<g id='shape'> <g id='shape'>
<path <path
style='fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1' 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' d='M 42.871972,64.67128 H 84.290656 V 7.6297578 Z'
id='triangle' /> id='triangle' />
<path <path
id='angleABC' id='angleABC'
style='fill:none;stroke:#000000;stroke-width:0.265;stroke-dasharray:none;stroke-opacity:1' 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' /> d='m 46.024276,60.304806 a 5.3589964,5.3589964 0 0 1 2.252109,4.366474 h -5.358996 z' />
<g <g
id='angleBCA'> id='angleBCA'>
<path <path
style='fill:none;stroke:#000000;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1' style='fill:none;stroke:#000000;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
id='rightAngle' id='rightAngle'
d='m 78.972396,64.665062 a 5.3308268,5.3308268 0 0 1 5.330827,-5.330827 v 5.330827 z' /> d='m 78.972396,64.665062 a 5.3308268,5.3308268 0 0 1 5.330827,-5.330827 v 5.330827 z' />
<circle <circle
style='fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1' style='fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264999;stroke-dasharray:none;stroke-opacity:1'
id='rightAngleDot' id='rightAngleDot'
cx='82.081886' cx='82.081886'
cy='62.813831' cy='62.813831'
r='0.32113415' /> r='0.32113415' />
</g> </g>
</g> </g>
<g <g
id='labels' 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' style='font-size:4.23333px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583'
> >
<text <text
xml:space='preserve' xml:space='preserve'
x='39.242592' x='39.242592'
y='67.117035' y='67.117035'
id='pointB' id='pointB'
style='fill:#0000ff' style='fill:#0000ff'
dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'>${lverb B}</text>
data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'>${lverb B}</text> <text
<text xml:space='preserve'
xml:space='preserve' x='85.100548'
x='85.100548' y='68.080437'
y='68.080437' id='pointC'
id='pointC' style='fill:#0000ff'
style='fill:#0000ff' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'>${lverb C}</text>
dropzone='copy' <text
data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'>${lverb C}</text> xml:space='preserve'
<text x='84.650963'
xml:space='preserve' y='6.551136'
x='84.650963' id='pointA'
y='6.551136' style='fill:#0000ff'
id='pointA' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'>${lverb A}</text>
style='fill:#0000ff' <text
dropzone='copy' xml:space='preserve'
data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'>${lverb A}</text> x='48.234348'
<text y='62.492699'
xml:space='preserve' id='angleAtB'
x='48.234348' style='fill:#ffcc00'
y='62.492699' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'>${lverb angleB}</text>
id='angleAtB' <text
style='fill:#ffcc00' xml:space='preserve'
dropzone='copy' x='71.548683'
data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'>${lverb angleB}</text> y='60.951256'
<text id='rightAngleAtC'
xml:space='preserve' style='fill:#ffcc00'
x='71.548683' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'>${lverb rightAngleC}</text>
y='60.951256' <text
id='rightAngleAtC' xml:space='preserve'
style='fill:#ffcc00' x='59.409813'
dropzone='copy' y='68.273117'
data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'>${lverb rightAngleC}</text> id='distanceBC'
<text style='fill:#008000'
xml:space='preserve' data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'>${lverb distanceBC}</text>
x='59.409813' <text
y='68.273117' xml:space='preserve'
id='distanceBC' x='84.972092'
style='fill:#008000' y='35.260529'
dropzone='copy' id='solutionCA'
data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'>${lverb distanceBC}</text> style='fill:#008000'
<text data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'>${lverb deducedLineCA}</text>
xml:space='preserve' </g>
x='84.972092' </svg>
y='35.260529' </div>
id='solutionCA'
style='fill:#008000'
data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'>${lverb deducedLineCA}</text>
</g>
</svg>
</div>
</scroll-description>" ❙ </scroll-description>" ❙
❚ ❚
❚ ❚
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment