@stevenvo780/st-lang 4.9.0 → 4.10.0

package/dist/tests/reasoning/number-theory/number-theory.test.js

@@ -0,0 +1,170 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const number_theory_1 = require("../../../reasoning/number-theory");
+(0, vitest_1.describe)('Number Theory — primitivas', () => {
+    (0, vitest_1.it)('gcd(48, 36) = 12 y gcd con negativos toma valor absoluto', () => {
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(48n, 36n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(-48n, 36n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(0n, 7n)).toBe(7n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(0n, 0n)).toBe(0n);
+    });
+    (0, vitest_1.it)('lcm(4, 6) = 12; lcm(0, k) = 0', () => {
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(4n, 6n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(0n, 9n)).toBe(0n);
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(21n, 6n)).toBe(42n);
+    });
+    (0, vitest_1.it)('extendedGcd(35, 15) cumple a·x + b·y = gcd', () => {
+        const { gcd: g, x, y } = (0, number_theory_1.extendedGcd)(35n, 15n);
+        (0, vitest_1.expect)(g).toBe(5n);
+        (0, vitest_1.expect)(35n * x + 15n * y).toBe(g);
+    });
+    (0, vitest_1.it)('extendedGcd con coprimos: 17·x + 5·y = 1', () => {
+        const { gcd: g, x, y } = (0, number_theory_1.extendedGcd)(17n, 5n);
+        (0, vitest_1.expect)(g).toBe(1n);
+        (0, vitest_1.expect)(17n * x + 5n * y).toBe(1n);
+    });
+    (0, vitest_1.it)('modPow(2, 10, 1000) = 24', () => {
+        (0, vitest_1.expect)((0, number_theory_1.modPow)(2n, 10n, 1000n)).toBe(24n);
+    });
+    (0, vitest_1.it)('modPow respeta exponente grande (Fermat para p=13)', () => {
+        // Por Fermat pequeño: a^(p-1) ≡ 1 (mod p) si gcd(a,p)=1.
+        (0, vitest_1.expect)((0, number_theory_1.modPow)(7n, 12n, 13n)).toBe(1n);
+    });
+    (0, vitest_1.it)('modInverse(3, 11) = 4 (3·4 ≡ 1 mod 11)', () => {
+        const inv = (0, number_theory_1.modInverse)(3n, 11n);
+        (0, vitest_1.expect)(inv).toBe(4n);
+        (0, vitest_1.expect)((3n * 4n) % 11n).toBe(1n);
+    });
+    (0, vitest_1.it)('modInverse no existe cuando gcd(a, m) > 1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.modInverse)(6n, 9n)).toBeNull();
+    });
+    (0, vitest_1.it)('modSolve: 14·x ≡ 30 (mod 100) → x = 95 (mínima no-negativa mod 50)', () => {
+        const x = (0, number_theory_1.modSolve)(14n, 30n, 100n);
+        // gcd(14, 100) = 2, 30/2=15, 14/2=7, 100/2=50; 7^-1 mod 50 = 43
+        // x ≡ 15·43 ≡ 645 ≡ 45 (mod 50). La menor no-negativa < 50 es 45.
+        (0, vitest_1.expect)(x).toBe(45n);
+        (0, vitest_1.expect)(x !== null && (14n * x) % 100n).toBe(30n);
+    });
+    (0, vitest_1.it)('CRT: x ≡ 3 mod 5, x ≡ 5 mod 7 → x = 33 mod 35', () => {
+        // El prompt original decía 26, pero 26%5=1≠3. La solución correcta
+        // es 33: 33%5=3 y 33%7=5. (Verificación independiente.)
+        const r = (0, number_theory_1.crt)([
+            { remainder: 3n, modulus: 5n },
+            { remainder: 5n, modulus: 7n },
+        ]);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.solution).toBe(33n);
+        (0, vitest_1.expect)(r.modulus).toBe(35n);
+        (0, vitest_1.expect)(r.solution % 5n).toBe(3n);
+        (0, vitest_1.expect)(r.solution % 7n).toBe(5n);
+    });
+    (0, vitest_1.it)('CRT con módulos no coprimos consistentes: x ≡ 2 mod 6 y x ≡ 8 mod 9 → 26 mod 18', () => {
+        const r = (0, number_theory_1.crt)([
+            { remainder: 2n, modulus: 6n },
+            { remainder: 8n, modulus: 9n },
+        ]);
+        // gcd(6,9)=3; 8 mod 3 = 2; 2 mod 3 = 2 — consistente.
+        // lcm = 18. Soluciones: x ≡ 8 (mod 18).
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.modulus).toBe(18n);
+        (0, vitest_1.expect)(r.solution % 6n).toBe(2n);
+        (0, vitest_1.expect)(r.solution % 9n).toBe(8n);
+    });
+    (0, vitest_1.it)('CRT inconsistente devuelve null', () => {
+        const r = (0, number_theory_1.crt)([
+            { remainder: 1n, modulus: 4n },
+            { remainder: 2n, modulus: 6n },
+        ]);
+        // 1 mod 2 = 1; 2 mod 2 = 0 → incompatible.
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('isPrime(97) = true; isPrime(91) = false (7·13)', () => {
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(97n)).toBe(true);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(91n)).toBe(false);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(2n)).toBe(true);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(1n)).toBe(false);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(0n)).toBe(false);
+    });
+    (0, vitest_1.it)('millerRabin: Mersenne 2^17 - 1 = 131071 es primo', () => {
+        (0, vitest_1.expect)((0, number_theory_1.millerRabin)((1n << 17n) - 1n)).toBe(true);
+        // 2^11 - 1 = 2047 = 23·89, NO primo.
+        (0, vitest_1.expect)((0, number_theory_1.millerRabin)((1n << 11n) - 1n)).toBe(false);
+    });
+    (0, vitest_1.it)('nextPrime / previousPrime', () => {
+        (0, vitest_1.expect)((0, number_theory_1.nextPrime)(10n)).toBe(11n);
+        (0, vitest_1.expect)((0, number_theory_1.nextPrime)(13n)).toBe(17n);
+        (0, vitest_1.expect)((0, number_theory_1.previousPrime)(20n)).toBe(19n);
+        (0, vitest_1.expect)((0, number_theory_1.previousPrime)(3n)).toBe(2n);
+    });
+    (0, vitest_1.it)('primesBelow(20) = [2,3,5,7,11,13,17,19]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(20)).toEqual([2n, 3n, 5n, 7n, 11n, 13n, 17n, 19n]);
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(2)).toEqual([]);
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(3)).toEqual([2n]);
+    });
+    (0, vitest_1.it)('factorize(60) = [(2,2),(3,1),(5,1)]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(60n)).toEqual([
+            { prime: 2n, exponent: 2 },
+            { prime: 3n, exponent: 1 },
+            { prime: 5n, exponent: 1 },
+        ]);
+    });
+    (0, vitest_1.it)('factorize(1) = [] y factorize de primo grande', () => {
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(1n)).toEqual([]);
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(131071n)).toEqual([{ prime: 131071n, exponent: 1 }]);
+    });
+    (0, vitest_1.it)('factorize de semiprime grande (Pollard rho rama)', () => {
+        // 1009 · 1013 = 1022117 — fuerza la rama Pollard-rho.
+        const factors = (0, number_theory_1.factorize)(1009n * 1013n);
+        (0, vitest_1.expect)(factors).toEqual([
+            { prime: 1009n, exponent: 1 },
+            { prime: 1013n, exponent: 1 },
+        ]);
+    });
+    (0, vitest_1.it)('divisors(12) = [1,2,3,4,6,12]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.divisors)(12n)).toEqual([1n, 2n, 3n, 4n, 6n, 12n]);
+        (0, vitest_1.expect)((0, number_theory_1.divisors)(1n)).toEqual([1n]);
+    });
+    (0, vitest_1.it)('eulerPhi(12) = 4, eulerPhi(p) = p-1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(12n)).toBe(4n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(13n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(1n)).toBe(1n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(36n)).toBe(12n);
+    });
+    (0, vitest_1.it)('mobius: μ(30) = -1; μ(12) = 0; μ(1) = 1; μ(6) = 1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(30n)).toBe(-1);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(12n)).toBe(0);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(1n)).toBe(1);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(6n)).toBe(1);
+    });
+    (0, vitest_1.it)('linearDiophantine: 35x + 15y = 5 tiene solución', () => {
+        const sol = (0, number_theory_1.linearDiophantine)(35n, 15n, 5n);
+        (0, vitest_1.expect)(sol).not.toBeNull();
+        (0, vitest_1.expect)(35n * sol.x + 15n * sol.y).toBe(5n);
+        // 35x + 15y = 4 NO tiene solución (gcd=5 no divide 4).
+        (0, vitest_1.expect)((0, number_theory_1.linearDiophantine)(35n, 15n, 4n)).toBeNull();
+    });
+    (0, vitest_1.it)('Continued fraction roundtrip: 415/93 = [4;2,6,7]', () => {
+        const cf = (0, number_theory_1.continuedFractionExpansion)(415n, 93n);
+        (0, vitest_1.expect)(cf).toEqual([4n, 2n, 6n, 7n]);
+        const { num, den } = (0, number_theory_1.fromContinuedFraction)(cf);
+        (0, vitest_1.expect)(num).toBe(415n);
+        (0, vitest_1.expect)(den).toBe(93n);
+    });
+    (0, vitest_1.it)('legendreSymbol(2, 7) = 1; legendreSymbol(3, 7) = -1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(2n, 7n)).toBe(1);
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(3n, 7n)).toBe(-1);
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(7n, 7n)).toBe(0);
+    });
+    (0, vitest_1.it)('jacobiSymbol(1001, 9907) computa correctamente', () => {
+        // 9907 es primo, así que jacobi == legendre.
+        // Para chequear consistencia: jacobi(a, n)·jacobi(a, n) ∈ {0, 1}.
+        const j = (0, number_theory_1.jacobiSymbol)(1001n, 9907n);
+        (0, vitest_1.expect)([-1, 0, 1]).toContain(j);
+        // Caso conocido: jacobi(2, 15) = 1 (porque 15 ≡ 7 mod 8).
+        (0, vitest_1.expect)((0, number_theory_1.jacobiSymbol)(2n, 15n)).toBe(1);
+        // Caso conocido: jacobi(2, 9) = 1 (9 ≡ 1 mod 8).
+        (0, vitest_1.expect)((0, number_theory_1.jacobiSymbol)(2n, 9n)).toBe(1);
+    });
+});
+//# sourceMappingURL=number-theory.test.js.map

package/dist/tests/reasoning/number-theory/number-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number-theory.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/number-theory/number-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAsB0C;AAE1C,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,2BAAW,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,2BAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,gEAAgE;QAChE,kEAAkE;QAClE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,mEAAmE;QACnE,wDAAwD;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,sDAAsD;QACtD,wCAAwC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,2CAA2C;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,qCAAqC;QACrC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC1B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC1B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAA,yBAAS,EAAC,KAAK,GAAG,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC;YACtB,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC7B,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC9B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,GAAG,GAAI,CAAC,CAAC,GAAG,GAAG,GAAG,GAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,0CAA0B,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAA,qCAAqB,EAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,6CAA6C;QAC7C,kEAAkE;QAClE,MAAM,CAAC,GAAG,IAAA,4BAAY,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,0DAA0D;QAC1D,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,iDAAiD;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/real-analysis/real-analysis.test.d.ts

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

package/dist/tests/reasoning/real-analysis/real-analysis.test.d.ts.map

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

package/dist/tests/reasoning/real-analysis/real-analysis.test.js

@@ -0,0 +1,197 @@
+"use strict";
+// ============================================================
+// ST Real Analysis — Tests numéricos de las primitivas
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const real_analysis_1 = require("../../../reasoning/real-analysis");
+// ── 1. Límites ──────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · limits', () => {
+    (0, vitest_1.it)('lim_{x→1} (x²-1)/(x-1) = 2 (factorización)', () => {
+        const fn = (x) => (x * x - 1) / (x - 1);
+        const L = (0, real_analysis_1.findLimit)(fn, 1);
+        (0, vitest_1.expect)(typeof L).toBe('number');
+        if (typeof L === 'number')
+            (0, vitest_1.expect)(Math.abs(L - 2)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('verifyLimit acepta lim_{x→0} sin(x)/x = 1', () => {
+        const fn = (x) => Math.sin(x) / x;
+        const res = (0, real_analysis_1.verifyLimit)({ fn, point: 0, value: 1 }, 1e-3);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        (0, vitest_1.expect)(res.suggestedDelta).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('verifyLimit rechaza un valor incorrecto', () => {
+        const fn = (x) => 2 * x + 1;
+        const res = (0, real_analysis_1.verifyLimit)({ fn, point: 0, value: 7 }, 1e-3);
+        (0, vitest_1.expect)(res.holds).toBe(false);
+    });
+    (0, vitest_1.it)('findLimit detecta divergencia de 1/x² en 0', () => {
+        const fn = (x) => 1 / (x * x);
+        const L = (0, real_analysis_1.findLimit)(fn, 0);
+        (0, vitest_1.expect)(L).toBe('diverges');
+    });
+    (0, vitest_1.it)('findLimit retorna unknown si las colas no coinciden (signo de x)', () => {
+        const fn = (x) => (x === 0 ? 0 : x / Math.abs(x));
+        const L = (0, real_analysis_1.findLimit)(fn, 0);
+        (0, vitest_1.expect)(L).toBe('unknown');
+    });
+});
+// ── 2. Continuidad ──────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · continuity', () => {
+    (0, vitest_1.it)('isContinuousAt(sin, 0) === true', () => {
+        (0, vitest_1.expect)((0, real_analysis_1.isContinuousAt)(Math.sin, 0)).toBe(true);
+    });
+    (0, vitest_1.it)('isContinuousAt(Heaviside, 0) === false', () => {
+        const H = (x) => (x < 0 ? 0 : 1);
+        (0, vitest_1.expect)((0, real_analysis_1.isContinuousAt)(H, 0)).toBe(false);
+    });
+    (0, vitest_1.it)('isUniformlyContinuous(sin, [0, 2π]) === true (compacto)', () => {
+        (0, vitest_1.expect)((0, real_analysis_1.isUniformlyContinuous)(Math.sin, [0, 2 * Math.PI], 0.01)).toBe(true);
+    });
+    (0, vitest_1.it)('findDiscontinuities detecta la singularidad de 1/x cerca de 0', () => {
+        const fn = (x) => (x === 0 ? Number.NaN : 1 / x);
+        const ds = (0, real_analysis_1.findDiscontinuities)(fn, [-1, 1], 100);
+        (0, vitest_1.expect)(ds.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(ds.some((p) => Math.abs(p) < 0.1)).toBe(true);
+    });
+});
+// ── 3. Derivadas ────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · derivatives', () => {
+    (0, vitest_1.it)('derivative central de x² en x=3 ≈ 6', () => {
+        const d = (0, real_analysis_1.derivative)((x) => x * x, 3, { method: 'central' });
+        (0, vitest_1.expect)(d.method).toBe('central');
+        (0, vitest_1.expect)(Math.abs(d.value - 6)).toBeLessThan(1e-6);
+    });
+    (0, vitest_1.it)('derivative forward y backward de cos en π/2 ≈ -1', () => {
+        const f = (0, real_analysis_1.derivative)(Math.cos, Math.PI / 2, { method: 'forward', h: 1e-6 });
+        const b = (0, real_analysis_1.derivative)(Math.cos, Math.PI / 2, { method: 'backward', h: 1e-6 });
+        (0, vitest_1.expect)(Math.abs(f.value + 1)).toBeLessThan(1e-3);
+        (0, vitest_1.expect)(Math.abs(b.value + 1)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('derivative richardson reduce error vs central', () => {
+        // f(x)=e^x en x=1 → derivada = e
+        const fn = Math.exp;
+        const e = Math.E;
+        const c = (0, real_analysis_1.derivative)(fn, 1, { method: 'central', h: 1e-3 });
+        const r = (0, real_analysis_1.derivative)(fn, 1, { method: 'richardson', h: 1e-3 });
+        (0, vitest_1.expect)(Math.abs(r.value - e)).toBeLessThanOrEqual(Math.abs(c.value - e) + 1e-10);
+    });
+    (0, vitest_1.it)('nthDerivative(sin, 0, 1) ≈ cos(0) = 1', () => {
+        const d = (0, real_analysis_1.nthDerivative)(Math.sin, 0, 1);
+        (0, vitest_1.expect)(Math.abs(d - 1)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('nthDerivative(x→x³, 0, 3) ≈ 6', () => {
+        const fn = (x) => x * x * x;
+        const d = (0, real_analysis_1.nthDerivative)(fn, 0, 3, 1e-2);
+        (0, vitest_1.expect)(Math.abs(d - 6)).toBeLessThan(0.5);
+    });
+    (0, vitest_1.it)('isDifferentiableAt(|x|, 0) === false', () => {
+        const fn = (x) => Math.abs(x);
+        (0, vitest_1.expect)((0, real_analysis_1.isDifferentiableAt)(fn, 0)).toBe(false);
+    });
+    (0, vitest_1.it)('findCriticalPoints de x³-3x → cerca de ±1', () => {
+        const fn = (x) => x ** 3 - 3 * x;
+        const pts = (0, real_analysis_1.findCriticalPoints)(fn, [-2, 2], 200);
+        (0, vitest_1.expect)(pts.length).toBeGreaterThanOrEqual(2);
+        (0, vitest_1.expect)(pts.some((p) => Math.abs(p - 1) < 0.05)).toBe(true);
+        (0, vitest_1.expect)(pts.some((p) => Math.abs(p + 1) < 0.05)).toBe(true);
+    });
+});
+// ── 4. Integrales ───────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · integrals', () => {
+    (0, vitest_1.it)('integrate(x², 0, 1, simpson) ≈ 1/3', () => {
+        const r = (0, real_analysis_1.integrate)((x) => x * x, 0, 1, { method: 'simpson' });
+        (0, vitest_1.expect)(Math.abs(r.value - 1 / 3)).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate(sin, 0, π, trapezoidal) ≈ 2', () => {
+        const r = (0, real_analysis_1.integrate)(Math.sin, 0, Math.PI, { method: 'trapezoidal', subdivisions: 4096 });
+        (0, vitest_1.expect)(Math.abs(r.value - 2)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('integrate(e^x, 0, 1, romberg) ≈ e-1', () => {
+        const r = (0, real_analysis_1.integrate)(Math.exp, 0, 1, { method: 'romberg' });
+        (0, vitest_1.expect)(Math.abs(r.value - (Math.E - 1))).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate(1, 0, 5, gaussian) ≈ 5', () => {
+        const r = (0, real_analysis_1.integrate)(() => 1, 0, 5, { method: 'gaussian' });
+        (0, vitest_1.expect)(Math.abs(r.value - 5)).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate orientación: ∫_b^a = -∫_a^b', () => {
+        const ab = (0, real_analysis_1.integrate)((x) => x, 0, 1).value;
+        const ba = (0, real_analysis_1.integrate)((x) => x, 1, 0).value;
+        (0, vitest_1.expect)(Math.abs(ab + ba)).toBeLessThan(1e-9);
+    });
+});
+// ── 5. Series y sucesiones ──────────────────────────────────
+(0, vitest_1.describe)('real-analysis · series', () => {
+    (0, vitest_1.it)('ratioTest([1, 1/2, 1/4, ...]) converge', () => {
+        const coefs = Array.from({ length: 20 }, (_, n) => Math.pow(0.5, n));
+        const res = (0, real_analysis_1.ratioTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(true);
+    });
+    (0, vitest_1.it)('ratioTest sobre serie armónica truncada NO declara convergencia', () => {
+        const coefs = Array.from({ length: 50 }, (_, n) => 1 / (n + 1));
+        const res = (0, real_analysis_1.ratioTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(false);
+    });
+    (0, vitest_1.it)('rootTest sobre (1/2)^n converge', () => {
+        const coefs = Array.from({ length: 20 }, (_, n) => Math.pow(0.5, n));
+        const res = (0, real_analysis_1.rootTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(true);
+    });
+    (0, vitest_1.it)('partialSum de geometric ratio 1/2 → ≈ 2', () => {
+        const s = (0, real_analysis_1.partialSum)((n) => Math.pow(0.5, n), 50);
+        (0, vitest_1.expect)(Math.abs(s - 2)).toBeLessThan(1e-10);
+    });
+    (0, vitest_1.it)('sequenceLimit (1+1/n)^n → e', () => {
+        const res = (0, real_analysis_1.sequenceLimit)((n) => Math.pow(1 + 1 / n, n), {
+            maxTerms: 200000,
+            tolerance: 1e-3,
+        });
+        (0, vitest_1.expect)(res.converges).toBe(true);
+        if (res.limit !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.limit - Math.E)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('sequenceLimit de 1/n → 0 (con tolerance laxa y muchos términos)', () => {
+        const res = (0, real_analysis_1.sequenceLimit)((n) => 1 / n, { maxTerms: 100000, tolerance: 1e-3 });
+        (0, vitest_1.expect)(res.converges).toBe(true);
+        if (res.limit !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.limit)).toBeLessThan(1e-3);
+    });
+});
+// ── 6. MVT ──────────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · MVT', () => {
+    (0, vitest_1.it)("MVT para f(x)=x², a=0, b=2, f'=2x → c=1", () => {
+        const fn = (x) => x * x;
+        const dfn = (x) => 2 * x;
+        const res = (0, real_analysis_1.meanValueTheorem)(fn, dfn, 0, 2);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        if (res.c !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.c - 1)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('MVT para sin en [0, π], cos como derivada → ∃c con cos(c) = 0', () => {
+        const res = (0, real_analysis_1.meanValueTheorem)(Math.sin, Math.cos, 0, Math.PI);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        // (sin(π)-sin(0))/π = 0, así que cos(c)=0 ⇒ c ≈ π/2
+        if (res.c !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.c - Math.PI / 2)).toBeLessThan(1e-4);
+    });
+});
+// ── 7. Taylor ───────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · Taylor', () => {
+    (0, vitest_1.it)('Taylor de sin orden 5 en 0 aproxima sin(0.5) con error < 1e-3', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.sin, 0, 5);
+        const x = 0.5;
+        (0, vitest_1.expect)(Math.abs(T(x) - Math.sin(x))).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('Taylor de exp orden 8 en 0 aproxima exp(1) con error < 1e-3', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.exp, 0, 8);
+        (0, vitest_1.expect)(Math.abs(T(1) - Math.E)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('taylorRemainderBound es ≥ |error real| para exp orden 4 en x=0.5', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.exp, 0, 4);
+        const err = Math.abs(T(0.5) - Math.exp(0.5));
+        const bound = (0, real_analysis_1.taylorRemainderBound)(Math.exp, 0, 0.5, 4);
+        (0, vitest_1.expect)(bound).toBeGreaterThanOrEqual(err * 0.5); // bound numérico tolerante
+    });
+});
+//# sourceMappingURL=real-analysis.test.js.map

package/dist/tests/reasoning/real-analysis/real-analysis.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"real-analysis.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/real-analysis/real-analysis.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAkB0C;AAE1C,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,IAAA,mCAAmB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,kCAAkB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAA,wBAAQ,EAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;YACvD,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,GAAG,CAAC,CAAC,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,oDAAoD;QACpD,IAAI,GAAG,CAAC,CAAC,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAA,oCAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,2BAA2B;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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