@johnhenry/math 0.0.1 → 0.0.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 +3 -2
- package/dist/Structure.d.ts +24 -1
- package/dist/Structure.d.ts.map +1 -1
- package/dist/Structure.js +110 -10
- package/dist/Structure.js.map +1 -1
- package/package.json +2 -2
- package/src/Structure.ts +106 -8
package/README.md
CHANGED
|
@@ -19,8 +19,9 @@ StringEvaluator.evaluate("sin(pi/2) + 2^3", StringEvaluator.mathEnvironment());
|
|
|
19
19
|
|
|
20
20
|
## Install & use
|
|
21
21
|
|
|
22
|
-
Requires Node.js ≥
|
|
23
|
-
|
|
22
|
+
Requires Node.js ≥ 26 (`engines.node` was bumped from ≥22.6 to match the
|
|
23
|
+
rest of the `@johnhenry` family's floor; the test suite runs `.ts` directly
|
|
24
|
+
via Node's built-in type stripping).
|
|
24
25
|
|
|
25
26
|
```bash
|
|
26
27
|
npm install @johnhenry/math
|
package/dist/Structure.d.ts
CHANGED
|
@@ -87,9 +87,21 @@ export declare class Structure<T = unknown> {
|
|
|
87
87
|
multiplyMatrix(alpha: SMat<T>, beta: SMat<T>): SMat<T>;
|
|
88
88
|
/** Integer matrix power (bug fix: actually accumulates the factors). */
|
|
89
89
|
powerMatrix(alpha: SMat<T>, power?: number): SMat<T>;
|
|
90
|
+
/** Whether `x` has a usable multiplicative inverse (a `NaN` reciprocal marks "none", as in Z/nZ for composite n). */
|
|
91
|
+
private hasInverse;
|
|
92
|
+
private noInverse;
|
|
93
|
+
/**
|
|
94
|
+
* Determinant of a square matrix using only addition, subtraction and
|
|
95
|
+
* multiplication (Berkowitz's algorithm, O(n^4)), so it is valid over any
|
|
96
|
+
* commutative ring, including Z/nZ with composite `n` where a pivot may have
|
|
97
|
+
* no multiplicative inverse.
|
|
98
|
+
*/
|
|
99
|
+
private determinantDivisionFree;
|
|
90
100
|
/**
|
|
91
101
|
* Determinant via Gaussian elimination with row-swap pivoting, O(n^3)
|
|
92
|
-
* instead of the previous O(n!) cofactor (Laplace) expansion.
|
|
102
|
+
* instead of the previous O(n!) cofactor (Laplace) expansion. Over a ring where
|
|
103
|
+
* a needed pivot has no multiplicative inverse (e.g. Z/nZ, composite `n`) it
|
|
104
|
+
* falls back to a division-free method, so the result is always defined.
|
|
93
105
|
*/
|
|
94
106
|
determinant(alpha: SMat<T>): T;
|
|
95
107
|
permanent(alpha: SMat<T>): T;
|
|
@@ -97,8 +109,19 @@ export declare class Structure<T = unknown> {
|
|
|
97
109
|
* Matrix inverse by Gauss-Jordan elimination over the structure's field
|
|
98
110
|
* operations, with a zero-pivot row swap (bug fix — the AS3 version had no
|
|
99
111
|
* pivoting and divided by a zero pivot).
|
|
112
|
+
*
|
|
113
|
+
* Over a ring such as Z/nZ with composite `n`, when elimination hits a pivot
|
|
114
|
+
* with no inverse it falls back to `det⁻¹ · adj(A)`, which succeeds exactly
|
|
115
|
+
* when the determinant is a unit.
|
|
116
|
+
*
|
|
117
|
+
* @throws RangeError if the matrix is not square, is singular, or (over a ring)
|
|
118
|
+
* its determinant has no multiplicative inverse.
|
|
100
119
|
*/
|
|
101
120
|
invertMatrix(alpha: SMat<T>, checkDeterminant?: boolean): SMat<T>;
|
|
121
|
+
/** `det⁻¹ · adj(A)`; needs no pivot inverses, only that det(A) is a unit. */
|
|
122
|
+
private invertByAdjugate;
|
|
123
|
+
/** Gauss-Jordan; returns `null` if a pivot has no inverse (caller falls back to the adjugate). */
|
|
124
|
+
private invertByElimination;
|
|
102
125
|
vectorSum(alpha: SVec<T>): T;
|
|
103
126
|
vectorProduct(alpha: SVec<T>): T;
|
|
104
127
|
vectorCollapseOperation(alpha: SVec<T>, index?: number): T;
|
package/dist/Structure.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Structure.d.ts","sourceRoot":"","sources":["../src/Structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,MAAM,EAAe,MAAM,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;GAcG;AAEH,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC;IAChD,kFAAkF;IAClF,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,gFAAgF;IAChF,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,8EAA8E;IAC9E,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;IACjB,kEAAkE;IAClE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACzB,yDAAyD;IACzD,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC;CACpC;AAED,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AACzB,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AAEzB,qBAAa,SAAS,CAAC,CAAC,GAAG,OAAO;IAChC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAuC;IACjE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA2B;IACvD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAM;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA0B;gBAE9C,OAAO,GAAE,gBAAgB,CAAC,CAAC,CAAM;IAW7C,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO;IAIvD,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO;IAMnC,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAI3C,0GAA0G;IAC1G,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,SAAI,GAAG,CAAC;IAa7D,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAE3B;IACD,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;IAIrC,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAEhC;IACD,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;IAM1C,OAAO,CAAC,KAAK,SAAI,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;IAG/B,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAE1B;IACD,IAAI,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAE5B;IAED,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;IAGvB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;IAMrB,QAAQ,CAAC,KAAK,SAAI,GAAG,CAAC;IAGtB,IAAI,IAAI,IAAI,CAAC,CAEZ;IACD,IAAI,GAAG,IAAI,CAAC,CAEX;IAED,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAE5B;IACD,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAEtC;IAID,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO;IAI7C,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI3C,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI/C,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIvC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIzC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAItD,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAK5C,oFAAoF;IACpF,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAapD,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAQjD,gBAAgB,CAAC,MAAM,SAAI,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAIhD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI/C,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIvC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAItD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAKvD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI1D,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAIxB,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAY9D,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAQtD,wEAAwE;IACxE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAQ/C
|
|
1
|
+
{"version":3,"file":"Structure.d.ts","sourceRoot":"","sources":["../src/Structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,MAAM,EAAe,MAAM,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;GAcG;AAEH,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC;IAChD,kFAAkF;IAClF,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,gFAAgF;IAChF,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,8EAA8E;IAC9E,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;IACjB,kEAAkE;IAClE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACzB,yDAAyD;IACzD,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC;CACpC;AAED,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AACzB,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AAEzB,qBAAa,SAAS,CAAC,CAAC,GAAG,OAAO;IAChC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAuC;IACjE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA2B;IACvD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAM;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA0B;gBAE9C,OAAO,GAAE,gBAAgB,CAAC,CAAC,CAAM;IAW7C,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO;IAIvD,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO;IAMnC,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAI3C,0GAA0G;IAC1G,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,SAAI,GAAG,CAAC;IAa7D,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAE3B;IACD,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;IAIrC,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAEhC;IACD,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;IAM1C,OAAO,CAAC,KAAK,SAAI,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;IAG/B,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAE1B;IACD,IAAI,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAE5B;IAED,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;IAGvB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;IAMrB,QAAQ,CAAC,KAAK,SAAI,GAAG,CAAC;IAGtB,IAAI,IAAI,IAAI,CAAC,CAEZ;IACD,IAAI,GAAG,IAAI,CAAC,CAEX;IAED,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAE5B;IACD,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAEtC;IAID,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO;IAI7C,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI3C,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI/C,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIvC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIzC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAItD,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAK5C,oFAAoF;IACpF,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAapD,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAQjD,gBAAgB,CAAC,MAAM,SAAI,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAIhD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIjD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI/C,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAIvC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAItD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAKvD,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAI1D,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAIxB,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAY9D,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAQtD,wEAAwE;IACxE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,SAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IAQ/C,qHAAqH;IACrH,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,SAAS;IAIjB;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAmC/B;;;;;OAKG;IACH,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAwC9B,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAU5B;;;;;;;;;;;OAWG;IACH,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,UAAO,GAAG,IAAI,CAAC,CAAC,CAAC;IAU9D,6EAA6E;IAC7E,OAAO,CAAC,gBAAgB;IAmBxB,kGAAkG;IAClG,OAAO,CAAC,mBAAmB;IA2C3B,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAI5B,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAIhC,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,SAAI,GAAG,CAAC;IAMrD,+CAA+C;IAC/C,MAAM,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC;IAWrC,4DAA4D;IAC5D,MAAM,CAAC,YAAY,IAAI,SAAS,CAAC,aAAa,CAAC;IAW/C;;;OAGG;IACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAwBnD,qFAAqF;IACrF,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,MAAM,CAAC;IAIvC,8DAA8D;IAC9D,MAAM,CAAC,aAAa,IAAI,SAAS,CAAC,QAAQ,CAAC;IAW3C;;;;OAIG;IACH,MAAM,CAAC,YAAY,IAAI,SAAS,CAAC,OAAO,CAAC;IAWzC,kEAAkE;IAClE,MAAM,CAAC,cAAc,IAAI,SAAS,CAAC,UAAU,CAAC;IAU9C,sEAAsE;IACtE,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,UAAU,CAAC;CAU5C"}
|
package/dist/Structure.js
CHANGED
|
@@ -186,9 +186,62 @@ export class Structure {
|
|
|
186
186
|
powerList.push(base.clone());
|
|
187
187
|
return VectorUtils.collapse(powerList, (a, b) => this.multiplyMatrix(a, b));
|
|
188
188
|
}
|
|
189
|
+
/** Whether `x` has a usable multiplicative inverse (a `NaN` reciprocal marks "none", as in Z/nZ for composite n). */
|
|
190
|
+
hasInverse(x) {
|
|
191
|
+
const r = this.reciprocal(x);
|
|
192
|
+
return !(typeof r === "number" && Number.isNaN(r));
|
|
193
|
+
}
|
|
194
|
+
noInverse(op, x) {
|
|
195
|
+
return new RangeError(`${op}: element ${String(x)} has no multiplicative inverse in this structure`);
|
|
196
|
+
}
|
|
197
|
+
/**
|
|
198
|
+
* Determinant of a square matrix using only addition, subtraction and
|
|
199
|
+
* multiplication (Berkowitz's algorithm, O(n^4)), so it is valid over any
|
|
200
|
+
* commutative ring, including Z/nZ with composite `n` where a pivot may have
|
|
201
|
+
* no multiplicative inverse.
|
|
202
|
+
*/
|
|
203
|
+
determinantDivisionFree(alpha) {
|
|
204
|
+
const n = VectorUtils.width(alpha);
|
|
205
|
+
const a = [...alpha].map((row) => [...row]);
|
|
206
|
+
// p holds the characteristic-polynomial coefficients of the leading r x r block.
|
|
207
|
+
let p = [this.one];
|
|
208
|
+
for (let r = 1; r <= n; r++) {
|
|
209
|
+
const m = r - 1; // size of the leading block A_{r-1}
|
|
210
|
+
// Toeplitz column: [1, -a_rr, -R C, -R A C, -R A^2 C, ...]
|
|
211
|
+
const col = [this.one, this.negative(a[m][m])];
|
|
212
|
+
let v = Array.from({ length: m }, (_, i) => a[i][m]); // C
|
|
213
|
+
for (let k = 2; k <= r; k++) {
|
|
214
|
+
let dot = this.zero;
|
|
215
|
+
for (let i = 0; i < m; i++)
|
|
216
|
+
dot = this.add(dot, this.multiply(a[m][i], v[i]));
|
|
217
|
+
col.push(this.negative(dot));
|
|
218
|
+
if (k < r) {
|
|
219
|
+
v = Array.from({ length: m }, (_, i) => {
|
|
220
|
+
let acc = this.zero;
|
|
221
|
+
for (let j = 0; j < m; j++)
|
|
222
|
+
acc = this.add(acc, this.multiply(a[i][j], v[j]));
|
|
223
|
+
return acc;
|
|
224
|
+
});
|
|
225
|
+
}
|
|
226
|
+
}
|
|
227
|
+
const next = [];
|
|
228
|
+
for (let i = 0; i <= r; i++) {
|
|
229
|
+
let acc = this.zero;
|
|
230
|
+
for (let j = 0; j < r && j <= i; j++)
|
|
231
|
+
acc = this.add(acc, this.multiply(col[i - j], p[j]));
|
|
232
|
+
next.push(acc);
|
|
233
|
+
}
|
|
234
|
+
p = next;
|
|
235
|
+
}
|
|
236
|
+
// p = coefficients of det(xI - A); det(A) = (-1)^n * constant term.
|
|
237
|
+
const c = p[n];
|
|
238
|
+
return n % 2 === 0 ? c : this.negative(c);
|
|
239
|
+
}
|
|
189
240
|
/**
|
|
190
241
|
* Determinant via Gaussian elimination with row-swap pivoting, O(n^3)
|
|
191
|
-
* instead of the previous O(n!) cofactor (Laplace) expansion.
|
|
242
|
+
* instead of the previous O(n!) cofactor (Laplace) expansion. Over a ring where
|
|
243
|
+
* a needed pivot has no multiplicative inverse (e.g. Z/nZ, composite `n`) it
|
|
244
|
+
* falls back to a division-free method, so the result is always defined.
|
|
192
245
|
*/
|
|
193
246
|
determinant(alpha) {
|
|
194
247
|
if (VectorUtils.width(alpha) !== VectorUtils.height(alpha))
|
|
@@ -200,16 +253,20 @@ export class Structure {
|
|
|
200
253
|
let det = this.one;
|
|
201
254
|
let sign = this.one;
|
|
202
255
|
for (let col = 0; col < n; col++) {
|
|
203
|
-
if (this.equality(mat[col][col], this.zero)) {
|
|
256
|
+
if (this.equality(mat[col][col], this.zero) || !this.hasInverse(mat[col][col])) {
|
|
257
|
+
const wasZero = this.equality(mat[col][col], this.zero);
|
|
204
258
|
let swap = -1;
|
|
205
259
|
for (let r = col + 1; r < n; r++) {
|
|
206
|
-
if (!this.equality(mat[r][col], this.zero)) {
|
|
260
|
+
if (!this.equality(mat[r][col], this.zero) && this.hasInverse(mat[r][col])) {
|
|
207
261
|
swap = r;
|
|
208
262
|
break;
|
|
209
263
|
}
|
|
210
264
|
}
|
|
211
|
-
if (swap === -1)
|
|
212
|
-
|
|
265
|
+
if (swap === -1) {
|
|
266
|
+
if (wasZero && mat.slice(col + 1).every((row) => this.equality(row[col], this.zero)))
|
|
267
|
+
return this.zero;
|
|
268
|
+
return this.determinantDivisionFree(alpha);
|
|
269
|
+
}
|
|
213
270
|
[mat[col], mat[swap]] = [mat[swap], mat[col]];
|
|
214
271
|
sign = this.negative(sign);
|
|
215
272
|
}
|
|
@@ -241,26 +298,66 @@ export class Structure {
|
|
|
241
298
|
* Matrix inverse by Gauss-Jordan elimination over the structure's field
|
|
242
299
|
* operations, with a zero-pivot row swap (bug fix — the AS3 version had no
|
|
243
300
|
* pivoting and divided by a zero pivot).
|
|
301
|
+
*
|
|
302
|
+
* Over a ring such as Z/nZ with composite `n`, when elimination hits a pivot
|
|
303
|
+
* with no inverse it falls back to `det⁻¹ · adj(A)`, which succeeds exactly
|
|
304
|
+
* when the determinant is a unit.
|
|
305
|
+
*
|
|
306
|
+
* @throws RangeError if the matrix is not square, is singular, or (over a ring)
|
|
307
|
+
* its determinant has no multiplicative inverse.
|
|
244
308
|
*/
|
|
245
309
|
invertMatrix(alpha, checkDeterminant = true) {
|
|
246
310
|
const n = VectorUtils.height(alpha);
|
|
247
311
|
const w = VectorUtils.width(alpha);
|
|
312
|
+
if (n !== w)
|
|
313
|
+
throw new RangeError(`invertMatrix: matrix must be square, got ${n}x${w}`);
|
|
248
314
|
if (checkDeterminant && this.equality(this.determinant(alpha), this.zero)) {
|
|
249
|
-
|
|
315
|
+
throw new RangeError("invertMatrix: matrix is singular");
|
|
316
|
+
}
|
|
317
|
+
return this.invertByElimination(alpha) ?? this.invertByAdjugate(alpha);
|
|
318
|
+
}
|
|
319
|
+
/** `det⁻¹ · adj(A)`; needs no pivot inverses, only that det(A) is a unit. */
|
|
320
|
+
invertByAdjugate(alpha) {
|
|
321
|
+
const n = VectorUtils.height(alpha);
|
|
322
|
+
const rows = [...alpha].map((row) => [...row]);
|
|
323
|
+
const det = this.determinant(alpha);
|
|
324
|
+
if (this.equality(det, this.zero))
|
|
325
|
+
throw new RangeError("invertMatrix: matrix is singular");
|
|
326
|
+
if (!this.hasInverse(det))
|
|
327
|
+
throw this.noInverse("invertMatrix", det);
|
|
328
|
+
const detInv = this.reciprocal(det);
|
|
329
|
+
const out = Array.from({ length: n }, () => new Array(n));
|
|
330
|
+
for (let i = 0; i < n; i++) {
|
|
331
|
+
for (let j = 0; j < n; j++) {
|
|
332
|
+
const sub = rows.filter((_, r) => r !== i).map((row) => Vector.fromArray(row.filter((_, c) => c !== j)));
|
|
333
|
+
const minor = this.determinant(Vector.fromArray(sub));
|
|
334
|
+
const cofactor = (i + j) % 2 === 0 ? minor : this.negative(minor);
|
|
335
|
+
out[j][i] = this.multiply(detInv, cofactor); // adjugate is the transposed cofactor matrix
|
|
336
|
+
}
|
|
250
337
|
}
|
|
338
|
+
return Vector.fromArray(out.map((row) => Vector.fromArray(row)));
|
|
339
|
+
}
|
|
340
|
+
/** Gauss-Jordan; returns `null` if a pivot has no inverse (caller falls back to the adjugate). */
|
|
341
|
+
invertByElimination(alpha) {
|
|
342
|
+
const n = VectorUtils.height(alpha);
|
|
251
343
|
const mat = [...alpha].map((row) => [...row]);
|
|
252
344
|
const inv = [...this.generateIdentity(n, n)].map((row) => [...row]);
|
|
253
345
|
for (let col = 0; col < n; col++) {
|
|
254
|
-
if (this.equality(mat[col][col], this.zero)) {
|
|
346
|
+
if (this.equality(mat[col][col], this.zero) || !this.hasInverse(mat[col][col])) {
|
|
347
|
+
const wasZero = this.equality(mat[col][col], this.zero);
|
|
255
348
|
let swap = -1;
|
|
256
349
|
for (let r = col + 1; r < n; r++) {
|
|
257
|
-
if (!this.equality(mat[r][col], this.zero)) {
|
|
350
|
+
if (!this.equality(mat[r][col], this.zero) && this.hasInverse(mat[r][col])) {
|
|
258
351
|
swap = r;
|
|
259
352
|
break;
|
|
260
353
|
}
|
|
261
354
|
}
|
|
262
|
-
if (swap === -1)
|
|
263
|
-
|
|
355
|
+
if (swap === -1) {
|
|
356
|
+
if (wasZero && mat.slice(col + 1).every((row) => this.equality(row[col], this.zero))) {
|
|
357
|
+
throw new RangeError("invertMatrix: matrix is singular");
|
|
358
|
+
}
|
|
359
|
+
return null;
|
|
360
|
+
}
|
|
264
361
|
[mat[col], mat[swap]] = [mat[swap], mat[col]];
|
|
265
362
|
[inv[col], inv[swap]] = [inv[swap], inv[col]];
|
|
266
363
|
}
|
|
@@ -321,6 +418,9 @@ export class Structure {
|
|
|
321
418
|
static integersModulo(n) {
|
|
322
419
|
const mod = (x) => ((x % n) + n) % n;
|
|
323
420
|
const modInverse = (a) => {
|
|
421
|
+
// NaN/Infinity/fractions have no inverse (and would loop forever below).
|
|
422
|
+
if (!Number.isInteger(a))
|
|
423
|
+
return Number.NaN;
|
|
324
424
|
let [oldR, r] = [mod(a), n];
|
|
325
425
|
let [oldS, s] = [1, 0];
|
|
326
426
|
while (r !== 0) {
|
package/dist/Structure.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Structure.js","sourceRoot":"","sources":["../src/Structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAe,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAoC5D,MAAM,OAAO,SAAS;IACH,SAAS,CAAuC;IAChD,WAAW,CAA2B;IACtC,SAAS,CAAqB;IAC9B,WAAW,CAAM;IACjB,WAAW,CAAoB;IAC/B,eAAe,CAA0B;IAE1D,YAAY,UAA+B,EAAE;QAC3C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAM,CAAC,CAAC;QACnD,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAa;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAkC,CAAC;IAChE,CAAC;IAED,QAAQ,CAAC,OAAgB;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAa;QACrB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAsB,CAAC;IACtD,CAAC;IAED,0GAA0G;IAC1G,YAAY,CAAC,MAAS,EAAE,KAAa,EAAE,cAAc,GAAG,CAAC;QACvD,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,MAAM,CAAC;QACf,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,CAAC,GAAG,CAAC,CAAC,CAAC;YACP,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAsB,CAAC;IAClD,CAAC;IACD,QAAQ,CAAC,MAAS,EAAE,KAAa;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAsB,CAAC;IAClD,CAAC;IACD,aAAa,CAAC,MAAS,EAAE,KAAa;QACpC,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,2EAA2E;IAE3E,OAAO,CAAC,KAAK,GAAG,CAAC;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAgB,CAAC;IAC9C,CAAC;IACD,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,QAAQ,CAAC,CAAI,EAAE,CAAI;QACjB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,CAAC,CAAI,EAAE,CAAI;QACf,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,2EAA2E;IAE3E,QAAQ,CAAC,KAAK,GAAG,CAAC;QAChB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAM,CAAC;IACtC,CAAC;IACD,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAM,CAAC;IAClC,CAAC;IACD,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAM,CAAC;IAClC,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IACD,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,eAAe,CAAC;IAC9B,CAAC;IAED,2EAA2E;IAE3E,QAAQ,CAAC,KAAc,EAAE,OAAU;QACjC,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,UAAU,CAAC,KAAsB;QAC/B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,SAAS,CAAC,KAAc,EAAE,IAAa;QACrC,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAY,CAAC;IAC1E,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,MAAS;QACnC,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,cAAc,CAAC,KAAc;QAC3B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,gBAAgB,CAAC,KAAc;QAC7B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,aAAa,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QACrC,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,UAAU,CAAC,KAAc,EAAE,IAAa;QACtC,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAY,CAAC;QAC1F,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IAC1D,CAAC;IAED,oFAAoF;IACpF,YAAY,CAAC,KAAc,EAAE,IAAa;QACxC,MAAM,CAAC,GAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI;gBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAM,CAAC;YACvE,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI;gBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAM,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,gBAAgB,CAAC,CAAU,EAAE,CAAU;QACrC,IAAI,SAAS,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,IAAe,CAAoB,CAAC;QACzF,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QACtF,OAAO,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAY,CAAC;IAC9D,CAAC;IAED,2EAA2E;IAE3E,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC;QACpC,OAAO,WAAW,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IAED,SAAS,CAAC,KAAc,EAAE,IAAa;QACrC,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACrF,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,MAAS;QACnC,OAAO,WAAW,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAM,CAAC,CAAY,CAAC;IAC/F,CAAC;IAED,cAAc,CAAC,KAAc;QAC3B,OAAO,WAAW,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAM,CAAC,CAAY,CAAC;IACvF,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,QAAQ,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAS;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAY,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3F,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAS;QAC9C,OAAO,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,KAAc;QAClB,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IAC1E,CAAC;IAED,sBAAsB,CAAC,KAAc,EAAE,IAAa;QAClD,IAAI,SAAS,GAAG,WAAW,CAAC,cAAc,CACxC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EACzB,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EACxB,IAAe,CACG,CAAC;QACrB,SAAS,GAAG,WAAW,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5D,IAAI,CAAC,WAAW,CAAC,IAAI,EAAG,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC,CACtD,CAAC;QACF,OAAO,WAAW,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;IAC9D,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,MAAM,aAAa,GAAG,IAAI,MAAM,EAAW,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChH,CAAC;QACD,OAAO,WAAW,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACxF,CAAC;IAED,wEAAwE;IACxE,WAAW,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QACnC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,IAAI,MAAM,EAAW,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACzF,CAAC;IAED;;;OAGG;IACH,WAAW,CAAC,KAAc;QACxB,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7E,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAQ,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC;QAEhD,MAAM,GAAG,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAClE,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACnB,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QAEpB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChD,IAAI,GAAG,CAAC,CAAC;wBACT,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;gBAClC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC;YACjC,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC/C,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7B,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,SAAS,CAAC,KAAc;QACtB,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAQ,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC;QACvE,MAAM,OAAO,GAAG,IAAI,MAAM,EAAK,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5E,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAE,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IACtD,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,KAAc,EAAE,gBAAgB,GAAG,IAAI;QAClD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,gBAAgB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,GAAG,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAClE,MAAM,GAAG,GAAU,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAExF,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChD,IAAI,GAAG,CAAC,CAAC;wBACT,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,CAAC,CAAC;oBAAE,SAAS,CAAC,kBAAkB;gBAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,EAAE,QAAQ,CAAC,CAAC;gBACxD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,EAAE,QAAQ,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,IAAI,CAAC,KAAK,GAAG;oBAAE,SAAS;gBACxB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3B,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;oBAC9E,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAc;QACtB,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IACpD,CAAC;IAED,aAAa,CAAC,KAAc;QAC1B,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAM,CAAC;IACzD,CAAC;IAED,uBAAuB,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QAC/C,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAM,CAAC;IACjE,CAAC;IAED,2EAA2E;IAE3E,+CAA+C;IAC/C,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,SAAS,CAAS;YAC3B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9C,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACnC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED,4DAA4D;IAC5D,MAAM,CAAC,YAAY;QACjB,OAAO,IAAI,SAAS,CAAgB;YAClC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,aAAa,CAAC;YAC7C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;YACjD,UAAU,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC;YACnD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAW,CAAC,CAAC;SAC/E,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,cAAc,CAAC,CAAS;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE;YACvC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;gBAC/B,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9B,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC;QACF,OAAO,IAAI,SAAS,CAAS;YAC3B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,qFAAqF;IACrF,MAAM,CAAC,WAAW;QAChB,OAAO,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,8DAA8D;IAC9D,MAAM,CAAC,aAAa;QAClB,OAAO,IAAI,SAAS,CAAW;YAC7B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;YACpD,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC;YACzC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAW,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,YAAY;QACjB,OAAO,IAAI,SAAS,CAAU;YAC5B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,OAAO,CAAC;YACvC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;YACvC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAA6B,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,MAAM,CAAC,cAAc;QACnB,OAAO,IAAI,SAAS,CAAa;YAC/B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,UAAU,CAAC;YAC1C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACjD,UAAU,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC;YAClD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;SAChC,CAAC,CAAC;IACL,CAAC;IAED,sEAAsE;IACtE,MAAM,CAAC,WAAW;QAChB,OAAO,IAAI,SAAS,CAAa;YAC/B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,UAAU,CAAC;YAC1C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACpE,UAAU,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;YAC9D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAW,CAAC,CAAC;SAC9E,CAAC,CAAC;IACL,CAAC;CACF"}
|
|
1
|
+
{"version":3,"file":"Structure.js","sourceRoot":"","sources":["../src/Structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAe,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAoC5D,MAAM,OAAO,SAAS;IACH,SAAS,CAAuC;IAChD,WAAW,CAA2B;IACtC,SAAS,CAAqB;IAC9B,WAAW,CAAM;IACjB,WAAW,CAAoB;IAC/B,eAAe,CAA0B;IAE1D,YAAY,UAA+B,EAAE;QAC3C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAM,CAAC,CAAC;QACnD,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAa;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAkC,CAAC;IAChE,CAAC;IAED,QAAQ,CAAC,OAAgB;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAa;QACrB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAsB,CAAC;IACtD,CAAC;IAED,0GAA0G;IAC1G,YAAY,CAAC,MAAS,EAAE,KAAa,EAAE,cAAc,GAAG,CAAC;QACvD,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,MAAM,CAAC;QACf,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,CAAC,GAAG,CAAC,CAAC,CAAC;YACP,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAsB,CAAC;IAClD,CAAC;IACD,QAAQ,CAAC,MAAS,EAAE,KAAa;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAsB,CAAC;IAClD,CAAC;IACD,aAAa,CAAC,MAAS,EAAE,KAAa;QACpC,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,2EAA2E;IAE3E,OAAO,CAAC,KAAK,GAAG,CAAC;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAgB,CAAC;IAC9C,CAAC;IACD,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,QAAQ,CAAC,CAAI,EAAE,CAAI;QACjB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,CAAC,CAAI,EAAE,CAAI;QACf,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,2EAA2E;IAE3E,QAAQ,CAAC,KAAK,GAAG,CAAC;QAChB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAM,CAAC;IACtC,CAAC;IACD,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAM,CAAC;IAClC,CAAC;IACD,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAM,CAAC;IAClC,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IACD,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,eAAe,CAAC;IAC9B,CAAC;IAED,2EAA2E;IAE3E,QAAQ,CAAC,KAAc,EAAE,OAAU;QACjC,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,UAAU,CAAC,KAAsB;QAC/B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,SAAS,CAAC,KAAc,EAAE,IAAa;QACrC,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAY,CAAC;IAC1E,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,MAAS;QACnC,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,cAAc,CAAC,KAAc;QAC3B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,gBAAgB,CAAC,KAAc;QAC7B,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,aAAa,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QACrC,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,UAAU,CAAC,KAAc,EAAE,IAAa;QACtC,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAY,CAAC;QAC1F,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IAC1D,CAAC;IAED,oFAAoF;IACpF,YAAY,CAAC,KAAc,EAAE,IAAa;QACxC,MAAM,CAAC,GAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI;gBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAM,CAAC;YACvE,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI;gBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAM,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QAClG,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,gBAAgB,CAAC,CAAU,EAAE,CAAU;QACrC,IAAI,SAAS,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,IAAe,CAAoB,CAAC;QACzF,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;QACtF,OAAO,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAY,CAAC;IAC9D,CAAC;IAED,2EAA2E;IAE3E,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC;QACpC,OAAO,WAAW,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IAED,SAAS,CAAC,KAAc,EAAE,IAAa;QACrC,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACrF,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,MAAS;QACnC,OAAO,WAAW,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAM,CAAC,CAAY,CAAC;IAC/F,CAAC;IAED,cAAc,CAAC,KAAc;QAC3B,OAAO,WAAW,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAM,CAAC,CAAY,CAAC;IACvF,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,QAAQ,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAS;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAY,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3F,CAAC;IAED,WAAW,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC,EAAE,MAAS;QAC9C,OAAO,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,KAAc;QAClB,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IAC1E,CAAC;IAED,sBAAsB,CAAC,KAAc,EAAE,IAAa;QAClD,IAAI,SAAS,GAAG,WAAW,CAAC,cAAc,CACxC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EACzB,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EACxB,IAAe,CACG,CAAC;QACrB,SAAS,GAAG,WAAW,CAAC,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5D,IAAI,CAAC,WAAW,CAAC,IAAI,EAAG,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC,CACtD,CAAC;QACF,OAAO,WAAW,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;IAC9D,CAAC;IAED,cAAc,CAAC,KAAc,EAAE,IAAa;QAC1C,MAAM,aAAa,GAAG,IAAI,MAAM,EAAW,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChH,CAAC;QACD,OAAO,WAAW,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACxF,CAAC;IAED,wEAAwE;IACxE,WAAW,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QACnC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,IAAI,MAAM,EAAW,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAY,CAAC;IACzF,CAAC;IAED,qHAAqH;IAC7G,UAAU,CAAC,CAAI;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAY,CAAC;QACxC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAEO,SAAS,CAAC,EAAU,EAAE,CAAI;QAChC,OAAO,IAAI,UAAU,CAAC,GAAG,EAAE,aAAa,MAAM,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC;IACvG,CAAC;IAED;;;;;OAKG;IACK,uBAAuB,CAAC,KAAc;QAC5C,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAChE,iFAAiF;QACjF,IAAI,CAAC,GAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,oCAAoC;YACrD,2DAA2D;YAC3D,MAAM,GAAG,GAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;YACzD,IAAI,CAAC,GAAQ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC,IAAI;YACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnF,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACV,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;wBACrC,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;wBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;4BAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACnF,OAAO,GAAG,CAAC;oBACb,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAQ,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;oBAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3F,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjB,CAAC;YACD,CAAC,GAAG,IAAI,CAAC;QACX,CAAC;QACD,oEAAoE;QACpE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,KAAc;QACxB,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7E,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAQ,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC;QAEhD,MAAM,GAAG,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAClE,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACnB,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QAEpB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC,EAAE,CAAC;gBACzF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7D,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,CAAC,EAAE,CAAC;wBACrF,IAAI,GAAG,CAAC,CAAC;wBACT,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;oBAChB,IAAI,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;wBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;oBAC5G,OAAO,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;gBAC7C,CAAC;gBACD,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC;YACjC,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC/C,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7B,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,SAAS,CAAC,KAAc;QACtB,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAQ,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,CAAC;QACvE,MAAM,OAAO,GAAG,IAAI,MAAM,EAAK,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5E,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAE,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IACtD,CAAC;IAED;;;;;;;;;;;OAWG;IACH,YAAY,CAAC,KAAc,EAAE,gBAAgB,GAAG,IAAI;QAClD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,4CAA4C,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxF,IAAI,gBAAgB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,UAAU,CAAC,kCAAkC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC;IAED,6EAA6E;IACrE,gBAAgB,CAAC,KAAc;QACrC,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,IAAI,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,kCAAkC,CAAC,CAAC;QAC5F,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,GAAG,GAAU,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,CAAI,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzG,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAClE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,6CAA6C;YAC5F,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,kGAAkG;IAC1F,mBAAmB,CAAC,KAAc;QACxC,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAU,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAClE,MAAM,GAAG,GAAU,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAI,GAAe,CAAC,CAAC,CAAC;QAExF,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC,EAAE,CAAC;gBACzF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7D,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,CAAC,EAAE,CAAC;wBACrF,IAAI,GAAG,CAAC,CAAC;wBACT,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;oBAChB,IAAI,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBAC1F,MAAM,IAAI,UAAU,CAAC,kCAAkC,CAAC,CAAC;oBAC3D,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAM,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,EAAE,QAAQ,CAAC,CAAC;gBACxD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,EAAE,QAAQ,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,IAAI,CAAC,KAAK,GAAG;oBAAE,SAAS;gBACxB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAM,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3B,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;oBAC9E,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,2EAA2E;IAE3E,SAAS,CAAC,KAAc;QACtB,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAM,CAAC;IACpD,CAAC;IAED,aAAa,CAAC,KAAc;QAC1B,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAM,CAAC;IACzD,CAAC;IAED,uBAAuB,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;QAC/C,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAM,CAAC;IACjE,CAAC;IAED,2EAA2E;IAE3E,+CAA+C;IAC/C,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,SAAS,CAAS;YAC3B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9C,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACnC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED,4DAA4D;IAC5D,MAAM,CAAC,YAAY;QACjB,OAAO,IAAI,SAAS,CAAgB;YAClC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,aAAa,CAAC;YAC7C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;YACjD,UAAU,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC;YACnD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAW,CAAC,CAAC;SAC/E,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,cAAc,CAAC,CAAS;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE;YACvC,yEAAyE;YACzE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAC5C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;gBAC/B,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9B,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC;QACF,OAAO,IAAI,SAAS,CAAS;YAC3B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,qFAAqF;IACrF,MAAM,CAAC,WAAW;QAChB,OAAO,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,8DAA8D;IAC9D,MAAM,CAAC,aAAa;QAClB,OAAO,IAAI,SAAS,CAAW;YAC7B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,QAAQ,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;YACpD,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC;YACzC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAW,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,YAAY;QACjB,OAAO,IAAI,SAAS,CAAU;YAC5B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,OAAO,CAAC;YACvC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;YACvC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAA6B,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,MAAM,CAAC,cAAc;QACnB,OAAO,IAAI,SAAS,CAAa;YAC/B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,UAAU,CAAC;YAC1C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACjD,UAAU,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC;YAClD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;SAChC,CAAC,CAAC;IACL,CAAC;IAED,sEAAsE;IACtE,MAAM,CAAC,WAAW;QAChB,OAAO,IAAI,SAAS,CAAa;YAC/B,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,UAAU,CAAC;YAC1C,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACpE,UAAU,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;YAC9D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAW,CAAC,CAAC;SAC9E,CAAC,CAAC;IACL,CAAC;CACF"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@johnhenry/math",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.3",
|
|
4
4
|
"publishConfig": {
|
|
5
5
|
"access": "public",
|
|
6
6
|
"provenance": true
|
|
@@ -63,6 +63,6 @@
|
|
|
63
63
|
"typescript": "^5.9.3"
|
|
64
64
|
},
|
|
65
65
|
"engines": {
|
|
66
|
-
"node": ">=
|
|
66
|
+
"node": ">=26.0.0"
|
|
67
67
|
}
|
|
68
68
|
}
|
package/src/Structure.ts
CHANGED
|
@@ -262,9 +262,62 @@ export class Structure<T = unknown> {
|
|
|
262
262
|
return VectorUtils.collapse(powerList, (a, b) => this.multiplyMatrix(a, b)) as SMat<T>;
|
|
263
263
|
}
|
|
264
264
|
|
|
265
|
+
/** Whether `x` has a usable multiplicative inverse (a `NaN` reciprocal marks "none", as in Z/nZ for composite n). */
|
|
266
|
+
private hasInverse(x: T): boolean {
|
|
267
|
+
const r = this.reciprocal(x) as unknown;
|
|
268
|
+
return !(typeof r === "number" && Number.isNaN(r));
|
|
269
|
+
}
|
|
270
|
+
|
|
271
|
+
private noInverse(op: string, x: T): RangeError {
|
|
272
|
+
return new RangeError(`${op}: element ${String(x)} has no multiplicative inverse in this structure`);
|
|
273
|
+
}
|
|
274
|
+
|
|
275
|
+
/**
|
|
276
|
+
* Determinant of a square matrix using only addition, subtraction and
|
|
277
|
+
* multiplication (Berkowitz's algorithm, O(n^4)), so it is valid over any
|
|
278
|
+
* commutative ring, including Z/nZ with composite `n` where a pivot may have
|
|
279
|
+
* no multiplicative inverse.
|
|
280
|
+
*/
|
|
281
|
+
private determinantDivisionFree(alpha: SMat<T>): T {
|
|
282
|
+
const n = VectorUtils.width(alpha);
|
|
283
|
+
const a: T[][] = [...alpha].map((row) => [...(row as SVec<T>)]);
|
|
284
|
+
// p holds the characteristic-polynomial coefficients of the leading r x r block.
|
|
285
|
+
let p: T[] = [this.one];
|
|
286
|
+
for (let r = 1; r <= n; r++) {
|
|
287
|
+
const m = r - 1; // size of the leading block A_{r-1}
|
|
288
|
+
// Toeplitz column: [1, -a_rr, -R C, -R A C, -R A^2 C, ...]
|
|
289
|
+
const col: T[] = [this.one, this.negative(a[m][m] as T)];
|
|
290
|
+
let v: T[] = Array.from({ length: m }, (_, i) => a[i][m] as T); // C
|
|
291
|
+
for (let k = 2; k <= r; k++) {
|
|
292
|
+
let dot = this.zero;
|
|
293
|
+
for (let i = 0; i < m; i++) dot = this.add(dot, this.multiply(a[m][i] as T, v[i]));
|
|
294
|
+
col.push(this.negative(dot));
|
|
295
|
+
if (k < r) {
|
|
296
|
+
v = Array.from({ length: m }, (_, i) => {
|
|
297
|
+
let acc = this.zero;
|
|
298
|
+
for (let j = 0; j < m; j++) acc = this.add(acc, this.multiply(a[i][j] as T, v[j]));
|
|
299
|
+
return acc;
|
|
300
|
+
});
|
|
301
|
+
}
|
|
302
|
+
}
|
|
303
|
+
const next: T[] = [];
|
|
304
|
+
for (let i = 0; i <= r; i++) {
|
|
305
|
+
let acc = this.zero;
|
|
306
|
+
for (let j = 0; j < r && j <= i; j++) acc = this.add(acc, this.multiply(col[i - j], p[j]));
|
|
307
|
+
next.push(acc);
|
|
308
|
+
}
|
|
309
|
+
p = next;
|
|
310
|
+
}
|
|
311
|
+
// p = coefficients of det(xI - A); det(A) = (-1)^n * constant term.
|
|
312
|
+
const c = p[n];
|
|
313
|
+
return n % 2 === 0 ? c : this.negative(c);
|
|
314
|
+
}
|
|
315
|
+
|
|
265
316
|
/**
|
|
266
317
|
* Determinant via Gaussian elimination with row-swap pivoting, O(n^3)
|
|
267
|
-
* instead of the previous O(n!) cofactor (Laplace) expansion.
|
|
318
|
+
* instead of the previous O(n!) cofactor (Laplace) expansion. Over a ring where
|
|
319
|
+
* a needed pivot has no multiplicative inverse (e.g. Z/nZ, composite `n`) it
|
|
320
|
+
* falls back to a division-free method, so the result is always defined.
|
|
268
321
|
*/
|
|
269
322
|
determinant(alpha: SMat<T>): T {
|
|
270
323
|
if (VectorUtils.width(alpha) !== VectorUtils.height(alpha)) return this.zero;
|
|
@@ -276,15 +329,19 @@ export class Structure<T = unknown> {
|
|
|
276
329
|
let sign = this.one;
|
|
277
330
|
|
|
278
331
|
for (let col = 0; col < n; col++) {
|
|
279
|
-
if (this.equality(mat[col][col] as T, this.zero)) {
|
|
332
|
+
if (this.equality(mat[col][col] as T, this.zero) || !this.hasInverse(mat[col][col] as T)) {
|
|
333
|
+
const wasZero = this.equality(mat[col][col] as T, this.zero);
|
|
280
334
|
let swap = -1;
|
|
281
335
|
for (let r = col + 1; r < n; r++) {
|
|
282
|
-
if (!this.equality(mat[r][col] as T, this.zero)) {
|
|
336
|
+
if (!this.equality(mat[r][col] as T, this.zero) && this.hasInverse(mat[r][col] as T)) {
|
|
283
337
|
swap = r;
|
|
284
338
|
break;
|
|
285
339
|
}
|
|
286
340
|
}
|
|
287
|
-
if (swap === -1)
|
|
341
|
+
if (swap === -1) {
|
|
342
|
+
if (wasZero && mat.slice(col + 1).every((row) => this.equality(row[col] as T, this.zero))) return this.zero;
|
|
343
|
+
return this.determinantDivisionFree(alpha);
|
|
344
|
+
}
|
|
288
345
|
[mat[col], mat[swap]] = [mat[swap], mat[col]];
|
|
289
346
|
sign = this.negative(sign);
|
|
290
347
|
}
|
|
@@ -316,27 +373,66 @@ export class Structure<T = unknown> {
|
|
|
316
373
|
* Matrix inverse by Gauss-Jordan elimination over the structure's field
|
|
317
374
|
* operations, with a zero-pivot row swap (bug fix — the AS3 version had no
|
|
318
375
|
* pivoting and divided by a zero pivot).
|
|
376
|
+
*
|
|
377
|
+
* Over a ring such as Z/nZ with composite `n`, when elimination hits a pivot
|
|
378
|
+
* with no inverse it falls back to `det⁻¹ · adj(A)`, which succeeds exactly
|
|
379
|
+
* when the determinant is a unit.
|
|
380
|
+
*
|
|
381
|
+
* @throws RangeError if the matrix is not square, is singular, or (over a ring)
|
|
382
|
+
* its determinant has no multiplicative inverse.
|
|
319
383
|
*/
|
|
320
384
|
invertMatrix(alpha: SMat<T>, checkDeterminant = true): SMat<T> {
|
|
321
385
|
const n = VectorUtils.height(alpha);
|
|
322
386
|
const w = VectorUtils.width(alpha);
|
|
387
|
+
if (n !== w) throw new RangeError(`invertMatrix: matrix must be square, got ${n}x${w}`);
|
|
323
388
|
if (checkDeterminant && this.equality(this.determinant(alpha), this.zero)) {
|
|
324
|
-
|
|
389
|
+
throw new RangeError("invertMatrix: matrix is singular");
|
|
325
390
|
}
|
|
391
|
+
return this.invertByElimination(alpha) ?? this.invertByAdjugate(alpha);
|
|
392
|
+
}
|
|
326
393
|
|
|
394
|
+
/** `det⁻¹ · adj(A)`; needs no pivot inverses, only that det(A) is a unit. */
|
|
395
|
+
private invertByAdjugate(alpha: SMat<T>): SMat<T> {
|
|
396
|
+
const n = VectorUtils.height(alpha);
|
|
397
|
+
const rows: T[][] = [...alpha].map((row) => [...(row as SVec<T>)]);
|
|
398
|
+
const det = this.determinant(alpha);
|
|
399
|
+
if (this.equality(det, this.zero)) throw new RangeError("invertMatrix: matrix is singular");
|
|
400
|
+
if (!this.hasInverse(det)) throw this.noInverse("invertMatrix", det);
|
|
401
|
+
const detInv = this.reciprocal(det);
|
|
402
|
+
const out: T[][] = Array.from({ length: n }, () => new Array<T>(n));
|
|
403
|
+
for (let i = 0; i < n; i++) {
|
|
404
|
+
for (let j = 0; j < n; j++) {
|
|
405
|
+
const sub = rows.filter((_, r) => r !== i).map((row) => Vector.fromArray(row.filter((_, c) => c !== j)));
|
|
406
|
+
const minor = this.determinant(Vector.fromArray(sub));
|
|
407
|
+
const cofactor = (i + j) % 2 === 0 ? minor : this.negative(minor);
|
|
408
|
+
out[j][i] = this.multiply(detInv, cofactor); // adjugate is the transposed cofactor matrix
|
|
409
|
+
}
|
|
410
|
+
}
|
|
411
|
+
return Vector.fromArray(out.map((row) => Vector.fromArray(row)));
|
|
412
|
+
}
|
|
413
|
+
|
|
414
|
+
/** Gauss-Jordan; returns `null` if a pivot has no inverse (caller falls back to the adjugate). */
|
|
415
|
+
private invertByElimination(alpha: SMat<T>): SMat<T> | null {
|
|
416
|
+
const n = VectorUtils.height(alpha);
|
|
327
417
|
const mat: T[][] = [...alpha].map((row) => [...(row as SVec<T>)]);
|
|
328
418
|
const inv: T[][] = [...this.generateIdentity(n, n)].map((row) => [...(row as SVec<T>)]);
|
|
329
419
|
|
|
330
420
|
for (let col = 0; col < n; col++) {
|
|
331
|
-
if (this.equality(mat[col][col] as T, this.zero)) {
|
|
421
|
+
if (this.equality(mat[col][col] as T, this.zero) || !this.hasInverse(mat[col][col] as T)) {
|
|
422
|
+
const wasZero = this.equality(mat[col][col] as T, this.zero);
|
|
332
423
|
let swap = -1;
|
|
333
424
|
for (let r = col + 1; r < n; r++) {
|
|
334
|
-
if (!this.equality(mat[r][col] as T, this.zero)) {
|
|
425
|
+
if (!this.equality(mat[r][col] as T, this.zero) && this.hasInverse(mat[r][col] as T)) {
|
|
335
426
|
swap = r;
|
|
336
427
|
break;
|
|
337
428
|
}
|
|
338
429
|
}
|
|
339
|
-
if (swap === -1)
|
|
430
|
+
if (swap === -1) {
|
|
431
|
+
if (wasZero && mat.slice(col + 1).every((row) => this.equality(row[col] as T, this.zero))) {
|
|
432
|
+
throw new RangeError("invertMatrix: matrix is singular");
|
|
433
|
+
}
|
|
434
|
+
return null;
|
|
435
|
+
}
|
|
340
436
|
[mat[col], mat[swap]] = [mat[swap], mat[col]];
|
|
341
437
|
[inv[col], inv[swap]] = [inv[swap], inv[col]];
|
|
342
438
|
}
|
|
@@ -404,6 +500,8 @@ export class Structure<T = unknown> {
|
|
|
404
500
|
static integersModulo(n: number): Structure<number> {
|
|
405
501
|
const mod = (x: number) => ((x % n) + n) % n;
|
|
406
502
|
const modInverse = (a: number): number => {
|
|
503
|
+
// NaN/Infinity/fractions have no inverse (and would loop forever below).
|
|
504
|
+
if (!Number.isInteger(a)) return Number.NaN;
|
|
407
505
|
let [oldR, r] = [mod(a), n];
|
|
408
506
|
let [oldS, s] = [1, 0];
|
|
409
507
|
while (r !== 0) {
|