checks-evidence.json

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

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

{
  "table": "T193",
  "digits": 100,
  "entries": 20,
  "live": false,
  "records": [
    {
      "argument": "1*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1069
    },
    {
      "argument": "3*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "5*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "7*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "9*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "11*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "13*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "15*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "17*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "19*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "21*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1064
    },
    {
      "argument": "23*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1064
    },
    {
      "argument": "25*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1064
    },
    {
      "argument": "27*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1064
    },
    {
      "argument": "29*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1064
    },
    {
      "argument": "31*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "33*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "35*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "37*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    },
    {
      "argument": "39*pi/2",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1065
    }
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  }
}