balanced-selection.json

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

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

{
  "tid": "T492",
  "kind": "struveh",
  "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": [
          "2025/1024",
          "1013/512"
        ]
      },
      "entry": {
        "number": "0.7909687719198929225138069805538998077694051064800173282438079358644946229614482078928190764412733063",
        "param-latex": "$c_{1}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "5619/1024",
          "1405/256"
        ]
      },
      "entry": {
        "number": "-0.2268761587374463267889574552506960608050668645285051414166588755501960481825629264113734184337629129",
        "param-latex": "$c_{2}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "4385/512",
          "8771/1024"
        ]
      },
      "entry": {
        "number": "0.3447409745070508619983657063601800460052249270305289938971778388295397689030089868822152782041583495",
        "param-latex": "$c_{3}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "12051/1024",
          "3013/256"
        ]
      },
      "entry": {
        "number": "-0.1786917666761634960366846841666848876594674561524079967209337778067421683121396549380169737171101999",
        "param-latex": "$c_{4}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "1905/128",
          "15241/1024"
        ]
      },
      "entry": {
        "number": "0.2491145753273138953561737302041158520798811355701787761652515838425709132388011463498560719865089876",
        "param-latex": "$c_{5}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "18487/1024",
          "2311/128"
        ]
      },
      "entry": {
        "number": "-0.1525619773841306370877494109598955192175744209539345853467558929600080885368186950088054846618822633",
        "param-latex": "$c_{6}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "0"
      },
      "argument": {
        "type": "rational",
        "value": "0"
      },
      "entry": "0",
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-1"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "929/256",
          "3717/1024"
        ]
      },
      "entry": {
        "number": "1.094735275025846542473444436836938775717366353215959125090076073625455931395478232268847874885789703",
        "param-latex": "$c_{1}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-2"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "7119/1024",
          "445/64"
        ]
      },
      "entry": {
        "number": "0.3459791306973964822106811924522236099023229710431721367936678050563785543733401937030965154437260278",
        "param-latex": "$c_{2}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-3"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "10361/1024",
          "5181/512"
        ]
      },
      "entry": {
        "number": "0.8935857641423305384001203068273204882656225181351675818893335026392184808473779810952044736579690161",
        "param-latex": "$c_{3}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-4"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "13607/1024",
          "1701/128"
        ]
      },
      "entry": {
        "number": "0.4211941513488293225894222592668124725748557389763436940170773442501046283049613423493573237203991540",
        "param-latex": "$c_{4}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-5"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "16833/1024",
          "8417/512"
        ]
      },
      "entry": {
        "number": "0.8357781775068627420453999853511403360206525533559774987247269423902682302073622862118314699858793421",
        "param-latex": "$c_{5}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "critical-6"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "20061/1024",
          "10031/512"
        ]
      },
      "entry": {
        "number": "0.4579686068429420508062404906046690888537048326897746431807366120183128345273134831638535083765412840",
        "param-latex": "$c_{6}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "1/2"
      },
      "argument": {
        "type": "rational",
        "value": "1/2"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.3095559145837547181640731567486780257723048810891822447101994837939990326768417617820039224303374548",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.5686566270482879509864228863223532743026778272555587381111952989827924343658033118878157159186508343",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "2"
      },
      "argument": {
        "type": "rational",
        "value": "2"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.7908588495080958925516676824833390825127057075765193232166240178714817966724700633983008468994556730",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "3"
      },
      "argument": {
        "type": "rational",
        "value": "3"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.5743061488143983979756175433066279369885366610067159425630180900885167336784432276852621954975802937",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "5"
      },
      "argument": {
        "type": "rational",
        "value": "5"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "-0.1852168157766848901057186921439789100378565572275162151406693225220514033573363973771441454875085838",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "8"
      },
      "argument": {
        "type": "rational",
        "value": "8"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.3019881117101377668915517163203120783455477726750176555664902628556142042595817253091472559708342781",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "1/2"
      },
      "argument": {
        "type": "rational",
        "value": "1/2"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.05217374424234107037559789471257600041045499143139962824212401661462117263931690624083194397303856788",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.1984573362019443989353381326480237720460574512008611700027443444545899117388418510243473814725107408",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "2"
      },
      "argument": {
        "type": "rational",
        "value": "2"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.6467637282835621171228332858530973836621359647507871419997160136486246856334351083412552529172976619",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "3"
      },
      "argument": {
        "type": "rational",
        "value": "3"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "1.020109569186450360812823159076296095691138265063217900005751115798995352584333756301650648720362482",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "5"
      },
      "argument": {
        "type": "rational",
        "value": "5"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.8078119457940644415036446898345495769055795689964175101063283476363927604280116938414924410446071380",
      "digits": 100
    },
    {
      "params": {
        "nu": "1",
        "x": "8"
      },
      "argument": {
        "type": "rational",
        "value": "8"
      },
      "role": "low-order sine or hyperbolic-sine integral reference",
      "origin": "balanced expansion",
      "entry": "0.4881160461214211402672246421251974779519725752519392378973258185417650202750671676558181744484351357",
      "digits": 100
    },
    {
      "params": {
        "nu": "2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.04046463614479462790943173013704675250204993613343886689118318200491645262418243694769745071470809533",
      "digits": 100
    },
    {
      "params": {
        "nu": "3",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.005842526535072868907424458132833734504664865530349350561366341980781711460348306123806102123989130054",
      "digits": 100
    },
    {
      "params": {
        "nu": "4",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.0006535685167624078501201144074800111748710530768651011912117210820175036668303154176196878488934692245",
      "digits": 100
    },
    {
      "params": {
        "nu": "1/2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.3667856927844892763593711525702303368636612516412524106794800609884366562532374559515787489453240531",
      "digits": 100
    },
    {
      "params": {
        "nu": "3/2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.09433126604411886388295320046414512479387906603684115508602707316664734478735143091867458211563434287",
      "digits": 100
    },
    {
      "params": {
        "nu": "5/2",
        "x": "1"
      },
      "argument": {
        "type": "rational",
        "value": "1"
      },
      "role": "unit argument along integer and half-integer order recurrences",
      "origin": "balanced expansion",
      "entry": "0.01594367544822548477447496380580050463694060426050471899508261592916985958364229642975808087840570964",
      "digits": 100
    },
    {
      "params": {
        "nu": "1/2",
        "x": "2"
      },
      "argument": {
        "type": "rational",
        "value": "2"
      },
      "role": "elementary half-order reference",
      "origin": "balanced expansion",
      "entry": "0.7989752939540047561221141353541837957980771385359496808215658612760263126623797470627506952274063638",
      "digits": 100
    },
    {
      "params": {
        "nu": "1/2",
        "x": "3"
      },
      "argument": {
        "type": "rational",
        "value": "3"
      },
      "role": "elementary half-order reference",
      "origin": "balanced expansion",
      "entry": "0.9167076867564138178671594549208015901037289345869471980845846661478014838390940474153858356109092581",
      "digits": 100
    },
    {
      "params": {
        "nu": "1/2",
        "x": "5"
      },
      "argument": {
        "type": "rational",
        "value": "5"
      },
      "role": "elementary half-order reference",
      "origin": "balanced expansion",
      "entry": "0.2556071140454458233427330975215717863690821652304881890596812597450560659842010849885831693627043430",
      "digits": 100
    }
  ],
  "baseline_revision": "ce8ef3365bd613139f096ead2f5ab0128f7acd7a0a06b8a310708db4046048c2",
  "baseline_captured_utc": "2026-10-27T00:49:01.313323+00:00",
  "rationale": "it preserves all existing values and uses the integral-representation pair of orders $0,1$ at $x=0,1/2,1,2,3,5,8$, with orders $2,3,4,1/2,3/2,5/2$ at $x=1$ and order $1/2$ also at $x=2,3,5$. The integer-order recurrences and elementary half-order formulas give structural breadth. The positive radii are sparse, bounded exploratory references for the sine or hyperbolic-sine integrals, not a mesh or documented demand for every argument. Exact origin values remain exact",
  "sources": [
    "https://dlmf.nist.gov/11.2",
    "https://dlmf.nist.gov/11.4",
    "https://dlmf.nist.gov/11.5"
  ],
  "retained_source_sha256": {
    "T492-repair-checks.json": "6fabe921e93935c5f68aa32fcda7fff9bfc11cfbe0b9893015f254972f6129dd",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "check_t492_repair.py": "afa6ddd6fb736cbc92e5e46737b33118e8d8a543a346bbc49af3080aa96af21b",
    "checks-evidence.json": "05cfa0738719a7f6844edee2e9b05313301414d5169ab0e18bdb44910abcff24",
    "checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
    "generate.py": "466946e4855044e92ad3252f7eddfe4f30726f6b677f8f4c34bcb6ff803ae145",
    "intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
    "preflight-evidence.json": "0274dda4c5bc79464bcdfaa0f5475d43e631609bfc9d61c28dee8f45445393a5",
    "preflight-summary.json": "bc1220d1c05b4aae4ffac0375dffde7c5e7406f245402ea0628867bb293d73c4",
    "selection.json": "ff0174da170491401fe1c2cf4408da133377f5b2c56aa7ed62d11b75a9585c58",
    "selection.md": "b95b7326b1f767164c381db1690d3d4c8916f2f1e2a5d696c2352db6ed806ec5"
  },
  "critical_source_sha256": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184"
}