Function compareFloat

src/compute-engine/boxed-expression/order.ts:190–200

* Total three-way comparison of two floats suitable for a comparator. * * Unlike `af - bf`, this is a *total* order: it never returns `NaN`. Any * `NaN` operand sorts after all real numbers (and two `NaN`s compare equal), * so canonical ordering stays deterministic and permutation-invariant even

(a: number, b: number)

  return order(a, b);
}

// export function isSorted(expr: Expression): Expression {

// }

// The "kind" of subexpressions. The order here indicates the
// order in which the expressions should be sorted
const RANKS = [
  'integer',
  'rational',
  'radical', // Square root of a rational literal
  'real',
  'complex',
  'nan', // NaN: after all numbers, so it has a deterministic sort position