mathieu-checks.json

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

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

{
  "tid": "T436",
  "rows": [
    {
      "parameters": {
        "q": "1",
        "n": "0"
      },
      "written": "-0.4551386041074135482326331875288858669165198421966654710317486675822261235164160470159425623418250589",
      "ode_error_ulps": "0.2222885387192919753"
    },
    {
      "parameters": {
        "q": "1",
        "n": "1"
      },
      "written": "1.859108072514363472329917512841423300127410341317695081625775769043966104074314694144409579202762489",
      "ode_error_ulps": "0.082047119707691555057"
    },
    {
      "parameters": {
        "q": "1",
        "n": "2"
      },
      "written": "4.371300982735085661171120918199422244868492771912378157766245915462346356167914760113086656176209254",
      "ode_error_ulps": "0.022918853113760296699"
    },
    {
      "parameters": {
        "q": "1",
        "n": "3"
      },
      "written": "9.078368847203101992542227389838886773846035067565821921475351184485590771532228511305502042807537785",
      "ode_error_ulps": "0.47708928030457771341"
    },
    {
      "parameters": {
        "q": "1",
        "n": "4"
      },
      "written": "16.03383234035951396115310292247387218351311829540466158126228671529568438517272883259055193928865027",
      "ode_error_ulps": "0.1176441326185505667"
    },
    {
      "parameters": {
        "q": "1",
        "n": "5"
      },
      "written": "25.02085434544858105321885332923390473871795259780880798928037652340677700614002341588557773473264703",
      "ode_error_ulps": "0.40960732981842670561"
    },
    {
      "parameters": {
        "q": "1",
        "n": "6"
      },
      "written": "36.01429004604049922203489434681190541280766028060644661189175650238832013276422730013130353709670056",
      "ode_error_ulps": "0.10946994540386976952"
    },
    {
      "parameters": {
        "q": "1",
        "n": "7"
      },
      "written": "49.01041825036485279618077257200961372365694752070295449051413140270824516896976883381858925789446006",
      "ode_error_ulps": "0.49403169949398796126"
    },
    {
      "parameters": {
        "q": "1",
        "n": "8"
      },
      "written": "64.00793718925467418869817603308066535182183622326957198192325631647331426322701336074013750443234299",
      "ode_error_ulps": "0.40278284791472445272"
    },
    {
      "parameters": {
        "q": "1",
        "n": "9"
      },
      "written": "81.00625032663259684324348148794582909327212528430737639890439786173206877812709196249076067328513169",
      "ode_error_ulps": "0.46536891809136482269"
    },
    {
      "parameters": {
        "q": "1",
        "n": "10"
      },
      "written": "100.0050506751594644392114505162757105040259099215869168613957919988409052483841699338935298735106845",
      "ode_error_ulps": "0.31136523095339874883"
    }
  ],
  "checked": 11,
  "fourier_profiles": [
    [
      190,
      140
    ],
    [
      240,
      180
    ]
  ],
  "ode_profiles": [
    [
      160,
      12,
      140
    ],
    [
      190,
      16,
      170
    ]
  ],
  "rigour": "heuristic (agreement-checked)",
  "controls_passed": true
}