math-exercises 2.2.66 → 2.2.68
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/lib/exercises/math/calcul/fractions/fractionAndIntegerSum.d.ts +1 -0
- package/lib/exercises/math/calcul/fractions/fractionAndIntegerSum.d.ts.map +1 -1
- package/lib/exercises/math/calcul/fractions/fractionAndIntegerSum.js +51 -37
- package/lib/exercises/math/calcul/fractions/fractionsOperations.d.ts +8 -0
- package/lib/exercises/math/calcul/fractions/fractionsOperations.d.ts.map +1 -0
- package/lib/exercises/math/calcul/fractions/fractionsOperations.js +85 -0
- package/lib/exercises/math/calcul/fractions/index.d.ts +1 -0
- package/lib/exercises/math/calcul/fractions/index.d.ts.map +1 -1
- package/lib/exercises/math/calcul/fractions/index.js +1 -0
- package/lib/exercises/math/derivation/derivative/rootFunctionDerivative.d.ts.map +1 -1
- package/lib/exercises/math/derivation/derivative/rootFunctionDerivative.js +11 -1
- package/lib/exercises/math/functions/affines/leadingCoefficient.d.ts.map +1 -1
- package/lib/exercises/math/functions/affines/leadingCoefficient.js +9 -16
- package/lib/exercises/math/geometry/cartesian/distanceBetweenTwoPoints.d.ts.map +1 -1
- package/lib/exercises/math/geometry/cartesian/distanceBetweenTwoPoints.js +3 -1
- package/lib/exercises/math/geometry/cartesian/placeAbscissOnLine.js +1 -1
- package/lib/exercises/math/percent/applyPercent.d.ts.map +1 -1
- package/lib/exercises/math/percent/applyPercent.js +2 -4
- package/lib/exercises/math/probaStat/probabilityTree.d.ts +10 -7
- package/lib/exercises/math/probaStat/probabilityTree.d.ts.map +1 -1
- package/lib/exercises/math/probaStat/probabilityTree.js +194 -90
- package/lib/exercises/math/spaceGeometry/vectors/spaceVectorNormCalculation.d.ts.map +1 -1
- package/lib/exercises/math/spaceGeometry/vectors/spaceVectorNormCalculation.js +7 -3
- package/lib/exercises/vea/rationalVEA.d.ts +7 -1
- package/lib/exercises/vea/rationalVEA.d.ts.map +1 -1
- package/lib/exercises/vea/rationalVEA.js +28 -3
- package/lib/index.d.ts +12 -7
- package/lib/index.d.ts.map +1 -1
- package/lib/math/complex/complex.d.ts +1 -1
- package/lib/math/numbers/rationals/rational.d.ts +1 -1
- package/lib/math/numbers/reals/extendedRingElement.d.ts +1 -1
- package/lib/math/polynomials/generalAffine.d.ts +1 -1
- package/lib/math/polynomials/generalTrinom.d.ts +1 -1
- package/lib/math/polynomials/trinom.d.ts +3 -3
- package/lib/playground.d.ts.map +1 -1
- package/lib/playground.js +1 -5
- package/lib/prototypesEnhancement.d.ts +3 -1
- package/lib/prototypesEnhancement.d.ts.map +1 -1
- package/lib/tree/nodes/algebraicNode.d.ts +1 -0
- package/lib/tree/nodes/algebraicNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/absNode.d.ts +2 -1
- package/lib/tree/nodes/functions/absNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/absNode.js +7 -0
- package/lib/tree/nodes/functions/arcSinNode.d.ts +1 -0
- package/lib/tree/nodes/functions/arcSinNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/arcSinNode.js +3 -0
- package/lib/tree/nodes/functions/arccosNode.d.ts +1 -0
- package/lib/tree/nodes/functions/arccosNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/arccosNode.js +3 -0
- package/lib/tree/nodes/functions/arctanNode.d.ts +1 -0
- package/lib/tree/nodes/functions/arctanNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/arctanNode.js +3 -0
- package/lib/tree/nodes/functions/cosNode.d.ts +2 -0
- package/lib/tree/nodes/functions/cosNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/cosNode.js +9 -1
- package/lib/tree/nodes/functions/expNode.d.ts +2 -0
- package/lib/tree/nodes/functions/expNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/expNode.js +10 -1
- package/lib/tree/nodes/functions/log10Node.d.ts +1 -0
- package/lib/tree/nodes/functions/log10Node.d.ts.map +1 -1
- package/lib/tree/nodes/functions/log10Node.js +3 -0
- package/lib/tree/nodes/functions/logNode.d.ts +1 -0
- package/lib/tree/nodes/functions/logNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/logNode.js +3 -0
- package/lib/tree/nodes/functions/oppositeNode.d.ts +1 -0
- package/lib/tree/nodes/functions/oppositeNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/oppositeNode.js +3 -0
- package/lib/tree/nodes/functions/sinNode.d.ts +2 -0
- package/lib/tree/nodes/functions/sinNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/sinNode.js +11 -1
- package/lib/tree/nodes/functions/sqrtNode.d.ts +1 -0
- package/lib/tree/nodes/functions/sqrtNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/sqrtNode.js +3 -0
- package/lib/tree/nodes/functions/tanNode.d.ts +2 -0
- package/lib/tree/nodes/functions/tanNode.d.ts.map +1 -1
- package/lib/tree/nodes/functions/tanNode.js +9 -1
- package/lib/tree/nodes/geometry/degree.d.ts +1 -0
- package/lib/tree/nodes/geometry/degree.d.ts.map +1 -1
- package/lib/tree/nodes/geometry/degree.js +3 -0
- package/lib/tree/nodes/geometry/lengthNode.d.ts +1 -0
- package/lib/tree/nodes/geometry/lengthNode.d.ts.map +1 -1
- package/lib/tree/nodes/geometry/lengthNode.js +3 -0
- package/lib/tree/nodes/node.d.ts +1 -0
- package/lib/tree/nodes/node.d.ts.map +1 -1
- package/lib/tree/nodes/numbers/constantNode.d.ts +2 -0
- package/lib/tree/nodes/numbers/constantNode.d.ts.map +1 -1
- package/lib/tree/nodes/numbers/constantNode.js +10 -1
- package/lib/tree/nodes/numbers/infiniteNode.d.ts +0 -2
- package/lib/tree/nodes/numbers/infiniteNode.d.ts.map +1 -1
- package/lib/tree/nodes/numbers/infiniteNode.js +1 -6
- package/lib/tree/nodes/numbers/numberNode.d.ts +1 -0
- package/lib/tree/nodes/numbers/numberNode.d.ts.map +1 -1
- package/lib/tree/nodes/numbers/numberNode.js +3 -0
- package/lib/tree/nodes/operators/addNode.d.ts +1 -0
- package/lib/tree/nodes/operators/addNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/addNode.js +5 -1
- package/lib/tree/nodes/operators/binomialCoefficientNode.d.ts +1 -0
- package/lib/tree/nodes/operators/binomialCoefficientNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/binomialCoefficientNode.js +3 -0
- package/lib/tree/nodes/operators/divideNode.d.ts +4 -1
- package/lib/tree/nodes/operators/divideNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/divideNode.js +17 -2
- package/lib/tree/nodes/operators/fractionNode.d.ts +9 -9
- package/lib/tree/nodes/operators/fractionNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/fractionNode.js +18 -0
- package/lib/tree/nodes/operators/limitNode.d.ts +1 -0
- package/lib/tree/nodes/operators/limitNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/limitNode.js +3 -0
- package/lib/tree/nodes/operators/multiplyNode.d.ts +1 -0
- package/lib/tree/nodes/operators/multiplyNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/multiplyNode.js +10 -2
- package/lib/tree/nodes/operators/powerNode.d.ts +1 -0
- package/lib/tree/nodes/operators/powerNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/powerNode.js +6 -0
- package/lib/tree/nodes/operators/substractNode.d.ts +4 -2
- package/lib/tree/nodes/operators/substractNode.d.ts.map +1 -1
- package/lib/tree/nodes/operators/substractNode.js +9 -2
- package/lib/tree/nodes/sets/intervalNode.d.ts.map +1 -1
- package/lib/tree/nodes/sets/intervalNode.js +8 -8
- package/lib/tree/nodes/variables/variableNode.d.ts +1 -0
- package/lib/tree/nodes/variables/variableNode.d.ts.map +1 -1
- package/lib/tree/nodes/variables/variableNode.js +7 -0
- package/lib/tree/parsers/affineParser.d.ts +1 -2
- package/lib/tree/parsers/affineParser.d.ts.map +1 -1
- package/lib/tree/parsers/affineParser.js +16 -16
- package/lib/tree/parsers/latexParser.d.ts +1 -1
- package/lib/tree/parsers/monomParser.d.ts +9 -1
- package/lib/tree/parsers/monomParser.d.ts.map +1 -1
- package/lib/tree/parsers/monomParser.js +65 -2
- package/lib/tree/parsers/powerParser.d.ts +1 -1
- package/lib/tree/parsers/purifyLatex.d.ts +9 -0
- package/lib/tree/parsers/purifyLatex.d.ts.map +1 -0
- package/lib/tree/parsers/purifyLatex.js +17 -0
- package/lib/tree/parsers/rationalParser.d.ts +1 -1
- package/lib/tree/parsers/rationalParser.d.ts.map +1 -1
- package/lib/tree/parsers/trinomParser.d.ts +2 -0
- package/lib/tree/parsers/trinomParser.d.ts.map +1 -0
- package/lib/tree/parsers/trinomParser.js +31 -0
- package/package.json +1 -1
|
@@ -30,5 +30,6 @@ export declare class AddNode implements CommutativeOperatorNode {
|
|
|
30
30
|
};
|
|
31
31
|
equals(node: AlgebraicNode): boolean;
|
|
32
32
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): AddNode;
|
|
33
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
33
34
|
}
|
|
34
35
|
//# sourceMappingURL=addNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"addNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/addNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EACL,uBAAuB,EACvB,WAAW,EAGZ,MAAM,gBAAgB,CAAC;AAKxB,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"addNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/addNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EACL,uBAAuB,EACvB,WAAW,EAGZ,MAAM,gBAAgB,CAAC;AAKxB,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AASlE,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,OAAO,CAE/C;AAED,eAAO,MAAM,GAAG,MACX,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,YAOnC,CAAC;AAEF,qBAAa,OAAQ,YAAW,uBAAuB;IACrD,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IASpB,OAAO,aAGL;IAEF,YAAY,IAAI,MAAM;IAItB,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,aAAa,EAAE;IAoCtD,SAAS,IAAI,MAAM,EAAE;IAIrB,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE;IAK5C,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM;IAerC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IAoQ/C,aAAa;;;;;;;;;IAOb,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAUpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAMxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAMxD"}
|
|
@@ -14,6 +14,7 @@ const numberNode_1 = require("../numbers/numberNode");
|
|
|
14
14
|
const multiplyNode_1 = require("./multiplyNode");
|
|
15
15
|
const fractionNode_1 = require("./fractionNode");
|
|
16
16
|
const colorize_1 = require("../../../utils/latex/colorize");
|
|
17
|
+
const round_1 = require("../../../math/utils/round");
|
|
17
18
|
function isAddNode(a) {
|
|
18
19
|
return (0, operatorNode_1.isOperatorNode)(a) && a.id === operatorNode_1.OperatorIds.add;
|
|
19
20
|
}
|
|
@@ -203,7 +204,7 @@ class AddNode {
|
|
|
203
204
|
return new fractionNode_1.FractionNode(new AddNode(new oppositeNode_1.OppositeNode(c), new multiplyNode_1.MultiplyNode(d, a)), d).simplify(opts);
|
|
204
205
|
}
|
|
205
206
|
if ((0, numberNode_1.isNumberNode)(a) && (0, numberNode_1.isNumberNode)(b)) {
|
|
206
|
-
return new numberNode_1.NumberNode(a.value + b.value);
|
|
207
|
+
return new numberNode_1.NumberNode((0, round_1.round)(a.value + b.value, 12));
|
|
207
208
|
}
|
|
208
209
|
if ((0, oppositeNode_1.isOppositeNode)(a) && (0, numberNode_1.isNumberNode)(a.child) && (0, numberNode_1.isNumberNode)(b)) {
|
|
209
210
|
return new numberNode_1.NumberNode(-a.child.value + b.value);
|
|
@@ -331,5 +332,8 @@ class AddNode {
|
|
|
331
332
|
toDetailedEvaluation(vars) {
|
|
332
333
|
return new AddNode(this.leftChild.toDetailedEvaluation(vars), this.rightChild.toDetailedEvaluation(vars));
|
|
333
334
|
}
|
|
335
|
+
derivative(varName) {
|
|
336
|
+
return (0, exports.add)(this.leftChild.derivative(varName), this.rightChild.derivative(varName));
|
|
337
|
+
}
|
|
334
338
|
}
|
|
335
339
|
exports.AddNode = AddNode;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"binomialCoefficientNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/binomialCoefficientNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAmB,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAgB,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAE3E,eAAO,MAAM,yBAAyB,MACjC,IAAI,iCAEsD,CAAC;AAEhE,qBAAa,uBAAwB,YAAW,YAAY;IAC1D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;OAGG;IACH,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IASpB,MAAM,CAAC,IAAI,EAAE,aAAa;IAO1B,QAAQ;IAGR,QAAQ;IAGR,cAAc;IAGd,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAMxD,iBAAiB;IAGjB,aAAa;;;;;;;;;IAOb,YAAY;IAGZ,KAAK;
|
|
1
|
+
{"version":3,"file":"binomialCoefficientNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/binomialCoefficientNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAmB,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAgB,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAE3E,eAAO,MAAM,yBAAyB,MACjC,IAAI,iCAEsD,CAAC;AAEhE,qBAAa,uBAAwB,YAAW,YAAY;IAC1D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;OAGG;IACH,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IASpB,MAAM,CAAC,IAAI,EAAE,aAAa;IAO1B,QAAQ;IAGR,QAAQ;IAGR,cAAc;IAGd,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAMxD,iBAAiB;IAGjB,aAAa;;;;;;;;;IAOb,YAAY;IAGZ,KAAK;IAGL,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAGxD"}
|
|
@@ -48,5 +48,8 @@ class BinomialCoefficientNode {
|
|
|
48
48
|
toTex() {
|
|
49
49
|
return `\\binom{${this.leftChild.toTex()}}${this.rightChild.toTex()}}`;
|
|
50
50
|
}
|
|
51
|
+
derivative(varName) {
|
|
52
|
+
throw new Error("unimplemented derivative");
|
|
53
|
+
}
|
|
51
54
|
}
|
|
52
55
|
exports.BinomialCoefficientNode = BinomialCoefficientNode;
|
|
@@ -2,6 +2,7 @@ import { Node, NodeIds, NodeOptions, NodeType } from "../node";
|
|
|
2
2
|
import { OperatorIds, OperatorNode } from "./operatorNode";
|
|
3
3
|
import { AlgebraicNode } from "../algebraicNode";
|
|
4
4
|
export declare function isDivideNode(a: Node): a is DivideNode;
|
|
5
|
+
export declare const divide: (a: AlgebraicNode | number | string, b: AlgebraicNode | number | string, opts?: NodeOptions) => DivideNode;
|
|
5
6
|
export declare class DivideNode implements OperatorNode {
|
|
6
7
|
id: OperatorIds;
|
|
7
8
|
leftChild: AlgebraicNode;
|
|
@@ -28,8 +29,10 @@ export declare class DivideNode implements OperatorNode {
|
|
|
28
29
|
toAllValidTexs(): string[];
|
|
29
30
|
toTex(): string;
|
|
30
31
|
evaluate(vars?: Record<string, number>): number;
|
|
31
|
-
simplify():
|
|
32
|
+
simplify(): AlgebraicNode;
|
|
32
33
|
equals(node: AlgebraicNode): boolean;
|
|
33
34
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): DivideNode;
|
|
35
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
36
|
+
shuffle: () => void;
|
|
34
37
|
}
|
|
35
38
|
//# sourceMappingURL=divideNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"divideNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/divideNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"divideNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/divideNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGjD,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,UAAU,CAErD;AAED,eAAO,MAAM,MAAM,MACd,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,eAOnB,CAAC;AA4BF,qBAAa,UAAW,YAAW,YAAY;IAC7C,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB;;;OAGG;gBAES,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa;IAQ/D,YAAY,IAAI,MAAM;IAGtB,kBAAkB;IAIlB,aAAa;;;;;;;;;IAQb,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW;IAYpC,cAAc,IAAI,MAAM,EAAE;IAI1B,KAAK,IAAI,MAAM;IAGf,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,QAAQ;IAGR,MAAM,CAAC,IAAI,EAAE,aAAa;IAO1B,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAMxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;IAGvD,OAAO,aAGL;CACH"}
|
|
@@ -1,14 +1,21 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.DivideNode = exports.isDivideNode = void 0;
|
|
3
|
+
exports.DivideNode = exports.divide = exports.isDivideNode = void 0;
|
|
4
4
|
// import { divide } from "mathjs";
|
|
5
5
|
const node_1 = require("../node");
|
|
6
6
|
const operatorNode_1 = require("./operatorNode");
|
|
7
7
|
const coinFlip_1 = require("../../../utils/alea/coinFlip");
|
|
8
|
+
const fractionNode_1 = require("./fractionNode");
|
|
8
9
|
function isDivideNode(a) {
|
|
9
10
|
return (0, operatorNode_1.isOperatorNode)(a) && a.id === operatorNode_1.OperatorIds.divide;
|
|
10
11
|
}
|
|
11
12
|
exports.isDivideNode = isDivideNode;
|
|
13
|
+
const divide = (a, b, opts) => {
|
|
14
|
+
const nodeA = typeof a === "number" ? a.toTree() : typeof a === "string" ? a.toTree() : a;
|
|
15
|
+
const nodeB = typeof b === "number" ? b.toTree() : typeof b === "string" ? b.toTree() : b;
|
|
16
|
+
return new DivideNode(nodeA, nodeB);
|
|
17
|
+
};
|
|
18
|
+
exports.divide = divide;
|
|
12
19
|
const divideNodeToTex = (leftChild, rightChild) => {
|
|
13
20
|
let rightTex = rightChild.toTex();
|
|
14
21
|
let leftTex = leftChild.toTex();
|
|
@@ -22,6 +29,7 @@ const divideNodeToTex = (leftChild, rightChild) => {
|
|
|
22
29
|
operatorNode_1.OperatorIds.add,
|
|
23
30
|
operatorNode_1.OperatorIds.substract,
|
|
24
31
|
operatorNode_1.OperatorIds.divide,
|
|
32
|
+
operatorNode_1.OperatorIds.multiply,
|
|
25
33
|
].includes(rightChild.id);
|
|
26
34
|
}
|
|
27
35
|
if (needBrackets)
|
|
@@ -35,6 +43,10 @@ class DivideNode {
|
|
|
35
43
|
* @param rightChild denum
|
|
36
44
|
*/
|
|
37
45
|
constructor(leftChild, rightChild) {
|
|
46
|
+
this.shuffle = () => {
|
|
47
|
+
if ((0, coinFlip_1.coinFlip)())
|
|
48
|
+
[this.leftChild, this.rightChild] = [this.rightChild, this.leftChild];
|
|
49
|
+
};
|
|
38
50
|
this.id = operatorNode_1.OperatorIds.divide;
|
|
39
51
|
this.leftChild = leftChild;
|
|
40
52
|
this.rightChild = rightChild;
|
|
@@ -79,7 +91,7 @@ class DivideNode {
|
|
|
79
91
|
// return divide(this.leftChild.toMathjs(), this.rightChild.toMathjs());
|
|
80
92
|
// }
|
|
81
93
|
simplify() {
|
|
82
|
-
return this;
|
|
94
|
+
return (0, fractionNode_1.frac)(this.leftChild, this.rightChild).simplify();
|
|
83
95
|
}
|
|
84
96
|
equals(node) {
|
|
85
97
|
return (isDivideNode(node) &&
|
|
@@ -89,5 +101,8 @@ class DivideNode {
|
|
|
89
101
|
toDetailedEvaluation(vars) {
|
|
90
102
|
return new DivideNode(this.leftChild.toDetailedEvaluation(vars), this.rightChild.toDetailedEvaluation(vars));
|
|
91
103
|
}
|
|
104
|
+
derivative(varName) {
|
|
105
|
+
throw new Error("unimplemented derivative");
|
|
106
|
+
}
|
|
92
107
|
}
|
|
93
108
|
exports.DivideNode = DivideNode;
|
|
@@ -1,8 +1,14 @@
|
|
|
1
1
|
import { Node, NodeIds, NodeOptions, NodeType } from "../node";
|
|
2
2
|
import { OperatorIds, OperatorNode } from "./operatorNode";
|
|
3
3
|
import { AlgebraicNode, SimplifyOptions } from "../algebraicNode";
|
|
4
|
+
import { NodeIdentifiers } from "../nodeConstructor";
|
|
4
5
|
export declare function isFractionNode(a: Node): a is FractionNode;
|
|
5
6
|
export declare const frac: (a: AlgebraicNode | number | string, b: AlgebraicNode | number | string, opts?: NodeOptions) => FractionNode;
|
|
7
|
+
export type FractionNodeIdentifiers = {
|
|
8
|
+
id: NodeIds.fraction;
|
|
9
|
+
leftChild: NodeIdentifiers;
|
|
10
|
+
rightChild: NodeIdentifiers;
|
|
11
|
+
};
|
|
6
12
|
export declare class FractionNode implements OperatorNode {
|
|
7
13
|
opts?: NodeOptions;
|
|
8
14
|
/**
|
|
@@ -16,23 +22,17 @@ export declare class FractionNode implements OperatorNode {
|
|
|
16
22
|
isNumeric: boolean;
|
|
17
23
|
constructor(leftChild: AlgebraicNode, rightChild: AlgebraicNode, opts?: NodeOptions);
|
|
18
24
|
toMathString(): string;
|
|
19
|
-
toIdentifiers():
|
|
20
|
-
id: NodeIds;
|
|
21
|
-
leftChild: {
|
|
22
|
-
id: NodeIds;
|
|
23
|
-
} & Record<string, any>;
|
|
24
|
-
rightChild: {
|
|
25
|
-
id: NodeIds;
|
|
26
|
-
} & Record<string, any>;
|
|
27
|
-
};
|
|
25
|
+
toIdentifiers(): FractionNodeIdentifiers;
|
|
28
26
|
toInversed(): FractionNode;
|
|
29
27
|
toEquivalentNodes(opts?: NodeOptions): AlgebraicNode[];
|
|
30
28
|
toAllValidTexs(opts?: NodeOptions): string[];
|
|
29
|
+
isDecimal(): boolean;
|
|
31
30
|
toTex(): string;
|
|
32
31
|
evaluate(vars?: Record<string, number>): number;
|
|
33
32
|
simplify(opts?: SimplifyOptions): AlgebraicNode;
|
|
34
33
|
equals(node: AlgebraicNode): boolean;
|
|
35
34
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): FractionNode;
|
|
36
35
|
toSimplificationString(): string;
|
|
36
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
37
37
|
}
|
|
38
38
|
//# sourceMappingURL=fractionNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fractionNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/fractionNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAK3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAKlE,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AAED,eAAO,MAAM,IAAI,MACZ,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,iBAOnB,CAAC;AAEF,qBAAa,YAAa,YAAW,YAAY;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;OAGG;IACH,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAiBpB,YAAY,IAAI,MAAM;IAItB,aAAa
|
|
1
|
+
{"version":3,"file":"fractionNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/fractionNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAK3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAKlE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AAED,eAAO,MAAM,IAAI,MACZ,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,iBAOnB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC;IACrB,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,eAAe,CAAC;CAC7B,CAAC;AACF,qBAAa,YAAa,YAAW,YAAY;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB;;;OAGG;IACH,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAiBpB,YAAY,IAAI,MAAM;IAItB,aAAa,IAAI,uBAAuB;IAQxC,UAAU;IAGV,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW;IA+BpC,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE;IAG5C,SAAS;IAUT,KAAK,IAAI,MAAM;IAsBf,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IAyJ/C,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAOxD,sBAAsB;IAQtB,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAGxD"}
|
|
@@ -77,6 +77,21 @@ class FractionNode {
|
|
|
77
77
|
toAllValidTexs(opts) {
|
|
78
78
|
return this.toEquivalentNodes(opts).map((node) => node.toTex());
|
|
79
79
|
}
|
|
80
|
+
isDecimal() {
|
|
81
|
+
if (!(0, numberNode_1.isNumberNode)(this.leftChild))
|
|
82
|
+
return false;
|
|
83
|
+
if (!(0, numberNode_1.isNumberNode)(this.rightChild))
|
|
84
|
+
return false;
|
|
85
|
+
const simp = this.simplify();
|
|
86
|
+
if ((0, numberNode_1.isNumberNode)(simp))
|
|
87
|
+
return true;
|
|
88
|
+
let denum = simp.leftChild.evaluate();
|
|
89
|
+
while (denum % 2 === 0)
|
|
90
|
+
denum = denum / 2;
|
|
91
|
+
while (denum % 5 === 0)
|
|
92
|
+
denum = denum / 5;
|
|
93
|
+
return denum === 1;
|
|
94
|
+
}
|
|
80
95
|
toTex() {
|
|
81
96
|
if (!this.opts?.allowMinusAnywhereInFraction &&
|
|
82
97
|
((0, oppositeNode_1.isOppositeNode)(this.leftChild) ||
|
|
@@ -251,5 +266,8 @@ class FractionNode {
|
|
|
251
266
|
else
|
|
252
267
|
return `${thisTex} = ${simpTex}`;
|
|
253
268
|
}
|
|
269
|
+
derivative(varName) {
|
|
270
|
+
throw new Error("unimplemented derivative");
|
|
271
|
+
}
|
|
254
272
|
}
|
|
255
273
|
exports.FractionNode = FractionNode;
|
|
@@ -36,5 +36,6 @@ export declare class LimitNode implements OperatorNode {
|
|
|
36
36
|
simplify(opts?: SimplifyOptions): AlgebraicNode;
|
|
37
37
|
equals(node: AlgebraicNode): boolean;
|
|
38
38
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): LimitNode;
|
|
39
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
39
40
|
}
|
|
40
41
|
//# sourceMappingURL=limitNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"limitNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/limitNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAElE,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,SAAS,CAEnD;AAED,qBAAa,SAAU,YAAW,YAAY;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS,CAAC;IAE5B;;;;;;OAMG;gBAED,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,GAAG,GAAG,GAAG,EAChB,IAAI,CAAC,EAAE,WAAW;IAWpB,YAAY,IAAI,MAAM;IAItB,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS;IAGhD,aAAa;;;;;;;;;;IAQb,cAAc,IAAI,MAAM,EAAE;IAI1B,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,MAAM;IAWlC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM;IAI/C,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IAG/C,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"limitNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/limitNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAElE,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,SAAS,CAEnD;AAED,qBAAa,SAAU,YAAW,YAAY;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS,CAAC;IAE5B;;;;;;OAMG;gBAED,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,GAAG,GAAG,GAAG,EAChB,IAAI,CAAC,EAAE,WAAW;IAWpB,YAAY,IAAI,MAAM;IAItB,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS;IAGhD,aAAa;;;;;;;;;;IAQb,cAAc,IAAI,MAAM,EAAE;IAI1B,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,MAAM;IAWlC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM;IAI/C,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IAG/C,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAOxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAGxD"}
|
|
@@ -63,5 +63,8 @@ class LimitNode {
|
|
|
63
63
|
toDetailedEvaluation(vars) {
|
|
64
64
|
return new LimitNode(this.leftChild.toDetailedEvaluation(vars), this.rightChild.toDetailedEvaluation(vars), this.from);
|
|
65
65
|
}
|
|
66
|
+
derivative(varName) {
|
|
67
|
+
throw new Error("unimplemented derivative");
|
|
68
|
+
}
|
|
66
69
|
}
|
|
67
70
|
exports.LimitNode = LimitNode;
|
|
@@ -33,5 +33,6 @@ export declare class MultiplyNode implements CommutativeOperatorNode {
|
|
|
33
33
|
simplify(opts?: SimplifyOptions): AlgebraicNode;
|
|
34
34
|
equals(node: AlgebraicNode): boolean;
|
|
35
35
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): MultiplyNode;
|
|
36
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
36
37
|
}
|
|
37
38
|
//# sourceMappingURL=multiplyNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"multiplyNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/multiplyNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EACL,uBAAuB,EACvB,WAAW,EAEZ,MAAM,gBAAgB,CAAC;AAYxB,OAAO,EACL,aAAa,EACb,eAAe,EAEhB,MAAM,kBAAkB,CAAC;AAS1B,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AAED,eAAO,MAAM,QAAQ,MAChB,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,iBAOnB,CAAC;AACF,eAAO,MAAM,iBAAiB,QAAS,aAAa,EAAE,SAWrD,CAAC;AACF,qBAAa,YAAa,YAAW,uBAAuB;IAC1D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,OAAO,aAGL;IAEF,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM;
|
|
1
|
+
{"version":3,"file":"multiplyNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/multiplyNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EACL,uBAAuB,EACvB,WAAW,EAEZ,MAAM,gBAAgB,CAAC;AAYxB,OAAO,EACL,aAAa,EACb,eAAe,EAEhB,MAAM,kBAAkB,CAAC;AAS1B,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AAED,eAAO,MAAM,QAAQ,MAChB,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,iBAOnB,CAAC;AACF,eAAO,MAAM,iBAAiB,QAAS,aAAa,EAAE,SAWrD,CAAC;AACF,qBAAa,YAAa,YAAW,uBAAuB;IAC1D,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,OAAO,aAGL;IAEF,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM;IAuErC,SAAS;IAkDT,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,YAAY,EAAE;IAyFrD,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE;IAG5C,aAAa;;;;;;;;;IAYb,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAItC,IAAI;IAGJ,cAAc;IACd,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IAoJ/C,MAAM,CAAC,IAAI,EAAE,aAAa;IAU1B,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAQxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAMxD"}
|
|
@@ -78,7 +78,11 @@ class MultiplyNode {
|
|
|
78
78
|
let needBrackets = rightTex[0] === "-";
|
|
79
79
|
if ((0, operatorNode_1.isOperatorNode)(this.rightChild)) {
|
|
80
80
|
const operatorRightChild = this.rightChild;
|
|
81
|
-
needBrackets ||= [
|
|
81
|
+
needBrackets ||= [
|
|
82
|
+
operatorNode_1.OperatorIds.add,
|
|
83
|
+
operatorNode_1.OperatorIds.substract,
|
|
84
|
+
operatorNode_1.OperatorIds.divide,
|
|
85
|
+
].includes(operatorRightChild.id);
|
|
82
86
|
}
|
|
83
87
|
if (needBrackets)
|
|
84
88
|
rightTex = `\\left(${rightTex}\\right)`;
|
|
@@ -88,7 +92,7 @@ class MultiplyNode {
|
|
|
88
92
|
// }
|
|
89
93
|
}
|
|
90
94
|
let showTimesSign = !opts?.forceDotSign &&
|
|
91
|
-
(
|
|
95
|
+
(opts?.forceTimesSign ||
|
|
92
96
|
!isNaN(+rightTex[0]) ||
|
|
93
97
|
(0, numberNode_1.isNumberNode)(this.rightChild) ||
|
|
94
98
|
((0, variableNode_1.isVariableNode)(this.leftChild) &&
|
|
@@ -380,6 +384,10 @@ class MultiplyNode {
|
|
|
380
384
|
toDetailedEvaluation(vars) {
|
|
381
385
|
return new MultiplyNode(this.leftChild.toDetailedEvaluation(vars), this.rightChild.toDetailedEvaluation(vars));
|
|
382
386
|
}
|
|
387
|
+
//(uv)' = u'v + uv'
|
|
388
|
+
derivative(varName) {
|
|
389
|
+
return (0, addNode_1.add)((0, exports.multiply)(this.leftChild.derivative(varName), this.rightChild), (0, exports.multiply)(this.leftChild, this.rightChild.derivative(varName)));
|
|
390
|
+
}
|
|
383
391
|
}
|
|
384
392
|
exports.MultiplyNode = MultiplyNode;
|
|
385
393
|
const powerSimplify = (a, b, opts) => {
|
|
@@ -30,6 +30,7 @@ export declare class PowerNode implements OperatorNode {
|
|
|
30
30
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): PowerNode;
|
|
31
31
|
simplify(opts?: SimplifyOptions): AlgebraicNode;
|
|
32
32
|
equals(node: AlgebraicNode): boolean;
|
|
33
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
33
34
|
}
|
|
34
35
|
export declare class SquareNode extends PowerNode {
|
|
35
36
|
constructor(child: AlgebraicNode, opts?: NodeOptions);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"powerNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/powerNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGlE,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,SAAS,CAEnD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,UAAU,CAErD;AACD,eAAO,MAAM,MAAM,MAAO,aAAa,GAAG,MAAM,GAAG,MAAM,eAKxD,CAAC;AAEF,eAAO,MAAM,KAAK,MACb,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,cAOnB,CAAC;AAEF,qBAAa,SAAU,YAAW,YAAY;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,YAAY,IAAI,MAAM;IAGtB,aAAa;;;;;;;;;IAOb,iBAAiB;IAqBjB,cAAc,IAAI,MAAM,EAAE;IAI1B,KAAK,IAAI,MAAM;IAuBf,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAOxD,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IA8C/C,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;
|
|
1
|
+
{"version":3,"file":"powerNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/powerNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGlE,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,SAAS,CAEnD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,UAAU,CAErD;AACD,eAAO,MAAM,MAAM,MAAO,aAAa,GAAG,MAAM,GAAG,MAAM,eAKxD,CAAC;AAEF,eAAO,MAAM,KAAK,MACb,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,SAC3B,WAAW,cAOnB,CAAC;AAEF,qBAAa,SAAU,YAAW,YAAY;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,YAAY,IAAI,MAAM;IAGtB,aAAa;;;;;;;;;IAOb,iBAAiB;IAqBjB,cAAc,IAAI,MAAM,EAAE;IAI1B,KAAK,IAAI,MAAM;IAuBf,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAOxD,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,GAAG,aAAa;IA8C/C,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAcxD;AAED,qBAAa,UAAW,SAAQ,SAAS;gBAC3B,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,WAAW;CAIrD"}
|
|
@@ -137,6 +137,12 @@ class PowerNode {
|
|
|
137
137
|
node.leftChild.equals(this.leftChild) &&
|
|
138
138
|
node.rightChild.equals(this.rightChild));
|
|
139
139
|
}
|
|
140
|
+
derivative(varName) {
|
|
141
|
+
if (!(0, numberNode_1.isNumberNode)(this.rightChild) ||
|
|
142
|
+
Math.floor(this.rightChild.value) !== this.rightChild.value)
|
|
143
|
+
throw Error("unimplemented");
|
|
144
|
+
return (0, multiplyNode_1.multiply)((0, multiplyNode_1.multiply)(this.rightChild, (0, exports.power)(this.leftChild, this.rightChild.value - 1)), this.leftChild.derivative(varName));
|
|
145
|
+
}
|
|
140
146
|
}
|
|
141
147
|
exports.PowerNode = PowerNode;
|
|
142
148
|
class SquareNode extends PowerNode {
|
|
@@ -14,10 +14,10 @@ export declare class SubstractNode implements OperatorNode {
|
|
|
14
14
|
toMathString(): string;
|
|
15
15
|
toIdentifiers(): {
|
|
16
16
|
id: NodeIds;
|
|
17
|
-
|
|
17
|
+
leftChild: {
|
|
18
18
|
id: NodeIds;
|
|
19
19
|
} & Record<string, any>;
|
|
20
|
-
|
|
20
|
+
rightChild: {
|
|
21
21
|
id: NodeIds;
|
|
22
22
|
} & Record<string, any>;
|
|
23
23
|
};
|
|
@@ -29,5 +29,7 @@ export declare class SubstractNode implements OperatorNode {
|
|
|
29
29
|
simplify(opts?: SimplifyOptions): AlgebraicNode;
|
|
30
30
|
equals(node: AlgebraicNode): boolean;
|
|
31
31
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): SubstractNode;
|
|
32
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
33
|
+
shuffle: () => void;
|
|
32
34
|
}
|
|
33
35
|
//# sourceMappingURL=substractNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"substractNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/substractNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGlE,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,aAAa,CAE3D;AAED,eAAO,MAAM,SAAS,MACjB,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,kBAOnC,CAAC;AAEF,qBAAa,aAAc,YAAW,YAAY;IAChD,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,WAAW,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,YAAY,IAAI,MAAM;IAGtB,aAAa;;;;;;;;;IAOb,iBAAiB,IAAI,aAAa,EAAE;IAapC,cAAc,IAAI,MAAM,EAAE;IAG1B,kBAAkB;IAIlB,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM;IAoBrC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe;IAM/B,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"substractNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/operators/substractNode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAC;AAG3E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGlE,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,aAAa,CAE3D;AAED,eAAO,MAAM,SAAS,MACjB,aAAa,GAAG,MAAM,GAAG,MAAM,KAC/B,aAAa,GAAG,MAAM,GAAG,MAAM,kBAOnC,CAAC;AAEF,qBAAa,aAAc,YAAW,YAAY;IAChD,EAAE,EAAE,WAAW,CAAC;IAChB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,WAAW,CAAC;gBAEjB,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,WAAW;IAUpB,YAAY,IAAI,MAAM;IAGtB,aAAa;;;;;;;;;IAOb,iBAAiB,IAAI,aAAa,EAAE;IAapC,cAAc,IAAI,MAAM,EAAE;IAG1B,kBAAkB;IAIlB,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM;IAoBrC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAMtC,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe;IAM/B,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAOpC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAMxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;IAMvD,OAAO,aAGL;CACH"}
|
|
@@ -20,6 +20,10 @@ const substract = (a, b) => {
|
|
|
20
20
|
exports.substract = substract;
|
|
21
21
|
class SubstractNode {
|
|
22
22
|
constructor(leftChild, rightChild, opts) {
|
|
23
|
+
this.shuffle = () => {
|
|
24
|
+
if ((0, coinFlip_1.coinFlip)())
|
|
25
|
+
[this.leftChild, this.rightChild] = [this.rightChild, this.leftChild];
|
|
26
|
+
};
|
|
23
27
|
this.id = operatorNode_1.OperatorIds.substract;
|
|
24
28
|
this.leftChild = leftChild;
|
|
25
29
|
this.rightChild = rightChild;
|
|
@@ -33,8 +37,8 @@ class SubstractNode {
|
|
|
33
37
|
toIdentifiers() {
|
|
34
38
|
return {
|
|
35
39
|
id: node_1.NodeIds.substract,
|
|
36
|
-
|
|
37
|
-
|
|
40
|
+
leftChild: this.leftChild.toIdentifiers(),
|
|
41
|
+
rightChild: this.rightChild.toIdentifiers(),
|
|
38
42
|
};
|
|
39
43
|
}
|
|
40
44
|
toEquivalentNodes() {
|
|
@@ -88,5 +92,8 @@ class SubstractNode {
|
|
|
88
92
|
toDetailedEvaluation(vars) {
|
|
89
93
|
return new SubstractNode(this.leftChild.toDetailedEvaluation(vars), this.rightChild.toDetailedEvaluation(vars));
|
|
90
94
|
}
|
|
95
|
+
derivative(varName) {
|
|
96
|
+
return (0, exports.substract)(this.leftChild.derivative(varName), this.rightChild.derivative(varName));
|
|
97
|
+
}
|
|
91
98
|
}
|
|
92
99
|
exports.SubstractNode = SubstractNode;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intervalNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/sets/intervalNode.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"intervalNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/sets/intervalNode.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAIrD,OAAO,EAAW,WAAW,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAa,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AACD,MAAM,MAAM,uBAAuB,GAAG;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,eAAe,CAAC;IAC5B,OAAO,EAAE,WAAW,CAAC;IACrB,IAAI,CAAC,EAAE,WAAW,CAAC;CACpB,CAAC;AACF,qBAAa,YAAa,YAAW,OAAO;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC/B,OAAO,EAAE,WAAW,CAAC;IACrB,CAAC,EAAE,aAAa,CAAC;IACjB,CAAC,EAAE,aAAa,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;gBAEf,CAAC,EAAE,aAAa,EAChB,CAAC,EAAE,aAAa,EAChB,OAAO,EAAE,WAAW,EACpB,IAAI,CAAC,EAAE,WAAW;IAWpB,cAAc,CAAC,IAAI,CAAC,EAAE,WAAW;IAMjC,iBAAiB,CAAC,IAAI,CAAC,EAAE,WAAW;IAoBpC,YAAY,CAAC,WAAW,CAAC,EAAE,aAAa;IA4BxC,YAAY;IAIZ,QAAQ;IAIR,iBAAiB;IAGjB,qBAAqB;IAGrB,sBAAsB;IAGtB,wBAAwB;IAYxB,YAAY;IAkCZ,KAAK;IAWL,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE;IAOvC,aAAa,IAAI,uBAAuB;IAUxC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO;IAiB7C,QAAQ;CAGT"}
|
|
@@ -72,12 +72,12 @@ class IntervalNode {
|
|
|
72
72
|
return new IntervalNode(this.a, this.b, closure_1.Closure.rightReverse(this.closure));
|
|
73
73
|
}
|
|
74
74
|
toRandomDifferentClosure() {
|
|
75
|
-
if ((0,
|
|
75
|
+
if ((0, constantNode_1.isInfiniteNode)(this.a) && (0, constantNode_1.isInfiniteNode)(this.b))
|
|
76
76
|
return this;
|
|
77
77
|
let closure;
|
|
78
78
|
do {
|
|
79
|
-
const left = (0,
|
|
80
|
-
const right = (0,
|
|
79
|
+
const left = (0, constantNode_1.isInfiniteNode)(this.a) ? "]" : (0, random_1.random)(["[", "]"]);
|
|
80
|
+
const right = (0, constantNode_1.isInfiniteNode)(this.b)
|
|
81
81
|
? "["
|
|
82
82
|
: (0, random_1.random)(["[", "]"]);
|
|
83
83
|
closure = closure_1.Closure.fromBrackets(left, right);
|
|
@@ -85,12 +85,12 @@ class IntervalNode {
|
|
|
85
85
|
return new IntervalNode(this.a, this.b, closure);
|
|
86
86
|
}
|
|
87
87
|
toComplement() {
|
|
88
|
-
if ((0,
|
|
88
|
+
if ((0, constantNode_1.isInfiniteNode)(this.a) && (0, constantNode_1.isInfiniteNode)(this.b))
|
|
89
89
|
return this;
|
|
90
|
-
if ((0,
|
|
90
|
+
if ((0, constantNode_1.isInfiniteNode)(this.a)) {
|
|
91
91
|
return new IntervalNode(this.b, infiniteNode_1.PlusInfinityNode, this.closure === closure_1.ClosureType.OF ? closure_1.ClosureType.FO : closure_1.ClosureType.OO);
|
|
92
92
|
}
|
|
93
|
-
if ((0,
|
|
93
|
+
if ((0, constantNode_1.isInfiniteNode)(this.b)) {
|
|
94
94
|
return new IntervalNode(infiniteNode_1.MinusInfinityNode, this.a, this.closure === closure_1.ClosureType.FO ? closure_1.ClosureType.OO : closure_1.ClosureType.OF);
|
|
95
95
|
}
|
|
96
96
|
const aClosed = this.closure === closure_1.ClosureType.FO || this.closure === closure_1.ClosureType.FF;
|
|
@@ -127,11 +127,11 @@ class IntervalNode {
|
|
|
127
127
|
}
|
|
128
128
|
toText(isPlural, isFeminine) {
|
|
129
129
|
const conjugaison = isFeminine ? "e" : "" + isPlural ? "s" : "";
|
|
130
|
-
return (0,
|
|
130
|
+
return (0, constantNode_1.isInfiniteNode)(this.a)
|
|
131
131
|
? closure_1.Closure.isRightOpen(this.closure)
|
|
132
132
|
? `strictement inférieur${conjugaison} à $${this.b.toTex()}$`
|
|
133
133
|
: `inférieur${conjugaison} à $${this.b.toTex()}$`
|
|
134
|
-
: (0,
|
|
134
|
+
: (0, constantNode_1.isInfiniteNode)(this.b)
|
|
135
135
|
? closure_1.Closure.isLeftOpen(this.closure)
|
|
136
136
|
? `strictement supérieur${conjugaison} à $${this.a.toTex()}$`
|
|
137
137
|
: `supérieur${conjugaison} à $${this.a.toTex()}$`
|
|
@@ -19,5 +19,6 @@ export declare class VariableNode implements AlgebraicNode {
|
|
|
19
19
|
simplify(): this;
|
|
20
20
|
equals(node: AlgebraicNode): boolean;
|
|
21
21
|
toDetailedEvaluation(vars: Record<string, AlgebraicNode>): AlgebraicNode;
|
|
22
|
+
derivative(varName?: string | undefined): AlgebraicNode;
|
|
22
23
|
}
|
|
23
24
|
//# sourceMappingURL=variableNode.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"variableNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/variables/variableNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAElD,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AACD,qBAAa,YAAa,YAAW,aAAa;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,WAAqB;IACzB,SAAS,EAAE,OAAO,CAAC;gBACP,IAAI,EAAE,MAAM;IAIxB,aAAa;;;;IAMb,KAAK,IAAI,MAAM;IAGf,YAAY,IAAI,MAAM;IAGtB,QAAQ;IAGR,cAAc;IAGd,iBAAiB;IAIjB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAStC,QAAQ;IAGR,MAAM,CAAC,IAAI,EAAE,aAAa;IAG1B,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"variableNode.d.ts","sourceRoot":"","sources":["../../../../src/tree/nodes/variables/variableNode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAElD,wBAAgB,cAAc,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAEzD;AACD,qBAAa,YAAa,YAAW,aAAa;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,WAAqB;IACzB,SAAS,EAAE,OAAO,CAAC;gBACP,IAAI,EAAE,MAAM;IAIxB,aAAa;;;;IAMb,KAAK,IAAI,MAAM;IAGf,YAAY,IAAI,MAAM;IAGtB,QAAQ;IAGR,cAAc;IAGd,iBAAiB;IAIjB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAStC,QAAQ;IAGR,MAAM,CAAC,IAAI,EAAE,aAAa;IAG1B,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;IAKxD,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa;CAKxD"}
|
|
@@ -53,5 +53,12 @@ class VariableNode {
|
|
|
53
53
|
throw Error("Detailed Evaluation variable non handled");
|
|
54
54
|
return vars[this.name];
|
|
55
55
|
}
|
|
56
|
+
derivative(varName) {
|
|
57
|
+
const variable = varName ?? "x";
|
|
58
|
+
if (this.name === variable)
|
|
59
|
+
return (1).toTree();
|
|
60
|
+
else
|
|
61
|
+
return (0).toTree();
|
|
62
|
+
}
|
|
56
63
|
}
|
|
57
64
|
exports.VariableNode = VariableNode;
|
|
@@ -1,3 +1,2 @@
|
|
|
1
|
-
|
|
2
|
-
export declare const affineParser: (ans: string, variable?: string) => false | import("../nodes/variables/variableNode").VariableNode | Affine | undefined;
|
|
1
|
+
export declare const affineParser: (ans: string, variable?: string) => false | import("../nodes/algebraicNode").AlgebraicNode | import("../nodes/operators/substractNode").SubstractNode | import("../nodes/operators/addNode").AddNode;
|
|
3
2
|
//# sourceMappingURL=affineParser.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"affineParser.d.ts","sourceRoot":"","sources":["../../../src/tree/parsers/affineParser.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"affineParser.d.ts","sourceRoot":"","sources":["../../../src/tree/parsers/affineParser.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,YAAY,QAAS,MAAM,aAAY,MAAM,qKAqBzD,CAAC"}
|
|
@@ -1,31 +1,31 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.affineParser = void 0;
|
|
4
|
-
const
|
|
5
|
-
const
|
|
6
|
-
const multiplyNode_1 = require("../nodes/operators/multiplyNode");
|
|
7
|
-
const variableNode_1 = require("../nodes/variables/variableNode");
|
|
4
|
+
const addNode_1 = require("../nodes/operators/addNode");
|
|
5
|
+
const substractNode_1 = require("../nodes/operators/substractNode");
|
|
8
6
|
const latexParser_1 = require("./latexParser");
|
|
7
|
+
const monomParser_1 = require("./monomParser");
|
|
9
8
|
const affineParser = (ans, variable = "x") => {
|
|
10
9
|
try {
|
|
10
|
+
const monom = (0, monomParser_1.monomParser)(ans, { variable, maxDegree: 1 });
|
|
11
|
+
if (monom)
|
|
12
|
+
return monom;
|
|
11
13
|
const parsed = (0, latexParser_1.parseAlgebraic)(ans);
|
|
12
|
-
if ((0,
|
|
13
|
-
|
|
14
|
+
if ((0, addNode_1.isAddNode)(parsed) || (0, substractNode_1.isSubstractNode)(parsed)) {
|
|
15
|
+
const numericChild = parsed.leftChild.isNumeric
|
|
16
|
+
? "left"
|
|
17
|
+
: parsed.rightChild.isNumeric
|
|
18
|
+
? "right"
|
|
19
|
+
: undefined;
|
|
20
|
+
if (!numericChild)
|
|
14
21
|
return false;
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
//!won't handle Affines à coefficients non entiers
|
|
18
|
-
if ((0, multiplyNode_1.isMultiplyNode)(parsed)) {
|
|
19
|
-
if ((0, variableNode_1.isVariableNode)(parsed.rightChild) &&
|
|
20
|
-
parsed.rightChild.name === variable &&
|
|
21
|
-
(0, numberNode_1.isNumberNode)(parsed.leftChild)) {
|
|
22
|
-
return new affine_1.Affine(parsed.leftChild.value, 0, variable);
|
|
23
|
-
}
|
|
22
|
+
const varChild = numericChild === "left" ? parsed.rightChild : parsed.leftChild;
|
|
23
|
+
return (0, monomParser_1.isMonomNode)(varChild, { variable, maxDegree: 1 }) ? parsed : false;
|
|
24
24
|
}
|
|
25
|
+
return false;
|
|
25
26
|
}
|
|
26
27
|
catch (err) {
|
|
27
28
|
return false;
|
|
28
29
|
}
|
|
29
|
-
//"x" ou a*x ou a*x+b ou x+b
|
|
30
30
|
};
|
|
31
31
|
exports.affineParser = affineParser;
|
|
@@ -3,5 +3,5 @@ import { EqualNode } from "../nodes/equations/equalNode";
|
|
|
3
3
|
import { InequationNode } from "../nodes/inequations/inequationNode";
|
|
4
4
|
export declare const tokenize: (latex: string) => string[];
|
|
5
5
|
export declare const parseAlgebraic: (latex: string) => AlgebraicNode;
|
|
6
|
-
export declare const parseLatex: (latex: string) => AlgebraicNode |
|
|
6
|
+
export declare const parseLatex: (latex: string) => AlgebraicNode | EqualNode | InequationNode;
|
|
7
7
|
//# sourceMappingURL=latexParser.d.ts.map
|
|
@@ -1,2 +1,10 @@
|
|
|
1
|
-
|
|
1
|
+
import { AlgebraicNode } from "../nodes/algebraicNode";
|
|
2
|
+
type Opts = {
|
|
3
|
+
variable: string;
|
|
4
|
+
maxDegree?: number;
|
|
5
|
+
minDegree?: number;
|
|
6
|
+
};
|
|
7
|
+
export declare const monomParser: (str: string, { variable, maxDegree, minDegree }?: Opts) => false | AlgebraicNode;
|
|
8
|
+
export declare const isMonomNode: (node: AlgebraicNode, { variable, maxDegree, minDegree }?: Opts) => boolean;
|
|
9
|
+
export {};
|
|
2
10
|
//# sourceMappingURL=monomParser.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"monomParser.d.ts","sourceRoot":"","sources":["../../../src/tree/parsers/monomParser.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,WAAW,
|
|
1
|
+
{"version":3,"file":"monomParser.d.ts","sourceRoot":"","sources":["../../../src/tree/parsers/monomParser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAQvD,KAAK,IAAI,GAAG;IACV,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AACF,eAAO,MAAM,WAAW,QACjB,MAAM,uCACyB,IAAI,0BAkBzC,CAAC;AAEF,eAAO,MAAM,WAAW,SAChB,aAAa,uCACiB,IAAI,YAsCzC,CAAC"}
|