@stevenvo780/st-lang 4.11.0 → 4.13.0

package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-algebra.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/linear-algebra/linear-algebra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sEAiC2C;AAE3C,MAAM,GAAG,GAAG,IAAI,CAAC;AAEjB,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SACX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,iBAAiB,CAAC,IAAA,0BAAS,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrD,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAChB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;QAClD,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACd,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,MAAM,CAAC,GAAG,IAAA,kCAAiB,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACxD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAW;YAChB,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YACb,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;SACd,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,GAAG,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACX,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,IAAA,yBAAQ,EAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACjE,iBAAiB,CAAC,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC;YACrE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAChE,MAAM,CAAC,GAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;YACpC,iBAAiB,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAA,+BAAc,EAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAClC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAa;YACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,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":""}

package/dist/tests/reasoning/polynomial-ring/polynomial-ring.test.js

@@ -0,0 +1,230 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const polynomial_ring_1 = require("../../../reasoning/polynomial-ring");
+function coeffs(p) {
+    return p.coefficients;
+}
+(0, vitest_1.describe)('Polynomial Ring — construcción y básicos', () => {
+    (0, vitest_1.it)('poly([1,2,3]) representa 3x² + 2x + 1 con grado 2 y líder 3', () => {
+        const p = (0, polynomial_ring_1.poly)([1, 2, 3]);
+        (0, vitest_1.expect)(coeffs(p)).toEqual([1n, 2n, 3n]);
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)(p)).toBe(2);
+        (0, vitest_1.expect)((0, polynomial_ring_1.leadingCoefficient)(p)).toBe(3n);
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)(p)).toBe(false);
+    });
+    (0, vitest_1.it)('poly([0]) es cero y poly([0,0,0]) se normaliza a cero', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)((0, polynomial_ring_1.poly)([0]))).toBe(true);
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)((0, polynomial_ring_1.poly)([0, 0, 0]))).toBe(true);
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)((0, polynomial_ring_1.poly)([0]))).toBe(-1);
+        (0, vitest_1.expect)((0, polynomial_ring_1.leadingCoefficient)((0, polynomial_ring_1.poly)([0]))).toBe(0n);
+    });
+    (0, vitest_1.it)('normaliza ceros finales: [1, 2, 0, 0] → grado 1', () => {
+        const p = (0, polynomial_ring_1.poly)([1, 2, 0, 0]);
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)(p)).toBe(1);
+        (0, vitest_1.expect)(coeffs(p)).toEqual([1n, 2n]);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — aritmética', () => {
+    (0, vitest_1.it)('add: (x² + 2x + 1) + (x² - 1) = 2x² + 2x', () => {
+        const a = (0, polynomial_ring_1.poly)([1, 2, 1]);
+        const b = (0, polynomial_ring_1.poly)([-1, 0, 1]);
+        const r = (0, polynomial_ring_1.add)(a, b);
+        (0, vitest_1.expect)(coeffs(r)).toEqual([0n, 2n, 2n]);
+    });
+    (0, vitest_1.it)('sub: (x² + 2x + 1) - (x² + 1) = 2x', () => {
+        const a = (0, polynomial_ring_1.poly)([1, 2, 1]);
+        const b = (0, polynomial_ring_1.poly)([1, 0, 1]);
+        const r = (0, polynomial_ring_1.sub)(a, b);
+        (0, vitest_1.expect)(coeffs(r)).toEqual([0n, 2n]);
+    });
+    (0, vitest_1.it)('multiply: (x + 1)(x - 1) = x² - 1', () => {
+        const a = (0, polynomial_ring_1.poly)([1, 1]);
+        const b = (0, polynomial_ring_1.poly)([-1, 1]);
+        const r = (0, polynomial_ring_1.multiply)(a, b);
+        (0, vitest_1.expect)(coeffs(r)).toEqual([-1n, 0n, 1n]);
+    });
+    (0, vitest_1.it)('multiply distributivo: (2x + 3)(x² + x + 4) = 2x³ + 5x² + 11x + 12', () => {
+        const r = (0, polynomial_ring_1.multiply)((0, polynomial_ring_1.poly)([3, 2]), (0, polynomial_ring_1.poly)([4, 1, 1]));
+        (0, vitest_1.expect)(coeffs(r)).toEqual([12n, 11n, 5n, 2n]);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — división euclidiana', () => {
+    (0, vitest_1.it)('divmod: (x³ - 1) / (x - 1) = x² + x + 1 con resto 0', () => {
+        const a = (0, polynomial_ring_1.poly)([-1, 0, 0, 1]);
+        const b = (0, polynomial_ring_1.poly)([-1, 1]);
+        const { quotient, remainder } = (0, polynomial_ring_1.divmod)(a, b);
+        (0, vitest_1.expect)(coeffs(quotient)).toEqual([1n, 1n, 1n]);
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)(remainder)).toBe(true);
+    });
+    (0, vitest_1.it)('divmod en Z/5: (x² + 1) / (x + 2) = x + 3 con resto 0', () => {
+        // x² + 1 = (x + 2)(x + 3) en Z/5 (porque (x+2)(x+3) = x² + 5x + 6 = x² + 1 (mod 5)).
+        const a = (0, polynomial_ring_1.poly)([1, 0, 1], 5n);
+        const b = (0, polynomial_ring_1.poly)([2, 1], 5n);
+        const { quotient, remainder } = (0, polynomial_ring_1.divmod)(a, b);
+        (0, vitest_1.expect)(coeffs(quotient)).toEqual([3n, 1n]);
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)(remainder)).toBe(true);
+    });
+    (0, vitest_1.it)('divmod monic: (x² + 3x + 2) / (x + 1) = x + 2 r 0', () => {
+        const { quotient, remainder } = (0, polynomial_ring_1.divmod)((0, polynomial_ring_1.poly)([2, 3, 1]), (0, polynomial_ring_1.poly)([1, 1]));
+        (0, vitest_1.expect)(coeffs(quotient)).toEqual([2n, 1n]);
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)(remainder)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — gcd', () => {
+    (0, vitest_1.it)('gcd(x² - 1, x - 1) = x - 1', () => {
+        const g = (0, polynomial_ring_1.gcd)((0, polynomial_ring_1.poly)([-1, 0, 1]), (0, polynomial_ring_1.poly)([-1, 1]));
+        (0, vitest_1.expect)(coeffs(g)).toEqual([-1n, 1n]);
+    });
+    (0, vitest_1.it)('gcd coprimos: gcd(x² + 1, x - 1) = 1', () => {
+        const g = (0, polynomial_ring_1.gcd)((0, polynomial_ring_1.poly)([1, 0, 1]), (0, polynomial_ring_1.poly)([-1, 1]));
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)(g)).toBe(0);
+    });
+    (0, vitest_1.it)('gcd en Z/2: gcd(x³ + x² + x + 1, x² + 1) = x² + 1 (monic)', () => {
+        // En Z/2: x³ + x² + x + 1 = (x+1)(x²+1), gcd con (x²+1) = (x²+1).
+        const g = (0, polynomial_ring_1.gcd)((0, polynomial_ring_1.poly)([1, 1, 1, 1], 2n), (0, polynomial_ring_1.poly)([1, 0, 1], 2n));
+        (0, vitest_1.expect)(g.modulus).toBe(2n);
+        (0, vitest_1.expect)(coeffs(g)).toEqual([1n, 0n, 1n]);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — derivada, evaluación, composición', () => {
+    (0, vitest_1.it)('derivative: d/dx(x³) = 3x²', () => {
+        const d = (0, polynomial_ring_1.derivative)((0, polynomial_ring_1.poly)([0, 0, 0, 1]));
+        (0, vitest_1.expect)(coeffs(d)).toEqual([0n, 0n, 3n]);
+    });
+    (0, vitest_1.it)('derivative: d/dx(5) = 0', () => {
+        const d = (0, polynomial_ring_1.derivative)((0, polynomial_ring_1.poly)([5]));
+        (0, vitest_1.expect)((0, polynomial_ring_1.isZero)(d)).toBe(true);
+    });
+    (0, vitest_1.it)('evaluate(2x + 3, 5) = 13', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.evaluate)((0, polynomial_ring_1.poly)([3, 2]), 5n)).toBe(13n);
+    });
+    (0, vitest_1.it)('evaluate en Z/7: (2x + 3)(5) = 13 mod 7 = 6', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.evaluate)((0, polynomial_ring_1.poly)([3, 2], 7n), 5n)).toBe(6n);
+    });
+    (0, vitest_1.it)('compose: (x²)(x + 1) = (x+1)² = x² + 2x + 1', () => {
+        const r = (0, polynomial_ring_1.compose)((0, polynomial_ring_1.poly)([0, 0, 1]), (0, polynomial_ring_1.poly)([1, 1]));
+        (0, vitest_1.expect)(coeffs(r)).toEqual([1n, 2n, 1n]);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — raíces racionales y factorización Q[x]', () => {
+    (0, vitest_1.it)('rationalRoots de x² - 5x + 6 = (x-2)(x-3) → {2/1, 3/1}', () => {
+        const roots = (0, polynomial_ring_1.rationalRoots)((0, polynomial_ring_1.poly)([6, -5, 1]));
+        (0, vitest_1.expect)(roots).toEqual([
+            { num: 2n, den: 1n },
+            { num: 3n, den: 1n },
+        ]);
+    });
+    (0, vitest_1.it)('rationalRoots de 2x² - 3x + 1 → {1/1, 1/2}', () => {
+        const roots = (0, polynomial_ring_1.rationalRoots)((0, polynomial_ring_1.poly)([1, -3, 2]));
+        (0, vitest_1.expect)(roots).toEqual([
+            { num: 1n, den: 1n },
+            { num: 1n, den: 2n },
+        ]);
+    });
+    (0, vitest_1.it)('rationalRoots de x² + 1 → [] (sin raíces racionales)', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.rationalRoots)((0, polynomial_ring_1.poly)([1, 0, 1]))).toEqual([]);
+    });
+    (0, vitest_1.it)('factor de x² - 1 produce factores lineales que multiplican al original', () => {
+        const fs = (0, polynomial_ring_1.factor)((0, polynomial_ring_1.poly)([-1, 0, 1]));
+        // Producto de todos los factores reconstruye x² - 1.
+        let product = (0, polynomial_ring_1.poly)([1]);
+        for (const f of fs)
+            product = (0, polynomial_ring_1.multiply)(product, f);
+        (0, vitest_1.expect)(coeffs(product)).toEqual([-1n, 0n, 1n]);
+        // Y contiene factores lineales (x - 1) y (x + 1) (en algún orden / signo).
+        const linearFactors = fs.filter((f) => (0, polynomial_ring_1.degree)(f) === 1);
+        (0, vitest_1.expect)(linearFactors.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('factor reconstruye 2x³ - 2x = 2x(x-1)(x+1)', () => {
+        const original = (0, polynomial_ring_1.poly)([0, -2, 0, 2]);
+        const fs = (0, polynomial_ring_1.factor)(original);
+        let product = (0, polynomial_ring_1.poly)([1]);
+        for (const f of fs)
+            product = (0, polynomial_ring_1.multiply)(product, f);
+        (0, vitest_1.expect)(coeffs(product)).toEqual(coeffs(original));
+    });
+    (0, vitest_1.it)('isIrreducible(x² + 1) = true en Q[x]', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.isIrreducible)((0, polynomial_ring_1.poly)([1, 0, 1]))).toBe(true);
+    });
+    (0, vitest_1.it)('isIrreducible(x² - 1) = false en Q[x] (factoriza)', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.isIrreducible)((0, polynomial_ring_1.poly)([-1, 0, 1]))).toBe(false);
+    });
+    (0, vitest_1.it)('isIrreducible(x³ - 2) = true (Eisenstein-friendly, sin raíz racional)', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.isIrreducible)((0, polynomial_ring_1.poly)([-2, 0, 0, 1]))).toBe(true);
+    });
+    (0, vitest_1.it)('squareFree de (x-1)²(x+1) divide x², extrae parte sin repetición', () => {
+        // p = (x-1)²(x+1) = (x² - 2x + 1)(x+1) = x³ - x² - x + 1.
+        const p = (0, polynomial_ring_1.poly)([1, -1, -1, 1]);
+        const sf = (0, polynomial_ring_1.squareFree)(p);
+        // squareFree debe tener grado ≤ grado(p) y dividir a p.
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)(sf)).toBeLessThanOrEqual((0, polynomial_ring_1.degree)(p));
+        // Las raíces 1 y -1 siguen siendo raíces.
+        (0, vitest_1.expect)((0, polynomial_ring_1.evaluate)(sf, 1n)).toBe(0n);
+        (0, vitest_1.expect)((0, polynomial_ring_1.evaluate)(sf, -1n)).toBe(0n);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — Berlekamp en Z/p[x]', () => {
+    (0, vitest_1.it)('factorInZp(x² - 1, 5) produce factores lineales que reconstruyen el original', () => {
+        // En Z/5: x² - 1 ≡ x² + 4 (mod 5) = (x - 1)(x + 1) = (x + 4)(x + 1).
+        const fs = (0, polynomial_ring_1.factorInZp)((0, polynomial_ring_1.poly)([-1, 0, 1]), 5n);
+        let product = (0, polynomial_ring_1.poly)([1n], 5n);
+        for (const f of fs)
+            product = (0, polynomial_ring_1.multiply)(product, f);
+        // Reducir a Z/5: el polinomio original mod 5 es x² + 4.
+        (0, vitest_1.expect)(product.coefficients).toEqual([4n, 0n, 1n]);
+        // Debe haber 2 factores lineales monic (lead 1).
+        const lineales = fs.filter((f) => (0, polynomial_ring_1.degree)(f) === 1);
+        (0, vitest_1.expect)(lineales.length).toBe(2);
+    });
+    (0, vitest_1.it)('factorInZp(x³ - x, 3) produce factores que reconstruyen el polinomio mod 3', () => {
+        // En Z/3: x³ - x = x(x-1)(x+1) = x(x+2)(x+1).
+        const fs = (0, polynomial_ring_1.factorInZp)((0, polynomial_ring_1.poly)([0, -1, 0, 1]), 3n);
+        let product = (0, polynomial_ring_1.poly)([1n], 3n);
+        for (const f of fs)
+            product = (0, polynomial_ring_1.multiply)(product, f);
+        // x³ - x ≡ x³ + 2x (mod 3).
+        (0, vitest_1.expect)(product.coefficients).toEqual([0n, 2n, 0n, 1n]);
+        const lineales = fs.filter((f) => (0, polynomial_ring_1.degree)(f) === 1);
+        (0, vitest_1.expect)(lineales.length).toBe(3);
+    });
+    (0, vitest_1.it)('factorInZp(x² + 1, 5) tiene factores lineales (porque 2² = -1 mod 5)', () => {
+        // 2² = 4 = -1 mod 5, así que x²+1 = (x-2)(x+2) en Z/5.
+        const fs = (0, polynomial_ring_1.factorInZp)((0, polynomial_ring_1.poly)([1, 0, 1]), 5n);
+        let product = (0, polynomial_ring_1.poly)([1n], 5n);
+        for (const f of fs)
+            product = (0, polynomial_ring_1.multiply)(product, f);
+        (0, vitest_1.expect)(product.coefficients).toEqual([1n, 0n, 1n]);
+        const lineales = fs.filter((f) => (0, polynomial_ring_1.degree)(f) === 1);
+        (0, vitest_1.expect)(lineales.length).toBe(2);
+    });
+    (0, vitest_1.it)('factorInZp(x² + 1, 3) es irreducible (no hay raíz mod 3)', () => {
+        // En Z/3: 0²+1=1, 1²+1=2, 2²+1=5≡2 → ninguna raíz.
+        const fs = (0, polynomial_ring_1.factorInZp)((0, polynomial_ring_1.poly)([1, 0, 1]), 3n);
+        // Debe haber un único factor no-constante de grado 2.
+        const nonConst = fs.filter((f) => (0, polynomial_ring_1.degree)(f) >= 1);
+        (0, vitest_1.expect)(nonConst.length).toBe(1);
+        (0, vitest_1.expect)((0, polynomial_ring_1.degree)(nonConst[0])).toBe(2);
+    });
+});
+(0, vitest_1.describe)('Polynomial Ring — resultante y discriminante', () => {
+    (0, vitest_1.it)('resultant(x² - 1, x - 1) = 0 (comparten raíz)', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.resultant)((0, polynomial_ring_1.poly)([-1, 0, 1]), (0, polynomial_ring_1.poly)([-1, 1]))).toBe(0n);
+    });
+    (0, vitest_1.it)('resultant(x + 1, x - 1) = -2 (Sylvester 2×2 |1,1;1,-1| signo)', () => {
+        // res(a,b) para deg(a)=deg(b)=1 es a0*b1 - a1*b0 hasta signo.
+        const r = (0, polynomial_ring_1.resultant)((0, polynomial_ring_1.poly)([1, 1]), (0, polynomial_ring_1.poly)([-1, 1]));
+        // (x+1) y (x-1) son coprimos, resultante distinto de 0.
+        (0, vitest_1.expect)(r).not.toBe(0n);
+    });
+    (0, vitest_1.it)('discriminant(x² + bx + c) = b² - 4c — caso x² - 5x + 6 = 25 - 24 = 1', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.discriminant)((0, polynomial_ring_1.poly)([6, -5, 1]))).toBe(1n);
+    });
+    (0, vitest_1.it)('discriminant(x² - 4) = 16 (b=0, c=-4 → 0 - 4*(-4) = 16)', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.discriminant)((0, polynomial_ring_1.poly)([-4, 0, 1]))).toBe(16n);
+    });
+    (0, vitest_1.it)('discriminant(x² + 1) = -4', () => {
+        (0, vitest_1.expect)((0, polynomial_ring_1.discriminant)((0, polynomial_ring_1.poly)([1, 0, 1]))).toBe(-4n);
+    });
+});
+//# sourceMappingURL=polynomial-ring.test.js.map

package/dist/tests/reasoning/polynomial-ring/polynomial-ring.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polynomial-ring.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/polynomial-ring/polynomial-ring.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wEAqB4C;AAE5C,SAAS,MAAM,CAAC,CAAa;IAC3B,OAAO,CAAC,CAAC,YAAY,CAAC;AACxB,CAAC;AAED,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,oCAAkB,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,0BAAQ,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qFAAqF;QACrF,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3B,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAA,wBAAM,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,SAAS,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,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,kEAAkE;QAClE,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,0BAAQ,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,0BAAQ,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,yBAAO,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;YACpB,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;YACpB,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,GAAG,IAAA,wBAAM,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,qDAAqD;QACrD,IAAI,OAAO,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,GAAG,IAAA,0BAAQ,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/C,2EAA2E;QAC3E,MAAM,aAAa,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,aAAa,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,QAAQ,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,IAAA,wBAAM,EAAC,QAAQ,CAAC,CAAC;QAC5B,IAAI,OAAO,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,GAAG,IAAA,0BAAQ,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,0DAA0D;QAC1D,MAAM,CAAC,GAAG,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,4BAAU,EAAC,CAAC,CAAC,CAAC;QACzB,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QAClD,0CAA0C;QAC1C,IAAA,eAAM,EAAC,IAAA,0BAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,0BAAQ,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,qEAAqE;QACrE,MAAM,EAAE,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,OAAO,GAAG,IAAA,sBAAI,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,GAAG,IAAA,0BAAQ,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACnD,wDAAwD;QACxD,IAAA,eAAM,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACnD,iDAAiD;QACjD,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,8CAA8C;QAC9C,MAAM,EAAE,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI,OAAO,GAAG,IAAA,sBAAI,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,GAAG,IAAA,0BAAQ,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACnD,4BAA4B;QAC5B,IAAA,eAAM,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,uDAAuD;QACvD,MAAM,EAAE,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI,OAAO,GAAG,IAAA,sBAAI,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,OAAO,GAAG,IAAA,0BAAQ,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,mDAAmD;QACnD,MAAM,EAAE,GAAG,IAAA,4BAAU,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3C,sDAAsD;QACtD,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,2BAAS,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAA,2BAAS,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,wDAAwD;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,sBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map

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

package/dist/tests/reasoning/set-theory/hf-functions.test.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('HF functions', () => {
+    (0, vitest_1.it)('makeFunction + isValidFunction sobre identidad', () => {
+        const dom = (0, set_theory_1.nat)(3); // {0, 1, 2}
+        const cod = (0, set_theory_1.nat)(3);
+        const id = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isBijective)(id)).toBe(true);
+    });
+    (0, vitest_1.it)('applyHF devuelve el valor correcto y null fuera de dominio', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(5);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(4)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(0)]
+        ]);
+        const y = (0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(1));
+        (0, vitest_1.expect)(y).not.toBeNull();
+        if (y !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(y, (0, set_theory_1.nat)(4))).toBe(true);
+        }
+        (0, vitest_1.expect)((0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(7))).toBeNull();
+    });
+    (0, vitest_1.it)('isInjective falla si dos inputs comparten imagen', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(3);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('isSurjective: función cubre el codominio', () => {
+        const dom = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        const cod = (0, set_theory_1.singleton)((0, set_theory_1.nat)(7));
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [set_theory_1.EMPTY, (0, set_theory_1.nat)(7)],
+            [(0, set_theory_1.singleton)(set_theory_1.EMPTY), (0, set_theory_1.nat)(7)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('composeHF: composición de inyectivas es inyectiva', () => {
+        const a = (0, set_theory_1.nat)(3);
+        const b = (0, set_theory_1.nat)(4);
+        const c = (0, set_theory_1.nat)(5);
+        const g = (0, set_theory_1.makeFunction)(a, b, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)(b, c, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)],
+            [(0, set_theory_1.nat)(3), (0, set_theory_1.nat)(4)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(g)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(true);
+        const fg = (0, set_theory_1.composeHF)(f, g);
+        (0, vitest_1.expect)(fg).not.toBeNull();
+        if (fg !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(fg)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.isInjective)(fg)).toBe(true);
+            // (f ∘ g)(0) = f(1) = 2
+            const out = (0, set_theory_1.applyHF)(fg, (0, set_theory_1.nat)(0));
+            (0, vitest_1.expect)(out).not.toBeNull();
+            if (out !== null) {
+                (0, vitest_1.expect)((0, set_theory_1.setEquals)(out, (0, set_theory_1.nat)(2))).toBe(true);
+            }
+        }
+    });
+    (0, vitest_1.it)('composeHF retorna null si codominio(g) ≠ dominio(f)', () => {
+        const g = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(3), (0, set_theory_1.nat)(3), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.composeHF)(f, g)).toBeNull();
+    });
+    (0, vitest_1.it)('isValidFunction rechaza relaciones no funcionales', () => {
+        // 0 ↦ 0 y 0 ↦ 1: dos imágenes para el mismo input.
+        const badGraph = {
+            kind: 'set',
+            elements: [
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1))
+            ]
+        };
+        const f = {
+            graph: badGraph,
+            domain: (0, set_theory_1.nat)(2),
+            codomain: (0, set_theory_1.nat)(2)
+        };
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('función vacía: dominio y codominio vacíos, válida y vacía', () => {
+        const empty = (0, set_theory_1.makeFunction)(set_theory_1.EMPTY, set_theory_1.EMPTY, []);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(empty.graph)).toBe(0);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(empty)).toBe(true);
+    });
+});
+//# sourceMappingURL=hf-functions.test.js.map

package/dist/tests/reasoning/set-theory/hf-functions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hf-functions.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/hf-functions.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAgBuC;AAEvC,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAChC,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAChC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,kBAAK,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YACf,CAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SAC3B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,wBAAwB;YACxB,MAAM,GAAG,GAAG,IAAA,oBAAO,EAAC,EAAE,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,KAAc;YACpB,QAAQ,EAAE;gBACR,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;aAC5B;SACF,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;YACd,QAAQ,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;SACjB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAA,yBAAY,EAAC,kBAAK,EAAE,kBAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map

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