exact-roster.json

back to table · edit · history · where entries came from · files · download

1521 bytes, as of the version from 2026-11-09 14:15 (current). Recorded here, not run.

{
  "normalization": "q=exp(2*pi*i*z), a_1=1; all embeddings",
  "ordering": "lexicographic (a_2,a_3,...), here equivalent to increasing a_2",
  "forms": [
    {
      "k": 12,
      "i": 1,
      "formula": "Delta",
      "a2": -24,
      "role": "anchor"
    },
    {
      "k": 16,
      "i": 1,
      "formula": "Delta*E4",
      "a2": 216,
      "role": "varying higher-weight factor"
    },
    {
      "k": 18,
      "i": 1,
      "formula": "Delta*E6",
      "a2": -528,
      "role": "varying higher-weight factor"
    },
    {
      "k": 20,
      "i": 1,
      "formula": "Delta*E4^2",
      "a2": 456,
      "role": "varying higher-weight factor"
    },
    {
      "k": 22,
      "i": 1,
      "formula": "Delta*E4*E6",
      "a2": -288,
      "role": "varying higher-weight factor"
    },
    {
      "k": 24,
      "i": 1,
      "formula": "Delta*E4^3+(a2-696)*Delta^2",
      "a2": "540-12*sqrt(144169)",
      "role": "varying higher-weight factor",
      "minimal_polynomial": "X^2-1080*X-20468736",
      "isolating_interval": [
        -4017,
        -4016
      ]
    },
    {
      "k": 24,
      "i": 2,
      "formula": "Delta*E4^3+(a2-696)*Delta^2",
      "a2": "540+12*sqrt(144169)",
      "role": "varying higher-weight factor",
      "minimal_polynomial": "X^2-1080*X-20468736",
      "isolating_interval": [
        5096,
        5097
      ]
    },
    {
      "k": 26,
      "i": 1,
      "formula": "Delta*E4^2*E6",
      "a2": -48,
      "role": "varying higher-weight factor"
    }
  ]
}