@teachinglab/omd 0.6.0 → 0.6.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (198) hide show
  1. package/README.md +257 -251
  2. package/README.old.md +137 -137
  3. package/canvas/core/canvasConfig.js +202 -202
  4. package/canvas/drawing/segment.js +167 -167
  5. package/canvas/drawing/stroke.js +385 -385
  6. package/canvas/events/eventManager.js +444 -444
  7. package/canvas/events/pointerEventHandler.js +262 -262
  8. package/canvas/index.js +48 -48
  9. package/canvas/tools/PointerTool.js +71 -71
  10. package/canvas/tools/tool.js +222 -222
  11. package/canvas/utils/boundingBox.js +377 -377
  12. package/canvas/utils/mathUtils.js +258 -258
  13. package/docs/api/configuration-options.md +198 -198
  14. package/docs/api/eventManager.md +82 -82
  15. package/docs/api/focusFrameManager.md +144 -144
  16. package/docs/api/index.md +105 -105
  17. package/docs/api/main.md +62 -62
  18. package/docs/api/omdBinaryExpressionNode.md +86 -86
  19. package/docs/api/omdCanvas.md +83 -83
  20. package/docs/api/omdConfigManager.md +112 -112
  21. package/docs/api/omdConstantNode.md +52 -52
  22. package/docs/api/omdDisplay.md +87 -87
  23. package/docs/api/omdEquationNode.md +174 -174
  24. package/docs/api/omdEquationSequenceNode.md +258 -258
  25. package/docs/api/omdEquationStack.md +192 -192
  26. package/docs/api/omdFunctionNode.md +82 -82
  27. package/docs/api/omdGroupNode.md +78 -78
  28. package/docs/api/omdHelpers.md +87 -87
  29. package/docs/api/omdLeafNode.md +85 -85
  30. package/docs/api/omdNode.md +201 -201
  31. package/docs/api/omdOperationDisplayNode.md +117 -117
  32. package/docs/api/omdOperatorNode.md +91 -91
  33. package/docs/api/omdParenthesisNode.md +133 -133
  34. package/docs/api/omdPopup.md +191 -191
  35. package/docs/api/omdPowerNode.md +131 -131
  36. package/docs/api/omdRationalNode.md +144 -144
  37. package/docs/api/omdSequenceNode.md +128 -128
  38. package/docs/api/omdSimplification.md +78 -78
  39. package/docs/api/omdSqrtNode.md +144 -144
  40. package/docs/api/omdStepVisualizer.md +146 -146
  41. package/docs/api/omdStepVisualizerHighlighting.md +65 -65
  42. package/docs/api/omdStepVisualizerInteractiveSteps.md +108 -108
  43. package/docs/api/omdStepVisualizerLayout.md +70 -70
  44. package/docs/api/omdStepVisualizerNodeUtils.md +140 -140
  45. package/docs/api/omdStepVisualizerTextBoxes.md +76 -76
  46. package/docs/api/omdToolbar.md +130 -130
  47. package/docs/api/omdTranscriptionService.md +95 -95
  48. package/docs/api/omdTreeDiff.md +169 -169
  49. package/docs/api/omdUnaryExpressionNode.md +137 -137
  50. package/docs/api/omdUtilities.md +82 -82
  51. package/docs/api/omdVariableNode.md +123 -123
  52. package/docs/api/selectTool.md +74 -74
  53. package/docs/api/simplificationEngine.md +97 -97
  54. package/docs/api/simplificationRules.md +76 -76
  55. package/docs/api/simplificationUtils.md +64 -64
  56. package/docs/api/transcribe.md +43 -43
  57. package/docs/api-reference.md +85 -85
  58. package/docs/index.html +453 -453
  59. package/docs/index.md +38 -38
  60. package/docs/omd-objects.md +258 -258
  61. package/index.js +79 -79
  62. package/jsvg/index.js +3 -0
  63. package/jsvg/jsvg.js +898 -898
  64. package/jsvg/jsvgComponents.js +357 -358
  65. package/npm-docs/DOCUMENTATION_SUMMARY.md +220 -220
  66. package/npm-docs/README.md +251 -251
  67. package/npm-docs/api/api-reference.md +85 -85
  68. package/npm-docs/api/configuration-options.md +198 -198
  69. package/npm-docs/api/eventManager.md +82 -82
  70. package/npm-docs/api/expression-nodes.md +561 -561
  71. package/npm-docs/api/focusFrameManager.md +144 -144
  72. package/npm-docs/api/index.md +105 -105
  73. package/npm-docs/api/main.md +62 -62
  74. package/npm-docs/api/omdBinaryExpressionNode.md +86 -86
  75. package/npm-docs/api/omdCanvas.md +83 -83
  76. package/npm-docs/api/omdConfigManager.md +112 -112
  77. package/npm-docs/api/omdConstantNode.md +52 -52
  78. package/npm-docs/api/omdDisplay.md +87 -87
  79. package/npm-docs/api/omdEquationNode.md +174 -174
  80. package/npm-docs/api/omdEquationSequenceNode.md +258 -258
  81. package/npm-docs/api/omdEquationStack.md +192 -192
  82. package/npm-docs/api/omdFunctionNode.md +82 -82
  83. package/npm-docs/api/omdGroupNode.md +78 -78
  84. package/npm-docs/api/omdHelpers.md +87 -87
  85. package/npm-docs/api/omdLeafNode.md +85 -85
  86. package/npm-docs/api/omdNode.md +201 -201
  87. package/npm-docs/api/omdOperationDisplayNode.md +117 -117
  88. package/npm-docs/api/omdOperatorNode.md +91 -91
  89. package/npm-docs/api/omdParenthesisNode.md +133 -133
  90. package/npm-docs/api/omdPopup.md +191 -191
  91. package/npm-docs/api/omdPowerNode.md +131 -131
  92. package/npm-docs/api/omdRationalNode.md +144 -144
  93. package/npm-docs/api/omdSequenceNode.md +128 -128
  94. package/npm-docs/api/omdSimplification.md +78 -78
  95. package/npm-docs/api/omdSqrtNode.md +144 -144
  96. package/npm-docs/api/omdStepVisualizer.md +146 -146
  97. package/npm-docs/api/omdStepVisualizerHighlighting.md +65 -65
  98. package/npm-docs/api/omdStepVisualizerInteractiveSteps.md +108 -108
  99. package/npm-docs/api/omdStepVisualizerLayout.md +70 -70
  100. package/npm-docs/api/omdStepVisualizerNodeUtils.md +140 -140
  101. package/npm-docs/api/omdStepVisualizerTextBoxes.md +76 -76
  102. package/npm-docs/api/omdToolbar.md +130 -130
  103. package/npm-docs/api/omdTranscriptionService.md +95 -95
  104. package/npm-docs/api/omdTreeDiff.md +169 -169
  105. package/npm-docs/api/omdUnaryExpressionNode.md +137 -137
  106. package/npm-docs/api/omdUtilities.md +82 -82
  107. package/npm-docs/api/omdVariableNode.md +123 -123
  108. package/npm-docs/api/selectTool.md +74 -74
  109. package/npm-docs/api/simplificationEngine.md +97 -97
  110. package/npm-docs/api/simplificationRules.md +76 -76
  111. package/npm-docs/api/simplificationUtils.md +64 -64
  112. package/npm-docs/api/transcribe.md +43 -43
  113. package/npm-docs/guides/equations.md +854 -854
  114. package/npm-docs/guides/factory-functions.md +354 -354
  115. package/npm-docs/guides/getting-started.md +318 -318
  116. package/npm-docs/guides/quick-examples.md +525 -525
  117. package/npm-docs/guides/visualizations.md +682 -682
  118. package/npm-docs/index.html +12 -0
  119. package/npm-docs/json-schemas.md +826 -826
  120. package/omd/config/omdConfigManager.js +279 -267
  121. package/omd/core/index.js +158 -158
  122. package/omd/core/omdEquationStack.js +546 -546
  123. package/omd/core/omdUtilities.js +113 -113
  124. package/omd/display/omdDisplay.js +969 -962
  125. package/omd/display/omdToolbar.js +501 -501
  126. package/omd/nodes/omdBinaryExpressionNode.js +459 -459
  127. package/omd/nodes/omdConstantNode.js +141 -141
  128. package/omd/nodes/omdEquationNode.js +1327 -1327
  129. package/omd/nodes/omdFunctionNode.js +351 -351
  130. package/omd/nodes/omdGroupNode.js +67 -67
  131. package/omd/nodes/omdLeafNode.js +76 -76
  132. package/omd/nodes/omdNode.js +556 -556
  133. package/omd/nodes/omdOperationDisplayNode.js +321 -321
  134. package/omd/nodes/omdOperatorNode.js +108 -108
  135. package/omd/nodes/omdParenthesisNode.js +292 -292
  136. package/omd/nodes/omdPowerNode.js +235 -235
  137. package/omd/nodes/omdRationalNode.js +295 -295
  138. package/omd/nodes/omdSqrtNode.js +307 -307
  139. package/omd/nodes/omdUnaryExpressionNode.js +227 -227
  140. package/omd/nodes/omdVariableNode.js +122 -122
  141. package/omd/simplification/omdSimplification.js +140 -140
  142. package/omd/simplification/omdSimplificationEngine.js +887 -887
  143. package/omd/simplification/package.json +5 -5
  144. package/omd/simplification/rules/binaryRules.js +1037 -1037
  145. package/omd/simplification/rules/functionRules.js +111 -111
  146. package/omd/simplification/rules/index.js +48 -48
  147. package/omd/simplification/rules/parenthesisRules.js +19 -19
  148. package/omd/simplification/rules/powerRules.js +143 -143
  149. package/omd/simplification/rules/rationalRules.js +725 -725
  150. package/omd/simplification/rules/sqrtRules.js +48 -48
  151. package/omd/simplification/rules/unaryRules.js +37 -37
  152. package/omd/simplification/simplificationRules.js +31 -31
  153. package/omd/simplification/simplificationUtils.js +1055 -1055
  154. package/omd/step-visualizer/omdStepVisualizer.js +947 -947
  155. package/omd/step-visualizer/omdStepVisualizerHighlighting.js +246 -246
  156. package/omd/step-visualizer/omdStepVisualizerLayout.js +892 -892
  157. package/omd/step-visualizer/omdStepVisualizerTextBoxes.js +200 -200
  158. package/omd/utils/aiNextEquationStep.js +106 -106
  159. package/omd/utils/omdNodeOverlay.js +638 -638
  160. package/omd/utils/omdPopup.js +1203 -1203
  161. package/omd/utils/omdStepVisualizerInteractiveSteps.js +684 -684
  162. package/omd/utils/omdStepVisualizerNodeUtils.js +267 -267
  163. package/omd/utils/omdTranscriptionService.js +123 -123
  164. package/omd/utils/omdTreeDiff.js +733 -733
  165. package/package.json +59 -56
  166. package/readme.html +184 -120
  167. package/src/index.js +74 -74
  168. package/src/json-schemas.md +576 -576
  169. package/src/omd-json-samples.js +147 -147
  170. package/src/omdApp.js +391 -391
  171. package/src/omdAppCanvas.js +335 -335
  172. package/src/omdBalanceHanger.js +199 -199
  173. package/src/omdColor.js +13 -13
  174. package/src/omdCoordinatePlane.js +541 -541
  175. package/src/omdExpression.js +115 -115
  176. package/src/omdFactory.js +150 -150
  177. package/src/omdFunction.js +114 -114
  178. package/src/omdMetaExpression.js +290 -290
  179. package/src/omdNaturalExpression.js +563 -563
  180. package/src/omdNode.js +383 -383
  181. package/src/omdNumber.js +52 -52
  182. package/src/omdNumberLine.js +114 -112
  183. package/src/omdNumberTile.js +118 -118
  184. package/src/omdOperator.js +72 -72
  185. package/src/omdPowerExpression.js +91 -91
  186. package/src/omdProblem.js +259 -259
  187. package/src/omdRatioChart.js +251 -251
  188. package/src/omdRationalExpression.js +114 -114
  189. package/src/omdSampleData.js +215 -215
  190. package/src/omdShapes.js +512 -512
  191. package/src/omdSpinner.js +151 -151
  192. package/src/omdString.js +49 -49
  193. package/src/omdTable.js +498 -498
  194. package/src/omdTapeDiagram.js +244 -244
  195. package/src/omdTerm.js +91 -91
  196. package/src/omdTileEquation.js +349 -349
  197. package/src/omdUtils.js +84 -84
  198. package/src/omdVariable.js +51 -51
@@ -1,123 +1,123 @@
1
- import { omdLeafNode } from "./omdLeafNode.js";
2
- import { omdColor } from "../../src/omdColor.js";
3
- import { jsvgTextLine } from '@teachinglab/jsvg';
4
- /**
5
- * Leaf node that represents a variable.
6
- * @extends omdLeafNode
7
- */
8
- export class omdVariableNode extends omdLeafNode {
9
- /**
10
- * Creates a leaf node from the AST data.
11
- * @param {Object} astNodeData - The AST node containing leaf information.
12
- */
13
- constructor(nodeData) {
14
- super(nodeData);
15
- this.type = "omdVariableNode";
16
-
17
- this.name = this.parseName(nodeData);
18
-
19
- this.textElement = super.createTextElement(this.name);
20
- }
21
-
22
- parseName(nodeData) {
23
- if (typeof nodeData === "string")
24
- return nodeData;
25
-
26
- return nodeData.name;
27
- }
28
-
29
- parseType() {
30
- return "variable";
31
- }
32
-
33
- /**
34
- * Calculates the dimensions of the node.
35
- * Adds padding around the node.
36
- * @override
37
- */
38
- computeDimensions() {
39
- super.computeDimensions();
40
-
41
- const ratio = this.getFontSize() / this.getRootFontSize();
42
- const padding = 4 * ratio;
43
- let paddedWidth = this.width + padding;
44
- let paddedHeight = this.height + padding;
45
- this.setWidthAndHeight(paddedWidth, paddedHeight);
46
- }
47
-
48
- /**
49
- * Updates the layout of the node.
50
- * @override
51
- */
52
- updateLayout() {
53
- super.updateLayout();
54
- }
55
-
56
- /**
57
- * Converts the omdVariableNode to a math.js AST node.
58
- * @returns {Object} A math.js-compatible AST node.
59
- */
60
- toMathJSNode() {
61
- const astNode = {
62
- type: 'SymbolNode',
63
- name: this.name,
64
- id: this.id,
65
- provenance: this.provenance
66
- };
67
- astNode.clone = function() {
68
- return { ...this };
69
- };
70
- return astNode;
71
- }
72
-
73
- highlight(color) {
74
- super.highlight(color);
75
- if (this.textElement) {
76
- this.textElement.setFillColor(omdColor.white);
77
- }
78
- }
79
-
80
- clearProvenanceHighlights() {
81
- super.clearProvenanceHighlights();
82
- if (this.textElement) {
83
- this.textElement.setFillColor(omdColor.text);
84
- }
85
- }
86
-
87
- /**
88
- * Converts the variable node to a string.
89
- * @returns {string} The name of the variable.
90
- */
91
- toString() {
92
- return this.name;
93
- }
94
-
95
- /**
96
- * Evaluates the variable by looking up its value in a map.
97
- * @param {Object} variables - A map of variable names to their numeric values.
98
- * @returns {number} The value of the variable.
99
- */
100
- evaluate(variables = {}) {
101
- if (Object.prototype.hasOwnProperty.call(variables, this.name)) {
102
- return variables[this.name];
103
- }
104
- throw new Error(`Variable '${this.name}' is not defined.`);
105
- }
106
-
107
- /**
108
-
109
- /**
110
- * Create a variable node from a name.
111
- * @param {string} name - The variable name
112
- * @returns {omdVariableNode}
113
- * @static
114
- */
115
- static fromName(name) {
116
- // Create a minimal AST-like object for the constructor
117
- const astNodeData = {
118
- type: 'SymbolNode',
119
- name: name
120
- };
121
- return new omdVariableNode(astNodeData);
122
- }
1
+ import { omdLeafNode } from "./omdLeafNode.js";
2
+ import { omdColor } from "../../src/omdColor.js";
3
+ import { jsvgTextLine } from '@teachinglab/jsvg';
4
+ /**
5
+ * Leaf node that represents a variable.
6
+ * @extends omdLeafNode
7
+ */
8
+ export class omdVariableNode extends omdLeafNode {
9
+ /**
10
+ * Creates a leaf node from the AST data.
11
+ * @param {Object} astNodeData - The AST node containing leaf information.
12
+ */
13
+ constructor(nodeData) {
14
+ super(nodeData);
15
+ this.type = "omdVariableNode";
16
+
17
+ this.name = this.parseName(nodeData);
18
+
19
+ this.textElement = super.createTextElement(this.name);
20
+ }
21
+
22
+ parseName(nodeData) {
23
+ if (typeof nodeData === "string")
24
+ return nodeData;
25
+
26
+ return nodeData.name;
27
+ }
28
+
29
+ parseType() {
30
+ return "variable";
31
+ }
32
+
33
+ /**
34
+ * Calculates the dimensions of the node.
35
+ * Adds padding around the node.
36
+ * @override
37
+ */
38
+ computeDimensions() {
39
+ super.computeDimensions();
40
+
41
+ const ratio = this.getFontSize() / this.getRootFontSize();
42
+ const padding = 4 * ratio;
43
+ let paddedWidth = this.width + padding;
44
+ let paddedHeight = this.height + padding;
45
+ this.setWidthAndHeight(paddedWidth, paddedHeight);
46
+ }
47
+
48
+ /**
49
+ * Updates the layout of the node.
50
+ * @override
51
+ */
52
+ updateLayout() {
53
+ super.updateLayout();
54
+ }
55
+
56
+ /**
57
+ * Converts the omdVariableNode to a math.js AST node.
58
+ * @returns {Object} A math.js-compatible AST node.
59
+ */
60
+ toMathJSNode() {
61
+ const astNode = {
62
+ type: 'SymbolNode',
63
+ name: this.name,
64
+ id: this.id,
65
+ provenance: this.provenance
66
+ };
67
+ astNode.clone = function() {
68
+ return { ...this };
69
+ };
70
+ return astNode;
71
+ }
72
+
73
+ highlight(color) {
74
+ super.highlight(color);
75
+ if (this.textElement) {
76
+ this.textElement.setFillColor(omdColor.white);
77
+ }
78
+ }
79
+
80
+ clearProvenanceHighlights() {
81
+ super.clearProvenanceHighlights();
82
+ if (this.textElement) {
83
+ this.textElement.setFillColor(omdColor.text);
84
+ }
85
+ }
86
+
87
+ /**
88
+ * Converts the variable node to a string.
89
+ * @returns {string} The name of the variable.
90
+ */
91
+ toString() {
92
+ return this.name;
93
+ }
94
+
95
+ /**
96
+ * Evaluates the variable by looking up its value in a map.
97
+ * @param {Object} variables - A map of variable names to their numeric values.
98
+ * @returns {number} The value of the variable.
99
+ */
100
+ evaluate(variables = {}) {
101
+ if (Object.prototype.hasOwnProperty.call(variables, this.name)) {
102
+ return variables[this.name];
103
+ }
104
+ throw new Error(`Variable '${this.name}' is not defined.`);
105
+ }
106
+
107
+ /**
108
+
109
+ /**
110
+ * Create a variable node from a name.
111
+ * @param {string} name - The variable name
112
+ * @returns {omdVariableNode}
113
+ * @static
114
+ */
115
+ static fromName(name) {
116
+ // Create a minimal AST-like object for the constructor
117
+ const astNodeData = {
118
+ type: 'SymbolNode',
119
+ name: name
120
+ };
121
+ return new omdVariableNode(astNodeData);
122
+ }
123
123
  }
@@ -1,141 +1,141 @@
1
- import { getRulesForNode } from './simplificationRules.js';
2
- import { setSimplifyStep } from '../nodes/omdNode.js';
3
-
4
- /**
5
- * Finds all simplification opportunities within an expression tree.
6
- * Now much faster - only checks relevant rules for each node type!
7
- * @param {omdNode} rootNode - The root of the expression tree to search.
8
- * @returns {Array<Object>} Array of simplification opportunities.
9
- */
10
- export function findSimplificationOpportunities(rootNode) {
11
- const opportunities = [];
12
- const visitedNodes = new Set();
13
-
14
- function traverse(node) {
15
- if (!node || visitedNodes.has(node)) return;
16
- visitedNodes.add(node);
17
-
18
- // Traverse children first (depth-first)
19
- if (node.childList && node.childList.length > 0) {
20
-
21
- for (const child of node.childList) {
22
- traverse(child);
23
- }
24
- }
25
-
26
- // Only check rules that apply to this node type
27
- const relevantRules = getRulesForNode(node);
28
-
29
-
30
- for (const rule of relevantRules) {
31
- const ruleData = rule.canApply(node);
32
- if (ruleData) {
33
-
34
- opportunities.push({ node, rule, ruleData });
35
- break; // Only apply the first matching rule
36
- }
37
- }
38
- }
39
-
40
- traverse(rootNode);
41
- return opportunities;
42
- }
43
-
44
- export function simplifyStep(rootNode) {
45
- let foldedCount = 0;
46
- let newRoot = rootNode;
47
- let historyEntry = null;
48
-
49
- // Find all simplification opportunities
50
- const opportunities = findSimplificationOpportunities(rootNode);
51
-
52
- if (opportunities.length > 0) {
53
- // Apply the first opportunity
54
- const opportunity = opportunities[0];
55
-
56
- try {
57
- const result = opportunity.rule.apply(opportunity.node, opportunity.ruleData, rootNode);
58
-
59
- if (result && result.success && result.newRoot) {
60
- newRoot = result.newRoot;
61
- foldedCount = 1;
62
- historyEntry = result.historyEntry || {
63
- name: opportunity.rule.name,
64
- affectedNodes: [rootNode.id],
65
- message: `Applied ${opportunity.rule.name}`
66
- };
67
- }
68
- } catch (error) {
69
- console.error(`Error applying rule '${opportunity.rule.name}':`, error);
70
- }
71
- }
72
-
73
- return { newRoot, foldedCount, historyEntry };
74
- }
75
-
76
- /**
77
- * Simplifies an entire mathematical expression tree by repeatedly applying rules.
78
- * @param {omdNode} rootNode - The root node of the expression to simplify.
79
- * @returns {{foldedCount: number, newRoot: omdNode}}
80
- */
81
- export function simplifyExpression(rootNode) {
82
- let totalFolded = 0;
83
- let currentRoot = rootNode;
84
- let iterations = 0;
85
- const maxIterations = 50; // Prevent infinite loops
86
-
87
- while (iterations < maxIterations) {
88
- const { foldedCount, newRoot } = simplifyStep(currentRoot);
89
-
90
- if (foldedCount === 0) {
91
- break; // No more simplifications possible
92
- }
93
-
94
- currentRoot = newRoot;
95
- totalFolded += foldedCount;
96
- iterations++;
97
- }
98
-
99
- // Return a fresh clone if any simplifications occurred
100
- if (totalFolded > 0) {
101
- const cleanRoot = currentRoot.clone();
102
- cleanRoot.setFontSize(rootNode.getFontSize());
103
- return { foldedCount: totalFolded, newRoot: cleanRoot };
104
- }
105
-
106
- return { foldedCount: totalFolded, newRoot: currentRoot };
107
- }
108
-
109
- /**
110
- * Debug function to show which rules are available for a node
111
- * @param {omdNode} node - The node to check
112
- * @returns {Array<string>} Array of rule names
113
- */
114
- export function getAvailableRulesForNode(node) {
115
- const rules = getRulesForNode(node);
116
- return rules.map(rule => rule.name);
117
- }
118
-
119
- /**
120
- * Debug function to show which rules can be applied to a node
121
- * @param {omdNode} node - The node to check
122
- * @returns {Array<string>} Array of applicable rule names
123
- */
124
- export function getApplicableRulesForNode(node) {
125
- const rules = getRulesForNode(node);
126
- const applicable = [];
127
-
128
- for (const rule of rules) {
129
- try {
130
- const ruleData = rule.canApply(node);
131
- if (ruleData) {
132
- applicable.push(rule.name);
133
- }
134
- } catch (error) {
135
- }
136
- }
137
-
138
- return applicable;
139
- }
140
-
1
+ import { getRulesForNode } from './simplificationRules.js';
2
+ import { setSimplifyStep } from '../nodes/omdNode.js';
3
+
4
+ /**
5
+ * Finds all simplification opportunities within an expression tree.
6
+ * Now much faster - only checks relevant rules for each node type!
7
+ * @param {omdNode} rootNode - The root of the expression tree to search.
8
+ * @returns {Array<Object>} Array of simplification opportunities.
9
+ */
10
+ export function findSimplificationOpportunities(rootNode) {
11
+ const opportunities = [];
12
+ const visitedNodes = new Set();
13
+
14
+ function traverse(node) {
15
+ if (!node || visitedNodes.has(node)) return;
16
+ visitedNodes.add(node);
17
+
18
+ // Traverse children first (depth-first)
19
+ if (node.childList && node.childList.length > 0) {
20
+
21
+ for (const child of node.childList) {
22
+ traverse(child);
23
+ }
24
+ }
25
+
26
+ // Only check rules that apply to this node type
27
+ const relevantRules = getRulesForNode(node);
28
+
29
+
30
+ for (const rule of relevantRules) {
31
+ const ruleData = rule.canApply(node);
32
+ if (ruleData) {
33
+
34
+ opportunities.push({ node, rule, ruleData });
35
+ break; // Only apply the first matching rule
36
+ }
37
+ }
38
+ }
39
+
40
+ traverse(rootNode);
41
+ return opportunities;
42
+ }
43
+
44
+ export function simplifyStep(rootNode) {
45
+ let foldedCount = 0;
46
+ let newRoot = rootNode;
47
+ let historyEntry = null;
48
+
49
+ // Find all simplification opportunities
50
+ const opportunities = findSimplificationOpportunities(rootNode);
51
+
52
+ if (opportunities.length > 0) {
53
+ // Apply the first opportunity
54
+ const opportunity = opportunities[0];
55
+
56
+ try {
57
+ const result = opportunity.rule.apply(opportunity.node, opportunity.ruleData, rootNode);
58
+
59
+ if (result && result.success && result.newRoot) {
60
+ newRoot = result.newRoot;
61
+ foldedCount = 1;
62
+ historyEntry = result.historyEntry || {
63
+ name: opportunity.rule.name,
64
+ affectedNodes: [rootNode.id],
65
+ message: `Applied ${opportunity.rule.name}`
66
+ };
67
+ }
68
+ } catch (error) {
69
+ console.error(`Error applying rule '${opportunity.rule.name}':`, error);
70
+ }
71
+ }
72
+
73
+ return { newRoot, foldedCount, historyEntry };
74
+ }
75
+
76
+ /**
77
+ * Simplifies an entire mathematical expression tree by repeatedly applying rules.
78
+ * @param {omdNode} rootNode - The root node of the expression to simplify.
79
+ * @returns {{foldedCount: number, newRoot: omdNode}}
80
+ */
81
+ export function simplifyExpression(rootNode) {
82
+ let totalFolded = 0;
83
+ let currentRoot = rootNode;
84
+ let iterations = 0;
85
+ const maxIterations = 50; // Prevent infinite loops
86
+
87
+ while (iterations < maxIterations) {
88
+ const { foldedCount, newRoot } = simplifyStep(currentRoot);
89
+
90
+ if (foldedCount === 0) {
91
+ break; // No more simplifications possible
92
+ }
93
+
94
+ currentRoot = newRoot;
95
+ totalFolded += foldedCount;
96
+ iterations++;
97
+ }
98
+
99
+ // Return a fresh clone if any simplifications occurred
100
+ if (totalFolded > 0) {
101
+ const cleanRoot = currentRoot.clone();
102
+ cleanRoot.setFontSize(rootNode.getFontSize());
103
+ return { foldedCount: totalFolded, newRoot: cleanRoot };
104
+ }
105
+
106
+ return { foldedCount: totalFolded, newRoot: currentRoot };
107
+ }
108
+
109
+ /**
110
+ * Debug function to show which rules are available for a node
111
+ * @param {omdNode} node - The node to check
112
+ * @returns {Array<string>} Array of rule names
113
+ */
114
+ export function getAvailableRulesForNode(node) {
115
+ const rules = getRulesForNode(node);
116
+ return rules.map(rule => rule.name);
117
+ }
118
+
119
+ /**
120
+ * Debug function to show which rules can be applied to a node
121
+ * @param {omdNode} node - The node to check
122
+ * @returns {Array<string>} Array of applicable rule names
123
+ */
124
+ export function getApplicableRulesForNode(node) {
125
+ const rules = getRulesForNode(node);
126
+ const applicable = [];
127
+
128
+ for (const rule of rules) {
129
+ try {
130
+ const ruleData = rule.canApply(node);
131
+ if (ruleData) {
132
+ applicable.push(rule.name);
133
+ }
134
+ } catch (error) {
135
+ }
136
+ }
137
+
138
+ return applicable;
139
+ }
140
+
141
141
  setSimplifyStep(simplifyStep);