checks-evidence.json

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

2454 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.

{
  "table": "T206",
  "digits": 100,
  "records": [
    {
      "params": {
        "x": "0"
      },
      "written": "0",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": null,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "dawson-critical-1"
      },
      "written": "0.5410442246351816984727593302414771863906046768268258874563542169084205587981469753143919102132277710",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 414,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1"
      },
      "written": "0.5380795069127684191363874204075567547919750017539333188752190980025665033305271062972608615027430809",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 729,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    }
  ],
  "working_bits": 733,
  "delay_degree": 320,
  "second_delay_degree": 420,
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "critical_argument": {
    "left_exact": "39098081151409851431447871204011669287896681464955298181737372630851325893619192969841544124579584960403073306150206662700671/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384",
    "right_exact": "156392324605639405725791484816046677151586725859821192726949490523405303574476771879366176498318339841612293224600826650802685/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
    "bracket_width": "1/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536",
    "strict_endpoint_signs": [
      1,
      -1
    ],
    "root_uncertainty_propagated": true,
    "uniqueness": "F is positive for x>0 and F\"=-2F at every stationary point; every crossing is downward, so the bracketed positive stationary point is unique."
  },
  "retained_without_text_changes": [
    {
      "x": "0"
    },
    {
      "x": "1"
    }
  ],
  "added": [
    {
      "x": "dawson-critical-1"
    }
  ]
}