@stevenvo780/st-lang 4.5.1 → 4.5.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (285) hide show
  1. package/dist/bdd/index.d.ts +4 -0
  2. package/dist/bdd/index.d.ts.map +1 -0
  3. package/dist/bdd/index.js +29 -0
  4. package/dist/bdd/index.js.map +1 -0
  5. package/dist/bdd/manager.d.ts +122 -0
  6. package/dist/bdd/manager.d.ts.map +1 -0
  7. package/dist/bdd/manager.js +524 -0
  8. package/dist/bdd/manager.js.map +1 -0
  9. package/dist/bdd/types.d.ts +20 -0
  10. package/dist/bdd/types.d.ts.map +1 -0
  11. package/dist/bdd/types.js +28 -0
  12. package/dist/bdd/types.js.map +1 -0
  13. package/dist/game-theory/common-games.d.ts +50 -0
  14. package/dist/game-theory/common-games.d.ts.map +1 -0
  15. package/dist/game-theory/common-games.js +112 -0
  16. package/dist/game-theory/common-games.js.map +1 -0
  17. package/dist/game-theory/dominance.d.ts +26 -0
  18. package/dist/game-theory/dominance.d.ts.map +1 -0
  19. package/dist/game-theory/dominance.js +203 -0
  20. package/dist/game-theory/dominance.js.map +1 -0
  21. package/dist/game-theory/index.d.ts +8 -0
  22. package/dist/game-theory/index.d.ts.map +1 -0
  23. package/dist/game-theory/index.js +47 -0
  24. package/dist/game-theory/index.js.map +1 -0
  25. package/dist/game-theory/lemke-howson.d.ts +3 -0
  26. package/dist/game-theory/lemke-howson.d.ts.map +1 -0
  27. package/dist/game-theory/lemke-howson.js +269 -0
  28. package/dist/game-theory/lemke-howson.js.map +1 -0
  29. package/dist/game-theory/linalg.d.ts +7 -0
  30. package/dist/game-theory/linalg.d.ts.map +1 -0
  31. package/dist/game-theory/linalg.js +69 -0
  32. package/dist/game-theory/linalg.js.map +1 -0
  33. package/dist/game-theory/pure-nash.d.ts +3 -0
  34. package/dist/game-theory/pure-nash.d.ts.map +1 -0
  35. package/dist/game-theory/pure-nash.js +86 -0
  36. package/dist/game-theory/pure-nash.js.map +1 -0
  37. package/dist/game-theory/support-enumeration.d.ts +3 -0
  38. package/dist/game-theory/support-enumeration.d.ts.map +1 -0
  39. package/dist/game-theory/support-enumeration.js +214 -0
  40. package/dist/game-theory/support-enumeration.js.map +1 -0
  41. package/dist/game-theory/types.d.ts +57 -0
  42. package/dist/game-theory/types.d.ts.map +1 -0
  43. package/dist/game-theory/types.js +191 -0
  44. package/dist/game-theory/types.js.map +1 -0
  45. package/dist/index.d.ts +9 -1
  46. package/dist/index.d.ts.map +1 -1
  47. package/dist/index.js +36 -1
  48. package/dist/index.js.map +1 -1
  49. package/dist/information-theory/index.d.ts +29 -0
  50. package/dist/information-theory/index.d.ts.map +1 -0
  51. package/dist/information-theory/index.js +323 -0
  52. package/dist/information-theory/index.js.map +1 -0
  53. package/dist/namespaces/logic.d.ts +42 -0
  54. package/dist/namespaces/logic.d.ts.map +1 -0
  55. package/dist/namespaces/logic.js +112 -0
  56. package/dist/namespaces/logic.js.map +1 -0
  57. package/dist/namespaces/proof-systems.d.ts +18 -0
  58. package/dist/namespaces/proof-systems.d.ts.map +1 -0
  59. package/dist/namespaces/proof-systems.js +59 -0
  60. package/dist/namespaces/proof-systems.js.map +1 -0
  61. package/dist/namespaces/reasoning.d.ts +26 -0
  62. package/dist/namespaces/reasoning.d.ts.map +1 -0
  63. package/dist/namespaces/reasoning.js +72 -0
  64. package/dist/namespaces/reasoning.js.map +1 -0
  65. package/dist/namespaces/semantics.d.ts +21 -0
  66. package/dist/namespaces/semantics.d.ts.map +1 -0
  67. package/dist/namespaces/semantics.js +64 -0
  68. package/dist/namespaces/semantics.js.map +1 -0
  69. package/dist/namespaces/solvers.d.ts +22 -0
  70. package/dist/namespaces/solvers.d.ts.map +1 -0
  71. package/dist/namespaces/solvers.js +66 -0
  72. package/dist/namespaces/solvers.js.map +1 -0
  73. package/dist/namespaces/type-theory.d.ts +22 -0
  74. package/dist/namespaces/type-theory.d.ts.map +1 -0
  75. package/dist/namespaces/type-theory.js +65 -0
  76. package/dist/namespaces/type-theory.js.map +1 -0
  77. package/dist/optimization/branch-and-bound.d.ts +11 -0
  78. package/dist/optimization/branch-and-bound.d.ts.map +1 -0
  79. package/dist/optimization/branch-and-bound.js +311 -0
  80. package/dist/optimization/branch-and-bound.js.map +1 -0
  81. package/dist/optimization/index.d.ts +5 -0
  82. package/dist/optimization/index.d.ts.map +1 -0
  83. package/dist/optimization/index.js +20 -0
  84. package/dist/optimization/index.js.map +1 -0
  85. package/dist/optimization/simplex.d.ts +8 -0
  86. package/dist/optimization/simplex.d.ts.map +1 -0
  87. package/dist/optimization/simplex.js +408 -0
  88. package/dist/optimization/simplex.js.map +1 -0
  89. package/dist/optimization/standard-form.d.ts +11 -0
  90. package/dist/optimization/standard-form.d.ts.map +1 -0
  91. package/dist/optimization/standard-form.js +112 -0
  92. package/dist/optimization/standard-form.js.map +1 -0
  93. package/dist/optimization/types.d.ts +44 -0
  94. package/dist/optimization/types.d.ts.map +1 -0
  95. package/dist/optimization/types.js +15 -0
  96. package/dist/optimization/types.js.map +1 -0
  97. package/dist/profiles/hol/connectives.d.ts +46 -0
  98. package/dist/profiles/hol/connectives.d.ts.map +1 -0
  99. package/dist/profiles/hol/connectives.js +104 -0
  100. package/dist/profiles/hol/connectives.js.map +1 -0
  101. package/dist/profiles/hol/index.d.ts +7 -0
  102. package/dist/profiles/hol/index.d.ts.map +1 -0
  103. package/dist/profiles/hol/index.js +77 -0
  104. package/dist/profiles/hol/index.js.map +1 -0
  105. package/dist/profiles/hol/rules.d.ts +31 -0
  106. package/dist/profiles/hol/rules.d.ts.map +1 -0
  107. package/dist/profiles/hol/rules.js +258 -0
  108. package/dist/profiles/hol/rules.js.map +1 -0
  109. package/dist/profiles/hol/term.d.ts +52 -0
  110. package/dist/profiles/hol/term.d.ts.map +1 -0
  111. package/dist/profiles/hol/term.js +345 -0
  112. package/dist/profiles/hol/term.js.map +1 -0
  113. package/dist/profiles/hol/type-system.d.ts +38 -0
  114. package/dist/profiles/hol/type-system.d.ts.map +1 -0
  115. package/dist/profiles/hol/type-system.js +133 -0
  116. package/dist/profiles/hol/type-system.js.map +1 -0
  117. package/dist/profiles/hol/types.d.ts +59 -0
  118. package/dist/profiles/hol/types.d.ts.map +1 -0
  119. package/dist/profiles/hol/types.js +26 -0
  120. package/dist/profiles/hol/types.js.map +1 -0
  121. package/dist/smt-lib/ast.d.ts +138 -0
  122. package/dist/smt-lib/ast.d.ts.map +1 -0
  123. package/dist/smt-lib/ast.js +73 -0
  124. package/dist/smt-lib/ast.js.map +1 -0
  125. package/dist/smt-lib/emitter.d.ts +12 -0
  126. package/dist/smt-lib/emitter.d.ts.map +1 -0
  127. package/dist/smt-lib/emitter.js +174 -0
  128. package/dist/smt-lib/emitter.js.map +1 -0
  129. package/dist/smt-lib/index.d.ts +6 -0
  130. package/dist/smt-lib/index.d.ts.map +1 -0
  131. package/dist/smt-lib/index.js +31 -0
  132. package/dist/smt-lib/index.js.map +1 -0
  133. package/dist/smt-lib/parser.d.ts +13 -0
  134. package/dist/smt-lib/parser.d.ts.map +1 -0
  135. package/dist/smt-lib/parser.js +614 -0
  136. package/dist/smt-lib/parser.js.map +1 -0
  137. package/dist/smt-lib/tokenizer.d.ts +16 -0
  138. package/dist/smt-lib/tokenizer.d.ts.map +1 -0
  139. package/dist/smt-lib/tokenizer.js +234 -0
  140. package/dist/smt-lib/tokenizer.js.map +1 -0
  141. package/dist/tests/api/namespaces.test.d.ts +9 -0
  142. package/dist/tests/api/namespaces.test.d.ts.map +1 -0
  143. package/dist/tests/api/namespaces.test.js +218 -0
  144. package/dist/tests/api/namespaces.test.js.map +1 -0
  145. package/dist/tests/bdd/manager.test.d.ts +2 -0
  146. package/dist/tests/bdd/manager.test.d.ts.map +1 -0
  147. package/dist/tests/bdd/manager.test.js +472 -0
  148. package/dist/tests/bdd/manager.test.js.map +1 -0
  149. package/dist/tests/game-theory/game-theory.test.d.ts +2 -0
  150. package/dist/tests/game-theory/game-theory.test.d.ts.map +1 -0
  151. package/dist/tests/game-theory/game-theory.test.js +252 -0
  152. package/dist/tests/game-theory/game-theory.test.js.map +1 -0
  153. package/dist/tests/hol/hol.test.d.ts +2 -0
  154. package/dist/tests/hol/hol.test.d.ts.map +1 -0
  155. package/dist/tests/hol/hol.test.js +340 -0
  156. package/dist/tests/hol/hol.test.js.map +1 -0
  157. package/dist/tests/information-theory/information-theory.test.d.ts +2 -0
  158. package/dist/tests/information-theory/information-theory.test.d.ts.map +1 -0
  159. package/dist/tests/information-theory/information-theory.test.js +291 -0
  160. package/dist/tests/information-theory/information-theory.test.js.map +1 -0
  161. package/dist/tests/optimization/ilp.test.d.ts +2 -0
  162. package/dist/tests/optimization/ilp.test.d.ts.map +1 -0
  163. package/dist/tests/optimization/ilp.test.js +204 -0
  164. package/dist/tests/optimization/ilp.test.js.map +1 -0
  165. package/dist/tests/optimization/lp.test.d.ts +2 -0
  166. package/dist/tests/optimization/lp.test.d.ts.map +1 -0
  167. package/dist/tests/optimization/lp.test.js +224 -0
  168. package/dist/tests/optimization/lp.test.js.map +1 -0
  169. package/dist/tests/properties/agm.property.test.d.ts +2 -0
  170. package/dist/tests/properties/agm.property.test.d.ts.map +1 -0
  171. package/dist/tests/properties/agm.property.test.js +75 -0
  172. package/dist/tests/properties/agm.property.test.js.map +1 -0
  173. package/dist/tests/properties/anti-unification.property.test.d.ts +2 -0
  174. package/dist/tests/properties/anti-unification.property.test.d.ts.map +1 -0
  175. package/dist/tests/properties/anti-unification.property.test.js +43 -0
  176. package/dist/tests/properties/anti-unification.property.test.js.map +1 -0
  177. package/dist/tests/properties/argumentation.property.test.d.ts +2 -0
  178. package/dist/tests/properties/argumentation.property.test.d.ts.map +1 -0
  179. package/dist/tests/properties/argumentation.property.test.js +51 -0
  180. package/dist/tests/properties/argumentation.property.test.js.map +1 -0
  181. package/dist/tests/properties/bayesian.property.test.d.ts +2 -0
  182. package/dist/tests/properties/bayesian.property.test.d.ts.map +1 -0
  183. package/dist/tests/properties/bayesian.property.test.js +32 -0
  184. package/dist/tests/properties/bayesian.property.test.js.map +1 -0
  185. package/dist/tests/properties/bisimulation.property.test.d.ts +2 -0
  186. package/dist/tests/properties/bisimulation.property.test.d.ts.map +1 -0
  187. package/dist/tests/properties/bisimulation.property.test.js +50 -0
  188. package/dist/tests/properties/bisimulation.property.test.js.map +1 -0
  189. package/dist/tests/properties/cdcl.property.test.d.ts +2 -0
  190. package/dist/tests/properties/cdcl.property.test.d.ts.map +1 -0
  191. package/dist/tests/properties/cdcl.property.test.js +70 -0
  192. package/dist/tests/properties/cdcl.property.test.js.map +1 -0
  193. package/dist/tests/properties/coinduction.property.test.d.ts +2 -0
  194. package/dist/tests/properties/coinduction.property.test.d.ts.map +1 -0
  195. package/dist/tests/properties/coinduction.property.test.js +34 -0
  196. package/dist/tests/properties/coinduction.property.test.js.map +1 -0
  197. package/dist/tests/properties/constructive-reals.property.test.d.ts +2 -0
  198. package/dist/tests/properties/constructive-reals.property.test.d.ts.map +1 -0
  199. package/dist/tests/properties/constructive-reals.property.test.js +59 -0
  200. package/dist/tests/properties/constructive-reals.property.test.js.map +1 -0
  201. package/dist/tests/properties/csp.property.test.d.ts +2 -0
  202. package/dist/tests/properties/csp.property.test.d.ts.map +1 -0
  203. package/dist/tests/properties/csp.property.test.js +58 -0
  204. package/dist/tests/properties/csp.property.test.js.map +1 -0
  205. package/dist/tests/properties/generators.d.ts +78 -0
  206. package/dist/tests/properties/generators.d.ts.map +1 -0
  207. package/dist/tests/properties/generators.js +348 -0
  208. package/dist/tests/properties/generators.js.map +1 -0
  209. package/dist/tests/properties/ho-unify.property.test.d.ts +2 -0
  210. package/dist/tests/properties/ho-unify.property.test.d.ts.map +1 -0
  211. package/dist/tests/properties/ho-unify.property.test.js +46 -0
  212. package/dist/tests/properties/ho-unify.property.test.js.map +1 -0
  213. package/dist/tests/properties/hyperreal.property.test.d.ts +2 -0
  214. package/dist/tests/properties/hyperreal.property.test.d.ts.map +1 -0
  215. package/dist/tests/properties/hyperreal.property.test.js +33 -0
  216. package/dist/tests/properties/hyperreal.property.test.js.map +1 -0
  217. package/dist/tests/properties/intuit-nj.property.test.d.ts +2 -0
  218. package/dist/tests/properties/intuit-nj.property.test.d.ts.map +1 -0
  219. package/dist/tests/properties/intuit-nj.property.test.js +57 -0
  220. package/dist/tests/properties/intuit-nj.property.test.js.map +1 -0
  221. package/dist/tests/properties/lambda-calc.property.test.d.ts +2 -0
  222. package/dist/tests/properties/lambda-calc.property.test.d.ts.map +1 -0
  223. package/dist/tests/properties/lambda-calc.property.test.js +35 -0
  224. package/dist/tests/properties/lambda-calc.property.test.js.map +1 -0
  225. package/dist/tests/properties/mln.property.test.d.ts +2 -0
  226. package/dist/tests/properties/mln.property.test.d.ts.map +1 -0
  227. package/dist/tests/properties/mln.property.test.js +41 -0
  228. package/dist/tests/properties/mln.property.test.js.map +1 -0
  229. package/dist/tests/properties/mltt.property.test.d.ts +2 -0
  230. package/dist/tests/properties/mltt.property.test.d.ts.map +1 -0
  231. package/dist/tests/properties/mltt.property.test.js +33 -0
  232. package/dist/tests/properties/mltt.property.test.js.map +1 -0
  233. package/dist/tests/properties/nbe.property.test.d.ts +2 -0
  234. package/dist/tests/properties/nbe.property.test.d.ts.map +1 -0
  235. package/dist/tests/properties/nbe.property.test.js +44 -0
  236. package/dist/tests/properties/nbe.property.test.js.map +1 -0
  237. package/dist/tests/properties/planning.property.test.d.ts +2 -0
  238. package/dist/tests/properties/planning.property.test.d.ts.map +1 -0
  239. package/dist/tests/properties/planning.property.test.js +51 -0
  240. package/dist/tests/properties/planning.property.test.js.map +1 -0
  241. package/dist/tests/properties/profile-bridge.property.test.d.ts +2 -0
  242. package/dist/tests/properties/profile-bridge.property.test.d.ts.map +1 -0
  243. package/dist/tests/properties/profile-bridge.property.test.js +71 -0
  244. package/dist/tests/properties/profile-bridge.property.test.js.map +1 -0
  245. package/dist/tests/properties/refinement-types.property.test.d.ts +2 -0
  246. package/dist/tests/properties/refinement-types.property.test.d.ts.map +1 -0
  247. package/dist/tests/properties/refinement-types.property.test.js +37 -0
  248. package/dist/tests/properties/refinement-types.property.test.js.map +1 -0
  249. package/dist/tests/properties/sequent-g3.property.test.d.ts +2 -0
  250. package/dist/tests/properties/sequent-g3.property.test.d.ts.map +1 -0
  251. package/dist/tests/properties/sequent-g3.property.test.js +34 -0
  252. package/dist/tests/properties/sequent-g3.property.test.js.map +1 -0
  253. package/dist/tests/properties/symbolic-diff.property.test.d.ts +2 -0
  254. package/dist/tests/properties/symbolic-diff.property.test.d.ts.map +1 -0
  255. package/dist/tests/properties/symbolic-diff.property.test.js +49 -0
  256. package/dist/tests/properties/symbolic-diff.property.test.js.map +1 -0
  257. package/dist/tests/properties/system-f.property.test.d.ts +2 -0
  258. package/dist/tests/properties/system-f.property.test.d.ts.map +1 -0
  259. package/dist/tests/properties/system-f.property.test.js +37 -0
  260. package/dist/tests/properties/system-f.property.test.js.map +1 -0
  261. package/dist/tests/properties/theorem-cache.property.test.d.ts +2 -0
  262. package/dist/tests/properties/theorem-cache.property.test.d.ts.map +1 -0
  263. package/dist/tests/properties/theorem-cache.property.test.js +38 -0
  264. package/dist/tests/properties/theorem-cache.property.test.js.map +1 -0
  265. package/dist/tests/properties/trs.property.test.d.ts +2 -0
  266. package/dist/tests/properties/trs.property.test.d.ts.map +1 -0
  267. package/dist/tests/properties/trs.property.test.js +34 -0
  268. package/dist/tests/properties/trs.property.test.js.map +1 -0
  269. package/dist/tests/properties/unification.property.test.d.ts +2 -0
  270. package/dist/tests/properties/unification.property.test.d.ts.map +1 -0
  271. package/dist/tests/properties/unification.property.test.js +42 -0
  272. package/dist/tests/properties/unification.property.test.js.map +1 -0
  273. package/dist/tests/smt-lib/emitter.test.d.ts +2 -0
  274. package/dist/tests/smt-lib/emitter.test.d.ts.map +1 -0
  275. package/dist/tests/smt-lib/emitter.test.js +155 -0
  276. package/dist/tests/smt-lib/emitter.test.js.map +1 -0
  277. package/dist/tests/smt-lib/parser.test.d.ts +2 -0
  278. package/dist/tests/smt-lib/parser.test.d.ts.map +1 -0
  279. package/dist/tests/smt-lib/parser.test.js +164 -0
  280. package/dist/tests/smt-lib/parser.test.js.map +1 -0
  281. package/dist/tests/smt-lib/tokenizer.test.d.ts +2 -0
  282. package/dist/tests/smt-lib/tokenizer.test.d.ts.map +1 -0
  283. package/dist/tests/smt-lib/tokenizer.test.js +59 -0
  284. package/dist/tests/smt-lib/tokenizer.test.js.map +1 -0
  285. package/package.json +2 -1
@@ -0,0 +1 @@
1
+ {"version":3,"file":"hol.test.js","sourceRoot":"","sources":["../../../src/tests/hol/hol.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,4CAsC4B;AAE5B,kBAAkB;AAElB,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC7B,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC7B,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC7B,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,YAAM,CAAC,CAAC;AAC/B,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,YAAM,CAAC,CAAC;AAC/B,MAAM,KAAK,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5C,MAAM,KAAK,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE5C,oEAAoE;AACpE,QAAQ;AACR,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,GAAG,CAAC,EAAE,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,WAAK,EAAC,YAAM,EAAE,YAAM,CAAC,EAAE,IAAA,WAAK,EAAC,YAAM,EAAE,YAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,WAAK,EAAC,YAAM,EAAE,YAAM,CAAC,EAAE,IAAA,WAAK,EAAC,YAAM,EAAE,WAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,YAAM,EAAC,YAAM,EAAE,YAAM,EAAE,YAAM,CAAC,CAAC,CAAC,qBAAqB;QAC/D,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,IAAA,UAAI,EAAC,GAAG,CAAC,EAAE,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,eAAS,EAAC,EAAE,CAAC,EAAE,YAAM,EAAE,CAAC,EAAE,WAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,YAAM,EAAE,WAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,iBAAiB;AACjB,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,YAAM,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,YAAM,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,CAAC,CAAC,EAAE,IAAA,WAAK,EAAC,YAAM,EAAE,YAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,CAAC,CAAC,EAAE,IAAA,YAAM,EAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,mEAAmE;QACnE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,2CAA2C;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU;QAC5C,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,iBAAiB;AACjB,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,oBAAoB;AACpB,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,UAAI,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,uCAAuC;QACvC,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAI,CAAC,CAAC;QACzB,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAI,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,uCAAuC;QACvC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,YAAM,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,sDAAsD;QACtD,+BAA+B;QAC/B,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QAChC,MAAM,EAAE,GAAG,IAAA,SAAG,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC/C,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,uDAAuD;QACvD,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,SAAG,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAClC,oDAAoD;QACpD,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,yBAAyB;QAC7D,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,YAAM,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB;QACrD,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,UAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,wDAAwD;QACxD,wDAAwD;QACxD,uCAAuC;QACvC,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,GAAG,CAAC,CAAC;QACxB,oDAAoD;QACpD,iDAAiD;QACjD,uBAAuB;QACvB,MAAM,EAAE,GAAG,IAAA,uBAAiB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,4DAA4D;QAC5D,iEAAiE;QACjE,yDAAyD;QACzD,mEAAmE;QACnE,0DAA0D;QAC1D,8DAA8D;QAC9D,qEAAqE;QACrE,2DAA2D;QAC3D,MAAM,KAAK,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,WAAW;QACpC,qEAAqE;QACrE,wCAAwC;QACxC,MAAM,EAAE,GAAG,IAAA,uBAAiB,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,mBAAmB;QAC1C,MAAM,EAAE,GAAG,IAAA,cAAQ,EAAC,EAAE,CAAC,EAAE,YAAM,EAAE,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,EAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,WAAW;QAClC,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW;QAC7C,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,2DAA2D;QAC3D,6DAA6D;QAC7D,4DAA4D;QAC5D,6DAA6D;QAC7D,gEAAgE;QAChE,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC,CAAC,mBAAmB;QAC1C,iEAAiE;QACjE,qEAAqE;QACrE,mBAAmB;QACnB,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;QACjC,iEAAiE;QACjE,sDAAsD;QACtD,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,sBAAsB;AACtB,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,mDAAmD;QACnD,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,cAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAA,cAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAA,gBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,+BAA+B;AAC/B,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,CAAC,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,CAAC,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,kEAAkE;QAClE,MAAM,KAAK,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAA,WAAK,EAAC,IAAI,EAAE,YAAM,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,gBAAU,EAAC,KAAK,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,MAAM,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,YAAM,EAAC,IAAA,YAAM,EAAC,UAAI,CAAC,EAAE,YAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,IAAA,UAAI,EAAC,UAAI,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,UAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,sBAAsB;AACtB,oEAAoE;AAEpE,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,qDAAqD;QACrD,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,IAAA,UAAI,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,YAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,kBAAY,EAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=information-theory.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"information-theory.test.d.ts","sourceRoot":"","sources":["../../../src/tests/information-theory/information-theory.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,291 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ const vitest_1 = require("vitest");
4
+ const information_theory_1 = require("../../information-theory");
5
+ // ------------------------------------------------------------
6
+ // Fixtures
7
+ // ------------------------------------------------------------
8
+ function uniform(symbols) {
9
+ const m = new Map();
10
+ const p = 1 / symbols.length;
11
+ for (const s of symbols)
12
+ m.set(s, p);
13
+ return m;
14
+ }
15
+ function dist(...pairs) {
16
+ return new Map(pairs);
17
+ }
18
+ const EPS = 1e-10;
19
+ const close = (a, b, tol = EPS) => (0, vitest_1.expect)(Math.abs(a - b)).toBeLessThan(tol);
20
+ // ------------------------------------------------------------
21
+ // 1. Distribución uniforme y validación
22
+ // ------------------------------------------------------------
23
+ (0, vitest_1.describe)('information-theory / validación y soporte', () => {
24
+ (0, vitest_1.it)('isValidDistribution acepta uniforme', () => {
25
+ (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(uniform([1, 2, 3, 4]))).toBe(true);
26
+ });
27
+ (0, vitest_1.it)('isValidDistribution rechaza suma ≠ 1', () => {
28
+ (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', 0.4], ['b', 0.4]))).toBe(false);
29
+ });
30
+ (0, vitest_1.it)('isValidDistribution rechaza probabilidades negativas', () => {
31
+ (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', -0.1], ['b', 1.1]))).toBe(false);
32
+ });
33
+ (0, vitest_1.it)('isValidDistribution rechaza NaN', () => {
34
+ (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', NaN], ['b', 1]))).toBe(false);
35
+ });
36
+ (0, vitest_1.it)('normalize reescala a masa 1', () => {
37
+ const p = (0, information_theory_1.normalize)(dist(['a', 2], ['b', 3], ['c', 5]));
38
+ (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(p)).toBe(true);
39
+ close(p.get('a'), 0.2);
40
+ close(p.get('b'), 0.3);
41
+ close(p.get('c'), 0.5);
42
+ });
43
+ (0, vitest_1.it)('normalize lanza si masa total 0', () => {
44
+ (0, vitest_1.expect)(() => (0, information_theory_1.normalize)(dist(['a', 0], ['b', 0]))).toThrow();
45
+ });
46
+ (0, vitest_1.it)('support omite probabilidades 0', () => {
47
+ (0, vitest_1.expect)((0, information_theory_1.support)(dist(['a', 0.5], ['b', 0], ['c', 0.5]))).toEqual(['a', 'c']);
48
+ });
49
+ });
50
+ // ------------------------------------------------------------
51
+ // 2. Entropía de Shannon
52
+ // ------------------------------------------------------------
53
+ (0, vitest_1.describe)('information-theory / Shannon entropy', () => {
54
+ (0, vitest_1.it)('uniforme N=8 → log2(8) = 3 bits', () => {
55
+ close((0, information_theory_1.shannonEntropy)(uniform([1, 2, 3, 4, 5, 6, 7, 8])), 3);
56
+ });
57
+ (0, vitest_1.it)('uniforme N=2 → 1 bit', () => {
58
+ close((0, information_theory_1.shannonEntropy)(uniform(['H', 'T'])), 1);
59
+ });
60
+ (0, vitest_1.it)('degenerada (1 outcome) → 0', () => {
61
+ close((0, information_theory_1.shannonEntropy)(dist(['a', 1])), 0);
62
+ });
63
+ (0, vitest_1.it)('moneda sesgada p=0.25 → H ≈ 0.811 bits', () => {
64
+ close((0, information_theory_1.shannonEntropy)(dist(['H', 0.25], ['T', 0.75])), 0.8112781244591328, 1e-12);
65
+ });
66
+ (0, vitest_1.it)('base e (nats): uniforme N=4 → ln 4', () => {
67
+ close((0, information_theory_1.shannonEntropy)(uniform(['a', 'b', 'c', 'd']), 'e'), Math.log(4), 1e-12);
68
+ });
69
+ (0, vitest_1.it)('base 10 (dits): uniforme N=10 → 1', () => {
70
+ close((0, information_theory_1.shannonEntropy)(uniform([0, 1, 2, 3, 4, 5, 6, 7, 8, 9]), 10), 1, 1e-12);
71
+ });
72
+ (0, vitest_1.it)('probabilidades 0 no rompen el cómputo (0·log 0 = 0)', () => {
73
+ close((0, information_theory_1.shannonEntropy)(dist(['a', 0.5], ['b', 0.5], ['c', 0])), 1);
74
+ });
75
+ });
76
+ // ------------------------------------------------------------
77
+ // 3. Rényi y variantes
78
+ // ------------------------------------------------------------
79
+ (0, vitest_1.describe)('information-theory / Rényi y entropías especiales', () => {
80
+ (0, vitest_1.it)('Rényi(α=1) coincide con Shannon', () => {
81
+ const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
82
+ close((0, information_theory_1.renyiEntropy)(p, 1), (0, information_theory_1.shannonEntropy)(p), 1e-12);
83
+ });
84
+ (0, vitest_1.it)('Rényi(α→1+) → Shannon (continuidad)', () => {
85
+ const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
86
+ const target = (0, information_theory_1.shannonEntropy)(p);
87
+ close((0, information_theory_1.renyiEntropy)(p, 1.0001), target, 1e-3);
88
+ close((0, information_theory_1.renyiEntropy)(p, 0.9999), target, 1e-3);
89
+ });
90
+ (0, vitest_1.it)('Rényi(α=0) → log|sop(p)|', () => {
91
+ const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
92
+ close((0, information_theory_1.renyiEntropy)(p, 0), Math.log2(2));
93
+ });
94
+ (0, vitest_1.it)('Rényi(α=2) = collisionEntropy', () => {
95
+ const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
96
+ close((0, information_theory_1.renyiEntropy)(p, 2), (0, information_theory_1.collisionEntropy)(p), 1e-12);
97
+ });
98
+ (0, vitest_1.it)('minEntropy = -log max p(x)', () => {
99
+ const p = dist(['a', 0.7], ['b', 0.2], ['c', 0.1]);
100
+ close((0, information_theory_1.minEntropy)(p), -Math.log2(0.7), 1e-12);
101
+ });
102
+ (0, vitest_1.it)('maxEntropy = log|sop(p)|', () => {
103
+ const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
104
+ close((0, information_theory_1.maxEntropy)(p), 1);
105
+ });
106
+ (0, vitest_1.it)('orden: minEntropy ≤ Shannon ≤ maxEntropy', () => {
107
+ const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.15], ['d', 0.05]);
108
+ const hMin = (0, information_theory_1.minEntropy)(p);
109
+ const hShannon = (0, information_theory_1.shannonEntropy)(p);
110
+ const hMax = (0, information_theory_1.maxEntropy)(p);
111
+ (0, vitest_1.expect)(hMin).toBeLessThanOrEqual(hShannon + 1e-12);
112
+ (0, vitest_1.expect)(hShannon).toBeLessThanOrEqual(hMax + 1e-12);
113
+ });
114
+ (0, vitest_1.it)('renyi α negativo → lanza', () => {
115
+ (0, vitest_1.expect)(() => (0, information_theory_1.renyiEntropy)(dist(['a', 1]), -1)).toThrow();
116
+ });
117
+ });
118
+ // ------------------------------------------------------------
119
+ // 4. Divergencias
120
+ // ------------------------------------------------------------
121
+ (0, vitest_1.describe)('information-theory / KL divergence', () => {
122
+ (0, vitest_1.it)('KL(p, p) = 0', () => {
123
+ const p = dist(['a', 0.3], ['b', 0.7]);
124
+ close((0, information_theory_1.klDivergence)(p, p), 0);
125
+ });
126
+ (0, vitest_1.it)('KL no simétrica en general', () => {
127
+ const p = dist(['a', 0.5], ['b', 0.5]);
128
+ const q = dist(['a', 0.1], ['b', 0.9]);
129
+ const dpq = (0, information_theory_1.klDivergence)(p, q);
130
+ const dqp = (0, information_theory_1.klDivergence)(q, p);
131
+ (0, vitest_1.expect)(dpq).not.toBeCloseTo(dqp, 6);
132
+ });
133
+ (0, vitest_1.it)('KL ≥ 0 (no-negatividad / desigualdad de Gibbs)', () => {
134
+ const p = dist(['a', 0.2], ['b', 0.3], ['c', 0.5]);
135
+ const q = dist(['a', 0.4], ['b', 0.4], ['c', 0.2]);
136
+ (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBeGreaterThanOrEqual(0);
137
+ (0, vitest_1.expect)((0, information_theory_1.klDivergence)(q, p)).toBeGreaterThanOrEqual(0);
138
+ });
139
+ (0, vitest_1.it)('KL diverge a +∞ cuando q(x)=0 pero p(x)>0', () => {
140
+ const p = dist(['a', 0.5], ['b', 0.5]);
141
+ const q = dist(['a', 1], ['b', 0]);
142
+ (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBe(Number.POSITIVE_INFINITY);
143
+ });
144
+ });
145
+ (0, vitest_1.describe)('information-theory / JS divergence', () => {
146
+ (0, vitest_1.it)('JS simétrica', () => {
147
+ const p = dist(['a', 0.2], ['b', 0.8]);
148
+ const q = dist(['a', 0.7], ['b', 0.3]);
149
+ close((0, information_theory_1.jsDivergence)(p, q), (0, information_theory_1.jsDivergence)(q, p), 1e-12);
150
+ });
151
+ (0, vitest_1.it)('JS(p, p) = 0', () => {
152
+ const p = dist(['a', 0.3], ['b', 0.7]);
153
+ close((0, information_theory_1.jsDivergence)(p, p), 0);
154
+ });
155
+ (0, vitest_1.it)('JS finita aun con soportes disjuntos (acotada por log 2)', () => {
156
+ const p = dist(['a', 1], ['b', 0]);
157
+ const q = dist(['a', 0], ['b', 1]);
158
+ const js = (0, information_theory_1.jsDivergence)(p, q);
159
+ (0, vitest_1.expect)(Number.isFinite(js)).toBe(true);
160
+ close(js, 1, 1e-12); // base 2: log 2 = 1.
161
+ });
162
+ });
163
+ (0, vitest_1.describe)('information-theory / TV y Hellinger', () => {
164
+ (0, vitest_1.it)('TV ≤ 1 y TV(p,p)=0', () => {
165
+ const p = dist(['a', 0.5], ['b', 0.5]);
166
+ const q = dist(['a', 0.7], ['b', 0.3]);
167
+ (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, p)).toBe(0);
168
+ (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(1);
169
+ close((0, information_theory_1.tvDistance)(p, q), 0.2);
170
+ });
171
+ (0, vitest_1.it)('TV(p,q)=1 si soportes disjuntos', () => {
172
+ const p = dist(['a', 1], ['b', 0]);
173
+ const q = dist(['a', 0], ['b', 1]);
174
+ close((0, information_theory_1.tvDistance)(p, q), 1);
175
+ });
176
+ (0, vitest_1.it)('Hellinger ∈ [0, 1], simétrica, =0 sii p=q, =1 sii soportes disjuntos', () => {
177
+ const p = dist(['a', 0.5], ['b', 0.5]);
178
+ const q = dist(['a', 0.7], ['b', 0.3]);
179
+ (0, vitest_1.expect)((0, information_theory_1.hellingerDistance)(p, p)).toBe(0);
180
+ close((0, information_theory_1.hellingerDistance)(p, q), (0, information_theory_1.hellingerDistance)(q, p), 1e-12);
181
+ const r = dist(['a', 1], ['b', 0]);
182
+ const s = dist(['a', 0], ['b', 1]);
183
+ close((0, information_theory_1.hellingerDistance)(r, s), 1);
184
+ });
185
+ (0, vitest_1.it)('Pinsker: TV ≤ sqrt(KL/2) cuando KL finita (base e)', () => {
186
+ const p = dist(['a', 0.4], ['b', 0.6]);
187
+ const q = dist(['a', 0.5], ['b', 0.5]);
188
+ const kl = (0, information_theory_1.klDivergence)(p, q, 'e');
189
+ (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(Math.sqrt(kl / 2) + 1e-12);
190
+ });
191
+ });
192
+ // ------------------------------------------------------------
193
+ // 5. Cross-entropy
194
+ // ------------------------------------------------------------
195
+ (0, vitest_1.describe)('information-theory / cross-entropy', () => {
196
+ (0, vitest_1.it)('H(p, q) = H(p) + KL(p, q)', () => {
197
+ const p = dist(['a', 0.3], ['b', 0.5], ['c', 0.2]);
198
+ const q = dist(['a', 0.25], ['b', 0.5], ['c', 0.25]);
199
+ close((0, information_theory_1.crossEntropy)(p, q), (0, information_theory_1.shannonEntropy)(p) + (0, information_theory_1.klDivergence)(p, q), 1e-12);
200
+ });
201
+ (0, vitest_1.it)('H(p, p) = H(p)', () => {
202
+ const p = dist(['a', 0.4], ['b', 0.6]);
203
+ close((0, information_theory_1.crossEntropy)(p, p), (0, information_theory_1.shannonEntropy)(p), 1e-12);
204
+ });
205
+ (0, vitest_1.it)('cross-entropy +∞ si q(x)=0 con p(x)>0', () => {
206
+ const p = dist(['a', 0.5], ['b', 0.5]);
207
+ const q = dist(['a', 1], ['b', 0]);
208
+ (0, vitest_1.expect)((0, information_theory_1.crossEntropy)(p, q)).toBe(Number.POSITIVE_INFINITY);
209
+ });
210
+ });
211
+ // ------------------------------------------------------------
212
+ // 6. Joint / mutual information
213
+ // ------------------------------------------------------------
214
+ function makeJoint(entries) {
215
+ const j = new Map();
216
+ for (const [x, y, p] of entries)
217
+ j.set([x, y], p);
218
+ return j;
219
+ }
220
+ (0, vitest_1.describe)('information-theory / joint distributions', () => {
221
+ (0, vitest_1.it)('jointToMarginals preserva masa total', () => {
222
+ const j = makeJoint([
223
+ ['x1', 'y1', 0.1],
224
+ ['x1', 'y2', 0.2],
225
+ ['x2', 'y1', 0.3],
226
+ ['x2', 'y2', 0.4],
227
+ ]);
228
+ const { X, Y } = (0, information_theory_1.jointToMarginals)(j);
229
+ close(X.get('x1') + X.get('x2'), 1);
230
+ close(Y.get('y1') + Y.get('y2'), 1);
231
+ close(X.get('x1'), 0.3);
232
+ close(X.get('x2'), 0.7);
233
+ close(Y.get('y1'), 0.4);
234
+ close(Y.get('y2'), 0.6);
235
+ });
236
+ (0, vitest_1.it)('I(X;Y) = 0 cuando X ⊥ Y (joint factorizable)', () => {
237
+ // p(x,y) = p(x)·p(y) con p(x)=[0.4,0.6], p(y)=[0.25,0.75].
238
+ const j = makeJoint([
239
+ ['x1', 'y1', 0.4 * 0.25],
240
+ ['x1', 'y2', 0.4 * 0.75],
241
+ ['x2', 'y1', 0.6 * 0.25],
242
+ ['x2', 'y2', 0.6 * 0.75],
243
+ ]);
244
+ close((0, information_theory_1.mutualInformation)(j), 0, 1e-12);
245
+ });
246
+ (0, vitest_1.it)('I(X;X) = H(X) (información mutua de una variable consigo misma)', () => {
247
+ // Joint perfectamente correlacionada: p(x,x) = p(x), p(x,y)=0 si x≠y.
248
+ const j = makeJoint([
249
+ ['a', 'a', 0.3],
250
+ ['b', 'b', 0.5],
251
+ ['c', 'c', 0.2],
252
+ ]);
253
+ const { X } = (0, information_theory_1.jointToMarginals)(j);
254
+ close((0, information_theory_1.mutualInformation)(j), (0, information_theory_1.shannonEntropy)(X), 1e-12);
255
+ });
256
+ (0, vitest_1.it)('I(X;Y) ≥ 0 siempre', () => {
257
+ const j = makeJoint([
258
+ ['x1', 'y1', 0.1],
259
+ ['x1', 'y2', 0.3],
260
+ ['x2', 'y1', 0.4],
261
+ ['x2', 'y2', 0.2],
262
+ ]);
263
+ (0, vitest_1.expect)((0, information_theory_1.mutualInformation)(j)).toBeGreaterThanOrEqual(-1e-12);
264
+ });
265
+ (0, vitest_1.it)('regla de la cadena: H(X,Y) = H(X) + H(Y) − I(X;Y)', () => {
266
+ const j = makeJoint([
267
+ ['x1', 'y1', 0.1],
268
+ ['x1', 'y2', 0.3],
269
+ ['x2', 'y1', 0.4],
270
+ ['x2', 'y2', 0.2],
271
+ ]);
272
+ const { hX, hY, hXY, iXY } = (0, information_theory_1.chainRule)(j);
273
+ close(hXY, hX + hY - iXY, 1e-12);
274
+ });
275
+ (0, vitest_1.it)('conditionalEntropy: H(X|Y) = H(X,Y) − H(Y) ≥ 0', () => {
276
+ const j = makeJoint([
277
+ ['x1', 'y1', 0.1],
278
+ ['x1', 'y2', 0.3],
279
+ ['x2', 'y1', 0.4],
280
+ ['x2', 'y2', 0.2],
281
+ ]);
282
+ const hX_Y = (0, information_theory_1.conditionalEntropy)(j, 'X');
283
+ const hY_X = (0, information_theory_1.conditionalEntropy)(j, 'Y');
284
+ (0, vitest_1.expect)(hX_Y).toBeGreaterThanOrEqual(-1e-12);
285
+ (0, vitest_1.expect)(hY_X).toBeGreaterThanOrEqual(-1e-12);
286
+ // I(X;Y) = H(X) − H(X|Y).
287
+ const { hX, iXY } = (0, information_theory_1.chainRule)(j);
288
+ close(iXY, hX - hX_Y, 1e-12);
289
+ });
290
+ });
291
+ //# sourceMappingURL=information-theory.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"information-theory.test.js","sourceRoot":"","sources":["../../../src/tests/information-theory/information-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iEAoBkC;AAElC,+DAA+D;AAC/D,WAAW;AACX,+DAA+D;AAE/D,SAAS,OAAO,CAAI,OAAY;IAC9B,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,IAAI,CAAI,GAAG,KAAoB;IACtC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,GAAG,GAAG,KAAK,CAAC;AAClB,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,GAAG,GAAG,GAAG,EAAE,EAAE,CAAC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAE7F,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qCAAgB,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,qBAAqB;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAE/D,SAAS,SAAS,CAAO,OAAyB;IAChD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,2DAA2D;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;SACzB,CAAC,CAAC;QACH,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,sEAAsE;QACtE,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,0BAA0B;QAC1B,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=ilp.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ilp.test.d.ts","sourceRoot":"","sources":["../../../src/tests/optimization/ilp.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,204 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ const vitest_1 = require("vitest");
4
+ const optimization_1 = require("../../optimization");
5
+ (0, vitest_1.describe)('ILP — Branch-and-bound sobre relajación LP', () => {
6
+ (0, vitest_1.it)('ILP trivial: max x s.t. x ≤ 5.7, x entero → x = 5', () => {
7
+ const ilp = {
8
+ objective: { kind: 'maximize', coefficients: [1] },
9
+ constraints: [{ coefficients: [1], operator: '<=', rhs: 5.7 }],
10
+ integerVars: [0],
11
+ };
12
+ const sol = (0, optimization_1.solveILP)(ilp);
13
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
14
+ (0, vitest_1.expect)(sol.variables[0]).toBe(5);
15
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(5, 6);
16
+ });
17
+ (0, vitest_1.it)('ILP knapsack 0-1: 4 items, capacidad 10', () => {
18
+ // valor: [10, 40, 30, 50], peso: [5, 4, 6, 3]
19
+ // capacidad 10. Óptimo conocido: item 2 (peso 4, valor 40) +
20
+ // item 4 (peso 3, valor 50) + item 1 (peso 5? no, supera). Probemos:
21
+ // {2,4}: peso=7, valor=90. {1,2,4}: 5+4+3=12>10 no.
22
+ // {2,3}: 4+6=10, valor=70. {2,4,3}: 4+3+6=13 no.
23
+ // {4,1}: 3+5=8, valor=60. Mejor: {2,4} con valor 90.
24
+ const ilp = {
25
+ objective: { kind: 'maximize', coefficients: [10, 40, 30, 50] },
26
+ constraints: [{ coefficients: [5, 4, 6, 3], operator: '<=', rhs: 10 }],
27
+ integerVars: [0, 1, 2, 3],
28
+ binaryVars: [0, 1, 2, 3],
29
+ };
30
+ const sol = (0, optimization_1.solveILP)(ilp);
31
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
32
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(90, 6);
33
+ (0, vitest_1.expect)(sol.variables[1]).toBe(1);
34
+ (0, vitest_1.expect)(sol.variables[3]).toBe(1);
35
+ });
36
+ (0, vitest_1.it)('ILP infeasible: 2x = 1, x entero', () => {
37
+ const ilp = {
38
+ objective: { kind: 'maximize', coefficients: [1] },
39
+ constraints: [{ coefficients: [2], operator: '=', rhs: 1 }],
40
+ integerVars: [0],
41
+ };
42
+ const sol = (0, optimization_1.solveILP)(ilp);
43
+ // LP relaxation: x=0.5. ILP: ningún entero satisface 2x=1.
44
+ (0, vitest_1.expect)(sol.status).toBe('infeasible');
45
+ });
46
+ (0, vitest_1.it)('ILP con relajación ya entera (B&B inmediato)', () => {
47
+ const ilp = {
48
+ objective: { kind: 'maximize', coefficients: [1, 1] },
49
+ constraints: [
50
+ { coefficients: [1, 0], operator: '<=', rhs: 3 },
51
+ { coefficients: [0, 1], operator: '<=', rhs: 4 },
52
+ ],
53
+ integerVars: [0, 1],
54
+ };
55
+ const sol = (0, optimization_1.solveILP)(ilp);
56
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
57
+ (0, vitest_1.expect)(sol.variables[0]).toBe(3);
58
+ (0, vitest_1.expect)(sol.variables[1]).toBe(4);
59
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(7, 6);
60
+ (0, vitest_1.expect)(sol.nodesExplored).toBeGreaterThanOrEqual(1);
61
+ });
62
+ (0, vitest_1.it)('ILP: max 5x + 4y s.t. 6x+4y≤24, x+2y≤6, x,y enteros ≥ 0', () => {
63
+ // Caso clásico. Relajación LP: óptimo en (3, 1.5) con val 21.
64
+ // ILP: (3,1)=19, (2,2)=18, (4,0)=20. Óptimo: (4,0)=20.
65
+ const ilp = {
66
+ objective: { kind: 'maximize', coefficients: [5, 4] },
67
+ constraints: [
68
+ { coefficients: [6, 4], operator: '<=', rhs: 24 },
69
+ { coefficients: [1, 2], operator: '<=', rhs: 6 },
70
+ ],
71
+ integerVars: [0, 1],
72
+ };
73
+ const sol = (0, optimization_1.solveILP)(ilp);
74
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
75
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(20, 5);
76
+ (0, vitest_1.expect)(sol.variables[0]).toBe(4);
77
+ (0, vitest_1.expect)(sol.variables[1]).toBeCloseTo(0, 6);
78
+ });
79
+ (0, vitest_1.it)('Assignment problem 3x3 binario', () => {
80
+ // 3 trabajadores, 3 tareas. Coste c[i][j]. Variables x_ij ∈ {0,1}.
81
+ // Minimizar Σ c·x s.t. Σ_j x_ij = 1 ∀i, Σ_i x_ij = 1 ∀j.
82
+ // Matriz coste:
83
+ // T1 T2 T3
84
+ // W1 9 2 7
85
+ // W2 6 4 3
86
+ // W3 5 8 1
87
+ // Asignación óptima: W1→T2 (2), W2→T1 (6), W3→T3 (1) = 9.
88
+ // Otra: W1→T2, W2→T3, W3→T1 = 2+3+5=10. La primera es mejor.
89
+ const c = [9, 2, 7, 6, 4, 3, 5, 8, 1]; // x11,x12,x13,x21,x22,x23,x31,x32,x33
90
+ const ilp = {
91
+ objective: { kind: 'minimize', coefficients: c },
92
+ constraints: [
93
+ // sumas por trabajador = 1
94
+ { coefficients: [1, 1, 1, 0, 0, 0, 0, 0, 0], operator: '=', rhs: 1 },
95
+ { coefficients: [0, 0, 0, 1, 1, 1, 0, 0, 0], operator: '=', rhs: 1 },
96
+ { coefficients: [0, 0, 0, 0, 0, 0, 1, 1, 1], operator: '=', rhs: 1 },
97
+ // sumas por tarea = 1
98
+ { coefficients: [1, 0, 0, 1, 0, 0, 1, 0, 0], operator: '=', rhs: 1 },
99
+ { coefficients: [0, 1, 0, 0, 1, 0, 0, 1, 0], operator: '=', rhs: 1 },
100
+ { coefficients: [0, 0, 1, 0, 0, 1, 0, 0, 1], operator: '=', rhs: 1 },
101
+ ],
102
+ integerVars: [0, 1, 2, 3, 4, 5, 6, 7, 8],
103
+ binaryVars: [0, 1, 2, 3, 4, 5, 6, 7, 8],
104
+ };
105
+ const sol = (0, optimization_1.solveILP)(ilp, { maxNodes: 5000, timeoutMs: 15000 });
106
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
107
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(9, 5);
108
+ });
109
+ (0, vitest_1.it)('ILP binario simple: max x+y s.t. x+y≤1', () => {
110
+ const ilp = {
111
+ objective: { kind: 'maximize', coefficients: [1, 1] },
112
+ constraints: [{ coefficients: [1, 1], operator: '<=', rhs: 1 }],
113
+ integerVars: [0, 1],
114
+ binaryVars: [0, 1],
115
+ };
116
+ const sol = (0, optimization_1.solveILP)(ilp);
117
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
118
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(1, 6);
119
+ // Solución: una de las dos es 1, la otra 0.
120
+ const [x, y] = sol.variables;
121
+ (0, vitest_1.expect)((x === 1 && y === 0) || (x === 0 && y === 1)).toBe(true);
122
+ });
123
+ (0, vitest_1.it)('lpRelaxation produce LP válido (sin integerVars)', () => {
124
+ const ilp = {
125
+ objective: { kind: 'maximize', coefficients: [3, 2] },
126
+ constraints: [{ coefficients: [1, 1], operator: '<=', rhs: 5 }],
127
+ integerVars: [0],
128
+ };
129
+ const lp = (0, optimization_1.lpRelaxation)(ilp);
130
+ (0, vitest_1.expect)(lp.objective.coefficients).toEqual([3, 2]);
131
+ (0, vitest_1.expect)(lp.constraints).toHaveLength(1);
132
+ // No deberían existir integerVars en LPProblem
133
+ (0, vitest_1.expect)('integerVars' in lp).toBe(false);
134
+ });
135
+ (0, vitest_1.it)('lpRelaxation inyecta cotas [0,1] para binarios', () => {
136
+ const ilp = {
137
+ objective: { kind: 'maximize', coefficients: [10, 20] },
138
+ constraints: [{ coefficients: [1, 1], operator: '<=', rhs: 1.5 }],
139
+ integerVars: [0, 1],
140
+ binaryVars: [0, 1],
141
+ };
142
+ const lp = (0, optimization_1.lpRelaxation)(ilp);
143
+ (0, vitest_1.expect)(lp.variableBounds?.[0]?.upper).toBe(1);
144
+ (0, vitest_1.expect)(lp.variableBounds?.[1]?.upper).toBe(1);
145
+ });
146
+ (0, vitest_1.it)('ILP reporta nodesExplored ≥ 1', () => {
147
+ const ilp = {
148
+ objective: { kind: 'maximize', coefficients: [1] },
149
+ constraints: [{ coefficients: [1], operator: '<=', rhs: 3.5 }],
150
+ integerVars: [0],
151
+ };
152
+ const sol = (0, optimization_1.solveILP)(ilp);
153
+ (0, vitest_1.expect)(sol.nodesExplored).toBeGreaterThanOrEqual(1);
154
+ });
155
+ (0, vitest_1.it)('ILP reporta gap = 0 cuando relajación es entera', () => {
156
+ const ilp = {
157
+ objective: { kind: 'maximize', coefficients: [1] },
158
+ constraints: [{ coefficients: [1], operator: '<=', rhs: 4 }],
159
+ integerVars: [0],
160
+ };
161
+ const sol = (0, optimization_1.solveILP)(ilp);
162
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
163
+ (0, vitest_1.expect)(sol.gap).toBe(0);
164
+ });
165
+ (0, vitest_1.it)('ILP set-covering pequeño (3 sets, 4 elementos)', () => {
166
+ // Cubrir {1,2,3,4} con mínimo número de sets.
167
+ // S1={1,2}, S2={2,3}, S3={3,4}. Variables x1,x2,x3 binarias.
168
+ // min x1+x2+x3 s.t.
169
+ // x1 ≥ 1 (cubre 1) → x1 = 1
170
+ // x1+x2 ≥ 1 (cubre 2)
171
+ // x2+x3 ≥ 1 (cubre 3)
172
+ // x3 ≥ 1 (cubre 4) → x3 = 1
173
+ // Óptimo: x1=1, x3=1, x2=0. Valor 2.
174
+ const ilp = {
175
+ objective: { kind: 'minimize', coefficients: [1, 1, 1] },
176
+ constraints: [
177
+ { coefficients: [1, 0, 0], operator: '>=', rhs: 1 },
178
+ { coefficients: [1, 1, 0], operator: '>=', rhs: 1 },
179
+ { coefficients: [0, 1, 1], operator: '>=', rhs: 1 },
180
+ { coefficients: [0, 0, 1], operator: '>=', rhs: 1 },
181
+ ],
182
+ integerVars: [0, 1, 2],
183
+ binaryVars: [0, 1, 2],
184
+ };
185
+ const sol = (0, optimization_1.solveILP)(ilp);
186
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
187
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(2, 5);
188
+ (0, vitest_1.expect)(sol.variables[0]).toBe(1);
189
+ (0, vitest_1.expect)(sol.variables[2]).toBe(1);
190
+ });
191
+ (0, vitest_1.it)('ILP rounding gap explícito: max 4x+3y s.t. 3x+2y≤8, x,y enteros', () => {
192
+ // Relajación: max en (8/3, 0) = 32/3 ≈ 10.67 o (0, 4) = 12. → (0,4)=12 entera.
193
+ // Pero verificamos otras esquinas: óptimo es (0,4)=12.
194
+ const ilp = {
195
+ objective: { kind: 'maximize', coefficients: [4, 3] },
196
+ constraints: [{ coefficients: [3, 2], operator: '<=', rhs: 8 }],
197
+ integerVars: [0, 1],
198
+ };
199
+ const sol = (0, optimization_1.solveILP)(ilp);
200
+ (0, vitest_1.expect)(sol.status).toBe('optimal');
201
+ (0, vitest_1.expect)(sol.objectiveValue).toBeCloseTo(12, 5);
202
+ });
203
+ });
204
+ //# sourceMappingURL=ilp.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ilp.test.js","sourceRoot":"","sources":["../../../src/tests/optimization/ilp.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,qDAA4D;AAG5D,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YAClD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC9D,WAAW,EAAE,CAAC,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,+CAA+C;QAC/C,6DAA6D;QAC7D,qEAAqE;QACrE,uDAAuD;QACvD,oDAAoD;QACpD,yDAAyD;QACzD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;YAC/D,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;YACtE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACzB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YAClD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC3D,WAAW,EAAE,CAAC,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,2DAA2D;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrD,WAAW,EAAE;gBACX,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;gBAChD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;aACjD;YACD,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACpB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,aAAa,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,8DAA8D;QAC9D,uDAAuD;QACvD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrD,WAAW,EAAE;gBACX,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;gBACjD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;aACjD;YACD,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACpB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,mEAAmE;QACnE,yDAAyD;QACzD,gBAAgB;QAChB,aAAa;QACb,aAAa;QACb,aAAa;QACb,aAAa;QACb,0DAA0D;QAC1D,6DAA6D;QAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sCAAsC;QAC7E,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE;YAChD,WAAW,EAAE;gBACX,2BAA2B;gBAC3B,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpE,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpE,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpE,sBAAsB;gBACtB,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpE,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBACpE,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;aACrE;YACD,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/D,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACnB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACnB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,4CAA4C;QAC5C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/D,WAAW,EAAE,CAAC,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,+CAA+C;QAC/C,IAAA,eAAM,EAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE;YACvD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACjE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACnB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACnB,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YAClD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC9D,WAAW,EAAE,CAAC,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,aAAa,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;YAClD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC5D,WAAW,EAAE,CAAC,CAAC,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,8CAA8C;QAC9C,6DAA6D;QAC7D,oBAAoB;QACpB,sCAAsC;QACtC,wBAAwB;QACxB,wBAAwB;QACxB,sCAAsC;QACtC,qCAAqC;QACrC,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACxD,WAAW,EAAE;gBACX,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;gBACnD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;gBACnD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;gBACnD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;aACpD;YACD,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtB,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACtB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,+EAA+E;QAC/E,uDAAuD;QACvD,MAAM,GAAG,GAAe;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrD,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC/D,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACpB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=lp.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lp.test.d.ts","sourceRoot":"","sources":["../../../src/tests/optimization/lp.test.ts"],"names":[],"mappings":""}