@cortex-js/compute-engine 0.51.0 → 0.52.0

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 (237) hide show
  1. package/dist/compute-engine.esm.js +8766 -6852
  2. package/dist/compute-engine.min.esm.js +276 -73
  3. package/dist/compute-engine.min.umd.js +277 -74
  4. package/dist/compute-engine.umd.js +8766 -6852
  5. package/dist/math-json.esm.js +2 -2
  6. package/dist/math-json.min.esm.js +2 -2
  7. package/dist/math-json.min.umd.js +2 -2
  8. package/dist/math-json.umd.js +2 -2
  9. package/dist/types/common/ansi-codes.d.ts +1 -1
  10. package/dist/types/common/configuration-change.d.ts +1 -1
  11. package/dist/types/common/fuzzy-string-match.d.ts +1 -1
  12. package/dist/types/common/grapheme-splitter.d.ts +1 -1
  13. package/dist/types/common/interruptible.d.ts +1 -1
  14. package/dist/types/common/one-of.d.ts +1 -1
  15. package/dist/types/common/signals.d.ts +1 -1
  16. package/dist/types/common/type/ast-nodes.d.ts +1 -1
  17. package/dist/types/common/type/boxed-type.d.ts +1 -1
  18. package/dist/types/common/type/lexer.d.ts +1 -1
  19. package/dist/types/common/type/parse.d.ts +1 -1
  20. package/dist/types/common/type/parser.d.ts +1 -1
  21. package/dist/types/common/type/primitive.d.ts +1 -1
  22. package/dist/types/common/type/reduce.d.ts +1 -1
  23. package/dist/types/common/type/serialize.d.ts +1 -1
  24. package/dist/types/common/type/subtype.d.ts +11 -1
  25. package/dist/types/common/type/type-builder.d.ts +1 -1
  26. package/dist/types/common/type/types.d.ts +1 -1
  27. package/dist/types/common/type/utils.d.ts +2 -30
  28. package/dist/types/common/utils.d.ts +1 -1
  29. package/dist/types/compute-engine/assume.d.ts +1 -1
  30. package/dist/types/compute-engine/boxed-expression/abstract-boxed-expression.d.ts +6 -4
  31. package/dist/types/compute-engine/boxed-expression/apply.d.ts +1 -1
  32. package/dist/types/compute-engine/boxed-expression/arithmetic-add.d.ts +1 -1
  33. package/dist/types/compute-engine/boxed-expression/arithmetic-mul-div.d.ts +1 -1
  34. package/dist/types/compute-engine/boxed-expression/arithmetic-power.d.ts +1 -1
  35. package/dist/types/compute-engine/boxed-expression/ascii-math.d.ts +1 -1
  36. package/dist/types/compute-engine/boxed-expression/box.d.ts +1 -1
  37. package/dist/types/compute-engine/boxed-expression/boxed-dictionary.d.ts +1 -1
  38. package/dist/types/compute-engine/boxed-expression/boxed-function.d.ts +1 -1
  39. package/dist/types/compute-engine/boxed-expression/boxed-number.d.ts +3 -2
  40. package/dist/types/compute-engine/boxed-expression/boxed-operator-definition.d.ts +1 -1
  41. package/dist/types/compute-engine/boxed-expression/boxed-patterns.d.ts +1 -1
  42. package/dist/types/compute-engine/boxed-expression/boxed-string.d.ts +1 -1
  43. package/dist/types/compute-engine/boxed-expression/boxed-symbol.d.ts +3 -2
  44. package/dist/types/compute-engine/boxed-expression/boxed-tensor.d.ts +1 -1
  45. package/dist/types/compute-engine/boxed-expression/boxed-value-definition.d.ts +1 -1
  46. package/dist/types/compute-engine/boxed-expression/cache.d.ts +1 -1
  47. package/dist/types/compute-engine/boxed-expression/canonical-utils.d.ts +1 -1
  48. package/dist/types/compute-engine/boxed-expression/canonical.d.ts +1 -1
  49. package/dist/types/compute-engine/boxed-expression/compare.d.ts +4 -3
  50. package/dist/types/compute-engine/boxed-expression/constants.d.ts +1 -1
  51. package/dist/types/compute-engine/boxed-expression/expand.d.ts +1 -1
  52. package/dist/types/compute-engine/boxed-expression/expression-map.d.ts +1 -1
  53. package/dist/types/compute-engine/boxed-expression/factor.d.ts +1 -1
  54. package/dist/types/compute-engine/boxed-expression/flatten.d.ts +1 -1
  55. package/dist/types/compute-engine/boxed-expression/hold.d.ts +1 -1
  56. package/dist/types/compute-engine/boxed-expression/inequality-bounds.d.ts +1 -1
  57. package/dist/types/compute-engine/boxed-expression/init-lazy-refs.d.ts +1 -1
  58. package/dist/types/compute-engine/boxed-expression/invisible-operator.d.ts +1 -1
  59. package/dist/types/compute-engine/boxed-expression/match.d.ts +1 -1
  60. package/dist/types/compute-engine/boxed-expression/negate.d.ts +1 -1
  61. package/dist/types/compute-engine/boxed-expression/numerics.d.ts +1 -1
  62. package/dist/types/compute-engine/boxed-expression/order.d.ts +1 -1
  63. package/dist/types/compute-engine/boxed-expression/pattern-utils.d.ts +1 -1
  64. package/dist/types/compute-engine/boxed-expression/polynomial-degree.d.ts +1 -1
  65. package/dist/types/compute-engine/boxed-expression/polynomials.d.ts +1 -1
  66. package/dist/types/compute-engine/boxed-expression/predicates.d.ts +1 -1
  67. package/dist/types/compute-engine/boxed-expression/rules.d.ts +1 -1
  68. package/dist/types/compute-engine/boxed-expression/serialize.d.ts +9 -3
  69. package/dist/types/compute-engine/boxed-expression/sgn.d.ts +1 -1
  70. package/dist/types/compute-engine/boxed-expression/simplify.d.ts +1 -1
  71. package/dist/types/compute-engine/boxed-expression/solve-linear-system.d.ts +1 -1
  72. package/dist/types/compute-engine/boxed-expression/solve.d.ts +1 -1
  73. package/dist/types/compute-engine/boxed-expression/stochastic-equal.d.ts +18 -0
  74. package/dist/types/compute-engine/boxed-expression/trigonometry.d.ts +1 -1
  75. package/dist/types/compute-engine/boxed-expression/type-guards.d.ts +14 -7
  76. package/dist/types/compute-engine/boxed-expression/utils.d.ts +1 -1
  77. package/dist/types/compute-engine/boxed-expression/validate.d.ts +1 -1
  78. package/dist/types/compute-engine/collection-utils.d.ts +1 -1
  79. package/dist/types/compute-engine/compilation/base-compiler.d.ts +26 -1
  80. package/dist/types/compute-engine/compilation/compile-expression.d.ts +10 -4
  81. package/dist/types/compute-engine/compilation/glsl-target.d.ts +1 -1
  82. package/dist/types/compute-engine/compilation/gpu-target.d.ts +1 -1
  83. package/dist/types/compute-engine/compilation/interval-glsl-target.d.ts +2 -2
  84. package/dist/types/compute-engine/compilation/interval-javascript-target.d.ts +19 -2
  85. package/dist/types/compute-engine/compilation/interval-wgsl-target.d.ts +2 -2
  86. package/dist/types/compute-engine/compilation/javascript-target.d.ts +11 -3
  87. package/dist/types/compute-engine/compilation/python-target.d.ts +2 -2
  88. package/dist/types/compute-engine/compilation/types.d.ts +100 -14
  89. package/dist/types/compute-engine/compilation/wgsl-target.d.ts +1 -1
  90. package/dist/types/compute-engine/cost-function.d.ts +1 -1
  91. package/dist/types/compute-engine/engine-assumptions.d.ts +1 -1
  92. package/dist/types/compute-engine/engine-cache.d.ts +1 -1
  93. package/dist/types/compute-engine/engine-common-symbols.d.ts +1 -1
  94. package/dist/types/compute-engine/engine-compilation-targets.d.ts +1 -1
  95. package/dist/types/compute-engine/engine-configuration-lifecycle.d.ts +1 -1
  96. package/dist/types/compute-engine/engine-declarations.d.ts +1 -1
  97. package/dist/types/compute-engine/engine-expression-entrypoints.d.ts +1 -1
  98. package/dist/types/compute-engine/engine-extension-contracts.d.ts +1 -1
  99. package/dist/types/compute-engine/engine-latex-dictionary-state.d.ts +1 -1
  100. package/dist/types/compute-engine/engine-library-bootstrap.d.ts +1 -1
  101. package/dist/types/compute-engine/engine-numeric-configuration.d.ts +1 -1
  102. package/dist/types/compute-engine/engine-parse-entrypoint.d.ts +1 -1
  103. package/dist/types/compute-engine/engine-runtime-state.d.ts +1 -1
  104. package/dist/types/compute-engine/engine-scope.d.ts +1 -1
  105. package/dist/types/compute-engine/engine-sequences.d.ts +1 -1
  106. package/dist/types/compute-engine/engine-simplification-rules.d.ts +1 -1
  107. package/dist/types/compute-engine/engine-startup-coordinator.d.ts +1 -1
  108. package/dist/types/compute-engine/engine-type-resolver.d.ts +1 -1
  109. package/dist/types/compute-engine/engine-validation-entrypoints.d.ts +1 -1
  110. package/dist/types/compute-engine/free-functions.d.ts +10 -2
  111. package/dist/types/compute-engine/function-utils.d.ts +1 -1
  112. package/dist/types/compute-engine/global-types.d.ts +1 -1
  113. package/dist/types/compute-engine/index.d.ts +2 -2
  114. package/dist/types/compute-engine/interval/arithmetic.d.ts +1 -1
  115. package/dist/types/compute-engine/interval/comparison.d.ts +2 -2
  116. package/dist/types/compute-engine/interval/elementary.d.ts +67 -1
  117. package/dist/types/compute-engine/interval/index.d.ts +21 -5
  118. package/dist/types/compute-engine/interval/trigonometric.d.ts +16 -1
  119. package/dist/types/compute-engine/interval/types.d.ts +1 -1
  120. package/dist/types/compute-engine/interval/util.d.ts +1 -1
  121. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-algebra.d.ts +1 -1
  122. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-arithmetic.d.ts +1 -1
  123. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-calculus.d.ts +1 -1
  124. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-complex.d.ts +1 -1
  125. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-core.d.ts +1 -1
  126. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-linear-algebra.d.ts +1 -1
  127. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-logic.d.ts +1 -1
  128. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-other.d.ts +1 -1
  129. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-relational-operators.d.ts +1 -1
  130. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-sets.d.ts +1 -1
  131. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-statistics.d.ts +1 -1
  132. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-symbols.d.ts +1 -1
  133. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-trigonometry.d.ts +1 -1
  134. package/dist/types/compute-engine/latex-syntax/dictionary/definitions-units.d.ts +1 -1
  135. package/dist/types/compute-engine/latex-syntax/dictionary/definitions.d.ts +1 -1
  136. package/dist/types/compute-engine/latex-syntax/dictionary/indexed-types.d.ts +1 -1
  137. package/dist/types/compute-engine/latex-syntax/parse-number.d.ts +1 -1
  138. package/dist/types/compute-engine/latex-syntax/parse-symbol.d.ts +1 -1
  139. package/dist/types/compute-engine/latex-syntax/parse.d.ts +1 -1
  140. package/dist/types/compute-engine/latex-syntax/serialize-dms.d.ts +22 -0
  141. package/dist/types/compute-engine/latex-syntax/serialize-number.d.ts +1 -1
  142. package/dist/types/compute-engine/latex-syntax/serializer-style.d.ts +1 -1
  143. package/dist/types/compute-engine/latex-syntax/serializer.d.ts +2 -2
  144. package/dist/types/compute-engine/latex-syntax/tokenizer.d.ts +1 -1
  145. package/dist/types/compute-engine/latex-syntax/types.d.ts +58 -1
  146. package/dist/types/compute-engine/latex-syntax/utils.d.ts +1 -1
  147. package/dist/types/compute-engine/library/arithmetic.d.ts +1 -1
  148. package/dist/types/compute-engine/library/calculus.d.ts +1 -1
  149. package/dist/types/compute-engine/library/collections.d.ts +1 -1
  150. package/dist/types/compute-engine/library/colors.d.ts +1 -1
  151. package/dist/types/compute-engine/library/combinatorics.d.ts +1 -1
  152. package/dist/types/compute-engine/library/complex.d.ts +1 -1
  153. package/dist/types/compute-engine/library/control-structures.d.ts +1 -1
  154. package/dist/types/compute-engine/library/core.d.ts +1 -1
  155. package/dist/types/compute-engine/library/library.d.ts +1 -1
  156. package/dist/types/compute-engine/library/linear-algebra.d.ts +1 -1
  157. package/dist/types/compute-engine/library/logic-analysis.d.ts +1 -1
  158. package/dist/types/compute-engine/library/logic.d.ts +1 -1
  159. package/dist/types/compute-engine/library/number-theory.d.ts +1 -1
  160. package/dist/types/compute-engine/library/polynomials.d.ts +1 -1
  161. package/dist/types/compute-engine/library/quantity-arithmetic.d.ts +1 -1
  162. package/dist/types/compute-engine/library/random-expression.d.ts +1 -1
  163. package/dist/types/compute-engine/library/relational-operator.d.ts +1 -1
  164. package/dist/types/compute-engine/library/sets.d.ts +1 -1
  165. package/dist/types/compute-engine/library/statistics.d.ts +1 -1
  166. package/dist/types/compute-engine/library/trigonometry.d.ts +1 -1
  167. package/dist/types/compute-engine/library/type-handlers.d.ts +1 -1
  168. package/dist/types/compute-engine/library/unit-data.d.ts +1 -1
  169. package/dist/types/compute-engine/library/units.d.ts +1 -1
  170. package/dist/types/compute-engine/library/utils.d.ts +1 -1
  171. package/dist/types/compute-engine/numeric-value/big-numeric-value.d.ts +1 -1
  172. package/dist/types/compute-engine/numeric-value/exact-numeric-value.d.ts +1 -1
  173. package/dist/types/compute-engine/numeric-value/machine-numeric-value.d.ts +1 -1
  174. package/dist/types/compute-engine/numeric-value/types.d.ts +1 -1
  175. package/dist/types/compute-engine/numerics/bigint.d.ts +1 -1
  176. package/dist/types/compute-engine/numerics/expression.d.ts +1 -1
  177. package/dist/types/compute-engine/numerics/interval.d.ts +1 -1
  178. package/dist/types/compute-engine/numerics/monte-carlo.d.ts +1 -1
  179. package/dist/types/compute-engine/numerics/numeric-bigint.d.ts +1 -1
  180. package/dist/types/compute-engine/numerics/numeric-bignum.d.ts +1 -1
  181. package/dist/types/compute-engine/numerics/numeric-complex.d.ts +1 -1
  182. package/dist/types/compute-engine/numerics/numeric.d.ts +1 -1
  183. package/dist/types/compute-engine/numerics/primes.d.ts +1 -1
  184. package/dist/types/compute-engine/numerics/rationals.d.ts +1 -1
  185. package/dist/types/compute-engine/numerics/richardson.d.ts +1 -1
  186. package/dist/types/compute-engine/numerics/special-functions.d.ts +15 -1
  187. package/dist/types/compute-engine/numerics/statistics.d.ts +1 -1
  188. package/dist/types/compute-engine/numerics/strings.d.ts +1 -1
  189. package/dist/types/compute-engine/numerics/types.d.ts +1 -1
  190. package/dist/types/compute-engine/numerics/unit-data.d.ts +1 -1
  191. package/dist/types/compute-engine/oeis.d.ts +1 -1
  192. package/dist/types/compute-engine/sequence.d.ts +1 -1
  193. package/dist/types/compute-engine/symbolic/antiderivative.d.ts +1 -1
  194. package/dist/types/compute-engine/symbolic/derivative.d.ts +1 -1
  195. package/dist/types/compute-engine/symbolic/distribute.d.ts +1 -1
  196. package/dist/types/compute-engine/symbolic/fu-cost.d.ts +1 -1
  197. package/dist/types/compute-engine/symbolic/fu-transforms.d.ts +1 -1
  198. package/dist/types/compute-engine/symbolic/fu.d.ts +1 -1
  199. package/dist/types/compute-engine/symbolic/logic-utils.d.ts +1 -1
  200. package/dist/types/compute-engine/symbolic/simplify-abs.d.ts +1 -1
  201. package/dist/types/compute-engine/symbolic/simplify-divide.d.ts +1 -1
  202. package/dist/types/compute-engine/symbolic/simplify-factorial.d.ts +1 -1
  203. package/dist/types/compute-engine/symbolic/simplify-hyperbolic.d.ts +1 -1
  204. package/dist/types/compute-engine/symbolic/simplify-infinity.d.ts +1 -1
  205. package/dist/types/compute-engine/symbolic/simplify-log.d.ts +1 -1
  206. package/dist/types/compute-engine/symbolic/simplify-logic.d.ts +1 -1
  207. package/dist/types/compute-engine/symbolic/simplify-power.d.ts +1 -1
  208. package/dist/types/compute-engine/symbolic/simplify-product.d.ts +1 -1
  209. package/dist/types/compute-engine/symbolic/simplify-rules.d.ts +1 -1
  210. package/dist/types/compute-engine/symbolic/simplify-sum.d.ts +1 -1
  211. package/dist/types/compute-engine/symbolic/simplify-trig.d.ts +1 -1
  212. package/dist/types/compute-engine/tensor/tensor-fields.d.ts +1 -1
  213. package/dist/types/compute-engine/tensor/tensors.d.ts +1 -1
  214. package/dist/types/compute-engine/types-definitions.d.ts +1 -1
  215. package/dist/types/compute-engine/types-engine.d.ts +1 -1
  216. package/dist/types/compute-engine/types-evaluation.d.ts +1 -1
  217. package/dist/types/compute-engine/types-expression.d.ts +47 -16
  218. package/dist/types/compute-engine/types-kernel-evaluation.d.ts +1 -1
  219. package/dist/types/compute-engine/types-kernel-serialization.d.ts +1 -1
  220. package/dist/types/compute-engine/types-serialization.d.ts +1 -1
  221. package/dist/types/compute-engine/types.d.ts +1 -1
  222. package/dist/types/compute-engine.d.ts +4 -3
  223. package/dist/types/math-json/symbols.d.ts +1 -1
  224. package/dist/types/math-json/types.d.ts +1 -1
  225. package/dist/types/math-json/utils.d.ts +1 -1
  226. package/dist/types/math-json.d.ts +2 -2
  227. package/package.json +2 -1
  228. package/dist/types/color/categorical.d.ts +0 -9
  229. package/dist/types/color/contrast.d.ts +0 -16
  230. package/dist/types/color/conversion.d.ts +0 -13
  231. package/dist/types/color/diverging-palettes.d.ts +0 -15
  232. package/dist/types/color/index.d.ts +0 -4
  233. package/dist/types/color/manipulation.d.ts +0 -95
  234. package/dist/types/color/palette.d.ts +0 -38
  235. package/dist/types/color/sequential.d.ts +0 -21
  236. package/dist/types/color/types.d.ts +0 -19
  237. package/dist/types/compute-engine/boxed-expression/product.d.ts +0 -1
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare const SETS_LIBRARY: SymbolDefinitions;
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare const STATISTICS_LIBRARY: SymbolDefinitions[];
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare const TRIGONOMETRY_LIBRARY: SymbolDefinitions[];
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { Type } from '../../common/type/types';
3
3
  /** Real inputs → finite_real, otherwise → finite_number. */
4
4
  export declare function numericTypeHandler(ops: ReadonlyArray<Expression>): Type;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Re-export the unit registry from its canonical location in numerics/.
3
3
  *
4
4
  * The unit registry lives in numerics/ so that lower layers (like
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import { type UnitExpression } from './unit-data';
3
3
  /**
4
4
  * Convert a boxed expression representing a unit into a plain
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * EL-4: Convert known infinite integer sets to their equivalent Limits bounds.
4
4
  * Returns undefined if the set cannot be converted to a Limits form.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { BigNumFactory, SmallInteger } from '../numerics/types';
3
3
  import { NumericValue, NumericValueData } from './types';
4
4
  import { ExactNumericValue } from './exact-numeric-value';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import { type BigNumFactory, Rational, SmallInteger } from '../numerics/types';
3
3
  import { ExactNumericValueData, NumericValue, NumericValueFactory } from './types';
4
4
  import { MathJsonExpression } from '../../math-json/types';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { BigNumFactory, SmallInteger } from '../numerics/types';
3
3
  import { NumericValue, NumericValueData } from './types';
4
4
  import type { MathJsonExpression } from '../../math-json/types';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  *
3
3
  * ## THEORY OF OPERATIONS
4
4
  *
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function bigint(a: Decimal | number | bigint | string): bigint | null;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function bigintValue(expr: MathJsonExpression | null | undefined): bigint | null;
3
3
  /** Output a shorthand if possible */
4
4
  export declare function numberToExpression(num: number | bigint, fractionalDigits?: string | number): MathJsonExpression;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /** An interval is a continuous set of real numbers */
3
3
  export type Interval = {
4
4
  start: number;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  estimate: number;
3
3
  error: number;
4
4
  };
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function lcm(a: bigint, b: bigint): bigint;
3
3
  /** Return `[factor, root]` such that
4
4
  * pow(n, 1/exponent) = factor * pow(root, 1/exponent)
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function gcd(a: BigNum, b: BigNum): BigNum;
3
3
  export declare function lcm(a: BigNum, b: BigNum): BigNum;
4
4
  export declare function factorial2(ce: IBigNum, n: BigNum): BigNum;
@@ -1,3 +1,3 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function gamma(c: Complex): Complex;
3
3
  export declare function gammaln(c: Complex): Complex;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare const MACHINE_PRECISION_BITS = 53;
3
3
  export declare const MACHINE_PRECISION: number;
4
4
  export declare const DEFAULT_TOLERANCE = 1e-10;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function primeFactors(n: number): {
3
3
  [factor: number]: number;
4
4
  };
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function isRational(x: unknown | null): x is Rational;
3
3
  export declare function isMachineRational(x: unknown | null): x is [SmallInteger, SmallInteger];
4
4
  export declare function isBigRational(x: unknown | null): x is [bigint, bigint];
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
 
3
3
  Translated from https://github.com/JuliaMath/Richardson.jl/blob/master/src/Richardson.jl
4
4
 
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { BigNum } from './types';
3
3
  export declare function gammaln(z: number): number;
4
4
  export declare function gamma(z: number): number;
@@ -145,3 +145,17 @@ export declare function airyAi(x: number): number;
145
145
  * Reference: NIST DLMF 9.2, 9.7
146
146
  */
147
147
  export declare function airyBi(x: number): number;
148
+ /**
149
+ * Fresnel sine integral: S(x) = ∫₀ˣ sin(π t²/2) dt
150
+ *
151
+ * S is odd, S(∞) → 1/2.
152
+ */
153
+ export declare function fresnelS(x: number): number;
154
+ /**
155
+ * Fresnel cosine integral: C(x) = ∫₀ˣ cos(π t²/2) dt
156
+ *
157
+ * C is odd, C(∞) → 1/2.
158
+ */
159
+ export declare function fresnelC(x: number): number;
160
+ /** Unnormalized cardinal sine: sinc(x) = sin(x)/x, sinc(0) = 1. */
161
+ export declare function sinc(x: number): number;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function mean(values: Iterable<number>): number;
3
3
  export declare function bigMean(bignum: BigNumFactory, values: Iterable<BigNum>): BigNum;
4
4
  export declare function median(values: Iterable<number>): number;
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function numberToString(num: number | bigint, fractionalDigits?: number | string): string;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /** @internal */
3
3
  type IsInteger<N extends number> = `${N}` extends `${string}.${string}` ? never : `${N}` extends `-${string}.${string}` ? never : number;
4
4
  /** A `SmallInteger` is an integer < 1e6
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Unit registry: dimension vectors, SI base units, prefixes, and conversion.
3
3
  *
4
4
  * A DimensionVector encodes the exponents for each of the 7 SI base
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * OEIS (Online Encyclopedia of Integer Sequences) Integration
3
3
  *
4
4
  * This module provides functions to look up sequences in the OEIS database
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Utilities for declarative sequence definitions.
3
3
  *
4
4
  * This module provides functions to create subscriptEvaluate handlers
@@ -1,3 +1,3 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /** Calculate the antiderivative of fn, as an expression (not a function) */
3
3
  export declare function antiderivative(fn: Expression, index: string): Expression;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  *
4
4
  * @param fn The function to differentiate, a function literal.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  *
4
4
  */
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Cost functions for the Fu trigonometric simplification algorithm.
3
3
  *
4
4
  * The primary objective is to minimize the number of trigonometric functions,
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Fu Algorithm Transformation Rules
3
3
  *
4
4
  * Programmatic implementations of TR1-TR22 from the Fu trigonometric
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Fu Algorithm for Trigonometric Simplification
3
3
  *
4
4
  * Implementation of the algorithm by Fu, Zhong, and Zeng:
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function evaluateAnd(args: ReadonlyArray<Expression>, { engine: ce }: {
3
3
  engine: ComputeEngine;
4
4
  }): Expression | undefined;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function simplifyAbs(x: Expression): RuleStep | undefined;
3
3
  /**
4
4
  * Simplify expressions where Abs appears as the base of a power.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Division simplification rules consolidated from simplify-rules.ts.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Extracts base + integer offset from an expression.
4
4
  * - Symbol `n` → { base: n, offset: 0 }
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function simplifyHyperbolic(x: Expression): RuleStep | undefined;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Infinity simplification rules consolidated from simplify-rules.ts.
4
4
  * Handles ~20 patterns for simplifying expressions involving infinity.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Logarithm simplification rules consolidated from simplify-rules.ts.
4
4
  * Handles ~30 patterns for simplifying Ln and Log expressions.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function simplifyLogicFunction(x: Expression): {
3
3
  value: Expression;
4
4
  because: string;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Power simplification rules consolidated from simplify-rules.ts.
4
4
  * Handles ~25 patterns for simplifying Power expressions.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Product simplification rules extracted from simplify-rules.ts.
4
4
  * Handles 13 patterns for simplifying Product expressions.
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * # Performance Optimization Notes for Simplification Rules
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /**
3
3
  * Sum simplification rules extracted from simplify-rules.ts.
4
4
  * Handles 16 patterns for simplifying Sum expressions.
@@ -1,2 +1,2 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare function simplifyTrig(x: Expression): RuleStep | undefined;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import { Expression, IComputeEngine as ComputeEngine, DataTypeMap, TensorDataType, TensorField } from '../global-types';
3
3
  /** @category Tensors */
4
4
  export declare function makeTensorField<DT extends keyof DataTypeMap>(ce: ComputeEngine, dtype: DT): TensorField<DataTypeMap[DT]>;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  /** @category Tensors */
3
3
  export declare abstract class AbstractTensor<DT extends keyof DataTypeMap> implements Tensor<DT> {
4
4
  private ce;
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { Type, TypeString } from '../common/type/types';
3
3
  import type { BoxedType } from '../common/type/boxed-type';
4
4
  import type { LatexString, LatexDictionaryEntry } from './latex-syntax/types';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { OneOf } from '../common/one-of';
3
3
  import type { MathJsonSymbol, MathJsonNumberObject } from '../math-json';
4
4
  import type { Type, TypeString, TypeResolver } from '../common/type/types';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { IComputeEngine as ComputeEngine } from './types-engine';
3
3
  import type { Expression, ExpressionInput } from './types-expression';
4
4
  import type { Assumption as KernelAssumption, AssumeResult, AssignValue as KernelAssignValue, BoxedRule as KernelBoxedRule, BoxedRuleSet as KernelBoxedRuleSet, EvaluateOptions as KernelEvaluateOptions, EvalContext as KernelEvalContext, ExpressionMapInterface as KernelExpressionMapInterface, Rule as KernelRule, RuleConditionFunction as KernelRuleConditionFunction, RuleFunction as KernelRuleFunction, RuleReplaceFunction as KernelRuleReplaceFunction, RuleStep as KernelRuleStep, RuleSteps as KernelRuleSteps, Scope as KernelScope } from './types-kernel-evaluation';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { OneOf } from '../common/one-of';
3
3
  import type { MathJsonExpression, MathJsonNumberObject, MathJsonStringObject, MathJsonSymbolObject, MathJsonFunctionObject, MathJsonSymbol, MathJsonDictionaryObject } from '../math-json';
4
4
  import type { Type, TypeString } from '../common/type/types';
@@ -687,8 +687,11 @@ export interface Expression {
687
687
  */
688
688
  readonly subexpressions: ReadonlyArray<Expression>;
689
689
  /**
690
+ * All the symbols in the expression, recursively, including
691
+ * bound variables (e.g., summation/product index variables).
690
692
  *
691
- * All the symbols in the expression, recursively
693
+ * Use {@link unknowns} or {@link freeVariables} to get only the
694
+ * symbols that are free (not bound by a scoping construct).
692
695
  *
693
696
  * ```js
694
697
  * const expr = ce.parse('a + b * c + d');
@@ -707,6 +710,14 @@ export interface Expression {
707
710
  * associated with them, i.e. they are declared but not defined.
708
711
  */
709
712
  readonly unknowns: ReadonlyArray<string>;
713
+ /**
714
+ * The free variables of the expression: symbols that are not constants,
715
+ * not operators, not bound to a value, and not locally scoped (e.g.,
716
+ * summation/product index variables are excluded).
717
+ *
718
+ * This is an alias for {@link unknowns}.
719
+ */
720
+ readonly freeVariables: ReadonlyArray<string>;
710
721
  /**
711
722
  * Attempt to factor a numeric coefficient `c` and a `rest` out of a
712
723
  * canonical expression such that `rest.mul(c)` is equal to `this`.
@@ -965,11 +976,20 @@ export interface Expression {
965
976
  * :::
966
977
  */
967
978
  has(v: string | string[]): boolean;
968
- /** Structural/symbolic equality (weak equality).
979
+ /** Fast exact structural/symbolic equality check.
980
+ *
981
+ * Returns `true` if the expression is structurally identical to `rhs`.
982
+ * For symbols with value bindings, follows the binding (e.g., if `one = 1`,
983
+ * then `ce.symbol('one').isSame(1)` is `true`).
984
+ *
985
+ * Accepts JavaScript primitives: `number`, `bigint`, `boolean`, `string`.
986
+ *
987
+ * Does **not** evaluate expressions — purely structural.
969
988
  *
970
989
  * `ce.parse('1+x', {form: 'raw'}).isSame(ce.parse('x+1', {form: 'raw'}))` is `false`.
971
990
  *
972
- * See `expr.isEqual()` for mathematical equality.
991
+ * See `expr.is()` for a smart check with numeric evaluation fallback,
992
+ * and `expr.isEqual()` for full mathematical equality.
973
993
  *
974
994
  * :::info[Note]
975
995
  * Applicable to canonical and non-canonical expressions.
@@ -977,14 +997,25 @@ export interface Expression {
977
997
  *
978
998
  * @category Relational Operator
979
999
  */
980
- isSame(rhs: Expression): boolean;
1000
+ isSame(rhs: Expression | number | bigint | boolean | string): boolean;
981
1001
  /**
982
- * Equivalent to `Expression.isSame()` but the argument can be
983
- * a JavaScript primitive. For example, `expr.is(2)` is equivalent to
984
- * `expr.isSame(ce.number(2))`.
1002
+ * Smart equality check: structural first, then numeric evaluation fallback.
985
1003
  *
986
- * @category Primitive Methods
1004
+ * First tries an exact structural check (same as `isSame()`). If that fails
1005
+ * and the expression is constant (no free variables), evaluates numerically
1006
+ * and compares within `engine.tolerance`.
1007
+ *
1008
+ * For literal numbers (`BoxedNumber`), behaves identically to `isSame()` —
1009
+ * no tolerance is applied. Tolerance only applies to expressions that
1010
+ * require evaluation (e.g., `\\sin(\\pi)`).
987
1011
  *
1012
+ * ```typescript
1013
+ * ce.parse('\\cos(\\frac{\\pi}{2})').is(0) // true — evaluates, within tolerance
1014
+ * ce.number(1e-17).is(0) // false — literal, no tolerance
1015
+ * ce.parse('x + 1').is(1) // false — not constant
1016
+ * ```
1017
+ *
1018
+ * @category Primitive Methods
988
1019
  */
989
1020
  is(other: Expression | number | bigint | boolean | string): boolean;
990
1021
  /**
@@ -1395,22 +1426,22 @@ export interface Expression {
1395
1426
  *
1396
1427
  * Evaluating the expressions may be expensive. Other options to consider
1397
1428
  * to compare two expressions include:
1398
- * - `expr.isSame(other)` for a structural comparison which does not involve
1399
- * evaluating the expressions.
1400
- * - `expr.is(other)` for a comparison of a number literal
1429
+ * - `expr.isSame(other)` for a fast exact structural comparison (no evaluation)
1430
+ * - `expr.is(other)` for a smart check that tries structural first, then
1431
+ * numeric evaluation fallback for constant expressions
1401
1432
  *
1402
1433
  * **Examples**
1403
1434
  *
1404
1435
  * ```js
1405
1436
  * let expr = ce.parse('2 + 2');
1406
1437
  * console.log(expr.isEqual(4)); // true
1407
- * console.log(expr.isSame(ce.parse(4))); // false
1408
- * console.log(expr.is(4)); // false
1438
+ * console.log(expr.isSame(4)); // false (structural only)
1439
+ * console.log(expr.is(4)); // true (evaluates, within tolerance)
1409
1440
  *
1410
1441
  * expr = ce.parse('4');
1411
1442
  * console.log(expr.isEqual(4)); // true
1412
- * console.log(expr.isSame(ce.parse(4))); // true
1413
- * console.log(expr.is(4)); // true (fastest)
1443
+ * console.log(expr.isSame(4)); // true
1444
+ * console.log(expr.is(4)); // true
1414
1445
  *
1415
1446
  * ```
1416
1447
  *
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { TypeReference } from '../common/type/types';
3
3
  import type { BoxedType } from '../common/type/boxed-type';
4
4
  import type { LatexString } from './latex-syntax/types';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export type Hold = 'none' | 'all' | 'first' | 'rest' | 'last' | 'most';
3
3
  /**
4
4
  * Options to control serialization to MathJSON when using
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  import type { BoxedSubstitution as KernelBoxedSubstitution, CanonicalForm, CanonicalOptions, FormOption, Hold, JsonSerializationOptions, Metadata, PatternMatchOptions as KernelPatternMatchOptions, ReplaceOptions, Substitution as KernelSubstitution } from './types-kernel-serialization';
3
3
  export type { Hold, JsonSerializationOptions, ReplaceOptions, CanonicalForm, CanonicalOptions, FormOption, Metadata, };
4
4
  /**
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export type { MathJsonExpression, MathJsonAttributes, MathJsonNumberObject, MathJsonSymbolObject, MathJsonStringObject, MathJsonFunctionObject, DictionaryValue, MathJsonDictionaryObject, ExpressionObject, MathJsonSymbol, } from '../math-json/types';
3
3
  export * from '../common/type/boxed-type';
4
4
  export * from '../common/type/types';
@@ -1,7 +1,7 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export { ComputeEngine } from './compute-engine/index';
3
3
  export type * from './compute-engine/types';
4
- export type { CompileTarget, CompiledOperators, CompiledFunctions, CompilationOptions, CompilationResult, LanguageTarget, TargetSource, CompiledFunction, } from './compute-engine/compilation/types';
4
+ export type { CompileTarget, CompiledOperators, CompiledFunctions, CompilationOptions, CompilationResult, ExecutableTarget, ComplexResult, CompiledRunner, ExpressionRunner, LambdaRunner, LanguageTarget, TargetSource, CompiledFunction, } from './compute-engine/compilation/types';
5
5
  export { JavaScriptTarget } from './compute-engine/compilation/javascript-target';
6
6
  export { GPUShaderTarget } from './compute-engine/compilation/gpu-target';
7
7
  export { GLSLTarget } from './compute-engine/compilation/glsl-target';
@@ -11,8 +11,9 @@ export { IntervalJavaScriptTarget } from './compute-engine/compilation/interval-
11
11
  export { IntervalGLSLTarget } from './compute-engine/compilation/interval-glsl-target';
12
12
  export { IntervalWGSLTarget } from './compute-engine/compilation/interval-wgsl-target';
13
13
  export { BaseCompiler } from './compute-engine/compilation/base-compiler';
14
+ export type { Interval, IntervalResult, BoolInterval, } from './compute-engine/interval/types';
14
15
  export { parse, simplify, evaluate, N, declare, assign, expand, expandAll, factor, solve, compile, getDefaultEngine, } from './compute-engine/free-functions';
15
- export { isExpression, isNumber, isSymbol, isFunction, isString, isTensor, isDictionary, isCollection, isIndexedCollection, isBoxedExpression, isBoxedNumber, isBoxedSymbol, isBoxedFunction, isBoxedString, isBoxedTensor, } from './compute-engine/boxed-expression/type-guards';
16
+ export { isExpression, isNumber, isSymbol, isFunction, isString, isTensor, isDictionary, isCollection, isIndexedCollection, numericValue, isBoxedExpression, isBoxedNumber, isBoxedSymbol, isBoxedFunction, isBoxedString, isBoxedTensor, } from './compute-engine/boxed-expression/type-guards';
16
17
  export type { BoxedNumber } from './compute-engine/boxed-expression/boxed-number';
17
18
  export type { BoxedSymbol } from './compute-engine/boxed-expression/boxed-symbol';
18
19
  export type { BoxedFunction } from './compute-engine/boxed-expression/boxed-function';
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * Return true if the string is a valid symbol.
3
3
  *
4
4
  * Check for symbols matching a profile of [Unicode UAX31](https://unicode.org/reports/tr31/)
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  * The following properties can be added to any MathJSON expression
3
3
  * to provide additional information about the expression.
4
4
  *
@@ -1,4 +1,4 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export declare const MISSING: MathJsonExpression;
3
3
  export declare function isNumberExpression(expr: MathJsonExpression | null): expr is number | string | MathJsonNumberObject;
4
4
  export declare function isNumberObject(expr: MathJsonExpression | null): expr is MathJsonNumberObject;
@@ -1,3 +1,3 @@
1
- /* 0.51.0 */
1
+ /* 0.52.0 */
2
2
  export { isSymbolObject, isStringObject, isFunctionObject, stringValue, operator, operand, symbol, mapArgs, dictionaryFromExpression, } from './math-json/utils';
3
- export declare const version = "0.51.0";
3
+ export declare const version = "0.52.0";
package/package.json CHANGED
@@ -1,5 +1,5 @@
1
1
  {
2
- "version": "0.51.0",
2
+ "version": "0.52.0",
3
3
  "scripts": {
4
4
  "doc": "bash ./scripts/doc.sh",
5
5
  "build": "bash ./scripts/build.sh",
@@ -99,6 +99,7 @@
99
99
  },
100
100
  "prettier": "@cortex-js/prettier-config",
101
101
  "dependencies": {
102
+ "@arnog/colors": "^0.2.1",
102
103
  "complex-esm": "^2.1.1-esm1",
103
104
  "decimal.js": "^10.6.0"
104
105
  }
@@ -1,9 +0,0 @@
1
- /* 0.51.0 */
2
- readonly tycho11: string[];
3
- readonly tableau10: string[];
4
- readonly kelly22: string[];
5
- readonly graph6: string[];
6
- readonly spectrum6: string[];
7
- readonly spectrum12: string[];
8
- };
9
- export type CategoricalPaletteName = keyof typeof CATEGORICAL_PALETTES;