pimath 0.0.120 → 0.0.122
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/.idea/PI.iml +7 -1
- package/.idea/shelf/Uncommitted_changes_before_Update_at_24_07_2023_15_31_[Default_Changelist]/shelved.patch +90 -0
- package/.idea/shelf/Uncommitted_changes_before_Update_at_24_07_2023_15_31_[Default_Changelist]1/shelved.patch +107 -0
- package/.idea/shelf/Uncommitted_changes_before_Update_at_24_07_2023_15_31__Default_Changelist_.xml +4 -0
- package/.idea/shelf/Uncommitted_changes_before_Update_at_24_07_2023_15_31__Default_Changelist_1.xml +4 -0
- package/LICENSE.md +1 -1
- package/dev/pimath.js +7929 -0
- package/dev/pimath.js.map +1 -0
- package/dist/{pi.js → pimath.js} +7613 -7840
- package/dist/pimath.js.map +1 -0
- package/dist/pimath.min.js +2 -0
- package/dist/pimath.min.js.map +1 -0
- package/docs/assets/main.js +58 -58
- package/docs/assets/search.js +1 -1
- package/docs/assets/style.css +1367 -1280
- package/docs/classes/Logicalset.Logicalset.html +221 -212
- package/docs/classes/Polynom.Rational.html +391 -388
- package/docs/classes/Vector-1.Vector.html +494 -448
- package/docs/classes/Vector.Point.html +341 -342
- package/docs/classes/algebra_equation.Equation.html +796 -753
- package/docs/classes/algebra_linearSystem.LinearSystem.html +408 -397
- package/docs/classes/algebra_monom.Monom.html +967 -910
- package/docs/classes/algebra_polynom.Polynom.html +1281 -1260
- package/docs/classes/coefficients_fraction.Fraction.html +939 -931
- package/docs/classes/geometry_circle.Circle.html +476 -476
- package/docs/classes/geometry_line.Line.html +779 -719
- package/docs/classes/geometry_triangle.Triangle.html +429 -420
- package/docs/classes/numeric.Numeric.html +269 -263
- package/docs/classes/shutingyard.Shutingyard.html +259 -248
- package/docs/enums/algebra_equation.PARTICULAR_SOLUTION.html +89 -88
- package/docs/enums/geometry_line.LinePropriety.html +102 -102
- package/docs/enums/shutingyard.ShutingyardMode.html +106 -102
- package/docs/enums/shutingyard.ShutingyardType.html +120 -116
- package/docs/index.html +63 -65
- package/docs/interfaces/algebra_equation.ISolution.html +111 -109
- package/docs/interfaces/algebra_polynom.IEuclidian.html +93 -92
- package/docs/interfaces/geometry_triangle.remarquableLines.html +150 -150
- package/docs/modules/Logicalset.html +69 -74
- package/docs/modules/Polynom.html +69 -74
- package/docs/modules/Vector-1.html +69 -74
- package/docs/modules/Vector.html +69 -74
- package/docs/modules/algebra_equation.html +75 -81
- package/docs/modules/algebra_linearSystem.html +65 -71
- package/docs/modules/algebra_monom.html +70 -76
- package/docs/modules/algebra_polynom.html +75 -81
- package/docs/modules/coefficients_fraction.html +70 -76
- package/docs/modules/geometry_circle.html +65 -71
- package/docs/modules/geometry_line.html +70 -76
- package/docs/modules/geometry_triangle.html +70 -76
- package/docs/modules/numeric.html +65 -71
- package/docs/modules/shutingyard.html +84 -90
- package/docs/types/algebra_monom.literalType.html +66 -70
- package/docs/types/algebra_polynom.PolynomParsingType.html +62 -66
- package/docs/types/coefficients_fraction.FractionParsingType.html +61 -65
- package/docs/types/shutingyard.Token.html +72 -76
- package/docs/types/shutingyard.tokenType.html +77 -81
- package/docs/variables/shutingyard.tokenConstant.html +70 -74
- package/esm/index.d.ts +38 -41
- package/esm/index.js +43 -46
- package/esm/index.js.map +1 -1
- package/esm/maths/algebra/equation.d.ts +119 -117
- package/esm/maths/algebra/equation.js +796 -785
- package/esm/maths/algebra/equation.js.map +1 -1
- package/esm/maths/algebra/linearSystem.d.ts +39 -38
- package/esm/maths/algebra/linearSystem.js +278 -262
- package/esm/maths/algebra/linearSystem.js.map +1 -1
- package/esm/maths/algebra/logicalset.d.ts +28 -28
- package/esm/maths/algebra/logicalset.js +157 -157
- package/esm/maths/algebra/monom.d.ts +206 -206
- package/esm/maths/algebra/monom.js +908 -908
- package/esm/maths/algebra/monom.js.map +1 -1
- package/esm/maths/algebra/polynom.d.ts +157 -157
- package/esm/maths/algebra/polynom.js +1277 -1277
- package/esm/maths/algebra/rational.d.ts +45 -45
- package/esm/maths/algebra/rational.js +183 -183
- package/esm/maths/algebra/study/rationalStudy.d.ts +28 -28
- package/esm/maths/algebra/study/rationalStudy.js +243 -243
- package/esm/maths/algebra/study.d.ts +143 -142
- package/esm/maths/algebra/study.js +378 -377
- package/esm/maths/algebra/study.js.map +1 -1
- package/esm/maths/coefficients/fraction.d.ts +90 -90
- package/esm/maths/coefficients/fraction.js +516 -516
- package/esm/maths/coefficients/fraction.js.map +1 -1
- package/esm/maths/coefficients/nthRoot.d.ts +23 -23
- package/esm/maths/coefficients/nthRoot.js +136 -136
- package/esm/maths/geometry/circle.d.ts +45 -45
- package/esm/maths/geometry/circle.js +323 -323
- package/esm/maths/geometry/line.d.ts +99 -99
- package/esm/maths/geometry/line.js +481 -481
- package/esm/maths/geometry/line.js.map +1 -1
- package/esm/maths/geometry/point.d.ts +34 -34
- package/esm/maths/geometry/point.js +166 -166
- package/esm/maths/geometry/point.js.map +1 -1
- package/esm/maths/geometry/triangle.d.ts +85 -85
- package/esm/maths/geometry/triangle.js +268 -268
- package/esm/maths/geometry/vector.d.ts +41 -41
- package/esm/maths/geometry/vector.js +197 -197
- package/esm/maths/geometry/vector.js.map +1 -1
- package/esm/maths/numeric.d.ts +28 -28
- package/esm/maths/numeric.js +180 -180
- package/esm/maths/numexp.d.ts +19 -0
- package/esm/maths/numexp.js +186 -0
- package/esm/maths/numexp.js.map +1 -0
- package/esm/maths/randomization/random.d.ts +23 -23
- package/esm/maths/randomization/random.js +78 -78
- package/esm/maths/randomization/random.js.map +1 -1
- package/esm/maths/randomization/randomCore.d.ts +7 -7
- package/esm/maths/randomization/randomCore.js +21 -21
- package/esm/maths/randomization/rndFraction.d.ts +12 -12
- package/esm/maths/randomization/rndFraction.js +43 -43
- package/esm/maths/randomization/rndGeometryLine.d.ts +12 -12
- package/esm/maths/randomization/rndGeometryLine.js +45 -45
- package/esm/maths/randomization/rndGeometryPoint.d.ts +12 -12
- package/esm/maths/randomization/rndGeometryPoint.js +60 -60
- package/esm/maths/randomization/rndHelpers.d.ts +23 -23
- package/esm/maths/randomization/rndHelpers.js +76 -76
- package/esm/maths/randomization/rndMonom.d.ts +12 -12
- package/esm/maths/randomization/rndMonom.js +52 -52
- package/esm/maths/randomization/rndPolynom.d.ts +13 -13
- package/esm/maths/randomization/rndPolynom.js +74 -74
- package/esm/maths/randomization/rndTypes.d.ts +34 -34
- package/esm/maths/randomization/rndTypes.js +2 -2
- package/esm/maths/shutingyard.d.ts +59 -59
- package/esm/maths/shutingyard.js +442 -442
- package/esm/maths/shutingyard.js.map +1 -1
- package/package.json +11 -11
- package/public/index.html +50 -81
- package/public/playground.html +7 -8
- package/src/index.ts +1 -4
- package/src/maths/algebra/equation.ts +16 -0
- package/src/maths/algebra/linearSystem.ts +20 -0
- package/src/maths/algebra/study.ts +12 -10
- package/src/maths/{expressions/numexp.ts → numexp.ts} +2 -2
- package/tests/algebra/equation.test.ts +19 -5
- package/tests/algebra/linear.test.ts +3 -11
- package/tests/algebra/polynom.test.ts +7 -8
- package/tests/algebra/rationnal.test.ts +1 -1
- package/tests/algebra/study.test.ts +2 -9
- package/tests/coefficients/fraction.test.ts +8 -8
- package/tests/custom.test.ts +33 -37
- package/tests/numeric.test.ts +1 -2
- package/tests/numexp.test.ts +13 -5
- package/tests/shutingyard.test.ts +3 -3
- package/webpack-production-min.config.js +1 -1
- package/webpack-production.config.js +1 -1
- package/webpack.config.js +1 -1
- package/dist/pi.js.map +0 -1
- package/dist/pi.min.js +0 -2
- package/dist/pi.min.js.map +0 -1
- package/docs/classes/expressions_numexp.NumExp.html +0 -236
- package/docs/classes/expressions_polynomexp.PolynomExpFactor.html +0 -317
- package/docs/classes/expressions_polynomexp.PolynomExpProduct.html +0 -285
- package/docs/modules/expressions_numexp.html +0 -71
- package/docs/modules/expressions_polynomexp.html +0 -73
- package/docs/modules.html +0 -76
- package/graph.svg +0 -1033
- package/src/maths/expressions/ExpressionTree.ts +0 -172
- package/src/maths/expressions/expression.ts +0 -286
- package/src/maths/expressions/expressionFactor.ts +0 -190
- package/src/maths/expressions/expressionMember.ts +0 -233
- package/src/maths/expressions/expressionOperators.ts +0 -49
- package/src/maths/expressions/expressionParser.ts +0 -295
- package/src/maths/expressions/factors/ExpFactor.ts +0 -39
- package/src/maths/expressions/factors/ExpFactorConstant.ts +0 -60
- package/src/maths/expressions/factors/ExpFactorExponential.ts +0 -26
- package/src/maths/expressions/factors/ExpFactorNumber.ts +0 -72
- package/src/maths/expressions/factors/ExpFactorPower.ts +0 -42
- package/src/maths/expressions/factors/ExpFactorTrigo.ts +0 -53
- package/src/maths/expressions/factors/ExpFactorVariable.ts +0 -45
- package/src/maths/expressions/internals.ts +0 -14
- package/src/maths/expressions/polynomexp.bkp.ts +0 -221
- package/src/maths/expressions/polynomexp.ts +0 -310
- package/tests/expressions/expressions.test.ts +0 -145
- package/tests/expressions/expressiontree.test.ts +0 -11
- package/tests/polynomexp.test.ts +0 -12
|
@@ -1,158 +1,158 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
/**
|
|
3
|
-
* Polynom module contains everything necessary to handle polynoms.
|
|
4
|
-
* @module Logicalset
|
|
5
|
-
*/
|
|
6
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
7
|
-
exports.Logicalset = void 0;
|
|
8
|
-
const shutingyard_1 = require("../shutingyard");
|
|
9
|
-
/**
|
|
10
|
-
* Polynom class can handle polynoms, reorder, resolve, ...
|
|
11
|
-
*/
|
|
12
|
-
class Logicalset {
|
|
13
|
-
/**
|
|
14
|
-
*
|
|
15
|
-
* @param {string} value (optional) Default polynom to parse on class creation
|
|
16
|
-
*/
|
|
17
|
-
constructor(value) {
|
|
18
|
-
this.parse = (value) => {
|
|
19
|
-
// TODO: Must format the value string to convert some items...
|
|
20
|
-
// Parse the updated value to the shutingyard algorithm
|
|
21
|
-
this._rpn = new shutingyard_1.Shutingyard(shutingyard_1.ShutingyardMode.SET).parse(value).rpn;
|
|
22
|
-
return this;
|
|
23
|
-
};
|
|
24
|
-
this._rawString = value;
|
|
25
|
-
this.parse(value);
|
|
26
|
-
return this;
|
|
27
|
-
}
|
|
28
|
-
get isLogicalset() {
|
|
29
|
-
return true;
|
|
30
|
-
}
|
|
31
|
-
;
|
|
32
|
-
evaluate(tokenSets, reference) {
|
|
33
|
-
let varStack = [];
|
|
34
|
-
let referenceSet;
|
|
35
|
-
if (reference === undefined) {
|
|
36
|
-
referenceSet = new Set();
|
|
37
|
-
for (let key in tokenSets) {
|
|
38
|
-
referenceSet = new Set([...referenceSet, ...tokenSets[key]]);
|
|
39
|
-
}
|
|
40
|
-
}
|
|
41
|
-
else {
|
|
42
|
-
referenceSet = new Set(reference);
|
|
43
|
-
}
|
|
44
|
-
for (let token of this._rpn) {
|
|
45
|
-
if (token.tokenType === 'variable') {
|
|
46
|
-
// The variable has no token - assume it's empty.
|
|
47
|
-
if (tokenSets[token.token] === undefined) {
|
|
48
|
-
varStack.push(new Set());
|
|
49
|
-
}
|
|
50
|
-
else {
|
|
51
|
-
varStack.push(new Set(tokenSets[token.token]));
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
else {
|
|
55
|
-
switch (token.token) {
|
|
56
|
-
case '&':
|
|
57
|
-
if (varStack.length >= 2) {
|
|
58
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
59
|
-
varStack.push(new Set([...first].filter(x => second.has(x))));
|
|
60
|
-
}
|
|
61
|
-
break;
|
|
62
|
-
case '|':
|
|
63
|
-
if (varStack.length >= 2) {
|
|
64
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
65
|
-
varStack.push(new Set([...first, ...second]));
|
|
66
|
-
}
|
|
67
|
-
break;
|
|
68
|
-
case '-':
|
|
69
|
-
if (varStack.length >= 2) {
|
|
70
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
71
|
-
varStack.push(new Set([...first].filter(x => !second.has(x))));
|
|
72
|
-
}
|
|
73
|
-
break;
|
|
74
|
-
case '!':
|
|
75
|
-
if (varStack.length >= 1) {
|
|
76
|
-
let first = varStack.pop();
|
|
77
|
-
varStack.push(new Set([...referenceSet].filter(x => !first.has(x))));
|
|
78
|
-
}
|
|
79
|
-
break;
|
|
80
|
-
}
|
|
81
|
-
}
|
|
82
|
-
}
|
|
83
|
-
return [...varStack[0]].sort();
|
|
84
|
-
}
|
|
85
|
-
vennAB() {
|
|
86
|
-
return this.evaluate({
|
|
87
|
-
A: ['A', 'AB'],
|
|
88
|
-
B: ['B', 'AB']
|
|
89
|
-
}, ['A', 'B', 'AB', 'E']);
|
|
90
|
-
}
|
|
91
|
-
vennABC() {
|
|
92
|
-
return this.evaluate({
|
|
93
|
-
A: ['A', 'AB', 'AC', 'ABC'],
|
|
94
|
-
B: ['B', 'AB', 'BC', 'ABC'],
|
|
95
|
-
C: ['C', 'AC', 'BC', 'ABC']
|
|
96
|
-
}, ['A', 'B', 'C', 'AB', 'AC', 'BC', 'E']);
|
|
97
|
-
}
|
|
98
|
-
get rpn() {
|
|
99
|
-
return this._rpn;
|
|
100
|
-
}
|
|
101
|
-
get tex() {
|
|
102
|
-
let varStack = [];
|
|
103
|
-
for (let token of this._rpn) {
|
|
104
|
-
if (token.tokenType === 'variable') {
|
|
105
|
-
varStack.push(token);
|
|
106
|
-
}
|
|
107
|
-
else {
|
|
108
|
-
switch (token.token) {
|
|
109
|
-
case '&':
|
|
110
|
-
if (varStack.length >= 2) {
|
|
111
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
112
|
-
if (first.tokenType === 'mix') {
|
|
113
|
-
first.token = `( ${first.token} )`;
|
|
114
|
-
}
|
|
115
|
-
if (second.tokenType === 'mix') {
|
|
116
|
-
second.token = `( ${second.token} )`;
|
|
117
|
-
}
|
|
118
|
-
varStack.push({ token: `${first.token} \\cap ${second.token}`, tokenType: 'mix' });
|
|
119
|
-
}
|
|
120
|
-
break;
|
|
121
|
-
case '|':
|
|
122
|
-
if (varStack.length >= 2) {
|
|
123
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
124
|
-
if (first.tokenType === 'mix') {
|
|
125
|
-
first.token = `( ${first.token} )`;
|
|
126
|
-
}
|
|
127
|
-
if (second.tokenType === 'mix') {
|
|
128
|
-
second.token = `( ${second.token} )`;
|
|
129
|
-
}
|
|
130
|
-
varStack.push({ token: `${first.token} \\cup ${second.token}`, tokenType: 'mix' });
|
|
131
|
-
}
|
|
132
|
-
break;
|
|
133
|
-
case '-':
|
|
134
|
-
if (varStack.length >= 2) {
|
|
135
|
-
let second = varStack.pop(), first = varStack.pop();
|
|
136
|
-
if (first.tokenType === 'mix') {
|
|
137
|
-
first.token = `( ${first.token} )`;
|
|
138
|
-
}
|
|
139
|
-
if (second.tokenType === 'mix') {
|
|
140
|
-
second.token = `( ${second.token} )`;
|
|
141
|
-
}
|
|
142
|
-
varStack.push({ token: `${first.token} \\setminus ${second.token}`, tokenType: 'mix' });
|
|
143
|
-
}
|
|
144
|
-
break;
|
|
145
|
-
case '!':
|
|
146
|
-
if (varStack.length >= 1) {
|
|
147
|
-
let first = varStack.pop();
|
|
148
|
-
varStack.push({ token: `\\overline{ ${first.token} }`, tokenType: 'variable' });
|
|
149
|
-
}
|
|
150
|
-
break;
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
}
|
|
154
|
-
return varStack[0].token;
|
|
155
|
-
}
|
|
156
|
-
}
|
|
157
|
-
exports.Logicalset = Logicalset;
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Polynom module contains everything necessary to handle polynoms.
|
|
4
|
+
* @module Logicalset
|
|
5
|
+
*/
|
|
6
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
7
|
+
exports.Logicalset = void 0;
|
|
8
|
+
const shutingyard_1 = require("../shutingyard");
|
|
9
|
+
/**
|
|
10
|
+
* Polynom class can handle polynoms, reorder, resolve, ...
|
|
11
|
+
*/
|
|
12
|
+
class Logicalset {
|
|
13
|
+
/**
|
|
14
|
+
*
|
|
15
|
+
* @param {string} value (optional) Default polynom to parse on class creation
|
|
16
|
+
*/
|
|
17
|
+
constructor(value) {
|
|
18
|
+
this.parse = (value) => {
|
|
19
|
+
// TODO: Must format the value string to convert some items...
|
|
20
|
+
// Parse the updated value to the shutingyard algorithm
|
|
21
|
+
this._rpn = new shutingyard_1.Shutingyard(shutingyard_1.ShutingyardMode.SET).parse(value).rpn;
|
|
22
|
+
return this;
|
|
23
|
+
};
|
|
24
|
+
this._rawString = value;
|
|
25
|
+
this.parse(value);
|
|
26
|
+
return this;
|
|
27
|
+
}
|
|
28
|
+
get isLogicalset() {
|
|
29
|
+
return true;
|
|
30
|
+
}
|
|
31
|
+
;
|
|
32
|
+
evaluate(tokenSets, reference) {
|
|
33
|
+
let varStack = [];
|
|
34
|
+
let referenceSet;
|
|
35
|
+
if (reference === undefined) {
|
|
36
|
+
referenceSet = new Set();
|
|
37
|
+
for (let key in tokenSets) {
|
|
38
|
+
referenceSet = new Set([...referenceSet, ...tokenSets[key]]);
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
else {
|
|
42
|
+
referenceSet = new Set(reference);
|
|
43
|
+
}
|
|
44
|
+
for (let token of this._rpn) {
|
|
45
|
+
if (token.tokenType === 'variable') {
|
|
46
|
+
// The variable has no token - assume it's empty.
|
|
47
|
+
if (tokenSets[token.token] === undefined) {
|
|
48
|
+
varStack.push(new Set());
|
|
49
|
+
}
|
|
50
|
+
else {
|
|
51
|
+
varStack.push(new Set(tokenSets[token.token]));
|
|
52
|
+
}
|
|
53
|
+
}
|
|
54
|
+
else {
|
|
55
|
+
switch (token.token) {
|
|
56
|
+
case '&':
|
|
57
|
+
if (varStack.length >= 2) {
|
|
58
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
59
|
+
varStack.push(new Set([...first].filter(x => second.has(x))));
|
|
60
|
+
}
|
|
61
|
+
break;
|
|
62
|
+
case '|':
|
|
63
|
+
if (varStack.length >= 2) {
|
|
64
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
65
|
+
varStack.push(new Set([...first, ...second]));
|
|
66
|
+
}
|
|
67
|
+
break;
|
|
68
|
+
case '-':
|
|
69
|
+
if (varStack.length >= 2) {
|
|
70
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
71
|
+
varStack.push(new Set([...first].filter(x => !second.has(x))));
|
|
72
|
+
}
|
|
73
|
+
break;
|
|
74
|
+
case '!':
|
|
75
|
+
if (varStack.length >= 1) {
|
|
76
|
+
let first = varStack.pop();
|
|
77
|
+
varStack.push(new Set([...referenceSet].filter(x => !first.has(x))));
|
|
78
|
+
}
|
|
79
|
+
break;
|
|
80
|
+
}
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
return [...varStack[0]].sort();
|
|
84
|
+
}
|
|
85
|
+
vennAB() {
|
|
86
|
+
return this.evaluate({
|
|
87
|
+
A: ['A', 'AB'],
|
|
88
|
+
B: ['B', 'AB']
|
|
89
|
+
}, ['A', 'B', 'AB', 'E']);
|
|
90
|
+
}
|
|
91
|
+
vennABC() {
|
|
92
|
+
return this.evaluate({
|
|
93
|
+
A: ['A', 'AB', 'AC', 'ABC'],
|
|
94
|
+
B: ['B', 'AB', 'BC', 'ABC'],
|
|
95
|
+
C: ['C', 'AC', 'BC', 'ABC']
|
|
96
|
+
}, ['A', 'B', 'C', 'AB', 'AC', 'BC', 'E']);
|
|
97
|
+
}
|
|
98
|
+
get rpn() {
|
|
99
|
+
return this._rpn;
|
|
100
|
+
}
|
|
101
|
+
get tex() {
|
|
102
|
+
let varStack = [];
|
|
103
|
+
for (let token of this._rpn) {
|
|
104
|
+
if (token.tokenType === 'variable') {
|
|
105
|
+
varStack.push(token);
|
|
106
|
+
}
|
|
107
|
+
else {
|
|
108
|
+
switch (token.token) {
|
|
109
|
+
case '&':
|
|
110
|
+
if (varStack.length >= 2) {
|
|
111
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
112
|
+
if (first.tokenType === 'mix') {
|
|
113
|
+
first.token = `( ${first.token} )`;
|
|
114
|
+
}
|
|
115
|
+
if (second.tokenType === 'mix') {
|
|
116
|
+
second.token = `( ${second.token} )`;
|
|
117
|
+
}
|
|
118
|
+
varStack.push({ token: `${first.token} \\cap ${second.token}`, tokenType: 'mix' });
|
|
119
|
+
}
|
|
120
|
+
break;
|
|
121
|
+
case '|':
|
|
122
|
+
if (varStack.length >= 2) {
|
|
123
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
124
|
+
if (first.tokenType === 'mix') {
|
|
125
|
+
first.token = `( ${first.token} )`;
|
|
126
|
+
}
|
|
127
|
+
if (second.tokenType === 'mix') {
|
|
128
|
+
second.token = `( ${second.token} )`;
|
|
129
|
+
}
|
|
130
|
+
varStack.push({ token: `${first.token} \\cup ${second.token}`, tokenType: 'mix' });
|
|
131
|
+
}
|
|
132
|
+
break;
|
|
133
|
+
case '-':
|
|
134
|
+
if (varStack.length >= 2) {
|
|
135
|
+
let second = varStack.pop(), first = varStack.pop();
|
|
136
|
+
if (first.tokenType === 'mix') {
|
|
137
|
+
first.token = `( ${first.token} )`;
|
|
138
|
+
}
|
|
139
|
+
if (second.tokenType === 'mix') {
|
|
140
|
+
second.token = `( ${second.token} )`;
|
|
141
|
+
}
|
|
142
|
+
varStack.push({ token: `${first.token} \\setminus ${second.token}`, tokenType: 'mix' });
|
|
143
|
+
}
|
|
144
|
+
break;
|
|
145
|
+
case '!':
|
|
146
|
+
if (varStack.length >= 1) {
|
|
147
|
+
let first = varStack.pop();
|
|
148
|
+
varStack.push({ token: `\\overline{ ${first.token} }`, tokenType: 'variable' });
|
|
149
|
+
}
|
|
150
|
+
break;
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
}
|
|
154
|
+
return varStack[0].token;
|
|
155
|
+
}
|
|
156
|
+
}
|
|
157
|
+
exports.Logicalset = Logicalset;
|
|
158
158
|
//# sourceMappingURL=logicalset.js.map
|