checks-stored.json

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

5437 bytes, as of the version from 2026-10-26 04:16 (current). Recorded here, not run.

{
  "mode": "stored",
  "controls": {
    "known_value_controls": 3,
    "serialization_controls": 2,
    "rejected_wrong_wide_nan": 3
  },
  "comparisons": {
    "control-square-root": 1,
    "control-gamma": 1,
    "control-exp": 1,
    "eta-q-Q-convention": 13,
    "elementary-series": 12,
    "rejected-Q-for-q": 12,
    "theta4-product": 12,
    "quartic": 12,
    "eta-identity": 12,
    "theta3-sibling": 12,
    "singular-parameter": 12,
    "complementary-modulus": 12,
    "elliptic-integral": 12,
    "elliptic-K-source": 12,
    "elliptic-complement": 12,
    "ramanujan": 12,
    "weber": 12,
    "weber-normalisation": 12,
    "Gamma-source": 1,
    "square-Gamma": 1,
    "rational-K-square": 1,
    "square-theta2-equality": 1,
    "eta-square-Gamma": 1,
    "program-example": 1
  },
  "entries": 12,
  "measure": {
    "entries": 12,
    "longest": 102,
    "longest_at": "1",
    "block_kb": 1.6201171875
  },
  "min_generator_accuracy_bits": 426,
  "working_bits": 429,
  "check_bits": 512,
  "versions": {
    "Python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
    "Sage": "10.9",
    "numberdb": "0.1.10"
  },
  "values": [
    {
      "r": 1,
      "number": "0.9135791381561168214072425934012220897019639163934690334196965312659080093720091139632889833595801389",
      "generator_accuracy_bits": 426,
      "generator_radius": "2.0401501e-129",
      "series_radius": "2.1807677e-154",
      "product_radius": "2.6857399e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 2,
      "number": "0.9764760772154493595072986783085003266646376075244065837389351925417586765023178721767366745853714086",
      "generator_accuracy_bits": 427,
      "generator_radius": "1.3238727e-129",
      "series_radius": "1.3725435e-154",
      "product_radius": "2.8371126e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 3,
      "number": "0.9913331596853003685864451334686866837806745102347748761730948587873719150506176538536964045288098301",
      "generator_accuracy_bits": 427,
      "generator_radius": "9.7732041e-130",
      "series_radius": "1.0237953e-154",
      "product_radius": "2.8706548e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 4,
      "number": "0.9962651145609071357899576385226683356930411621437410809444236442854214076425483840934040291817039305",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.7230726e-130",
      "series_radius": "7.9778706e-155",
      "product_radius": "2.8813203e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 5,
      "number": "0.9982209353871232162753675683334362562860953545276380620647762949334070618852299623428509209553834210",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.7309915e-130",
      "series_radius": "7.9946263e-155",
      "product_radius": "2.8862017e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 6,
      "number": "0.9990900781129146156272300751905685476927262108710438101116769258913855802322511144200486598886151784",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.4934650e-130",
      "series_radius": "7.7331879e-155",
      "product_radius": "2.8881125e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 7,
      "number": "0.9995088326737286280430780775655974690779112863420156641777487943128912545047182783275258073535314380",
      "generator_accuracy_bits": 427,
      "generator_radius": "9.6419588e-130",
      "series_radius": "7.6843985e-155",
      "product_radius": "2.8890646e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 8,
      "number": "0.9997233116279591791605045946314341403569695666461571610774763653084774912274284268956157545427665040",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.3120167e-130",
      "series_radius": "7.5799782e-155",
      "product_radius": "2.8895203e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 9,
      "number": "0.9998386009648594756245452502537021868110678470493157960903812971903353181303304330429400862671190865",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.2412863e-130",
      "series_radius": "7.5103303e-155",
      "product_radius": "2.8897499e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 10,
      "number": "0.9999030622061052905066606663828134093692940745353835438543875093494136499590345474253563280551061614",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.2497567e-130",
      "series_radius": "7.4963200e-155",
      "product_radius": "2.8899018e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 11,
      "number": "0.9999403094532222136610367191821282599050852553165889829326473743171593312137859925418887000680544433",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.2360627e-130",
      "series_radius": "7.4803880e-155",
      "product_radius": "2.8899810e-152",
      "stored_radius": "1.0000000e-100"
    },
    {
      "r": 12,
      "number": "0.9999624429333673153612502844692639066369072259805455731701597230261198737944422877265045667375710216",
      "generator_accuracy_bits": 427,
      "generator_radius": "7.2287677e-130",
      "series_radius": "7.4746599e-155",
      "product_radius": "2.8900281e-152",
      "stored_radius": "1.0000000e-100"
    }
  ],
  "all_passed": true
}