checks-evidence.json

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

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

{
  "tid": "T51",
  "entries": 2,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 489,
  "identity_checks": 2,
  "exact_rows": 0,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "a": "1",
        "b": "sqrt(2)"
      },
      "number": "1.198140234735592207439922492280323878227212663215651558263674952946405214143915670835885556489793389",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "1/sqrt(2)",
        "b": "1"
      },
      "number": "0.8472130847939790866064991234821916364814459103269421850605793726597340048341347597232002939946112299",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    }
  ]
}