T460-repair-checks.json

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

1919 bytes, as of the version from 2026-10-16 09:47 (current). Recorded here, not run.

{
  "table": "T460",
  "ok": true,
  "rows": [
    {
      "g": 0,
      "n": 3,
      "monomials": 1,
      "cusp_coefficient": "1",
      "pi_exponent": 0,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 0,
      "n": 4,
      "monomials": 5,
      "cusp_coefficient": "2",
      "pi_exponent": 2,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 0,
      "n": 5,
      "monomials": 21,
      "cusp_coefficient": "10",
      "pi_exponent": 4,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 1,
      "n": 1,
      "monomials": 2,
      "cusp_coefficient": "1/12",
      "pi_exponent": 2,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 1,
      "n": 2,
      "monomials": 6,
      "cusp_coefficient": "1/4",
      "pi_exponent": 4,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 1,
      "n": 3,
      "monomials": 20,
      "cusp_coefficient": "14/9",
      "pi_exponent": 6,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 2,
      "n": 0,
      "monomials": 1,
      "cusp_coefficient": "43/2160",
      "pi_exponent": 6,
      "512_bit_enclosure_inside_T459_interval": true
    },
    {
      "g": 2,
      "n": 1,
      "monomials": 5,
      "cusp_coefficient": "29/192",
      "pi_exponent": 8,
      "512_bit_enclosure_inside_T459_interval": true
    }
  ],
  "monomials": 61,
  "checks": [
    "exact rational coefficients",
    "allowed formal variables",
    "degree",
    "evenness",
    "symmetry",
    "positive coefficients",
    "all eight p=pi cusp specializations within T459 stored intervals",
    "pair-of-pants, torus and closed genus-two normalization",
    "negative control p=2*pi rejected"
  ],
  "limits": "No rerun of the DVV or kappa generator; no claim to verify every coefficient against an independent source."
}