@stevenvo780/st-lang 4.12.0 → 4.13.0

package/dist/tests/reasoning/galois-fields/galois-fields.test.js

@@ -0,0 +1,226 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const galois_fields_1 = require("../../../reasoning/galois-fields");
+// Helpers ----------------------------------------------------
+function enumerateElements(F) {
+    const out = [];
+    for (let k = 0; k < F.order; k++) {
+        const coeffs = Array.from({ length: F.degree }, () => 0);
+        let x = k;
+        for (let i = 0; i < F.degree; i++) {
+            coeffs[i] = x % F.prime;
+            x = Math.floor(x / F.prime);
+        }
+        out.push((0, galois_fields_1.gfElement)(F, coeffs));
+    }
+    return out;
+}
+(0, vitest_1.describe)('Galois Fields — irreducibles', () => {
+    (0, vitest_1.it)('findIrreducibleOverZp(2, 1) devuelve x', () => {
+        (0, vitest_1.expect)((0, galois_fields_1.findIrreducibleOverZp)(2, 1)).toEqual([0, 1]);
+    });
+    (0, vitest_1.it)('findIrreducibleOverZp(2, 3) devuelve un polinomio de grado 3 mónico', () => {
+        const f = (0, galois_fields_1.findIrreducibleOverZp)(2, 3);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(f && f[f.length - 1]).toBe(1);
+        (0, vitest_1.expect)(f && f.length).toBe(4);
+    });
+    (0, vitest_1.it)('findIrreducibleOverZp(3, 2) existe y es de grado 2', () => {
+        const f = (0, galois_fields_1.findIrreducibleOverZp)(3, 2);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(f && f.length).toBe(3);
+    });
+    (0, vitest_1.it)('rechaza p no primo', () => {
+        (0, vitest_1.expect)(() => (0, galois_fields_1.findIrreducibleOverZp)(4, 2)).toThrow();
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(p)', () => {
+    (0, vitest_1.it)('GF(2): suma equivale a XOR', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(2, 1);
+        const zero = (0, galois_fields_1.gfZero)(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, one, one), zero)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, one, zero), one)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, zero, zero), zero)).toBe(true);
+    });
+    (0, vitest_1.it)('GF(2): multiplicación equivale a AND', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(2, 1);
+        const zero = (0, galois_fields_1.gfZero)(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, one, one), one)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, one, zero), zero)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, zero, zero), zero)).toBe(true);
+    });
+    (0, vitest_1.it)('GF(7): inverso de cada no-cero da 1', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(7, 1);
+        for (let k = 1; k < 7; k++) {
+            const a = (0, galois_fields_1.gfElement)(F, [k]);
+            const inv = (0, galois_fields_1.gfInverse)(F, a);
+            (0, vitest_1.expect)(inv).not.toBeNull();
+            if (inv)
+                (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, a, inv), (0, galois_fields_1.gfOne)(F))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('GF(7) tiene primitivo y su orden es 6', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(7, 1);
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.order)(F, g)).toBe(6);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(2^3)', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 3);
+    (0, vitest_1.it)('orden del cuerpo = 8', () => {
+        (0, vitest_1.expect)(F.order).toBe(8);
+    });
+    (0, vitest_1.it)('todo no-cero tiene inverso y a · a^-1 = 1', () => {
+        const elements = enumerateElements(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        for (const a of elements) {
+            if ((0, galois_fields_1.gfEq)(a, (0, galois_fields_1.gfZero)(F)))
+                continue;
+            const inv = (0, galois_fields_1.gfInverse)(F, a);
+            (0, vitest_1.expect)(inv).not.toBeNull();
+            if (inv)
+                (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, a, inv), one)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('Fermat little: a^(p^n - 1) = 1 para todo no-cero', () => {
+        const exp = BigInt(F.order - 1);
+        const one = (0, galois_fields_1.gfOne)(F);
+        for (const a of enumerateElements(F)) {
+            if ((0, galois_fields_1.gfEq)(a, (0, galois_fields_1.gfZero)(F)))
+                continue;
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, exp), one)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('existe primitivo y su orden divide a p^n − 1', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        const ord = (0, galois_fields_1.order)(F, g);
+        (0, vitest_1.expect)(ord).toBe(F.order - 1);
+        (0, vitest_1.expect)((F.order - 1) % ord).toBe(0);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(2^4)', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 4);
+    (0, vitest_1.it)('orden = 16 y existe primitivo de orden 15', () => {
+        (0, vitest_1.expect)(F.order).toBe(16);
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.order)(F, g)).toBe(15);
+    });
+    (0, vitest_1.it)('discreteLog inverso de gfPow', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        for (let k = 0; k < F.order - 1; k++) {
+            const target = (0, galois_fields_1.gfPow)(F, g, BigInt(k));
+            const log = (0, galois_fields_1.discreteLog)(F, g, target);
+            (0, vitest_1.expect)(log).toBe(k);
+        }
+    });
+    (0, vitest_1.it)('gfDiv consistente con gfMul + inverso', () => {
+        const a = (0, galois_fields_1.gfElement)(F, [1, 1, 0, 1]);
+        const b = (0, galois_fields_1.gfElement)(F, [0, 1, 1, 0]);
+        const q = (0, galois_fields_1.gfDiv)(F, a, b);
+        (0, vitest_1.expect)(q).not.toBeNull();
+        if (q)
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, q, b), a)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — leyes algebraicas (GF(3^2))', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(3, 2);
+    (0, vitest_1.it)('suma asociativa y conmutativa', () => {
+        const elements = enumerateElements(F);
+        // Muestreo: 3 triples (a,b,c) deterministas.
+        const samples = [];
+        for (let i = 0; i < 4; i++) {
+            const a = elements[(i * 3) % elements.length];
+            const b = elements[(i * 5 + 1) % elements.length];
+            const c = elements[(i * 7 + 2) % elements.length];
+            if (a && b && c)
+                samples.push([a, b, c]);
+        }
+        for (const [a, b, c] of samples) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, a, b), (0, galois_fields_1.gfAdd)(F, b, a))).toBe(true);
+            const left = (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfAdd)(F, a, b), c);
+            const right = (0, galois_fields_1.gfAdd)(F, a, (0, galois_fields_1.gfAdd)(F, b, c));
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(left, right)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('multiplicación distributiva sobre la suma', () => {
+        const elements = enumerateElements(F);
+        for (let i = 0; i < 5; i++) {
+            const a = elements[(i * 2) % elements.length];
+            const b = elements[(i * 3 + 1) % elements.length];
+            const c = elements[(i * 5 + 2) % elements.length];
+            if (!a || !b || !c)
+                continue;
+            const left = (0, galois_fields_1.gfMul)(F, a, (0, galois_fields_1.gfAdd)(F, b, c));
+            const right = (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfMul)(F, a, b), (0, galois_fields_1.gfMul)(F, a, c));
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(left, right)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('a − a = 0 y a + (−a) = 0', () => {
+        for (const a of enumerateElements(F)) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfSub)(F, a, a), (0, galois_fields_1.gfZero)(F))).toBe(true);
+        }
+    });
+});
+(0, vitest_1.describe)('Galois Fields — Reed-Solomon encoding (GF(2^3))', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 3);
+    (0, vitest_1.it)('rsEncode con mensaje constante c devuelve [c, c, ...]', () => {
+        const c = (0, galois_fields_1.gfElement)(F, [1, 0, 1]);
+        const word = (0, galois_fields_1.rsEncode)(F, [c], 5);
+        (0, vitest_1.expect)(word.length).toBe(5);
+        for (const w of word) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(w, c)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('rsEncode evalúa el polinomio en potencias del primitivo', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        const m0 = (0, galois_fields_1.gfOne)(F);
+        const m1 = (0, galois_fields_1.gfOne)(F);
+        // polinomio P(x) = 1 + x
+        const word = (0, galois_fields_1.rsEncode)(F, [m0, m1], 3);
+        (0, vitest_1.expect)(word.length).toBe(3);
+        // P(1) = 1+1 = 0 en GF(2^k)
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(word[0], (0, galois_fields_1.gfZero)(F))).toBe(true);
+        // P(g) = 1 + g
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(word[1], (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfOne)(F), g))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — errores y bordes', () => {
+    (0, vitest_1.it)('gfInverse(0) = null', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 2);
+        (0, vitest_1.expect)((0, galois_fields_1.gfInverse)(F, (0, galois_fields_1.gfZero)(F))).toBeNull();
+    });
+    (0, vitest_1.it)('gfDiv por 0 devuelve null', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 2);
+        const a = (0, galois_fields_1.gfElement)(F, [1, 2]);
+        (0, vitest_1.expect)((0, galois_fields_1.gfDiv)(F, a, (0, galois_fields_1.gfZero)(F))).toBeNull();
+    });
+    (0, vitest_1.it)('gfPow con exponente 0 da 1', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(3, 2);
+        const a = (0, galois_fields_1.gfElement)(F, [2, 1]);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, 0n), (0, galois_fields_1.gfOne)(F))).toBe(true);
+    });
+    (0, vitest_1.it)('gfPow exponente negativo usa inverso', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 1);
+        const a = (0, galois_fields_1.gfElement)(F, [3]);
+        // 3^(-1) mod 5 = 2
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, -1n), (0, galois_fields_1.gfElement)(F, [2]))).toBe(true);
+    });
+    (0, vitest_1.it)('makeGaloisField rechaza irreducible reducible', () => {
+        // (x^2) sobre Z/2 NO es irreducible.
+        (0, vitest_1.expect)(() => (0, galois_fields_1.makeGaloisField)(2, 2, [0, 0, 1])).toThrow();
+    });
+    (0, vitest_1.it)('makeGaloisField acepta irreducible explícito válido para GF(2^2)', () => {
+        // x^2 + x + 1 sobre Z/2 es irreducible.
+        const F = (0, galois_fields_1.makeGaloisField)(2, 2, [1, 1, 1]);
+        (0, vitest_1.expect)(F.order).toBe(4);
+        // Verificar que (1 + x) * (1 + x) reducido tiene sentido.
+        const a = (0, galois_fields_1.gfElement)(F, [1, 1]);
+        const a2 = (0, galois_fields_1.gfMul)(F, a, a);
+        // (1+x)^2 = 1 + 2x + x^2 = 1 + x^2 ≡ 1 + (x+1) = x (mod x^2+x+1, en Z/2)
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(a2, (0, galois_fields_1.gfElement)(F, [0, 1]))).toBe(true);
+    });
+});
+//# sourceMappingURL=galois-fields.test.js.map

package/dist/tests/reasoning/galois-fields/galois-fields.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"galois-fields.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/galois-fields/galois-fields.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAkB0C;AAE1C,+DAA+D;AAE/D,SAAS,iBAAiB,CAAC,CAAqC;IAC9D,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,MAAM,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YACxB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG;gBAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,IAAA,oBAAI,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG;gBAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,IAAI,IAAA,oBAAI,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACjC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC;YAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,6CAA6C;QAC7C,MAAM,OAAO,GAA6C,EAAE,CAAC;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC7B,MAAM,IAAI,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACpB,yBAAyB;QACzB,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,eAAe;QACf,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,mBAAmB;QACnB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,qCAAqC;QACrC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,wCAAwC;QACxC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,0DAA0D;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,yEAAyE;QACzE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,EAAE,EAAE,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/lattice/lattice.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=lattice.test.d.ts.map

package/dist/tests/reasoning/lattice/lattice.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lattice.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/lattice/lattice.test.ts"],"names":[],"mappings":""}

package/dist/tests/reasoning/lattice/lattice.test.js

@@ -0,0 +1,238 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const lattice_1 = require("../../../reasoning/lattice");
+const eq = (L, a, b) => L.leq(a, b) && L.leq(b, a);
+(0, vitest_1.describe)('Lattice — power set 2^{a,b}', () => {
+    const L = (0, lattice_1.powerSetLattice)(['a', 'b']);
+    (0, vitest_1.it)('contiene exactamente 4 elementos', () => {
+        (0, vitest_1.expect)(L.elements.length).toBe(4);
+    });
+    (0, vitest_1.it)('es booleana: distributiva + complementada', () => {
+        (0, vitest_1.expect)((0, lattice_1.isBoolean)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isComplemented)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('es Heyting (corolario de distributividad finita)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isHeyting)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('cada subconjunto tiene complemento único (el complemento de conjuntos)', () => {
+        for (const s of L.elements) {
+            const c = (0, lattice_1.complement)(L, s);
+            (0, vitest_1.expect)(c).not.toBeNull();
+            // a ∪ c = top, a ∩ c = bottom
+            (0, vitest_1.expect)(eq(L, L.join(s, c), L.top)).toBe(true);
+            (0, vitest_1.expect)(eq(L, L.meet(s, c), L.bottom)).toBe(true);
+        }
+    });
+});
+(0, vitest_1.describe)('Lattice — divisores de 30', () => {
+    const L = (0, lattice_1.divisibilityLattice)(30);
+    (0, vitest_1.it)('elementos = {1,2,3,5,6,10,15,30}', () => {
+        const sorted = L.elements.slice().sort((a, b) => a - b);
+        (0, vitest_1.expect)(sorted).toEqual([1, 2, 3, 5, 6, 10, 15, 30]);
+    });
+    (0, vitest_1.it)('top = 30, bottom = 1', () => {
+        (0, vitest_1.expect)(L.top).toBe(30);
+        (0, vitest_1.expect)(L.bottom).toBe(1);
+    });
+    (0, vitest_1.it)('es distributiva (n libre de cuadrados ⇒ 2^k Booleana)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isBoolean)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('join = lcm, meet = gcd: join(6,10)=30, meet(6,10)=2', () => {
+        (0, vitest_1.expect)(L.join(6, 10)).toBe(30);
+        (0, vitest_1.expect)(L.meet(6, 10)).toBe(2);
+    });
+    (0, vitest_1.it)('átomos = primos {2,3,5}', () => {
+        const a = (0, lattice_1.atoms)(L)
+            .slice()
+            .sort((x, y) => x - y);
+        (0, vitest_1.expect)(a).toEqual([2, 3, 5]);
+    });
+    (0, vitest_1.it)('coátomos = {6,10,15}', () => {
+        const c = (0, lattice_1.coatoms)(L)
+            .slice()
+            .sort((x, y) => x - y);
+        (0, vitest_1.expect)(c).toEqual([6, 10, 15]);
+    });
+});
+(0, vitest_1.describe)('Lattice — divisores de 12 (no libre de cuadrados)', () => {
+    // 12 = 2^2 · 3: distributive pero NO complementada (2 y 6 no tienen complemento)
+    const L = (0, lattice_1.divisibilityLattice)(12);
+    (0, vitest_1.it)('es distributiva pero NO Booleana (12 no es libre de cuadrados)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isComplemented)(L)).toBe(false);
+        (0, vitest_1.expect)((0, lattice_1.isBoolean)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('el elemento 2 no tiene complemento', () => {
+        (0, vitest_1.expect)((0, lattice_1.complement)(L, 2)).toBeNull();
+    });
+});
+(0, vitest_1.describe)('Lattice — chain(5)', () => {
+    const L = (0, lattice_1.chain)(5);
+    (0, vitest_1.it)('es totally ordered (lattice trivialmente)', () => {
+        (0, vitest_1.expect)(L.elements.length).toBe(5);
+        (0, vitest_1.expect)(L.top).toBe(4);
+        (0, vitest_1.expect)(L.bottom).toBe(0);
+    });
+    (0, vitest_1.it)('es distributiva pero NO complementada (excepto en cadena de 2)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isComplemented)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('cadena de 2 sí es Booleana', () => {
+        const L2 = (0, lattice_1.chain)(2);
+        (0, vitest_1.expect)((0, lattice_1.isBoolean)(L2)).toBe(true);
+    });
+    (0, vitest_1.it)('no contiene N5 ni M3', () => {
+        (0, vitest_1.expect)((0, lattice_1.containsPentagon)(L)).toBe(false);
+        (0, vitest_1.expect)((0, lattice_1.containsDiamond)(L)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Lattice — pentágono N5', () => {
+    const L = (0, lattice_1.pentagonN5)();
+    (0, vitest_1.it)('contiene un subreticulado N5 (a sí mismo)', () => {
+        (0, vitest_1.expect)((0, lattice_1.containsPentagon)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('NO es modular (Dedekind)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isModular)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('NO es distributivo', () => {
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('es complementado (cada elemento medio cumple a∨x=T, a∧x=B)', () => {
+        // En N5 con {B,a,c,b,T}: complemento de 'a' es 'b'; de 'c' también es 'b';
+        // 'b' tiene dos complementos posibles (a o c). Todos tienen alguno.
+        (0, vitest_1.expect)((0, lattice_1.isComplemented)(L)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Lattice — diamante M3', () => {
+    const L = (0, lattice_1.diamondM3)();
+    (0, vitest_1.it)('contiene un subreticulado M3', () => {
+        (0, vitest_1.expect)((0, lattice_1.containsDiamond)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('es modular pero NO distributivo', () => {
+        (0, vitest_1.expect)((0, lattice_1.isModular)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('NO contiene N5', () => {
+        (0, vitest_1.expect)((0, lattice_1.containsPentagon)(L)).toBe(false);
+    });
+    (0, vitest_1.it)('es complementado pero no Booleano (complementos no únicos)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isComplemented)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isBoolean)(L)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Lattice — Dedekind / Birkhoff', () => {
+    (0, vitest_1.it)('Dedekind: modular ⇔ libre de N5', () => {
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.pentagonN5)())).toMatchObject({
+            modular: false,
+            pentagonFree: false,
+        });
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.diamondM3)())).toMatchObject({
+            modular: true,
+            pentagonFree: true,
+        });
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.chain)(4))).toMatchObject({
+            modular: true,
+            pentagonFree: true,
+        });
+    });
+    (0, vitest_1.it)('Birkhoff: distributiva ⇔ libre de N5 y M3', () => {
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.powerSetLattice)(['a', 'b', 'c']))).toMatchObject({
+            distributive: true,
+            pentagonFree: true,
+            diamondFree: true,
+        });
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.diamondM3)())).toMatchObject({
+            distributive: false,
+            diamondFree: false,
+        });
+        (0, vitest_1.expect)((0, lattice_1.dedekindAnalysis)((0, lattice_1.pentagonN5)())).toMatchObject({
+            distributive: false,
+            pentagonFree: false,
+        });
+    });
+});
+(0, vitest_1.describe)('Lattice — pseudo-complemento / Heyting', () => {
+    const L = (0, lattice_1.powerSetLattice)(['x', 'y']);
+    (0, vitest_1.it)('en una Booleana: a ⇒ b coincide con ¬a ∪ b', () => {
+        const a = new Set(['x']);
+        const b = new Set(['y']);
+        const impl = (0, lattice_1.relativeComplement)(L, a, b);
+        (0, vitest_1.expect)(impl).not.toBeNull();
+        // ¬a ∪ b = {y} ∪ {y} = {y}
+        (0, vitest_1.expect)(eq(L, impl, b)).toBe(true);
+    });
+    (0, vitest_1.it)('cadena finita es Heyting (distributiva finita)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isHeyting)((0, lattice_1.chain)(5))).toBe(true);
+    });
+    (0, vitest_1.it)('N5 NO es Heyting (no distributiva)', () => {
+        (0, vitest_1.expect)((0, lattice_1.isHeyting)((0, lattice_1.pentagonN5)())).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Lattice — makeLattice rejection / validación', () => {
+    (0, vitest_1.it)('rechaza un poset que no es lattice (V-shape sin top)', () => {
+        // Elementos: {0, 1, 2}. 0 ≤ 1 y 0 ≤ 2; 1 y 2 incomparables y sin top.
+        const els = [0, 1, 2];
+        const leq = (a, b) => {
+            if (a === b)
+                return true;
+            if (a === 0)
+                return true;
+            return false;
+        };
+        (0, vitest_1.expect)((0, lattice_1.isLattice)(els, leq)).toBe(false);
+        (0, vitest_1.expect)((0, lattice_1.makeLattice)(els, leq)).toBeNull();
+    });
+    (0, vitest_1.it)('rechaza relación no transitiva', () => {
+        const els = [0, 1, 2];
+        const leq = (a, b) => {
+            if (a === b)
+                return true;
+            // 0 ≤ 1, 1 ≤ 2, pero NO 0 ≤ 2 → no transitiva
+            if (a === 0 && b === 1)
+                return true;
+            if (a === 1 && b === 2)
+                return true;
+            return false;
+        };
+        (0, vitest_1.expect)((0, lattice_1.isLattice)(els, leq)).toBe(false);
+    });
+    (0, vitest_1.it)('acepta el lattice trivial de 1 elemento', () => {
+        const L = (0, lattice_1.makeLattice)([42], (a, b) => a === b);
+        (0, vitest_1.expect)(L).not.toBeNull();
+        (0, vitest_1.expect)(L.top).toBe(42);
+        (0, vitest_1.expect)(L.bottom).toBe(42);
+    });
+});
+(0, vitest_1.describe)('Lattice — propiedades estructurales', () => {
+    (0, vitest_1.it)('powerSet sobre 3 elementos: 8 átomos? No, 3 átomos (singletons)', () => {
+        const L = (0, lattice_1.powerSetLattice)(['x', 'y', 'z']);
+        (0, vitest_1.expect)(L.elements.length).toBe(8);
+        (0, vitest_1.expect)((0, lattice_1.atoms)(L).length).toBe(3);
+        (0, vitest_1.expect)((0, lattice_1.coatoms)(L).length).toBe(3);
+    });
+    (0, vitest_1.it)('toda lattice distributiva es modular', () => {
+        const L = (0, lattice_1.powerSetLattice)(['a', 'b']);
+        (0, vitest_1.expect)((0, lattice_1.isDistributive)(L)).toBe(true);
+        (0, vitest_1.expect)((0, lattice_1.isModular)(L)).toBe(true);
+    });
+    (0, vitest_1.it)('en lattice Booleana el complemento es único', () => {
+        const L = (0, lattice_1.powerSetLattice)(['a', 'b', 'c']);
+        for (const s of L.elements) {
+            // No hay dos complementos distintos.
+            let found = null;
+            for (const x of L.elements) {
+                if (eq(L, L.join(s, x), L.top) && eq(L, L.meet(s, x), L.bottom)) {
+                    if (found !== null) {
+                        (0, vitest_1.expect)(eq(L, found, x)).toBe(true);
+                    }
+                    found = x;
+                }
+            }
+            (0, vitest_1.expect)(found).not.toBeNull();
+        }
+    });
+});
+//# sourceMappingURL=lattice.test.js.map

package/dist/tests/reasoning/lattice/lattice.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lattice.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/lattice/lattice.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAoBoC;AAEpC,MAAM,EAAE,GAAG,CAAI,CAAmC,EAAE,CAAI,EAAE,CAAI,EAAW,EAAE,CACzE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7B,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACzB,8BAA8B;YAC9B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAgB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAgB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,CAAC,GAAG,IAAA,6BAAmB,EAAC,EAAE,CAAC,CAAC;IAElC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,CAAC,CAAC;aACf,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,iBAAO,EAAC,CAAC,CAAC;aACjB,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,iFAAiF;IACjF,MAAM,CAAC,GAAG,IAAA,6BAAmB,EAAC,EAAE,CAAC,CAAC;IAElC,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,CAAC,CAAC,CAAC;IAEnB,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,GAAG,IAAA,eAAK,EAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,MAAM,CAAC,GAAG,IAAA,oBAAU,GAAE,CAAC;IAEvB,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,2EAA2E;QAC3E,oEAAoE;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,GAAG,IAAA,mBAAS,GAAE,CAAC;IAEtB,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,oBAAU,GAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YACnD,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,mBAAS,GAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YAClD,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,IAAI;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,eAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/C,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,IAAI;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACvE,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,mBAAS,GAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YAClD,YAAY,EAAE,KAAK;YACnB,WAAW,EAAE,KAAK;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAgB,EAAC,IAAA,oBAAU,GAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YACnD,YAAY,EAAE,KAAK;YACnB,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAA,4BAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,2BAA2B;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,EAAE,IAAmB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAA,oBAAU,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,sEAAsE;QACtE,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;YAC5C,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzB,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;YAC5C,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzB,8CAA8C;YAC9C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAE,CAA2B,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAE,CAA2B,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,eAAK,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,yBAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,qCAAqC;YACrC,IAAI,KAAK,GAAuB,IAAI,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrC,CAAC;oBACD,KAAK,GAAG,CAAC,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/polynomial-ring/polynomial-ring.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=polynomial-ring.test.d.ts.map

package/dist/tests/reasoning/polynomial-ring/polynomial-ring.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"polynomial-ring.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/polynomial-ring/polynomial-ring.test.ts"],"names":[],"mappings":""}