Function divide

scripts/rubi/wl-parser.ts:394–403

(a: Json, b: Json)

}

function divide(a: Json, b: Json): Json {
  if (
    typeof a === 'number' &&
    typeof b === 'number' &&
    Number.isInteger(a) &&
    Number.isInteger(b)
  )
    return ['Rational', a, b];
  return ['Divide', a, b];
}

// ---------------------------------------------------------------------------
// WL → Compute Engine name mapping