Function gcd

test/compute-engine/multivariate-gcd.test.ts:65–66

(a: string, b: string, vars: string[])

  // the GCD has the expected value and exactly divides both inputs (the kernel's
  // own soundness contract).
  const gcd = (a: string, b: string, vars: string[]) =>
    multivariateGCD(ce, expand(a), expand(b), vars);
  const divides = (g: ReturnType<typeof ce.expr>, s: string, vars: string[]) =>
    MPoly.tryDivide(P(s, vars), mpolyFromBoxed(ce, g, vars)!) !== null;