@pie-framework/math-validation 1.4.3 → 2.0.0-next.20261110063142

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (71) hide show
  1. package/LICENSE +233 -0
  2. package/README.md +41 -110
  3. package/dist/conversion/ast-to-mathjs.d.ts +3 -0
  4. package/dist/conversion/error.d.ts +4 -0
  5. package/dist/conversion/flatten.d.ts +1 -0
  6. package/{lib → dist}/conversion/latex-to-ast.d.ts +13 -12
  7. package/{lib → dist}/conversion/lexer.d.ts +5 -5
  8. package/dist/difference.d.ts +1 -0
  9. package/dist/index.d.ts +2 -0
  10. package/dist/index.js +1594 -0
  11. package/dist/latex-equal.d.ts +2 -0
  12. package/dist/literal/index.d.ts +3 -0
  13. package/dist/log.d.ts +1 -0
  14. package/dist/mathjs.d.ts +11 -0
  15. package/{lib → dist}/node-sort.d.ts +1 -1
  16. package/dist/options.d.ts +13 -0
  17. package/{lib → dist}/symbolic/compare-compound-inequations.d.ts +2 -2
  18. package/{lib → dist}/symbolic/compare-equations.d.ts +1 -1
  19. package/dist/symbolic/index.d.ts +1 -0
  20. package/dist/symbolic/simplify.d.ts +2 -0
  21. package/{lib → dist}/symbolic/utils.d.ts +3 -3
  22. package/dist/value.d.ts +6 -0
  23. package/package.json +28 -56
  24. package/lib/conversion/ast-to-mathjs.d.ts +0 -12
  25. package/lib/conversion/ast-to-mathjs.js +0 -329
  26. package/lib/conversion/ast-to-mathjs.js.map +0 -1
  27. package/lib/conversion/error.d.ts +0 -5
  28. package/lib/conversion/error.js +0 -13
  29. package/lib/conversion/error.js.map +0 -1
  30. package/lib/conversion/flatten.d.ts +0 -12
  31. package/lib/conversion/flatten.js +0 -103
  32. package/lib/conversion/flatten.js.map +0 -1
  33. package/lib/conversion/latex-to-ast.js +0 -1479
  34. package/lib/conversion/latex-to-ast.js.map +0 -1
  35. package/lib/conversion/lexer.js +0 -135
  36. package/lib/conversion/lexer.js.map +0 -1
  37. package/lib/conversion/util.d.ts +0 -3
  38. package/lib/conversion/util.js +0 -36
  39. package/lib/conversion/util.js.map +0 -1
  40. package/lib/demo.d.ts +0 -4
  41. package/lib/demo.js +0 -173
  42. package/lib/demo.js.map +0 -1
  43. package/lib/difference.d.ts +0 -2
  44. package/lib/difference.js +0 -24
  45. package/lib/difference.js.map +0 -1
  46. package/lib/index.d.ts +0 -5
  47. package/lib/index.js +0 -9
  48. package/lib/index.js.map +0 -1
  49. package/lib/latex-equal.d.ts +0 -10
  50. package/lib/latex-equal.js +0 -41
  51. package/lib/latex-equal.js.map +0 -1
  52. package/lib/literal/index.d.ts +0 -10
  53. package/lib/literal/index.js +0 -22
  54. package/lib/literal/index.js.map +0 -1
  55. package/lib/log.d.ts +0 -1
  56. package/lib/log.js +0 -14
  57. package/lib/log.js.map +0 -1
  58. package/lib/mathjs.d.ts +0 -3
  59. package/lib/mathjs.js +0 -9
  60. package/lib/mathjs.js.map +0 -1
  61. package/lib/node-sort.js +0 -236
  62. package/lib/node-sort.js.map +0 -1
  63. package/lib/symbolic/compare-compound-inequations.js +0 -68
  64. package/lib/symbolic/compare-compound-inequations.js.map +0 -1
  65. package/lib/symbolic/compare-equations.js +0 -106
  66. package/lib/symbolic/compare-equations.js.map +0 -1
  67. package/lib/symbolic/index.d.ts +0 -4
  68. package/lib/symbolic/index.js +0 -340
  69. package/lib/symbolic/index.js.map +0 -1
  70. package/lib/symbolic/utils.js +0 -323
  71. package/lib/symbolic/utils.js.map +0 -1
@@ -1,103 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- exports.allChildren = exports.unflattenLeft = exports.unflattenRight = exports.flatten = exports.is_associative = void 0;
4
- const util_1 = require("./util");
5
- exports.is_associative = {
6
- "+": true,
7
- "*": true,
8
- and: true,
9
- or: true,
10
- union: true,
11
- intersect: true,
12
- };
13
- function flatten(expr) {
14
- // flatten tree with all associative operators
15
- var tree = (0, util_1.get_tree)(expr);
16
- if (!Array.isArray(tree))
17
- return tree;
18
- var operator = tree[0];
19
- var operands = tree.slice(1);
20
- operands = operands.map(function (v, i) {
21
- return flatten(v);
22
- });
23
- if (exports.is_associative[operator]) {
24
- var result = [];
25
- for (var i = 0; i < operands.length; i++) {
26
- if (Array.isArray(operands[i]) && operands[i][0] === operator) {
27
- result = result.concat(operands[i].slice(1));
28
- }
29
- else {
30
- result.push(operands[i]);
31
- }
32
- }
33
- operands = result;
34
- }
35
- return [operator].concat(operands);
36
- }
37
- exports.flatten = flatten;
38
- const unflattenRight = function (expr) {
39
- // unflatten tree with associate operators
40
- // into a right heavy tree;
41
- var tree = (0, util_1.get_tree)(expr);
42
- if (!Array.isArray(tree))
43
- return tree;
44
- var operator = tree[0];
45
- var operands = tree.slice(1);
46
- operands = operands.map(function (v, i) {
47
- return (0, exports.unflattenRight)(v);
48
- });
49
- if (operands.length > 2 && exports.is_associative[operator]) {
50
- var result = [operator, operands[0], undefined];
51
- var next = result;
52
- for (var i = 1; i < operands.length - 1; i++) {
53
- next[2] = [operator, operands[i], undefined];
54
- next = next[2];
55
- }
56
- next[2] = operands[operands.length - 1];
57
- return result;
58
- }
59
- return [operator].concat(operands);
60
- };
61
- exports.unflattenRight = unflattenRight;
62
- const unflattenLeft = function (expr) {
63
- // unflatten tree with associate operator op
64
- // into a left heavy tree;
65
- var tree = (0, util_1.get_tree)(expr);
66
- if (!Array.isArray(tree))
67
- return tree;
68
- var operator = tree[0];
69
- var operands = tree.slice(1);
70
- operands = operands.map(function (v, i) {
71
- return (0, exports.unflattenLeft)(v);
72
- });
73
- if (operands.length > 2 && exports.is_associative[operator]) {
74
- var result = [operator, undefined, operands[operands.length - 1]];
75
- var next = result;
76
- for (var i = operands.length - 2; i > 0; i--) {
77
- next[1] = [operator, undefined, operands[i]];
78
- next = next[1];
79
- }
80
- next[1] = operands[0];
81
- return result;
82
- }
83
- return [operator].concat(operands);
84
- };
85
- exports.unflattenLeft = unflattenLeft;
86
- const allChildren = function (tree) {
87
- // find all children of operator of tree as though it had been flattened
88
- if (!Array.isArray(tree))
89
- return [];
90
- var operator = tree[0];
91
- var operands = tree.slice(1);
92
- if (!exports.is_associative[operator])
93
- return operands;
94
- return operands.reduce(function (a, b) {
95
- if (Array.isArray(b) && b[0] === operator) {
96
- return a.concat((0, exports.allChildren)(b));
97
- }
98
- else
99
- return a.concat([b]);
100
- }, []);
101
- };
102
- exports.allChildren = allChildren;
103
- //# sourceMappingURL=flatten.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"flatten.js","sourceRoot":"","sources":["../../src/conversion/flatten.ts"],"names":[],"mappings":";;;AAAA,iCAAkC;AAEvB,QAAA,cAAc,GAAG;IAC1B,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI;IACX,SAAS,EAAE,IAAI;CAChB,CAAC;AAEF,SAAgB,OAAO,CAAC,IAAI;IAC1B,8CAA8C;IAE9C,IAAI,IAAI,GAAG,IAAA,eAAQ,EAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QAC5B,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;gBAC7D,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;iBAAM;gBACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;aAC1B;SACF;QAED,QAAQ,GAAG,MAAM,CAAC;KACnB;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC;AA7BD,0BA6BC;AAEM,MAAM,cAAc,GAAG,UAAU,IAAI;IAC1C,0CAA0C;IAC1C,2BAA2B;IAE3B,IAAI,IAAI,GAAG,IAAA,eAAQ,EAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,IAAA,sBAAc,EAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QACnD,IAAI,MAAM,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,IAAI,GAAG,MAAM,CAAC;QAElB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC5C,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;SAChB;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC;KACf;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC,CAAC;AA9BW,QAAA,cAAc,kBA8BzB;AAEK,MAAM,aAAa,GAAG,UAAU,IAAI;IACzC,4CAA4C;IAC5C,0BAA0B;IAE1B,IAAI,IAAI,GAAG,IAAA,eAAQ,EAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QACnD,IAAI,MAAM,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,IAAI,IAAI,GAAG,MAAM,CAAC;QAElB,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC5C,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;SAChB;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAEtB,OAAO,MAAM,CAAC;KACf;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC,CAAC;AA9BW,QAAA,aAAa,iBA8BxB;AAEK,MAAM,WAAW,GAAG,UAAU,IAAI;IACvC,wEAAwE;IAExE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,IAAI,CAAC,sBAAc,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE/C,OAAO,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;YACzC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAA,mBAAW,EAAC,CAAC,CAAC,CAAC,CAAC;SACjC;;YAAM,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,EAAE,EAAE,CAAC,CAAC;AACT,CAAC,CAAC;AAfW,QAAA,WAAW,eAetB"}