Function totientSet

test/compute-engine/set-comprehension.test.ts:18–24

(n: number | string)

// The Fungrim 7b27cd shape: ["Set", k, ["Element", k, domain, cond?]]
function totientSet(n: number | string) {
  return [
    'Set',
    'k',
    ['Element', 'k', ['Range', 1, n], ['Equal', ['GCD', n, 'k'], 1]],
  ];
}

describe('Disambiguation: literal sets are unaffected', () => {
  const ce = freshEngine();