@cortex-js/compute-engine 0.129.0 → 0.129.1

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 (433) hide show
  1. package/dist/esm-min/chunks/{chunk-RKFNDUDQ.js → chunk-75MH3VS7.js} +3 -3
  2. package/dist/esm-min/chunks/{chunk-3XFZFOXD.js → chunk-S6UB43FH.js} +1 -1
  3. package/dist/esm-min/cli/epsil.js +1 -1
  4. package/dist/esm-min/compile.js +2 -2
  5. package/dist/esm-min/compute-engine.js +2 -2
  6. package/dist/esm-min/core.js +2 -2
  7. package/dist/esm-min/epsil.js +3 -3
  8. package/dist/esm-min/identities.js +2 -2
  9. package/dist/esm-min/integration-rules.js +3 -3
  10. package/dist/esm-min/interval.js +2 -2
  11. package/dist/esm-min/latex-syntax.js +2 -2
  12. package/dist/esm-min/math-json.js +2 -2
  13. package/dist/esm-min/numerics.js +2 -2
  14. package/dist/types/big-decimal/big-decimal.d.ts +1 -1
  15. package/dist/types/big-decimal/index.d.ts +1 -1
  16. package/dist/types/big-decimal/transcendentals.d.ts +1 -1
  17. package/dist/types/big-decimal/utils.d.ts +1 -1
  18. package/dist/types/common/ansi-codes.d.ts +1 -1
  19. package/dist/types/common/cache-stats.d.ts +1 -1
  20. package/dist/types/common/configuration-change.d.ts +1 -1
  21. package/dist/types/common/debug-hook.d.ts +1 -1
  22. package/dist/types/common/debug.d.ts +1 -1
  23. package/dist/types/common/fuzzy-string-match.d.ts +1 -1
  24. package/dist/types/common/grapheme-splitter.d.ts +1 -1
  25. package/dist/types/common/interruptible.d.ts +1 -1
  26. package/dist/types/common/kleene.d.ts +1 -1
  27. package/dist/types/common/one-of.d.ts +1 -1
  28. package/dist/types/common/signals.d.ts +1 -1
  29. package/dist/types/common/styled-text.d.ts +1 -1
  30. package/dist/types/common/terminal.d.ts +1 -1
  31. package/dist/types/common/type/ast-nodes.d.ts +1 -1
  32. package/dist/types/common/type/boxed-type.d.ts +1 -1
  33. package/dist/types/common/type/compatibility.d.ts +1 -1
  34. package/dist/types/common/type/conditional-conformance.d.ts +1 -1
  35. package/dist/types/common/type/effects.d.ts +1 -1
  36. package/dist/types/common/type/facts.d.ts +1 -1
  37. package/dist/types/common/type/immutable.d.ts +1 -1
  38. package/dist/types/common/type/instantiate.d.ts +1 -1
  39. package/dist/types/common/type/intern.d.ts +1 -1
  40. package/dist/types/common/type/lexer.d.ts +1 -1
  41. package/dist/types/common/type/numeric-range.d.ts +1 -1
  42. package/dist/types/common/type/parse.d.ts +1 -1
  43. package/dist/types/common/type/parser.d.ts +1 -1
  44. package/dist/types/common/type/primitive.d.ts +1 -1
  45. package/dist/types/common/type/reduce.d.ts +1 -1
  46. package/dist/types/common/type/reference.d.ts +1 -1
  47. package/dist/types/common/type/serialize.d.ts +1 -1
  48. package/dist/types/common/type/size-cap.d.ts +1 -1
  49. package/dist/types/common/type/subtype.d.ts +1 -1
  50. package/dist/types/common/type/type-builder.d.ts +1 -1
  51. package/dist/types/common/type/types.d.ts +1 -1
  52. package/dist/types/common/type/utils.d.ts +1 -1
  53. package/dist/types/common/type/variance.d.ts +1 -1
  54. package/dist/types/common/type/widen-value.d.ts +1 -1
  55. package/dist/types/common/utils.d.ts +1 -1
  56. package/dist/types/compile.d.ts +1 -1
  57. package/dist/types/compute-engine/assume.d.ts +1 -1
  58. package/dist/types/compute-engine/boxed-expression/abstract-boxed-expression.d.ts +1 -1
  59. package/dist/types/compute-engine/boxed-expression/ambient-chain.d.ts +1 -1
  60. package/dist/types/compute-engine/boxed-expression/apply.d.ts +1 -1
  61. package/dist/types/compute-engine/boxed-expression/arithmetic-add.d.ts +1 -1
  62. package/dist/types/compute-engine/boxed-expression/arithmetic-mul-div.d.ts +1 -1
  63. package/dist/types/compute-engine/boxed-expression/arithmetic-power.d.ts +1 -1
  64. package/dist/types/compute-engine/boxed-expression/ascii-math.d.ts +1 -1
  65. package/dist/types/compute-engine/boxed-expression/async-only-descendants.d.ts +1 -1
  66. package/dist/types/compute-engine/boxed-expression/binders.d.ts +1 -1
  67. package/dist/types/compute-engine/boxed-expression/binding-sites.d.ts +1 -1
  68. package/dist/types/compute-engine/boxed-expression/binding-tombstone.d.ts +1 -1
  69. package/dist/types/compute-engine/boxed-expression/box.d.ts +1 -1
  70. package/dist/types/compute-engine/boxed-expression/boxed-character.d.ts +1 -1
  71. package/dist/types/compute-engine/boxed-expression/boxed-dictionary.d.ts +1 -1
  72. package/dist/types/compute-engine/boxed-expression/boxed-function.d.ts +1 -1
  73. package/dist/types/compute-engine/boxed-expression/boxed-number.d.ts +1 -1
  74. package/dist/types/compute-engine/boxed-expression/boxed-object.d.ts +1 -1
  75. package/dist/types/compute-engine/boxed-expression/boxed-operator-definition.d.ts +1 -1
  76. package/dist/types/compute-engine/boxed-expression/boxed-patterns.d.ts +1 -1
  77. package/dist/types/compute-engine/boxed-expression/boxed-string.d.ts +1 -1
  78. package/dist/types/compute-engine/boxed-expression/boxed-symbol.d.ts +1 -1
  79. package/dist/types/compute-engine/boxed-expression/boxed-value-definition.d.ts +1 -1
  80. package/dist/types/compute-engine/boxed-expression/broadcast-cell-widening.d.ts +1 -1
  81. package/dist/types/compute-engine/boxed-expression/broadcast-lift-type.d.ts +1 -1
  82. package/dist/types/compute-engine/boxed-expression/cache.d.ts +1 -1
  83. package/dist/types/compute-engine/boxed-expression/call-result-type.d.ts +1 -1
  84. package/dist/types/compute-engine/boxed-expression/callback-arity.d.ts +1 -1
  85. package/dist/types/compute-engine/boxed-expression/canonical-utils.d.ts +1 -1
  86. package/dist/types/compute-engine/boxed-expression/canonical.d.ts +1 -1
  87. package/dist/types/compute-engine/boxed-expression/collection-element-memo.d.ts +1 -1
  88. package/dist/types/compute-engine/boxed-expression/compare.d.ts +1 -1
  89. package/dist/types/compute-engine/boxed-expression/conditional-value.d.ts +1 -1
  90. package/dist/types/compute-engine/boxed-expression/constants.d.ts +1 -1
  91. package/dist/types/compute-engine/boxed-expression/constraint-subject.d.ts +1 -1
  92. package/dist/types/compute-engine/boxed-expression/cycle-guard.d.ts +1 -1
  93. package/dist/types/compute-engine/boxed-expression/definition-guards.d.ts +1 -1
  94. package/dist/types/compute-engine/boxed-expression/derive-application-type.d.ts +1 -1
  95. package/dist/types/compute-engine/boxed-expression/diophantine.d.ts +1 -1
  96. package/dist/types/compute-engine/boxed-expression/effects-inference.d.ts +1 -1
  97. package/dist/types/compute-engine/boxed-expression/effects-of.d.ts +1 -1
  98. package/dist/types/compute-engine/boxed-expression/effects-provenance.d.ts +1 -1
  99. package/dist/types/compute-engine/boxed-expression/error-value.d.ts +1 -1
  100. package/dist/types/compute-engine/boxed-expression/exp-to-trig.d.ts +1 -1
  101. package/dist/types/compute-engine/boxed-expression/expand.d.ts +1 -1
  102. package/dist/types/compute-engine/boxed-expression/explain-labels.d.ts +1 -1
  103. package/dist/types/compute-engine/boxed-expression/explain.d.ts +1 -1
  104. package/dist/types/compute-engine/boxed-expression/expression-map.d.ts +1 -1
  105. package/dist/types/compute-engine/boxed-expression/factor.d.ts +1 -1
  106. package/dist/types/compute-engine/boxed-expression/flatten.d.ts +1 -1
  107. package/dist/types/compute-engine/boxed-expression/function-literal.d.ts +1 -1
  108. package/dist/types/compute-engine/boxed-expression/generic-instantiation.d.ts +1 -1
  109. package/dist/types/compute-engine/boxed-expression/hold.d.ts +1 -1
  110. package/dist/types/compute-engine/boxed-expression/inequality-bounds.d.ts +1 -1
  111. package/dist/types/compute-engine/boxed-expression/inferred-annotations.d.ts +1 -1
  112. package/dist/types/compute-engine/boxed-expression/infinite-point.d.ts +1 -1
  113. package/dist/types/compute-engine/boxed-expression/init-lazy-refs.d.ts +1 -1
  114. package/dist/types/compute-engine/boxed-expression/invisible-operator.d.ts +1 -1
  115. package/dist/types/compute-engine/boxed-expression/literal-tier.d.ts +1 -1
  116. package/dist/types/compute-engine/boxed-expression/logarithm.d.ts +1 -1
  117. package/dist/types/compute-engine/boxed-expression/machine-number.d.ts +1 -1
  118. package/dist/types/compute-engine/boxed-expression/match-dispatch.d.ts +1 -1
  119. package/dist/types/compute-engine/boxed-expression/match.d.ts +1 -1
  120. package/dist/types/compute-engine/boxed-expression/modular-arithmetic.d.ts +1 -1
  121. package/dist/types/compute-engine/boxed-expression/multivariate-gcd.d.ts +1 -1
  122. package/dist/types/compute-engine/boxed-expression/multivariate-poly.d.ts +1 -1
  123. package/dist/types/compute-engine/boxed-expression/named-arguments.d.ts +1 -1
  124. package/dist/types/compute-engine/boxed-expression/negate.d.ts +1 -1
  125. package/dist/types/compute-engine/boxed-expression/number-set-types.d.ts +1 -1
  126. package/dist/types/compute-engine/boxed-expression/numerics.d.ts +1 -1
  127. package/dist/types/compute-engine/boxed-expression/object-deps.d.ts +1 -1
  128. package/dist/types/compute-engine/boxed-expression/object-walk.d.ts +1 -1
  129. package/dist/types/compute-engine/boxed-expression/operand-descriptor.d.ts +1 -1
  130. package/dist/types/compute-engine/boxed-expression/order.d.ts +1 -1
  131. package/dist/types/compute-engine/boxed-expression/overload.d.ts +1 -1
  132. package/dist/types/compute-engine/boxed-expression/pattern-utils.d.ts +1 -1
  133. package/dist/types/compute-engine/boxed-expression/polynomial-degree.d.ts +1 -1
  134. package/dist/types/compute-engine/boxed-expression/polynomials.d.ts +1 -1
  135. package/dist/types/compute-engine/boxed-expression/predicates.d.ts +1 -1
  136. package/dist/types/compute-engine/boxed-expression/provisional-application.d.ts +1 -1
  137. package/dist/types/compute-engine/boxed-expression/recursive-list-builder.d.ts +1 -1
  138. package/dist/types/compute-engine/boxed-expression/rule-index.d.ts +1 -1
  139. package/dist/types/compute-engine/boxed-expression/rules.d.ts +1 -1
  140. package/dist/types/compute-engine/boxed-expression/serialize.d.ts +1 -1
  141. package/dist/types/compute-engine/boxed-expression/sgn.d.ts +1 -1
  142. package/dist/types/compute-engine/boxed-expression/simplify.d.ts +1 -1
  143. package/dist/types/compute-engine/boxed-expression/solve-congruence.d.ts +1 -1
  144. package/dist/types/compute-engine/boxed-expression/solve-domain.d.ts +1 -1
  145. package/dist/types/compute-engine/boxed-expression/solve-linear-system.d.ts +1 -1
  146. package/dist/types/compute-engine/boxed-expression/solve-system.d.ts +1 -1
  147. package/dist/types/compute-engine/boxed-expression/solve.d.ts +1 -1
  148. package/dist/types/compute-engine/boxed-expression/stochastic-equal.d.ts +1 -1
  149. package/dist/types/compute-engine/boxed-expression/tensor-view.d.ts +1 -1
  150. package/dist/types/compute-engine/boxed-expression/trigonometry.d.ts +1 -1
  151. package/dist/types/compute-engine/boxed-expression/tuple-pattern.d.ts +1 -1
  152. package/dist/types/compute-engine/boxed-expression/type-compatibility-error.d.ts +1 -1
  153. package/dist/types/compute-engine/boxed-expression/type-guards.d.ts +1 -1
  154. package/dist/types/compute-engine/boxed-expression/type-provenance.d.ts +1 -1
  155. package/dist/types/compute-engine/boxed-expression/utils.d.ts +1 -1
  156. package/dist/types/compute-engine/boxed-expression/validate.d.ts +1 -1
  157. package/dist/types/compute-engine/boxed-expression/value-membership.d.ts +1 -1
  158. package/dist/types/compute-engine/checkpoint-journal.d.ts +1 -1
  159. package/dist/types/compute-engine/checkpoint.d.ts +1 -1
  160. package/dist/types/compute-engine/clause-identity.d.ts +1 -1
  161. package/dist/types/compute-engine/collection-utils.d.ts +1 -1
  162. package/dist/types/compute-engine/compilation/angular-unit.d.ts +1 -1
  163. package/dist/types/compute-engine/compilation/auto-escalation.d.ts +1 -1
  164. package/dist/types/compute-engine/compilation/base-compiler.d.ts +1 -1
  165. package/dist/types/compute-engine/compilation/builtin-callback.d.ts +1 -1
  166. package/dist/types/compute-engine/compilation/color-space-fact.d.ts +1 -1
  167. package/dist/types/compute-engine/compilation/compile-expression.d.ts +1 -1
  168. package/dist/types/compute-engine/compilation/constant-folding.d.ts +1 -1
  169. package/dist/types/compute-engine/compilation/cse.d.ts +1 -1
  170. package/dist/types/compute-engine/compilation/deprecation-warnings.d.ts +1 -1
  171. package/dist/types/compute-engine/compilation/derivative-closed-form.d.ts +1 -1
  172. package/dist/types/compute-engine/compilation/diagnostics.d.ts +1 -1
  173. package/dist/types/compute-engine/compilation/fixed-width-unroll.d.ts +1 -1
  174. package/dist/types/compute-engine/compilation/function-purity.d.ts +1 -1
  175. package/dist/types/compute-engine/compilation/glsl-target.d.ts +1 -1
  176. package/dist/types/compute-engine/compilation/gpu-target.d.ts +1 -1
  177. package/dist/types/compute-engine/compilation/gpu-value-facts.d.ts +1 -1
  178. package/dist/types/compute-engine/compilation/interval-javascript-target.d.ts +1 -1
  179. package/dist/types/compute-engine/compilation/javascript-selection-fusion.d.ts +1 -1
  180. package/dist/types/compute-engine/compilation/javascript-statements.d.ts +1 -1
  181. package/dist/types/compute-engine/compilation/javascript-target.d.ts +1 -1
  182. package/dist/types/compute-engine/compilation/javascript-value-facts.d.ts +1 -1
  183. package/dist/types/compute-engine/compilation/jet-derivative.d.ts +1 -1
  184. package/dist/types/compute-engine/compilation/protocol-dispatch.d.ts +1 -1
  185. package/dist/types/compute-engine/compilation/provable-kind.d.ts +1 -1
  186. package/dist/types/compute-engine/compilation/python-target.d.ts +1 -1
  187. package/dist/types/compute-engine/compilation/storage-hints.d.ts +1 -1
  188. package/dist/types/compute-engine/compilation/types.d.ts +1 -1
  189. package/dist/types/compute-engine/compilation/wgsl-target.d.ts +1 -1
  190. package/dist/types/compute-engine/cost-function.d.ts +1 -1
  191. package/dist/types/compute-engine/declaration-origin.d.ts +1 -1
  192. package/dist/types/compute-engine/differential-equation-utils.d.ts +1 -1
  193. package/dist/types/compute-engine/engine-assumptions.d.ts +1 -1
  194. package/dist/types/compute-engine/engine-boxing-state.d.ts +1 -1
  195. package/dist/types/compute-engine/engine-cache.d.ts +1 -1
  196. package/dist/types/compute-engine/engine-common-symbols.d.ts +1 -1
  197. package/dist/types/compute-engine/engine-compilation-targets.d.ts +1 -1
  198. package/dist/types/compute-engine/engine-configuration-lifecycle.d.ts +1 -1
  199. package/dist/types/compute-engine/engine-declarations.d.ts +1 -1
  200. package/dist/types/compute-engine/engine-expression-entrypoints.d.ts +1 -1
  201. package/dist/types/compute-engine/engine-extension-contracts.d.ts +1 -1
  202. package/dist/types/compute-engine/engine-inspectable-scope.d.ts +1 -1
  203. package/dist/types/compute-engine/engine-library-bootstrap.d.ts +1 -1
  204. package/dist/types/compute-engine/engine-numeric-configuration.d.ts +1 -1
  205. package/dist/types/compute-engine/engine-protocols.d.ts +1 -1
  206. package/dist/types/compute-engine/engine-runtime-state.d.ts +1 -1
  207. package/dist/types/compute-engine/engine-scope.d.ts +1 -1
  208. package/dist/types/compute-engine/engine-sequences.d.ts +1 -1
  209. package/dist/types/compute-engine/engine-simplification-rules.d.ts +1 -1
  210. package/dist/types/compute-engine/engine-startup-coordinator.d.ts +1 -1
  211. package/dist/types/compute-engine/engine-type-resolver.d.ts +1 -1
  212. package/dist/types/compute-engine/engine-validation-entrypoints.d.ts +1 -1
  213. package/dist/types/compute-engine/free-functions.d.ts +1 -1
  214. package/dist/types/compute-engine/function-properties/index.d.ts +1 -1
  215. package/dist/types/compute-engine/function-properties/types.d.ts +1 -1
  216. package/dist/types/compute-engine/function-utils.d.ts +1 -1
  217. package/dist/types/compute-engine/fungrim/loader.d.ts +1 -1
  218. package/dist/types/compute-engine/fungrim/types.d.ts +1 -1
  219. package/dist/types/compute-engine/global-types.d.ts +1 -1
  220. package/dist/types/compute-engine/implicit-compile.d.ts +1 -1
  221. package/dist/types/compute-engine/index.d.ts +1 -1
  222. package/dist/types/compute-engine/inference-rollback.d.ts +1 -1
  223. package/dist/types/compute-engine/interpret-oeis.d.ts +1 -1
  224. package/dist/types/compute-engine/interval/arithmetic.d.ts +1 -1
  225. package/dist/types/compute-engine/interval/collections.d.ts +1 -1
  226. package/dist/types/compute-engine/interval/comparison.d.ts +1 -1
  227. package/dist/types/compute-engine/interval/elementary.d.ts +1 -1
  228. package/dist/types/compute-engine/interval/index.d.ts +1 -1
  229. package/dist/types/compute-engine/interval/integrate.d.ts +1 -1
  230. package/dist/types/compute-engine/interval/rounding.d.ts +1 -1
  231. package/dist/types/compute-engine/interval/trigonometric.d.ts +1 -1
  232. package/dist/types/compute-engine/interval/types.d.ts +1 -1
  233. package/dist/types/compute-engine/interval/util.d.ts +1 -1
  234. package/dist/types/compute-engine/latex-syntax/delimiter-tables.d.ts +1 -1
  235. package/dist/types/compute-engine/latex-syntax/dictionary/default-dictionary.d.ts +1 -1
  236. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-algebra.d.ts +1 -1
  237. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-arithmetic.d.ts +1 -1
  238. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-calculus.d.ts +1 -1
  239. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-colors.d.ts +1 -1
  240. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-complex.d.ts +1 -1
  241. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-core.d.ts +1 -1
  242. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-linear-algebra.d.ts +1 -1
  243. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-logic.d.ts +1 -1
  244. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-other.d.ts +1 -1
  245. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-relational-operators.d.ts +1 -1
  246. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-sets.d.ts +1 -1
  247. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-statistics.d.ts +1 -1
  248. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-symbols.d.ts +1 -1
  249. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-trigonometry.d.ts +1 -1
  250. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-units.d.ts +1 -1
  251. package/dist/types/compute-engine/latex-syntax/dictionary/definitions.d.ts +1 -1
  252. package/dist/types/compute-engine/latex-syntax/dictionary/indexed-types.d.ts +1 -1
  253. package/dist/types/compute-engine/latex-syntax/latex-syntax.d.ts +1 -1
  254. package/dist/types/compute-engine/latex-syntax/parse-number.d.ts +1 -1
  255. package/dist/types/compute-engine/latex-syntax/parse-symbol.d.ts +1 -1
  256. package/dist/types/compute-engine/latex-syntax/parse.d.ts +1 -1
  257. package/dist/types/compute-engine/latex-syntax/serialize-dms.d.ts +1 -1
  258. package/dist/types/compute-engine/latex-syntax/serialize-number.d.ts +1 -1
  259. package/dist/types/compute-engine/latex-syntax/serializer-style.d.ts +1 -1
  260. package/dist/types/compute-engine/latex-syntax/serializer.d.ts +1 -1
  261. package/dist/types/compute-engine/latex-syntax/style-options.d.ts +1 -1
  262. package/dist/types/compute-engine/latex-syntax/tokenizer.d.ts +1 -1
  263. package/dist/types/compute-engine/latex-syntax/types.d.ts +1 -1
  264. package/dist/types/compute-engine/latex-syntax/utils.d.ts +1 -1
  265. package/dist/types/compute-engine/library/arithmetic.d.ts +1 -1
  266. package/dist/types/compute-engine/library/calculus.d.ts +1 -1
  267. package/dist/types/compute-engine/library/collections.d.ts +1 -1
  268. package/dist/types/compute-engine/library/colors.d.ts +1 -1
  269. package/dist/types/compute-engine/library/combinatorics.d.ts +1 -1
  270. package/dist/types/compute-engine/library/complex.d.ts +1 -1
  271. package/dist/types/compute-engine/library/control-structures.d.ts +1 -1
  272. package/dist/types/compute-engine/library/core.d.ts +1 -1
  273. package/dist/types/compute-engine/library/distributions.d.ts +1 -1
  274. package/dist/types/compute-engine/library/fractals.d.ts +1 -1
  275. package/dist/types/compute-engine/library/library.d.ts +1 -1
  276. package/dist/types/compute-engine/library/linear-algebra.d.ts +1 -1
  277. package/dist/types/compute-engine/library/logic-analysis.d.ts +1 -1
  278. package/dist/types/compute-engine/library/logic.d.ts +1 -1
  279. package/dist/types/compute-engine/library/map-auto-compile.d.ts +1 -1
  280. package/dist/types/compute-engine/library/map-broadcast-shape.d.ts +1 -1
  281. package/dist/types/compute-engine/library/map-exact-proof.d.ts +1 -1
  282. package/dist/types/compute-engine/library/map-lowering.d.ts +1 -1
  283. package/dist/types/compute-engine/library/measurement-arithmetic.d.ts +1 -1
  284. package/dist/types/compute-engine/library/missing-data.d.ts +1 -1
  285. package/dist/types/compute-engine/library/number-theory.d.ts +1 -1
  286. package/dist/types/compute-engine/library/polynomials.d.ts +1 -1
  287. package/dist/types/compute-engine/library/quantity-arithmetic.d.ts +1 -1
  288. package/dist/types/compute-engine/library/random-expression.d.ts +1 -1
  289. package/dist/types/compute-engine/library/random-utils.d.ts +1 -1
  290. package/dist/types/compute-engine/library/regexp.d.ts +1 -1
  291. package/dist/types/compute-engine/library/relational-operator.d.ts +1 -1
  292. package/dist/types/compute-engine/library/ring-constructions.d.ts +1 -1
  293. package/dist/types/compute-engine/library/sets.d.ts +1 -1
  294. package/dist/types/compute-engine/library/special-functions.d.ts +1 -1
  295. package/dist/types/compute-engine/library/statistics-data.d.ts +1 -1
  296. package/dist/types/compute-engine/library/statistics.d.ts +1 -1
  297. package/dist/types/compute-engine/library/trigonometry.d.ts +1 -1
  298. package/dist/types/compute-engine/library/type-handlers.d.ts +1 -1
  299. package/dist/types/compute-engine/library/type-value-utils.d.ts +1 -1
  300. package/dist/types/compute-engine/library/unit-data.d.ts +1 -1
  301. package/dist/types/compute-engine/library/units.d.ts +1 -1
  302. package/dist/types/compute-engine/library/utils.d.ts +1 -1
  303. package/dist/types/compute-engine/map-auto-compile-stats.d.ts +1 -1
  304. package/dist/types/compute-engine/multi-clause.d.ts +1 -1
  305. package/dist/types/compute-engine/nonlinear-fit.d.ts +1 -1
  306. package/dist/types/compute-engine/numeric-value/big-numeric-value.d.ts +1 -1
  307. package/dist/types/compute-engine/numeric-value/exact-integer-value.d.ts +1 -1
  308. package/dist/types/compute-engine/numeric-value/exact-numeric-value.d.ts +1 -1
  309. package/dist/types/compute-engine/numeric-value/machine-numeric-value.d.ts +1 -1
  310. package/dist/types/compute-engine/numeric-value/types.d.ts +1 -1
  311. package/dist/types/compute-engine/numerics/bernoulli.d.ts +1 -1
  312. package/dist/types/compute-engine/numerics/bigint.d.ts +1 -1
  313. package/dist/types/compute-engine/numerics/complex-esm-augment.d.ts +1 -1
  314. package/dist/types/compute-engine/numerics/differential-equations.d.ts +1 -1
  315. package/dist/types/compute-engine/numerics/diophantine.d.ts +1 -1
  316. package/dist/types/compute-engine/numerics/distributions.d.ts +1 -1
  317. package/dist/types/compute-engine/numerics/expression.d.ts +1 -1
  318. package/dist/types/compute-engine/numerics/gauss-kronrod.d.ts +1 -1
  319. package/dist/types/compute-engine/numerics/interval-arithmetic.d.ts +1 -1
  320. package/dist/types/compute-engine/numerics/interval.d.ts +1 -1
  321. package/dist/types/compute-engine/numerics/levenberg-marquardt.d.ts +1 -1
  322. package/dist/types/compute-engine/numerics/linear-algebra.d.ts +1 -1
  323. package/dist/types/compute-engine/numerics/monte-carlo.d.ts +1 -1
  324. package/dist/types/compute-engine/numerics/numeric-bigint.d.ts +1 -1
  325. package/dist/types/compute-engine/numerics/numeric-bignum.d.ts +1 -1
  326. package/dist/types/compute-engine/numerics/numeric-complex.d.ts +1 -1
  327. package/dist/types/compute-engine/numerics/numeric.d.ts +1 -1
  328. package/dist/types/compute-engine/numerics/oscillatory-quadrature.d.ts +1 -1
  329. package/dist/types/compute-engine/numerics/polynomial-roots.d.ts +1 -1
  330. package/dist/types/compute-engine/numerics/primes.d.ts +1 -1
  331. package/dist/types/compute-engine/numerics/random.d.ts +1 -1
  332. package/dist/types/compute-engine/numerics/rationals.d.ts +1 -1
  333. package/dist/types/compute-engine/numerics/richardson.d.ts +1 -1
  334. package/dist/types/compute-engine/numerics/special-functions.d.ts +1 -1
  335. package/dist/types/compute-engine/numerics/statistics.d.ts +1 -1
  336. package/dist/types/compute-engine/numerics/strings.d.ts +1 -1
  337. package/dist/types/compute-engine/numerics/types.d.ts +1 -1
  338. package/dist/types/compute-engine/numerics/unit-data.d.ts +1 -1
  339. package/dist/types/compute-engine/numerics/value-scaled-caps.d.ts +1 -1
  340. package/dist/types/compute-engine/oeis.d.ts +1 -1
  341. package/dist/types/compute-engine/rubi/compile.d.ts +1 -1
  342. package/dist/types/compute-engine/rubi/driver.d.ts +1 -1
  343. package/dist/types/compute-engine/rubi/explain-trace.d.ts +1 -1
  344. package/dist/types/compute-engine/rubi/loader.d.ts +1 -1
  345. package/dist/types/compute-engine/rubi/match.d.ts +1 -1
  346. package/dist/types/compute-engine/rubi/normal-form.d.ts +1 -1
  347. package/dist/types/compute-engine/rubi/rubi-utils.d.ts +1 -1
  348. package/dist/types/compute-engine/rubi/types.d.ts +1 -1
  349. package/dist/types/compute-engine/sequence.d.ts +1 -1
  350. package/dist/types/compute-engine/sum-representation.d.ts +1 -1
  351. package/dist/types/compute-engine/symbolic/angular-unit.d.ts +1 -1
  352. package/dist/types/compute-engine/symbolic/antiderivative.d.ts +1 -1
  353. package/dist/types/compute-engine/symbolic/derivative.d.ts +1 -1
  354. package/dist/types/compute-engine/symbolic/differential-equations.d.ts +1 -1
  355. package/dist/types/compute-engine/symbolic/distribute.d.ts +1 -1
  356. package/dist/types/compute-engine/symbolic/explain-derivative.d.ts +1 -1
  357. package/dist/types/compute-engine/symbolic/fu-cost.d.ts +1 -1
  358. package/dist/types/compute-engine/symbolic/fu-transforms.d.ts +1 -1
  359. package/dist/types/compute-engine/symbolic/fu.d.ts +1 -1
  360. package/dist/types/compute-engine/symbolic/interior-pole.d.ts +1 -1
  361. package/dist/types/compute-engine/symbolic/interpret.d.ts +1 -1
  362. package/dist/types/compute-engine/symbolic/limit.d.ts +1 -1
  363. package/dist/types/compute-engine/symbolic/logic-utils.d.ts +1 -1
  364. package/dist/types/compute-engine/symbolic/recurrences.d.ts +1 -1
  365. package/dist/types/compute-engine/symbolic/residue.d.ts +1 -1
  366. package/dist/types/compute-engine/symbolic/series.d.ts +1 -1
  367. package/dist/types/compute-engine/symbolic/simplify-abs.d.ts +1 -1
  368. package/dist/types/compute-engine/symbolic/simplify-divide.d.ts +1 -1
  369. package/dist/types/compute-engine/symbolic/simplify-factorial.d.ts +1 -1
  370. package/dist/types/compute-engine/symbolic/simplify-hyperbolic.d.ts +1 -1
  371. package/dist/types/compute-engine/symbolic/simplify-infinity.d.ts +1 -1
  372. package/dist/types/compute-engine/symbolic/simplify-log.d.ts +1 -1
  373. package/dist/types/compute-engine/symbolic/simplify-logic.d.ts +1 -1
  374. package/dist/types/compute-engine/symbolic/simplify-power.d.ts +1 -1
  375. package/dist/types/compute-engine/symbolic/simplify-product.d.ts +1 -1
  376. package/dist/types/compute-engine/symbolic/simplify-rules.d.ts +1 -1
  377. package/dist/types/compute-engine/symbolic/simplify-sum.d.ts +1 -1
  378. package/dist/types/compute-engine/symbolic/simplify-trig.d.ts +1 -1
  379. package/dist/types/compute-engine/symbolic/solver-utils.d.ts +1 -1
  380. package/dist/types/compute-engine/symbolic/trig-rewrite.d.ts +1 -1
  381. package/dist/types/compute-engine/tensor/tensor-fields.d.ts +1 -1
  382. package/dist/types/compute-engine/tensor/tensors.d.ts +1 -1
  383. package/dist/types/compute-engine/type-constructors.d.ts +1 -1
  384. package/dist/types/compute-engine/types-definitions.d.ts +1 -1
  385. package/dist/types/compute-engine/types-engine.d.ts +1 -1
  386. package/dist/types/compute-engine/types-evaluation.d.ts +1 -1
  387. package/dist/types/compute-engine/types-expression.d.ts +1 -1
  388. package/dist/types/compute-engine/types-kernel-evaluation.d.ts +1 -1
  389. package/dist/types/compute-engine/types-kernel-serialization.d.ts +1 -1
  390. package/dist/types/compute-engine/types-serialization.d.ts +1 -1
  391. package/dist/types/compute-engine/types.d.ts +1 -1
  392. package/dist/types/compute-engine.d.ts +1 -1
  393. package/dist/types/core.d.ts +1 -1
  394. package/dist/types/epsil/characters.d.ts +1 -1
  395. package/dist/types/epsil/definition-sites.d.ts +1 -1
  396. package/dist/types/epsil/diagnostics.d.ts +1 -1
  397. package/dist/types/epsil/error-location.d.ts +1 -1
  398. package/dist/types/epsil/execute-epsil.d.ts +1 -1
  399. package/dist/types/epsil/formatter.d.ts +1 -1
  400. package/dist/types/epsil/lexer.d.ts +1 -1
  401. package/dist/types/epsil/library-names.d.ts +1 -1
  402. package/dist/types/epsil/match-exhaustiveness.d.ts +1 -1
  403. package/dist/types/epsil/occurrences.d.ts +1 -1
  404. package/dist/types/epsil/operators.d.ts +1 -1
  405. package/dist/types/epsil/parse-epsil.d.ts +1 -1
  406. package/dist/types/epsil/parser.d.ts +1 -1
  407. package/dist/types/epsil/reserved-words.d.ts +1 -1
  408. package/dist/types/epsil/resolve-library-names.d.ts +1 -1
  409. package/dist/types/epsil/serialize-epsil.d.ts +1 -1
  410. package/dist/types/epsil/signature-notes.d.ts +1 -1
  411. package/dist/types/epsil/static-diagnostics.d.ts +1 -1
  412. package/dist/types/epsil/tokens.d.ts +1 -1
  413. package/dist/types/epsil.d.ts +2 -2
  414. package/dist/types/identities.d.ts +1 -1
  415. package/dist/types/integration-rules.d.ts +1 -1
  416. package/dist/types/interval.d.ts +1 -1
  417. package/dist/types/latex-syntax.d.ts +2 -2
  418. package/dist/types/math-json/symbols.d.ts +1 -1
  419. package/dist/types/math-json/types.d.ts +1 -1
  420. package/dist/types/math-json/utils.d.ts +1 -1
  421. package/dist/types/math-json.d.ts +2 -2
  422. package/dist/types/numerics.d.ts +1 -1
  423. package/dist/umd-min/compile.cjs +2 -2
  424. package/dist/umd-min/compute-engine.cjs +2 -2
  425. package/dist/umd-min/core.cjs +2 -2
  426. package/dist/umd-min/epsil.cjs +3 -3
  427. package/dist/umd-min/identities.cjs +2 -2
  428. package/dist/umd-min/integration-rules.cjs +2 -2
  429. package/dist/umd-min/interval.cjs +2 -2
  430. package/dist/umd-min/latex-syntax.cjs +2 -2
  431. package/dist/umd-min/math-json.cjs +2 -2
  432. package/dist/umd-min/numerics.cjs +2 -2
  433. package/package.json +1 -1
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Effects-axis PROVENANCE recording —
3
3
  * `docs/EFFECTS-MODEL.md`.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * True if `expr`'s head denotes a COLLECTION — a container whose operands are
4
4
  * elements, not the structure of a computation.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Rewrite exponentials of an imaginary argument to trigonometric form via
4
4
  * Euler's formula, `e^{i theta} -> cos(theta) + i sin(theta)`, throughout the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare function choose(n: number, k: number): number;
3
3
  /** Attempt to transform the expression (h, ops) into a sum */
4
4
  export declare function expandFunction(ce: ComputeEngine, h: string, ops: ReadonlyArray<Expression>): Expression | null;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Labeling layer for `expr.explain()`.
3
3
  *
4
4
  * Maps the machine ids of rules and algorithmic phases (the `because`
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Build a structured, step-by-step `Explanation` for an operation applied
4
4
  * to `expr`. See `BoxedExpression.explain()` for the public contract.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare class ExpressionMap<U> implements ExpressionMapInterface<U> {
3
3
  readonly _items: Map<Expression, U>;
4
4
  /** Bumped by every `set`/`delete`/`clear`. See the `version` getter. */
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** Combine rational expressions into a single fraction */
3
3
  export declare function together(op: Expression): Expression;
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  *
4
4
  * Optionally make all the arguments canonical (default).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { EffectSet, FunctionSignature, NamedElement, Type, TypeReference } from '../../common/type/types.js';
3
3
  /**
4
4
  * Force the resolution of a canonical `Function` literal's type operands while
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { FunctionSignature, Type, TypeParameter, TypeResolver } from '../../common/type/types.js';
3
3
  import type { Expression } from '../global-types.js';
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** Apply the function `f` to each operand of the expression `expr`,
3
3
  * account for the 'lazy' property of the operator definition:
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { type Subject } from './constraint-subject.js';
3
3
  /**
4
4
  * Extract interval bounds for `symbol` from a condition expression.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** Record that inference, not the author, wrote the annotation whose type
3
3
  * operand is `typeOperand`. */
4
4
  export declare function markInferredTypeOperand(typeOperand: Expression): void;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Which infinite point a number literal is, or `undefined` for a finite
4
4
  * literal, a `NaN`, or a non-literal operand.
@@ -1 +1 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare function canonicalInvisibleOperator(ops: ReadonlyArray<Expression>, { engine: ce, shadowed, }: {
3
3
  engine: ComputeEngine;
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { NumericValue } from '../numeric-value/types.js';
3
3
  /**
4
4
  * The type a number literal contributes to a COMPOSITE type — the tier the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { NumericValue } from '../numeric-value/types.js';
3
3
  /**
4
4
  * Whether a number literal's value has an infinite component although it is
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * The machine number a boxed number stands for, when it stands for one —
4
4
  * that is, when the boxed form of the answer is the same expression
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * `Match` dispatch — Epsil structural pattern matching
4
4
  * (see `docs/LANGUAGE-MODEL.md`).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * The function attempts to match a subject expression to a
4
4
  * [pattern](/compute-engine/guides/patterns-and-rules/).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Evaluate an integer-valued expression in ℤ/mℤ without materializing
4
4
  * intermediate values. `m` must be a positive bigint. Returns the canonical
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Multivariate polynomial GCD over ℤ via **Brown's dense modular algorithm**
4
4
  * (ROADMAP B11, Stage B).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * `MPoly` — a distributed, sparse **multivariate polynomial over ℤ**.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Expression, ExpressionInput, IComputeEngine as ComputeEngine } from '../global-types.js';
3
3
  import type { FunctionClause } from '../multi-clause.js';
4
4
  /** One written argument: a positional operand (`name === undefined`) or the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare function canonicalNegate(expr: Expression): Expression;
3
3
  /**
4
4
  * Distribute `Negate` (multiply by -1) if expr is a number literal, an
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Expression } from '../global-types.js';
3
3
  /**
4
4
  * The number-set symbols an assumption can name, and the type each one
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { BigDecimal } from '../../big-decimal/index.js';
3
3
  import type { Rational } from '../numerics/types.js';
4
4
  import type { Expression, ExpressionInput } from '../global-types.js';
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * The **per-object version dependency channel**: how a cache entry remembers
3
3
  * which mutable objects its value was derived from, and how it finds out that
4
4
  * one of them has changed.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * The **structural walk** over object values: the single mechanism behind
3
3
  * every conversion of an object to immutable data.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Type } from '../../common/type/types.js';
3
3
  /** The inert structural view of an operand — see `OperandStructure`. Reads
4
4
  * the operand as written (raw operands of a lazy operator included) and
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export type Order = 'lex' | 'dexlex' | 'grevlex' | 'elim';
3
3
  import { DEFAULT_COMPLEXITY } from './constants.js';
4
4
  export { DEFAULT_COMPLEXITY };
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { type Threadable } from './generic-instantiation.js';
3
3
  import type { FunctionSignature, Type, TypeResolver } from '../../common/type/types.js';
4
4
  import type { Expression, IComputeEngine as ComputeEngine } from '../global-types.js';
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Leaf module for wildcard pattern utility functions.
3
3
  *
4
4
  * These are extracted from boxed-patterns.ts to break circular dependencies:
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Per-call memo of the two degree walks. A polynomial spine that SHARES its
4
4
  * operands (`2e + 3e²` where `e` is the same object in both terms, nested
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export { totalDegree, maxDegree, lex, revlex } from './polynomial-degree.js';
3
3
  /**
4
4
  * Coefficient of a univariate (single variable) polynomial.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Three-valued primality test: `true` prime, `false` provably not prime,
4
4
  * `undefined` undecided (the caller leaves the application inert).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Provenance for a juxtaposition that was read as MULTIPLICATION only because
3
3
  * its leading symbol had no function definition *yet*.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * A private, per-application execution plan for a list-producing recursion.
4
4
  * Its step returns either Tuple(0, baseList) or Tuple(1, prefix, nextArgs).
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Operator-indexed rule dispatch (docs/fungrim/FUNGRIM-PLAN-2-RULES.md §2.1, Feature A).
3
3
  *
4
4
  * This is an INTERNAL side table: the public `BoxedRuleSet` type is
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare const ConditionParent: {
3
3
  boolean: string;
4
4
  string: string;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { IComputeEngine as ComputeEngine, Expression, JsonSerializationOptions } from '../global-types.js';
3
3
  interface ProductLike {
4
4
  asRationalExpression(): Expression;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare function sgn(expr: Expression): Sign | undefined;
3
3
  /**
4
4
  * Sign `s` is > 0.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  type InternalSimplifyOptions = SimplifyOptions & {
3
3
  useVariations: boolean;
4
4
  /** When set (only by `expr.explain()`), `simplifyOperands` records the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Reduce a linear congruence `Congruent(lhs, rhs, m)` to a single normalized
4
4
  * residue class `x ≡ r (mod m')`.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** A validated `Solve` unknown specification. */
3
3
  export interface SolveSpec {
4
4
  /** The unknown's symbol name. */
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Solve a system of linear equations.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** Solve a system of equations or inequalities given as an array of
3
3
  * expressions (from List or And). Returns null if no solution found.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** The candidate roots as equations: `x = r` for a single root, a `List` of
3
3
  * `x = rᵢ` equations otherwise.
4
4
  * @internal exported for `expr.explain('solve')` (explain.ts) */
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  type ComplexResult = {
3
3
  re: number;
4
4
  im: number;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Tensor view over the unified `List` representation (Phase C of
3
3
  * `docs/COLLECTIONS-MODEL.md`).
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * The exact half-turn angle (π rad) expressed in the engine's current angular
4
4
  * unit: `π` (rad), `180` (deg), `200` (grad), or `1/2` (turn). Building exact
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Every name a destructuring `Tuple` pattern binds, in pattern order: the
4
4
  * pattern's leaf symbols, nested patterns included, with the `_` positions —
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Expression, IComputeEngine as ComputeEngine } from '../global-types.js';
3
3
  /**
4
4
  * Raised when a value cannot be installed under a symbol's DECLARED type:
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { NumericValue } from '../numeric-value/types.js';
3
3
  /** Preferred guard for runtime expressions. */
4
4
  export declare function isExpression(x: unknown): x is Expression;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { type InferenceRollbackFrame } from '../inference-rollback.js';
3
3
  import { type CheckpointHost } from '../checkpoint-journal.js';
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { NumericValue } from '../numeric-value/types.js';
3
3
  /**
4
4
  * Check if an expression contains symbolic transcendental functions of constants
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { type TypeInferenceResult } from '../../common/type/instantiate.js';
3
3
  import { type Threadable } from './generic-instantiation.js';
4
4
  import { Type } from '../../common/type/types.js';
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Expression } from '../global-types.js';
3
3
  /**
4
4
  * Value membership — does a *concrete value* inhabit a type containing
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * The copy-on-write **checkpoint journal** described by
3
3
  * `docs/CHECKPOINT-MODEL.md`.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * The **engine checkpoint / restore API** described by
3
3
  * `docs/CHECKPOINT-MODEL.md`.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  export declare function noteCanonInstallSkipped(def: object | undefined): void;
3
3
  export declare function canonInstallSkipped(def: object | undefined): boolean;
4
4
  export declare function noteSingleClauseOrigin(def: object | undefined, origin: DeclarationOrigin | undefined): void;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { Type } from '../common/type/types.js';
3
3
  import { Expression, CollectionHandlers, Sign } from './global-types.js';
4
4
  /** If a collection has fewer than this many elements, eagerly evaluate it.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * The angular-unit compile boundary.
3
3
  *
4
4
  * The rewrite itself lives in `symbolic/angular-unit.ts` so the derivative
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * The `mode: 'auto'` escalation: compile under the strict discipline and, if
4
4
  * that attempt declines with a lane mismatch, redo the compilation under the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { MathJsonSymbol } from '../../math-json/types.js';
3
3
  import type { Type } from '../../common/type/types.js';
4
4
  import type { CompileDiagnostic, CompileMode, CompileTarget, CompilationResult, InvariantPrefix, NamingContext, TargetSource } from './types.js';
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Built-in operator names used as **callbacks** — the provenance and arity
3
3
  * predicates shared by the two halves of the feature:
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompiledColorSpace } from './types.js';
3
3
  /**
4
4
  * The color space of the CHANNELS the compiled value of `expr` holds, when the
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { Expression, JSSource } from '../global-types.js';
3
3
  import type { CompileMode, CompileTarget, CompilationResult, DefaultRunnerResult, StorageHint } from './types.js';
4
4
  export type CompileExpressionOptions<T extends string = string> = {
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Constant folding utilities for GPU compilation.
3
3
  *
4
4
  * These helpers allow compilation handlers to detect compile-time constants,
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Candidate harvesting for compile-time common-subexpression elimination.
3
3
  *
4
4
  * This module is the analysis half of CSE. It imports nothing from
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * One-time warnings and alias normalization for deprecated compile options.
3
3
  *
4
4
  * This lives in its own module because there are TWO public routes into a
@@ -1,3 +1,3 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /** Resolve a derivative without changing the caller's declarations. */
3
3
  export declare function derivativeClosedForm(operator: 'D' | 'Derivative' | 'ND', args: ReadonlyArray<Expression>): Expression | undefined;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * A compile DECLINE carrying a structured `CompileDiagnostic` (see
4
4
  * `CompilationResult.diagnostic`). Thrown by the compiler where a plain
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  /**
3
3
  * Rewrite a collection whose WIDTH is known at compile time into straight-line
4
4
  * scalar code, before any target sees the expression.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * Purity of a caller-supplied `functions` entry.
3
3
  *
4
4
  * A compiled `Sum`/`Product` exits as soon as its accumulator becomes NaN,
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompiledFunctions } from './types.js';
3
3
  import { GPUShaderTarget, type GPUShapeRules } from './gpu-target.js';
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompileTarget, CompiledOperators, CompiledFunctions, LanguageTarget, CompilationOptions, CompilationResult } from './types.js';
3
3
  /**
4
4
  * GPU shader operators shared by GLSL and WGSL.
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompileTarget } from './types.js';
3
3
  type IntegerFact = {
4
4
  min: number;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  * JavaScript interval arithmetic compilation target
3
3
  *
4
4
  * Compiles mathematical expressions to JavaScript code using interval arithmetic
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompileTarget } from './types.js';
3
3
  /** Fuse pure numeric selection into one cell loop. Runtime guards establish
4
4
  * flat numeric inputs and equal, nonzero lengths before any scalar emission
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import type { CompileTarget, NamingContext } from './types.js';
3
3
  type Exit = (value: string) => string;
4
4
  type StatementBody = (exit: Exit) => string;
@@ -1,4 +1,4 @@
1
- /* 0.129.0 */
1
+ /* 0.129.1 */
2
2
  import { chop, factorial2, realGcd as gcd, realLcm as lcm } from '../numerics/numeric.js';
3
3
  import { gammaln, erf, erfc, erfInv, beta, digamma, trigamma, polygamma, zeta, lambertW, besselJ, besselY, besselI, besselK, airyAi, airyBi, airyAiPrime, airyBiPrime, fresnelS, fresnelC, sinc, sinIntegral, cosIntegral, expIntegralEi, logIntegral, erfi, agm, ellipticK, ellipticE, ellipticEIncomplete, ellipticF, ellipticPiComplete, ellipticPiIncomplete, hypergeometric2F1, hypergeometric1F1, gammaQ, betaRegularized } from '../numerics/special-functions.js';
4
4
  import { choose } from '../boxed-expression/expand.js';