Function finalize

benchmarks/audit/wester.ts:406–408

(v: any, res: any, against: any[])

    : res.values.every((v: any) => v != null && Math.abs(v) < 1e-6) ? { v: 'solved' } : { v: 'wrong' };
const covers = (a: number[], b: number[]) => b.every((br) => a.some((ar) => Math.abs(ar - br) <= 1e-6 * (1 + Math.abs(br))));
// GCD is defined up to a constant, so two gcds agree iff one is a scalar multiple
// of the other (constant ratio across sample points).
const gcdSolved = (res: any) => res && res.status === 'ok' && res.values && res.values.length >= 2 && res.values.every((v: any) => v != null && isFinite(v));
const scalarMultiple = (a: number[], b: number[]) => {
  const ratios: number[] = [];
  for (let i = 0; i < a.length; i++) if (a[i] != null && b[i] != null && b[i] !== 0) ratios.push(a[i] / b[i]);