numerical-evidence.json

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

1918 bytes, as of the version from 2026-11-02 09:34 (current). Recorded here, not run.

{
  "published_supplement_coefficients": 816,
  "rankin_cohen_coefficients": 102,
  "replicable_series_positions": 676,
  "congruences": 714,
  "independent_twisted_CM_traces": 30,
  "irreducible_degree_decompositions": 6,
  "mode": "computed",
  "table": "T673",
  "entries": 816,
  "longest_integer_characters": 34,
  "skill_manifest": "agents/runs/20261102T085118Z-build-skills/manifest.json",
  "canonical_skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "cm_checks": {
    "method": "independent reduced forms and Arb modular_j",
    "bits": 1024,
    "fundamental_discriminant_comparisons": 61,
    "max_radius": "[5.44970706e-274 +/- 2.47e-283]",
    "required_radius": "<1e-110",
    "mode": "computed"
  },
  "dependency_versions": {
    "SageMath": "10.9",
    "numberdb": "0.1.10"
  },
  "source_sha256": {
    "griffin-mertens.pdf": "7b466e37144c97d03988f6034c3cc13d1eb4286eff4cc4da8aa0eb22b869a8c5",
    "harvey-rayhaun.pdf": "0a986851716757fb71dd55c44ed5788556391f304fa6d424f4566625e71c62ab",
    "Identifyq.tar.gz": "1fb2212702820f69ee717045e03441cb5998fb548a8d2a5172f29f425215d015",
    "eta-data.json": "7bc39f02107bc1eaebb0dea06852b49e4d9070111ccc27c4780c5846a5343910",
    "source-inputs.json": "27305a40d98daaa739ff260b5085e8dae55af1191a1bf33a2ddf58874ec2123a",
    "source-controls.json": "a8247947c38aecebe9c52d0695365af8dd1caaf219c53db4b8b353613d474669"
  },
  "limits": "All entries are exact integers; 100-digit approximate output does not apply. Independent CM checks have component radii less than 1e-110.",
  "known_source_typo": "HR Table 6 prints c_1A(21) positive; Table 1, eta basis, Rankin-Cohen construction and author coefficient file give -29466050250.",
  "standard_checks": {
    "standard_checks": "passed",
    "measurement": {
      "entries": 816,
      "longest": 34,
      "longest_at": "1A,197",
      "block_kb": 36.69140625
    }
  }
}