numerical-evidence.json

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

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

{
  "table": "T459",
  "entries": 32,
  "exact_coefficient_comparisons": 32,
  "published_constant_terms": 17,
  "zograf_genus_zero_checks": 6,
  "independent_mpfi_checks": 32,
  "minimum_arb_relative_accuracy_bits": 390,
  "mpfi_relative_width_bound": "1e-145",
  "measurement": {
    "entries": 32,
    "longest": 136,
    "longest_at": [
      0,
      4
    ],
    "block_kb": 5.4365234375
  },
  "rational_coefficients": {
    "0,3": "1",
    "0,4": "2",
    "0,5": "10",
    "0,6": "244/3",
    "0,7": "2758/3",
    "0,8": "199784/15",
    "1,1": "1/12",
    "1,2": "1/4",
    "1,3": "14/9",
    "1,4": "529/36",
    "1,5": "16751/90",
    "1,6": "399068/135",
    "1,7": "5927149/105",
    "1,8": "1586670083/1260",
    "2,0": "43/2160",
    "2,1": "29/192",
    "2,2": "787/480",
    "2,3": "1498069/64800",
    "2,4": "10098059/25200",
    "2,5": "7473953867/907200",
    "2,6": "159963676633/816480",
    "2,7": "799796411059/151200",
    "2,8": "2242914390842743/14033250",
    "3,0": "176557/1209600",
    "3,1": "9292841/4082400",
    "3,2": "2800144027/65318400",
    "3,3": "486507137519/514382400",
    "3,4": "281203264373/11757312",
    "3,5": "12860394231407687/18860688000",
    "3,6": "333846529665481559/15431472000",
    "3,7": "208533540135920709859/275837562000",
    "3,8": "50524804159055070407/1751349600"
  },
  "controls": "passed: non-unit genus-zero, genus-one, genus-two, dimension-zero, rational interval and Zograf base cases",
  "stored_checks": 0
}