isAdmissibleGM -- whether an integer is admissible (in the sense of the theory of GM fourfolds)

Synopsis

• Usage:

  isAdmissibleGM d

• Inputs:
  • d, an integer
• Outputs:
  • a Boolean value, whether $d$ is an integer $>$ 8 and $\equiv$ 2 or 4 (mod 8) such that the only odd primes that divide $d$ are $\equiv$ 1 (mod 4). In other words, whether a GM fourfold of discriminant d has an associated K3 surface.

Description

i1 : select(140,isAdmissibleGM)

o1 = {10, 20, 26, 34, 50, 52, 58, 68, 74, 82, 100, 106, 116, 122, 130}

o1 : List

See also

• isAdmissible -- whether an integer is admissible (in the sense of the theory of cubic fourfolds)