Drawing geometric objects as shapes, and moving them
維護者通常 1 天內回覆
還沒有人認領這個 Issue。
評估
- 難度
- 5/5
- 預估耗時
- 一週以上
- 新手友好度
- 35/100
- Issue 類型
- 功能
- 描述清晰度
- 描述清楚
- 活躍度
- 活躍
- 技術堆疊
- csharp, plotly
研究方向
Start by reading the referenced issues #2149, #2151, #2150, #330, and #2148, then inspect the existing plotting support in AngouriMath.Interactive and its use of Plotly.NET. The proposed work spans geometry objects, construction dependencies, loci, branch tracking, and interactive or static rendering, so first establish which parts the parent issue provides. Done means the design is implemented across those areas, with shapes rendered and dependent constructions updating as free points move.
由索引模型根據 Issue 內容生成。
描述
Asked for on #2131: "we'd also want a design for plotting and interacting with geometry as shapes instead of equations too".
What exists. AngouriMath.Interactive plots functions with Plotly.NET: curves, polar plots and surfaces, with a slider over one parameter (Chart.withSlider). A circle can be drawn only as the curve of its equation. Nothing knows that it is a circle with a centre and a radius, or that a point was constructed from two others.
What dynamic geometry does. Interactive geometry software, as GeoGebra, Cinderella, Cabri and GCLC implement it:
- Constructions are "abstract, formal procedures and not figures", and a figure is generated from one.
- After a construction is made, "one can move the points one started with and see how the construction changes".
- Deterministic programs re-solve every step from the free points. Continuous ones, such as Cinderella and GeoGebra, follow each intersection along the path of the drag, so a branch does not jump.
A design, in four parts:
- Objects carry their geometry. A point is a pair (#2149), and
circle(O, r),line(A, B)andsegment(A, B)(#2151) know their centre, radius and ends. A renderer draws a circle as a circle (a Plotly shape, an SVG<circle>, TikZ\draw (O) circle (r)), exactly and at any zoom, without sampling an equation. - A construction is an expression.
circumcentre(A, B, C)is a node in the free points, as everything here already is. DraggingAsubstitutes its new coordinates and evaluates the dependents. The dependency graph is the expression tree, so no second model is needed. - A locus is the image of a parameter. The set a dependent point traces as a free one moves along a curve is an image set (#2150, #330). The existing slider shows the motion, and the set is the answer when one is asked for.
- Branches follow the motion. Where a construction takes a root, as an intersection of two circles does, the choice has to carry over from one position to the next, or a dragged figure jumps. That is the shared-branch question the reading of the book also found, and it belongs with the 3.0 assumption work (#2148).
Output: interactive in AngouriMath.Interactive (Plotly, dragging and sliders), and static as SVG, or as TikZ to go with Latexize.
On 3.2 with its parent #2151, since parts 1 and 2 need the pair and the object nodes first.
- 主要語言
- C#
- 星號
- 831
- 分支
- 79
- 平均合併
- 1 小時 14 分鐘
- 30 天內合併 PR
- 522
環境準備
- 沒有 Dockerfile 或 Docker Compose 檔案
- 沒有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue,再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫,在一個分支上完成修改。
- 送出 Pull Request,並在描述裡引用這個 Issue 編號。
ASC-Community/AngouriMath 的其他 Issue
-
難度 5/5 一週以上 新手友好度 45/100
ASC-Community/AngouriMath#2195 · 2 則留言 ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 35/100
ASC-Community/AngouriMath#2182 · 16 則留言 ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 35/100
ASC-Community/AngouriMath#2164 ·
維護者通常 1 天內回覆
-
難度 4/5 3-5 天 新手友好度 48/100
ASC-Community/AngouriMath#2153 ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 35/100
ASC-Community/AngouriMath#2152 ·
維護者通常 1 天內回覆
查看 ASC-Community/AngouriMath 的全部 Issue
相似的 Issue
-
bug effort:S P3
難度 2/5 1-3 小時 新手友好度 85/100
nightscout/nocturne#3093 ·
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 67/100
維護者通常 3 天內回覆
-
難度 1/5 1 小時以內 新手友好度 85/100
-
難度 2/5 1-3 小時 新手友好度 76/100
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 76/100