balanced-selection.json

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

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

{
  "tid": "T491",
  "kind": "bei",
  "parameters": [
    "nu",
    "x"
  ],
  "rows": [
    {
      "params": {
        "nu": "0",
        "x": "0"
      },
      "argument": {
        "type": "rational",
        "value": "0"
      },
      "entry": "0",
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-1"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "3863/1024",
          "483/128"
        ]
      },
      "entry": {
        "number": "2.346146849197928020955633902225957374401867956325958793314635683043410432756710593776606801949838483",
        "param-latex": "$c_{1}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "8479/1024",
          "265/32"
        ]
      },
      "entry": {
        "number": "-36.16540367949545646473487687807962733261718538075143400570777295121630395965371157191072547610917448",
        "param-latex": "$c_{2}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "13047/1024",
          "1631/128"
        ]
      },
      "entry": {
        "number": "670.1602128125587311480158314621510543432025109854274917237997122011843865567748751727563489146710462",
        "param-latex": "$c_{3}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "8803/512",
          "17607/1024"
        ]
      },
      "entry": {
        "number": "-13305.51798047036137905078732595291341413961970534143312347893988197675424426561677735379500891261271",
        "param-latex": "$c_{4}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "1385/64",
          "22161/1024"
        ]
      },
      "entry": {
        "number": "273887.6775613438060706467177908323784527970550886895436408699429763933410627471538467295416063089329",
        "param-latex": "$c_{5}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "26713/1024",
          "13357/512"
        ]
      },
      "entry": {
        "number": "-5764902.288807189352964319896994779141282760990987214527559375462741282125136503574350037730674860021",
        "param-latex": "$c_{6}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "1/2"
      },
      "argument": {
        "type": "rational",
        "value": "1/2"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "0.06249321838219945865036586748837100868917270009188225248725964787495066088395372718403419780473922830",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "0.2495660400366597214193598483103401318023527752790453715893695046816025858430386535727318088538281783",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "2"
      },
      "argument": {
        "type": "rational",
        "value": "2"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "0.9722916273066612061040322202263559585658425538127881718589185834903086837900162809013616225530686162",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "3"
      },
      "argument": {
        "type": "rational",
        "value": "3"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "1.937586785266042766896808122272260201255401361731857960114925730429784360143602255646414911522471658",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "5"
      },
      "argument": {
        "type": "rational",
        "value": "5"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "0.1160343815502003780972955427569909301216025636837982427808694694141204312503199884263613708977484538",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "8"
      },
      "argument": {
        "type": "rational",
        "value": "8"
      },
      "role": "order-zero sparse reference radii, not a mesh",
      "origin": "balanced expansion",
      "entry": "-35.01672516488151242593018664105320141310452583891108792270611320573420503028851770593856003993236546",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "sqrt(2)"
      },
      "argument": {
        "type": "scaled_sqrt",
        "factor": "1",
        "radicand": "2"
      },
      "role": "equal real/imaginary rotated Bessel arguments at integer scale",
      "origin": "balanced expansion",
      "label": "$\\sqrt{2}$",
      "entry": {
        "number": "0.4965299476091221321664597212252381995017918165852524521031038236623926969950530814585207149974268276",
        "param-latex": "$\\sqrt{2}$"
      },
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "2*sqrt(2)"
      },
      "argument": {
        "type": "scaled_sqrt",
        "factor": "2",
        "radicand": "2"
      },
      "role": "equal real/imaginary rotated Bessel arguments at integer scale",
      "origin": "balanced expansion",
      "label": "$2\\sqrt{2}$",
      "entry": {
        "number": "1.779994964834214684710805944217178987620800366054518806025489261471167515455083568462278787727934538",
        "param-latex": "$2\\sqrt{2}$"
      },
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "4*sqrt(2)"
      },
      "argument": {
        "type": "scaled_sqrt",
        "factor": "4",
        "radicand": "2"
      },
      "role": "equal real/imaginary rotated Bessel arguments at integer scale",
      "origin": "balanced expansion",
      "label": "$4\\sqrt{2}$",
      "entry": {
        "number": "-4.028212625104030656651303290786111179570383612706525398758160633897248013049279529230477636377619874",
        "param-latex": "$4\\sqrt{2}$"
      },
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument for adjacent integer orders and elementary half order",
      "origin": "balanced expansion",
      "entry": "0.3075566313755365543785453842939948798033749089816101337625913212056584163263203037103898891026431037",
      "digits": 100
    },
    {
      "params": {
        "nu": "2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument for adjacent integer orders and elementary half order",
      "origin": "balanced expansion",
      "entry": "-0.1246745356785978009476409620662408752414531709208053814096522997414385283808948575316824576737900996",
      "digits": 100
    },
    {
      "params": {
        "nu": "3",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument for adjacent integer orders and elementary half order",
      "origin": "balanced expansion",
      "entry": "0.01562876861101883704550351733451124682946007511863935291568297397407901626853432687243471110174326383",
      "digits": 100
    },
    {
      "params": {
        "nu": "1/2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument for adjacent integer orders and elementary half order",
      "origin": "balanced expansion",
      "entry": "0.7818372947718867299758336033612245647942149931315916956984049697978589275385554610995032645453061512",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "2"
      },
      "argument": {
        "type": "rational",
        "value": "2"
      },
      "role": "order-one companion for radial derivative relations",
      "origin": "balanced expansion",
      "entry": "0.2997754370020335149943343693350756889551252359719146763057677745821306269680007011496589381199663007",
      "digits": 100
    }
  ],
  "baseline_revision": "19f0e253182778508b8f58ed740894c1fc1c54128855f2c5a2644c70bf27a218",
  "baseline_captured_utc": "2026-10-27T00:49:00.502272+00:00",
  "rationale": "it preserves the existing order-zero extremal heights and finite initial value where present. Order zero gains the sparse references $x=1/2,1,2,3,5,8$ and $x=\\sqrt2,2\\sqrt2,4\\sqrt2$. The latter give equal integer-sized real and imaginary components in the rotated Bessel argument; this is a normalization-based reference, not a universal physical scale. Orders $1,2,3,1/2$ are sampled only at $x=1$, with order $1$ also at $x=2$, to cover adjacent integer-order relations and the elementary half-order reduction. These finite exploratory slices avoid a Cartesian grid and make no demand claim for each radius",
  "sources": [
    "https://dlmf.nist.gov/10.61",
    "https://dlmf.nist.gov/10.63",
    "https://dlmf.nist.gov/10.73"
  ],
  "retained_source_sha256": {
    "build-handoff.md": "61736b626f589405a1c07a9cc4313a08901df6baffe23d87c32eaf6b0d1de489",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "checks-evidence.json": "4f7c73889bafd5d1eeee1a22596d41460fdd03a6efb50e144f7846e17fa8982d",
    "checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
    "document.json": "1706f64ddcb9b132f473e8269e197ac9430cb7818b516a2ced8852ccb40e98a3",
    "dry-run.txt": "5b2fd2419ee4be324c39e758635da332e781c93961e2a81d0c6b4a0c37504ce6",
    "generate.py": "c36ded2adb9aa7a1ffa803c71017b24b9af8bba76673e98de730f413148fc53d",
    "intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
    "local-checks.txt": "22e4b1e6533919dc589030f30c77913adea94954482fa7de4b80cdf36e198fe1",
    "program-checks.txt": "eaaf06ba15b1660ca05b58a5d10085329585176d51b669328f93da03160d024f",
    "selection.json": "75786b499823d82b1c6c0fefc09209fa5cd5bf8d8bde7ab24be1d404eb9e4e65",
    "selection.md": "0a0e48a3a4098a1cca0621ddf2c081076e007fc9caffb9288ecb1f3926ba301f",
    "stored-checks.txt": "da6371d9b40e61a01b54aab24ecf1ba7b38a386f485a878547123ad71c73af6f",
    "versions.json": "2d81da995d44c5dc06cb73223c0b7e272b660f37b9bd02d70ce5d5fcba630b4a"
  },
  "critical_source_sha256": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184"
}