@teachinglab/omd 0.6.1 → 0.6.3
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.
- package/README.md +257 -251
- package/README.old.md +137 -137
- package/canvas/core/canvasConfig.js +202 -202
- package/canvas/drawing/segment.js +167 -167
- package/canvas/drawing/stroke.js +385 -385
- package/canvas/events/eventManager.js +444 -444
- package/canvas/events/pointerEventHandler.js +262 -262
- package/canvas/index.js +48 -48
- package/canvas/tools/PointerTool.js +71 -71
- package/canvas/tools/tool.js +222 -222
- package/canvas/utils/boundingBox.js +377 -377
- package/canvas/utils/mathUtils.js +258 -258
- package/docs/api/configuration-options.md +198 -198
- package/docs/api/eventManager.md +82 -82
- package/docs/api/focusFrameManager.md +144 -144
- package/docs/api/index.md +105 -105
- package/docs/api/main.md +62 -62
- package/docs/api/omdBinaryExpressionNode.md +86 -86
- package/docs/api/omdCanvas.md +83 -83
- package/docs/api/omdConfigManager.md +112 -112
- package/docs/api/omdConstantNode.md +52 -52
- package/docs/api/omdDisplay.md +87 -87
- package/docs/api/omdEquationNode.md +174 -174
- package/docs/api/omdEquationSequenceNode.md +258 -258
- package/docs/api/omdEquationStack.md +192 -192
- package/docs/api/omdFunctionNode.md +82 -82
- package/docs/api/omdGroupNode.md +78 -78
- package/docs/api/omdHelpers.md +87 -87
- package/docs/api/omdLeafNode.md +85 -85
- package/docs/api/omdNode.md +201 -201
- package/docs/api/omdOperationDisplayNode.md +117 -117
- package/docs/api/omdOperatorNode.md +91 -91
- package/docs/api/omdParenthesisNode.md +133 -133
- package/docs/api/omdPopup.md +191 -191
- package/docs/api/omdPowerNode.md +131 -131
- package/docs/api/omdRationalNode.md +144 -144
- package/docs/api/omdSequenceNode.md +128 -128
- package/docs/api/omdSimplification.md +78 -78
- package/docs/api/omdSqrtNode.md +144 -144
- package/docs/api/omdStepVisualizer.md +146 -146
- package/docs/api/omdStepVisualizerHighlighting.md +65 -65
- package/docs/api/omdStepVisualizerInteractiveSteps.md +108 -108
- package/docs/api/omdStepVisualizerLayout.md +70 -70
- package/docs/api/omdStepVisualizerNodeUtils.md +140 -140
- package/docs/api/omdStepVisualizerTextBoxes.md +76 -76
- package/docs/api/omdToolbar.md +130 -130
- package/docs/api/omdTranscriptionService.md +95 -95
- package/docs/api/omdTreeDiff.md +169 -169
- package/docs/api/omdUnaryExpressionNode.md +137 -137
- package/docs/api/omdUtilities.md +82 -82
- package/docs/api/omdVariableNode.md +123 -123
- package/docs/api/selectTool.md +74 -74
- package/docs/api/simplificationEngine.md +97 -97
- package/docs/api/simplificationRules.md +76 -76
- package/docs/api/simplificationUtils.md +64 -64
- package/docs/api/transcribe.md +43 -43
- package/docs/api-reference.md +85 -85
- package/docs/index.html +453 -453
- package/docs/index.md +38 -38
- package/docs/omd-objects.md +258 -258
- package/index.js +79 -79
- package/jsvg/index.js +3 -0
- package/jsvg/jsvg.js +898 -898
- package/jsvg/jsvgComponents.js +357 -358
- package/npm-docs/DOCUMENTATION_SUMMARY.md +220 -220
- package/npm-docs/README.md +251 -251
- package/npm-docs/api/api-reference.md +85 -85
- package/npm-docs/api/configuration-options.md +198 -198
- package/npm-docs/api/eventManager.md +82 -82
- package/npm-docs/api/expression-nodes.md +561 -561
- package/npm-docs/api/focusFrameManager.md +144 -144
- package/npm-docs/api/index.md +105 -105
- package/npm-docs/api/main.md +62 -62
- package/npm-docs/api/omdBinaryExpressionNode.md +86 -86
- package/npm-docs/api/omdCanvas.md +83 -83
- package/npm-docs/api/omdConfigManager.md +112 -112
- package/npm-docs/api/omdConstantNode.md +52 -52
- package/npm-docs/api/omdDisplay.md +87 -87
- package/npm-docs/api/omdEquationNode.md +174 -174
- package/npm-docs/api/omdEquationSequenceNode.md +258 -258
- package/npm-docs/api/omdEquationStack.md +192 -192
- package/npm-docs/api/omdFunctionNode.md +82 -82
- package/npm-docs/api/omdGroupNode.md +78 -78
- package/npm-docs/api/omdHelpers.md +87 -87
- package/npm-docs/api/omdLeafNode.md +85 -85
- package/npm-docs/api/omdNode.md +201 -201
- package/npm-docs/api/omdOperationDisplayNode.md +117 -117
- package/npm-docs/api/omdOperatorNode.md +91 -91
- package/npm-docs/api/omdParenthesisNode.md +133 -133
- package/npm-docs/api/omdPopup.md +191 -191
- package/npm-docs/api/omdPowerNode.md +131 -131
- package/npm-docs/api/omdRationalNode.md +144 -144
- package/npm-docs/api/omdSequenceNode.md +128 -128
- package/npm-docs/api/omdSimplification.md +78 -78
- package/npm-docs/api/omdSqrtNode.md +144 -144
- package/npm-docs/api/omdStepVisualizer.md +146 -146
- package/npm-docs/api/omdStepVisualizerHighlighting.md +65 -65
- package/npm-docs/api/omdStepVisualizerInteractiveSteps.md +108 -108
- package/npm-docs/api/omdStepVisualizerLayout.md +70 -70
- package/npm-docs/api/omdStepVisualizerNodeUtils.md +140 -140
- package/npm-docs/api/omdStepVisualizerTextBoxes.md +76 -76
- package/npm-docs/api/omdToolbar.md +130 -130
- package/npm-docs/api/omdTranscriptionService.md +95 -95
- package/npm-docs/api/omdTreeDiff.md +169 -169
- package/npm-docs/api/omdUnaryExpressionNode.md +137 -137
- package/npm-docs/api/omdUtilities.md +82 -82
- package/npm-docs/api/omdVariableNode.md +123 -123
- package/npm-docs/api/selectTool.md +74 -74
- package/npm-docs/api/simplificationEngine.md +97 -97
- package/npm-docs/api/simplificationRules.md +76 -76
- package/npm-docs/api/simplificationUtils.md +64 -64
- package/npm-docs/api/transcribe.md +43 -43
- package/npm-docs/guides/equations.md +854 -854
- package/npm-docs/guides/factory-functions.md +354 -354
- package/npm-docs/guides/getting-started.md +318 -318
- package/npm-docs/guides/quick-examples.md +525 -525
- package/npm-docs/guides/visualizations.md +682 -682
- package/npm-docs/index.html +12 -0
- package/npm-docs/json-schemas.md +826 -826
- package/omd/config/omdConfigManager.js +279 -267
- package/omd/core/index.js +158 -158
- package/omd/core/omdEquationStack.js +606 -547
- package/omd/core/omdUtilities.js +113 -113
- package/omd/display/omdDisplay.js +1045 -963
- package/omd/display/omdToolbar.js +501 -501
- package/omd/nodes/omdBinaryExpressionNode.js +459 -459
- package/omd/nodes/omdConstantNode.js +141 -141
- package/omd/nodes/omdEquationNode.js +1327 -1327
- package/omd/nodes/omdFunctionNode.js +351 -351
- package/omd/nodes/omdGroupNode.js +67 -67
- package/omd/nodes/omdLeafNode.js +76 -76
- package/omd/nodes/omdNode.js +556 -556
- package/omd/nodes/omdOperationDisplayNode.js +321 -321
- package/omd/nodes/omdOperatorNode.js +108 -108
- package/omd/nodes/omdParenthesisNode.js +292 -292
- package/omd/nodes/omdPowerNode.js +235 -235
- package/omd/nodes/omdRationalNode.js +295 -295
- package/omd/nodes/omdSqrtNode.js +307 -307
- package/omd/nodes/omdUnaryExpressionNode.js +227 -227
- package/omd/nodes/omdVariableNode.js +122 -122
- package/omd/simplification/omdSimplification.js +140 -140
- package/omd/simplification/omdSimplificationEngine.js +887 -887
- package/omd/simplification/package.json +5 -5
- package/omd/simplification/rules/binaryRules.js +1037 -1037
- package/omd/simplification/rules/functionRules.js +111 -111
- package/omd/simplification/rules/index.js +48 -48
- package/omd/simplification/rules/parenthesisRules.js +19 -19
- package/omd/simplification/rules/powerRules.js +143 -143
- package/omd/simplification/rules/rationalRules.js +725 -725
- package/omd/simplification/rules/sqrtRules.js +48 -48
- package/omd/simplification/rules/unaryRules.js +37 -37
- package/omd/simplification/simplificationRules.js +31 -31
- package/omd/simplification/simplificationUtils.js +1055 -1055
- package/omd/step-visualizer/omdStepVisualizer.js +947 -947
- package/omd/step-visualizer/omdStepVisualizerHighlighting.js +246 -246
- package/omd/step-visualizer/omdStepVisualizerLayout.js +892 -892
- package/omd/step-visualizer/omdStepVisualizerTextBoxes.js +200 -200
- package/omd/utils/aiNextEquationStep.js +106 -106
- package/omd/utils/omdNodeOverlay.js +638 -638
- package/omd/utils/omdPopup.js +1203 -1203
- package/omd/utils/omdStepVisualizerInteractiveSteps.js +684 -684
- package/omd/utils/omdStepVisualizerNodeUtils.js +267 -267
- package/omd/utils/omdTranscriptionService.js +123 -123
- package/omd/utils/omdTreeDiff.js +733 -733
- package/package.json +59 -57
- package/readme.html +184 -120
- package/src/index.js +74 -74
- package/src/json-schemas.md +576 -576
- package/src/omd-json-samples.js +147 -147
- package/src/omdApp.js +391 -391
- package/src/omdAppCanvas.js +335 -335
- package/src/omdBalanceHanger.js +199 -199
- package/src/omdColor.js +13 -13
- package/src/omdCoordinatePlane.js +541 -541
- package/src/omdExpression.js +115 -115
- package/src/omdFactory.js +150 -150
- package/src/omdFunction.js +114 -114
- package/src/omdMetaExpression.js +290 -290
- package/src/omdNaturalExpression.js +563 -563
- package/src/omdNode.js +383 -383
- package/src/omdNumber.js +52 -52
- package/src/omdNumberLine.js +114 -112
- package/src/omdNumberTile.js +118 -118
- package/src/omdOperator.js +72 -72
- package/src/omdPowerExpression.js +91 -91
- package/src/omdProblem.js +259 -259
- package/src/omdRatioChart.js +251 -251
- package/src/omdRationalExpression.js +114 -114
- package/src/omdSampleData.js +215 -215
- package/src/omdShapes.js +512 -512
- package/src/omdSpinner.js +151 -151
- package/src/omdString.js +49 -49
- package/src/omdTable.js +498 -498
- package/src/omdTapeDiagram.js +244 -244
- package/src/omdTerm.js +91 -91
- package/src/omdTileEquation.js +349 -349
- package/src/omdUtils.js +84 -84
- package/src/omdVariable.js +51 -51
|
@@ -1,128 +1,128 @@
|
|
|
1
|
-
# omdEquationSequenceNode
|
|
2
|
-
|
|
3
|
-
Represents a sequence of mathematical steps, typically a series of equations that show the process of solving a problem. This node is a container that manages the layout, alignment, and simplification history of its steps.
|
|
4
|
-
|
|
5
|
-
## Class: `omdEquationSequenceNode extends omdNode`
|
|
6
|
-
|
|
7
|
-
```javascript
|
|
8
|
-
import { omdEquationSequenceNode } from './omd/nodes/omdEquationSequenceNode.js';
|
|
9
|
-
```
|
|
10
|
-
|
|
11
|
-
### Constructor
|
|
12
|
-
|
|
13
|
-
```javascript
|
|
14
|
-
new omdEquationSequenceNode(steps)
|
|
15
|
-
```
|
|
16
|
-
|
|
17
|
-
**Parameters:**
|
|
18
|
-
- `steps` {Array<[`omdNode`](./omdNode.md)>} - An array of nodes (usually `omdEquationNode` or `omdOperationDisplayNode`) that make up the sequence.
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
### Static Methods
|
|
22
|
-
|
|
23
|
-
#### `fromSteps(stepsArray)`
|
|
24
|
-
Creates an `omdEquationSequenceNode` from an array of expression strings.
|
|
25
|
-
|
|
26
|
-
```javascript
|
|
27
|
-
const sequence = omdEquationSequenceNode.fromSteps([
|
|
28
|
-
'2x + 4 = 10',
|
|
29
|
-
'2x = 6',
|
|
30
|
-
'x = 3'
|
|
31
|
-
]);
|
|
32
|
-
```
|
|
33
|
-
- **Parameters:**
|
|
34
|
-
- `stepsArray` {Array<string>} - An array of strings, where each string is a step (either an equation or an expression).
|
|
35
|
-
- **Returns:** `omdEquationSequenceNode` A new instance.
|
|
36
|
-
- **Throws:** Error if a string is not a valid equation or expression, or if math.js is not available.
|
|
37
|
-
|
|
38
|
-
### Core Methods
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
#### `addStep(step, options)`
|
|
42
|
-
Adds a new step to the end of the sequence.
|
|
43
|
-
|
|
44
|
-
- **Parameters:**
|
|
45
|
-
- `step` {omdNode | string} - The node or expression string to add. If a string, it is parsed as an equation or expression.
|
|
46
|
-
- `options` {Object|string} (optional) - Options for the step, such as `description` and `stepMark` (importance level), or a description string for backward compatibility.
|
|
47
|
-
- `importance` {number} (optional) - Importance level (0, 1, or 2) if using legacy signature.
|
|
48
|
-
- **Returns:** `number` - The index of the newly added step.
|
|
49
|
-
|
|
50
|
-
---
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
#### `simplify()`
|
|
54
|
-
Applies one round of simplification to the **last step** in the sequence and adds the result as a new step.
|
|
55
|
-
|
|
56
|
-
- **Returns:** `Object` - An object detailing the result: `{ success, foldedCount, isFinalSimplification, message }`.
|
|
57
|
-
|
|
58
|
-
---
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
#### `simplifyAll(maxIterations)`
|
|
62
|
-
Repeatedly calls `simplify()` on the last step until no more simplifications can be applied or the iteration limit is reached.
|
|
63
|
-
|
|
64
|
-
- **Parameters:**
|
|
65
|
-
- `maxIterations` {number} (optional) - A safeguard against infinite loops. Defaults to `50`.
|
|
66
|
-
- **Returns:** `Object` - An object summarizing the process: `{ success, totalSteps, iterations, message }`.
|
|
67
|
-
|
|
68
|
-
---
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
#### `applyEquationOperation(value, operation)`
|
|
72
|
-
Applies an operation (e.g., 'add', 'subtract', 'multiply', 'divide') to both sides of the last equation in the sequence. This typically adds two new steps: a visual display of the operation and the resulting new equation.
|
|
73
|
-
|
|
74
|
-
- **Parameters:**
|
|
75
|
-
- `value` {number} - The value to apply.
|
|
76
|
-
- `operation` {string} - The name of the operation ('add', 'subtract', 'multiply', 'divide').
|
|
77
|
-
- **Returns:** `omdEquationSequenceNode` The sequence instance, for chaining.
|
|
78
|
-
|
|
79
|
-
---
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
#### `applyEquationFunction(functionName)`
|
|
83
|
-
Applies a function (e.g., 'sqrt') to both sides of the last equation and adds the result as a new step.
|
|
84
|
-
|
|
85
|
-
- **Parameters:**
|
|
86
|
-
- `functionName` {string} - The name of the function.
|
|
87
|
-
- **Returns:** `omdEquationSequenceNode` The sequence instance, for chaining.
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
### Other Key Methods
|
|
91
|
-
|
|
92
|
-
- `getCurrentEquation()`: Returns the last `omdEquationNode` in the sequence, or `null` if none.
|
|
93
|
-
- `getCurrentStep()`: Returns the current step node (may not be an equation).
|
|
94
|
-
- `getSimplificationHistory()`: Returns an array of all simplification events that have occurred.
|
|
95
|
-
- `rebuildNodeMap()`: Re-indexes all nodes within the sequence, which is crucial for provenance tracking and highlighting.
|
|
96
|
-
- `updateStepsVisibility(predicate)`: Shows or hides steps based on a provided function, useful for filtering and UI.
|
|
97
|
-
- `clear()`: Removes all steps and history from the sequence.
|
|
98
|
-
- `navigateToStep(index)`: Navigates to a specific step by index.
|
|
99
|
-
- `nextStep()`, `previousStep()`: Navigate forward/backward through steps.
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
### Layout and Provenance
|
|
103
|
-
|
|
104
|
-
The `omdEquationSequenceNode` automatically aligns all `omdEquationNode` steps by their equals signs, creating a clean, readable layout. It also tracks provenance for all nodes, supporting step-by-step highlighting and history.
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
### Example
|
|
108
|
-
|
|
109
|
-
```javascript
|
|
110
|
-
// Create a sequence with an initial equation
|
|
111
|
-
const sequence = omdEquationSequenceNode.fromSteps([
|
|
112
|
-
'2 * (x + 1) = 10'
|
|
113
|
-
]);
|
|
114
|
-
|
|
115
|
-
// Apply operations and simplifications
|
|
116
|
-
sequence.applyEquationOperation(2, 'divide'); // Adds a step: (2*(x+1))/2 = 10/2
|
|
117
|
-
sequence.simplifyAll(); // Simplifies to x+1=5, then x=4
|
|
118
|
-
|
|
119
|
-
// Add the sequence to a display
|
|
120
|
-
const display = new omdDisplay(document.getElementById('container'));
|
|
121
|
-
display.render(sequence);
|
|
122
|
-
```
|
|
123
|
-
|
|
124
|
-
### See Also
|
|
125
|
-
|
|
126
|
-
- [`omdNode`](./omdNode.md) - The base class.
|
|
127
|
-
- [`omdEquationNode`](./omdEquationNode.md) - The primary type of node held within a sequence.
|
|
128
|
-
- [`omdStepVisualizer`](./omdStepVisualizer.md) - A subclass that adds interactive dots and explanations to the sequence.
|
|
1
|
+
# omdEquationSequenceNode
|
|
2
|
+
|
|
3
|
+
Represents a sequence of mathematical steps, typically a series of equations that show the process of solving a problem. This node is a container that manages the layout, alignment, and simplification history of its steps.
|
|
4
|
+
|
|
5
|
+
## Class: `omdEquationSequenceNode extends omdNode`
|
|
6
|
+
|
|
7
|
+
```javascript
|
|
8
|
+
import { omdEquationSequenceNode } from './omd/nodes/omdEquationSequenceNode.js';
|
|
9
|
+
```
|
|
10
|
+
|
|
11
|
+
### Constructor
|
|
12
|
+
|
|
13
|
+
```javascript
|
|
14
|
+
new omdEquationSequenceNode(steps)
|
|
15
|
+
```
|
|
16
|
+
|
|
17
|
+
**Parameters:**
|
|
18
|
+
- `steps` {Array<[`omdNode`](./omdNode.md)>} - An array of nodes (usually `omdEquationNode` or `omdOperationDisplayNode`) that make up the sequence.
|
|
19
|
+
|
|
20
|
+
|
|
21
|
+
### Static Methods
|
|
22
|
+
|
|
23
|
+
#### `fromSteps(stepsArray)`
|
|
24
|
+
Creates an `omdEquationSequenceNode` from an array of expression strings.
|
|
25
|
+
|
|
26
|
+
```javascript
|
|
27
|
+
const sequence = omdEquationSequenceNode.fromSteps([
|
|
28
|
+
'2x + 4 = 10',
|
|
29
|
+
'2x = 6',
|
|
30
|
+
'x = 3'
|
|
31
|
+
]);
|
|
32
|
+
```
|
|
33
|
+
- **Parameters:**
|
|
34
|
+
- `stepsArray` {Array<string>} - An array of strings, where each string is a step (either an equation or an expression).
|
|
35
|
+
- **Returns:** `omdEquationSequenceNode` A new instance.
|
|
36
|
+
- **Throws:** Error if a string is not a valid equation or expression, or if math.js is not available.
|
|
37
|
+
|
|
38
|
+
### Core Methods
|
|
39
|
+
|
|
40
|
+
|
|
41
|
+
#### `addStep(step, options)`
|
|
42
|
+
Adds a new step to the end of the sequence.
|
|
43
|
+
|
|
44
|
+
- **Parameters:**
|
|
45
|
+
- `step` {omdNode | string} - The node or expression string to add. If a string, it is parsed as an equation or expression.
|
|
46
|
+
- `options` {Object|string} (optional) - Options for the step, such as `description` and `stepMark` (importance level), or a description string for backward compatibility.
|
|
47
|
+
- `importance` {number} (optional) - Importance level (0, 1, or 2) if using legacy signature.
|
|
48
|
+
- **Returns:** `number` - The index of the newly added step.
|
|
49
|
+
|
|
50
|
+
---
|
|
51
|
+
|
|
52
|
+
|
|
53
|
+
#### `simplify()`
|
|
54
|
+
Applies one round of simplification to the **last step** in the sequence and adds the result as a new step.
|
|
55
|
+
|
|
56
|
+
- **Returns:** `Object` - An object detailing the result: `{ success, foldedCount, isFinalSimplification, message }`.
|
|
57
|
+
|
|
58
|
+
---
|
|
59
|
+
|
|
60
|
+
|
|
61
|
+
#### `simplifyAll(maxIterations)`
|
|
62
|
+
Repeatedly calls `simplify()` on the last step until no more simplifications can be applied or the iteration limit is reached.
|
|
63
|
+
|
|
64
|
+
- **Parameters:**
|
|
65
|
+
- `maxIterations` {number} (optional) - A safeguard against infinite loops. Defaults to `50`.
|
|
66
|
+
- **Returns:** `Object` - An object summarizing the process: `{ success, totalSteps, iterations, message }`.
|
|
67
|
+
|
|
68
|
+
---
|
|
69
|
+
|
|
70
|
+
|
|
71
|
+
#### `applyEquationOperation(value, operation)`
|
|
72
|
+
Applies an operation (e.g., 'add', 'subtract', 'multiply', 'divide') to both sides of the last equation in the sequence. This typically adds two new steps: a visual display of the operation and the resulting new equation.
|
|
73
|
+
|
|
74
|
+
- **Parameters:**
|
|
75
|
+
- `value` {number} - The value to apply.
|
|
76
|
+
- `operation` {string} - The name of the operation ('add', 'subtract', 'multiply', 'divide').
|
|
77
|
+
- **Returns:** `omdEquationSequenceNode` The sequence instance, for chaining.
|
|
78
|
+
|
|
79
|
+
---
|
|
80
|
+
|
|
81
|
+
|
|
82
|
+
#### `applyEquationFunction(functionName)`
|
|
83
|
+
Applies a function (e.g., 'sqrt') to both sides of the last equation and adds the result as a new step.
|
|
84
|
+
|
|
85
|
+
- **Parameters:**
|
|
86
|
+
- `functionName` {string} - The name of the function.
|
|
87
|
+
- **Returns:** `omdEquationSequenceNode` The sequence instance, for chaining.
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
### Other Key Methods
|
|
91
|
+
|
|
92
|
+
- `getCurrentEquation()`: Returns the last `omdEquationNode` in the sequence, or `null` if none.
|
|
93
|
+
- `getCurrentStep()`: Returns the current step node (may not be an equation).
|
|
94
|
+
- `getSimplificationHistory()`: Returns an array of all simplification events that have occurred.
|
|
95
|
+
- `rebuildNodeMap()`: Re-indexes all nodes within the sequence, which is crucial for provenance tracking and highlighting.
|
|
96
|
+
- `updateStepsVisibility(predicate)`: Shows or hides steps based on a provided function, useful for filtering and UI.
|
|
97
|
+
- `clear()`: Removes all steps and history from the sequence.
|
|
98
|
+
- `navigateToStep(index)`: Navigates to a specific step by index.
|
|
99
|
+
- `nextStep()`, `previousStep()`: Navigate forward/backward through steps.
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
### Layout and Provenance
|
|
103
|
+
|
|
104
|
+
The `omdEquationSequenceNode` automatically aligns all `omdEquationNode` steps by their equals signs, creating a clean, readable layout. It also tracks provenance for all nodes, supporting step-by-step highlighting and history.
|
|
105
|
+
|
|
106
|
+
|
|
107
|
+
### Example
|
|
108
|
+
|
|
109
|
+
```javascript
|
|
110
|
+
// Create a sequence with an initial equation
|
|
111
|
+
const sequence = omdEquationSequenceNode.fromSteps([
|
|
112
|
+
'2 * (x + 1) = 10'
|
|
113
|
+
]);
|
|
114
|
+
|
|
115
|
+
// Apply operations and simplifications
|
|
116
|
+
sequence.applyEquationOperation(2, 'divide'); // Adds a step: (2*(x+1))/2 = 10/2
|
|
117
|
+
sequence.simplifyAll(); // Simplifies to x+1=5, then x=4
|
|
118
|
+
|
|
119
|
+
// Add the sequence to a display
|
|
120
|
+
const display = new omdDisplay(document.getElementById('container'));
|
|
121
|
+
display.render(sequence);
|
|
122
|
+
```
|
|
123
|
+
|
|
124
|
+
### See Also
|
|
125
|
+
|
|
126
|
+
- [`omdNode`](./omdNode.md) - The base class.
|
|
127
|
+
- [`omdEquationNode`](./omdEquationNode.md) - The primary type of node held within a sequence.
|
|
128
|
+
- [`omdStepVisualizer`](./omdStepVisualizer.md) - A subclass that adds interactive dots and explanations to the sequence.
|
|
@@ -1,79 +1,79 @@
|
|
|
1
|
-
# omdSimplification
|
|
2
|
-
|
|
3
|
-
This module provides the core logic for simplifying mathematical expression trees within the OMD library. It defines functions for applying simplification rules, finding opportunities for simplification, and managing the simplification process.
|
|
4
|
-
|
|
5
|
-
## Functions
|
|
6
|
-
|
|
7
|
-
### `simplifyExpression(rootNode)`
|
|
8
|
-
|
|
9
|
-
Simplifies an entire mathematical expression tree by repeatedly applying simplification rules until no further simplifications are possible or a maximum iteration limit is reached. This function ensures that the resulting expression is in its most simplified form.
|
|
10
|
-
|
|
11
|
-
- **`rootNode`** (`omdNode`): The root node of the expression tree to simplify.
|
|
12
|
-
- **Returns**: `{ foldedCount: number, newRoot: omdNode }`
|
|
13
|
-
- `foldedCount`: The total number of individual simplifications applied across all iterations.
|
|
14
|
-
- `newRoot`: The simplified expression tree. This is a fresh clone of the final simplified state, with its font size preserved from the original `rootNode`.
|
|
15
|
-
|
|
16
|
-
**Notes:**
|
|
17
|
-
|
|
18
|
-
- A maximum of `50` iterations is performed to prevent potential infinite loops.
|
|
19
|
-
- Handles errors gracefully; if an error occurs during simplification, the original node is returned.
|
|
20
|
-
|
|
21
|
-
### `simplifyStep(rootNode)`
|
|
22
|
-
|
|
23
|
-
Applies a single simplification step to the expression tree. This function finds the first applicable simplification rule and applies it, returning the result.
|
|
24
|
-
|
|
25
|
-
- **`rootNode`** (`omdNode`): The root node of the expression to simplify.
|
|
26
|
-
- **Returns**: `{ foldedCount: number, newRoot: omdNode, historyEntry: object | null }`
|
|
27
|
-
- `foldedCount`: `1` if a simplification was applied, `0` otherwise.
|
|
28
|
-
- `newRoot`: The expression tree after applying the single step. This will be a new `omdNode` instance if a simplification occurred.
|
|
29
|
-
- `historyEntry`: An object describing the applied simplification (e.g., rule name, affected nodes, message), or `null` if no simplification was applied.
|
|
30
|
-
|
|
31
|
-
**Notes:**
|
|
32
|
-
|
|
33
|
-
- Only the first matching rule found is applied in a single step.
|
|
34
|
-
- Preserves the font size from the original node.
|
|
35
|
-
- Handles errors gracefully; if an error occurs during rule application, the original node is returned.
|
|
36
|
-
|
|
37
|
-
### `findSimplificationOpportunities(rootNode)`
|
|
38
|
-
|
|
39
|
-
Traverses the expression tree (depth-first) to find all possible simplification opportunities. It identifies nodes where a simplification rule can be applied.
|
|
40
|
-
|
|
41
|
-
- **`rootNode`** (`omdNode`): The root node of the expression tree to search.
|
|
42
|
-
- **Returns**: `Array<{ node: omdNode, rule: object, ruleData: object }>` - An array of objects, where each object represents a simplification opportunity:
|
|
43
|
-
- `node`: The `omdNode` instance where a rule can be applied.
|
|
44
|
-
- `rule`: The simplification rule object that can be applied.
|
|
45
|
-
- `ruleData`: Data needed by the rule's `apply` method.
|
|
46
|
-
|
|
47
|
-
**Notes:**
|
|
48
|
-
|
|
49
|
-
- Uses a `visitedNodes` set to prevent infinite loops in cyclic graphs (though expression trees are typically acyclic).
|
|
50
|
-
- Only checks rules relevant to each node type, optimizing performance.
|
|
51
|
-
- For each node, it stops after finding the first applicable rule.
|
|
52
|
-
|
|
53
|
-
### `getAvailableRulesForNode(node)`
|
|
54
|
-
|
|
55
|
-
**Debug Function:** Lists all simplification rules that are potentially relevant to a given `omdNode`'s type, regardless of whether they can currently be applied.
|
|
56
|
-
|
|
57
|
-
- **`node`** (`omdNode`): The node to check.
|
|
58
|
-
- **Returns**: `Array<string>` - An array of rule names.
|
|
59
|
-
|
|
60
|
-
### `getApplicableRulesForNode(node)`
|
|
61
|
-
|
|
62
|
-
**Debug Function:** Lists simplification rules that can actually be applied to a given `omdNode` based on its current structure and values.
|
|
63
|
-
|
|
64
|
-
- **`node`** (`omdNode`): The node to check.
|
|
65
|
-
- **Returns**: `Array<string>` - An array of applicable rule names.
|
|
66
|
-
|
|
67
|
-
**Notes:**
|
|
68
|
-
|
|
69
|
-
- Handles errors gracefully by skipping rule checks that might fail.
|
|
70
|
-
|
|
71
|
-
## Integration with `omdNode`
|
|
72
|
-
|
|
73
|
-
This module also sets the `simplifyStep` function as the global simplification handler for `omdNode` instances. This allows any `omdNode` to call its `simplify()` method, which will internally use the `simplifyStep` function defined here.
|
|
74
|
-
|
|
75
|
-
## See Also
|
|
76
|
-
|
|
77
|
-
- [`Simplification Rules`](./simplificationRules.md) - Details the individual simplification rules.
|
|
78
|
-
- [`Simplification Engine`](./simplificationEngine.md) - (If applicable, for higher-level orchestration).
|
|
1
|
+
# omdSimplification
|
|
2
|
+
|
|
3
|
+
This module provides the core logic for simplifying mathematical expression trees within the OMD library. It defines functions for applying simplification rules, finding opportunities for simplification, and managing the simplification process.
|
|
4
|
+
|
|
5
|
+
## Functions
|
|
6
|
+
|
|
7
|
+
### `simplifyExpression(rootNode)`
|
|
8
|
+
|
|
9
|
+
Simplifies an entire mathematical expression tree by repeatedly applying simplification rules until no further simplifications are possible or a maximum iteration limit is reached. This function ensures that the resulting expression is in its most simplified form.
|
|
10
|
+
|
|
11
|
+
- **`rootNode`** (`omdNode`): The root node of the expression tree to simplify.
|
|
12
|
+
- **Returns**: `{ foldedCount: number, newRoot: omdNode }`
|
|
13
|
+
- `foldedCount`: The total number of individual simplifications applied across all iterations.
|
|
14
|
+
- `newRoot`: The simplified expression tree. This is a fresh clone of the final simplified state, with its font size preserved from the original `rootNode`.
|
|
15
|
+
|
|
16
|
+
**Notes:**
|
|
17
|
+
|
|
18
|
+
- A maximum of `50` iterations is performed to prevent potential infinite loops.
|
|
19
|
+
- Handles errors gracefully; if an error occurs during simplification, the original node is returned.
|
|
20
|
+
|
|
21
|
+
### `simplifyStep(rootNode)`
|
|
22
|
+
|
|
23
|
+
Applies a single simplification step to the expression tree. This function finds the first applicable simplification rule and applies it, returning the result.
|
|
24
|
+
|
|
25
|
+
- **`rootNode`** (`omdNode`): The root node of the expression to simplify.
|
|
26
|
+
- **Returns**: `{ foldedCount: number, newRoot: omdNode, historyEntry: object | null }`
|
|
27
|
+
- `foldedCount`: `1` if a simplification was applied, `0` otherwise.
|
|
28
|
+
- `newRoot`: The expression tree after applying the single step. This will be a new `omdNode` instance if a simplification occurred.
|
|
29
|
+
- `historyEntry`: An object describing the applied simplification (e.g., rule name, affected nodes, message), or `null` if no simplification was applied.
|
|
30
|
+
|
|
31
|
+
**Notes:**
|
|
32
|
+
|
|
33
|
+
- Only the first matching rule found is applied in a single step.
|
|
34
|
+
- Preserves the font size from the original node.
|
|
35
|
+
- Handles errors gracefully; if an error occurs during rule application, the original node is returned.
|
|
36
|
+
|
|
37
|
+
### `findSimplificationOpportunities(rootNode)`
|
|
38
|
+
|
|
39
|
+
Traverses the expression tree (depth-first) to find all possible simplification opportunities. It identifies nodes where a simplification rule can be applied.
|
|
40
|
+
|
|
41
|
+
- **`rootNode`** (`omdNode`): The root node of the expression tree to search.
|
|
42
|
+
- **Returns**: `Array<{ node: omdNode, rule: object, ruleData: object }>` - An array of objects, where each object represents a simplification opportunity:
|
|
43
|
+
- `node`: The `omdNode` instance where a rule can be applied.
|
|
44
|
+
- `rule`: The simplification rule object that can be applied.
|
|
45
|
+
- `ruleData`: Data needed by the rule's `apply` method.
|
|
46
|
+
|
|
47
|
+
**Notes:**
|
|
48
|
+
|
|
49
|
+
- Uses a `visitedNodes` set to prevent infinite loops in cyclic graphs (though expression trees are typically acyclic).
|
|
50
|
+
- Only checks rules relevant to each node type, optimizing performance.
|
|
51
|
+
- For each node, it stops after finding the first applicable rule.
|
|
52
|
+
|
|
53
|
+
### `getAvailableRulesForNode(node)`
|
|
54
|
+
|
|
55
|
+
**Debug Function:** Lists all simplification rules that are potentially relevant to a given `omdNode`'s type, regardless of whether they can currently be applied.
|
|
56
|
+
|
|
57
|
+
- **`node`** (`omdNode`): The node to check.
|
|
58
|
+
- **Returns**: `Array<string>` - An array of rule names.
|
|
59
|
+
|
|
60
|
+
### `getApplicableRulesForNode(node)`
|
|
61
|
+
|
|
62
|
+
**Debug Function:** Lists simplification rules that can actually be applied to a given `omdNode` based on its current structure and values.
|
|
63
|
+
|
|
64
|
+
- **`node`** (`omdNode`): The node to check.
|
|
65
|
+
- **Returns**: `Array<string>` - An array of applicable rule names.
|
|
66
|
+
|
|
67
|
+
**Notes:**
|
|
68
|
+
|
|
69
|
+
- Handles errors gracefully by skipping rule checks that might fail.
|
|
70
|
+
|
|
71
|
+
## Integration with `omdNode`
|
|
72
|
+
|
|
73
|
+
This module also sets the `simplifyStep` function as the global simplification handler for `omdNode` instances. This allows any `omdNode` to call its `simplify()` method, which will internally use the `simplifyStep` function defined here.
|
|
74
|
+
|
|
75
|
+
## See Also
|
|
76
|
+
|
|
77
|
+
- [`Simplification Rules`](./simplificationRules.md) - Details the individual simplification rules.
|
|
78
|
+
- [`Simplification Engine`](./simplificationEngine.md) - (If applicable, for higher-level orchestration).
|
|
79
79
|
- [`Configuration Options`](./configuration-options.md) - For configuring simplification behavior.
|