repair_checks.json

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

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

{
  "sage_version": "10.9",
  "precision_bits": 600,
  "entries": 360,
  "arguments_per_order": 120,
  "hankel_checks": [
    {
      "nu": 0,
      "x": "1/4",
      "error_upper_in_ulps": 0.3786616142484716
    },
    {
      "nu": 0,
      "x": "1/3",
      "error_upper_in_ulps": 0.12793488061825242
    },
    {
      "nu": 0,
      "x": "1/2",
      "error_upper_in_ulps": 0.23500057373942565
    },
    {
      "nu": 0,
      "x": "1",
      "error_upper_in_ulps": 0.10588526434452165
    },
    {
      "nu": 0,
      "x": "2",
      "error_upper_in_ulps": 0.3311987487455699
    },
    {
      "nu": 0,
      "x": "3",
      "error_upper_in_ulps": 0.1464272540284391
    },
    {
      "nu": 0,
      "x": "4",
      "error_upper_in_ulps": 0.417617968153094
    },
    {
      "nu": 0,
      "x": "5",
      "error_upper_in_ulps": 0.14303356722809848
    },
    {
      "nu": 0,
      "x": "10",
      "error_upper_in_ulps": 0.424128852063726
    },
    {
      "nu": 0,
      "x": "20",
      "error_upper_in_ulps": 0.33721903620153165
    },
    {
      "nu": 1,
      "x": "1/4",
      "error_upper_in_ulps": 0.3922673074683794
    },
    {
      "nu": 1,
      "x": "1/3",
      "error_upper_in_ulps": 0.011146281127790179
    },
    {
      "nu": 1,
      "x": "1/2",
      "error_upper_in_ulps": 0.4687285687488957
    },
    {
      "nu": 1,
      "x": "1",
      "error_upper_in_ulps": 0.0052861256941509034
    },
    {
      "nu": 1,
      "x": "2",
      "error_upper_in_ulps": 0.06559275631600937
    },
    {
      "nu": 1,
      "x": "3",
      "error_upper_in_ulps": 0.22099601608710498
    },
    {
      "nu": 1,
      "x": "4",
      "error_upper_in_ulps": 0.2861333802854448
    },
    {
      "nu": 1,
      "x": "5",
      "error_upper_in_ulps": 0.18725649701273586
    },
    {
      "nu": 1,
      "x": "10",
      "error_upper_in_ulps": 0.45957494379666
    },
    {
      "nu": 1,
      "x": "20",
      "error_upper_in_ulps": 0.11606060603577216
    },
    {
      "nu": 2,
      "x": "1/4",
      "error_upper_in_ulps": 0.0857551295748207
    },
    {
      "nu": 2,
      "x": "1/3",
      "error_upper_in_ulps": 0.32315710363853817
    },
    {
      "nu": 2,
      "x": "1/2",
      "error_upper_in_ulps": 0.2739692121859372
    },
    {
      "nu": 2,
      "x": "1",
      "error_upper_in_ulps": 0.07914737378934666
    },
    {
      "nu": 2,
      "x": "2",
      "error_upper_in_ulps": 0.24117001501282007
    },
    {
      "nu": 2,
      "x": "3",
      "error_upper_in_ulps": 0.12137441673184608
    },
    {
      "nu": 2,
      "x": "4",
      "error_upper_in_ulps": 0.2757313301876599
    },
    {
      "nu": 2,
      "x": "5",
      "error_upper_in_ulps": 0.27834456242831535
    },
    {
      "nu": 2,
      "x": "10",
      "error_upper_in_ulps": 0.29042340933029337
    },
    {
      "nu": 2,
      "x": "20",
      "error_upper_in_ulps": 0.011529239024498967
    }
  ],
  "maximum_error_upper_in_ulps": 0.4687285687488957,
  "half_order_control": true,
  "shifted_value_controls_rejected": 30,
  "displayed_sage_program_error_upper_in_ulps": 0.10588526434452165
}