Function ev

test/compute-engine/number-theory.test.ts:533–534

(e: any[])

    expect(bn(['NextPrime', ce.number(p - 1n)])).toEqual(p);
  });
});

describe('IsPrime is reliable for large n (shared Miller-Rabin)', () => {
  const ip = (n: bigint) =>
    ce.box(['IsPrime', ce.number(n)]).evaluate().toString();