Function addForm

src/compute-engine/boxed-expression/canonical.ts:283–295

(expr: Expression)

    // spelling either — renaming to `Divide` here would turn the caller
    // error into silent division once the result is fully canonicalized.
    if (
      name === 'Rational' &&
      ops.some((op) => evidenceAdmissionOf(op, 'integer') === 'refute')
    )
      return ce._fn('Rational', ops, { canonical: false });

    return ce._fn('Divide', ops, { canonical: false });
  }

  //
  // Complex
  //
  if (name === 'Complex') {
    if (ops.length === 1) {
      // If single argument, assume it's imaginary, i.e.
      // `["Complex", 2]` -> `2i`