chore lint

Author: arnog

src/compute-engine.ts

@@ -8,7 +8,7 @@ export const version = '{{SDK_VERSION}}';
 import { ComputeEngine } from './compute-engine/index';
 export { ComputeEngine } from './compute-engine/index';
 
-export * from './compute-engine/types';
+export type * from './compute-engine/types';
 
 // Export compilation types and classes for advanced users
 export type {

src/compute-engine/boxed-expression/arithmetic-mul-div.ts

@@ -14,8 +14,6 @@ import {
   asMachineRational,
   inverse,
   isOne,
-  machineDenominator,
-  machineNumerator,
   neg,
   rationalGcd,
   reducedRational,

src/compute-engine/free-functions.ts

@@ -1,6 +1,13 @@
-import type { BoxedExpression, AssignValue, IComputeEngine } from './global-types';
+import type {
+  BoxedExpression,
+  AssignValue,
+  IComputeEngine,
+} from './global-types';
 import type { LatexString } from './latex-syntax/types';
-import { expand as expandExpr, expandAll as expandAllExpr } from './boxed-expression/expand';
+import {
+  expand as expandExpr,
+  expandAll as expandAllExpr,
+} from './boxed-expression/expand';
 import { factor as factorExpr } from './boxed-expression/factor';
 import { compile as compileExpr } from './compilation/compile-expression';
 
@@ -61,11 +68,7 @@ export function expand(
 
 export function solve(
   latex: LatexString | BoxedExpression,
-  vars?:
-    | string
-    | Iterable<string>
-    | BoxedExpression
-    | Iterable<BoxedExpression>
+  vars?: string | Iterable<string> | BoxedExpression | Iterable<BoxedExpression>
 ):
   | null
   | ReadonlyArray<BoxedExpression>
@@ -84,9 +87,7 @@ export function expandAll(
   return expandAllExpr(expr);
 }
 
-export function factor(
-  latex: LatexString | BoxedExpression
-): BoxedExpression {
+export function factor(latex: LatexString | BoxedExpression): BoxedExpression {
   const expr =
     typeof latex === 'string' ? getDefaultEngine().parse(latex) : latex;
   return factorExpr(expr);

src/compute-engine/global-types.ts

@@ -9,6 +9,31 @@
 
 export type * from './types-expression';
 export type * from './types-serialization';
-export type * from './types-definitions';
+export type {
+  ValueDefinition,
+  SequenceDefinition,
+  SequenceStatus,
+  SequenceInfo,
+  OEISSequenceInfo,
+  OEISOptions,
+  OperatorDefinition,
+  BaseDefinition,
+  SimplifyOptions,
+  SymbolDefinition,
+  SymbolDefinitions,
+  LibraryDefinition,
+  AngularUnit,
+  Sign,
+  BaseCollectionHandlers,
+  IndexedCollectionHandlers,
+  CollectionHandlers,
+  TaggedValueDefinition,
+  TaggedOperatorDefinition,
+  BoxedDefinition,
+  BoxedBaseDefinition,
+  BoxedValueDefinition,
+  OperatorDefinitionFlags,
+  BoxedOperatorDefinition,
+} from './types-definitions';
 export type * from './types-evaluation';
 export type * from './types-engine';

src/compute-engine/index.ts

@@ -83,7 +83,6 @@ import {
   UNIVARIATE_ROOTS,
 } from './boxed-expression/solve';
 import {
-  factor,
   factorPerfectSquare,
   factorDifferenceOfSquares,
   factorQuadratic,
@@ -167,7 +166,7 @@ import {
   createTypeErrorExpression,
 } from './engine-validation-entrypoints';
 
-export * from './global-types';
+export type * from './global-types';
 
 // Free functions backed by a lazily-instantiated global engine
 export {

src/compute-engine/numerics/interval.ts

@@ -1,9 +1,9 @@
-import type { BoxedExpression } from '../global-types';
-import {
-  isBoxedSymbol,
-  isBoxedNumber,
-  isBoxedFunction,
-} from '../boxed-expression/type-guards';
+import type {
+  BoxedExpression,
+  FunctionInterface,
+  NumberLiteralInterface,
+  SymbolInterface,
+} from '../global-types';
 
 /** An interval is a continuous set of real numbers */
 export type Interval = {
@@ -13,6 +13,24 @@ export type Interval = {
   openEnd: boolean;
 };
 
+function isBoxedNumber(
+  expr: BoxedExpression | null | undefined
+): expr is BoxedExpression & NumberLiteralInterface {
+  return expr?._kind === 'number';
+}
+
+function isBoxedSymbol(
+  expr: BoxedExpression | null | undefined
+): expr is BoxedExpression & SymbolInterface {
+  return expr?._kind === 'symbol';
+}
+
+function isBoxedFunction(
+  expr: BoxedExpression | null | undefined
+): expr is BoxedExpression & FunctionInterface {
+  return expr?._kind === 'function' || expr?._kind === 'tensor';
+}
+
 export function interval(expr: BoxedExpression): Interval | undefined {
   if (expr.operator === 'Interval' && isBoxedFunction(expr)) {
     let op1: BoxedExpression = expr.op1;