mathieu-checks.json

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

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

{
  "tid": "T437",
  "rows": [
    {
      "parameters": {
        "n": "0",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "0.3848278293012990758474910248336609810122001980980129771942540534965181322934317893785426065085512022",
      "ode_error_ulps": "0.29358467949285141788"
    },
    {
      "parameters": {
        "n": "0",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "0.9984585148130366754367663964161154017571655255749563294584260830674955464046996460635322546691075099",
      "ode_error_ulps": "0.013357105060040915576"
    },
    {
      "parameters": {
        "n": "1",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "0.8565984655568863879714013816997302525844457432767607382129353601207054413699380816023324856144169994",
      "ode_error_ulps": "0.34044602706691262763"
    },
    {
      "parameters": {
        "n": "1",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "2",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "1.085961936889011546924767385620378072011519693447782476698897943964123549129497966910950761275966996",
      "ode_error_ulps": "0.10125137571694671311"
    },
    {
      "parameters": {
        "n": "2",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "-0.8157268390500981910410364475835156048612374738345507651348840568723567596284437793169191783646444570",
      "ode_error_ulps": "0.14479167732984618374"
    },
    {
      "parameters": {
        "n": "3",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "1.067235512293139057634005081113604434115619042284305661494052349771482143677247099559508070673225380",
      "ode_error_ulps": "0.14960982316479784251"
    },
    {
      "parameters": {
        "n": "3",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "4",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "1.035135158578013299358880261996245092179989550838456530416433246153553242642725047543447778695745992",
      "ode_error_ulps": "0.011514261312219968596"
    },
    {
      "parameters": {
        "n": "4",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "0.9678184211483232852243800907471627886512364432243628403491951919055736716901345141666567807451266179",
      "ode_error_ulps": "0.24344275177926225184"
    },
    {
      "parameters": {
        "n": "5",
        "q": "1",
        "z_over_pi": "0"
      },
      "written": "1.021420968168026927718090850744496800066685337240584406376150984932155365950329602171087119036779786",
      "ode_error_ulps": "0.26863154281899203785"
    },
    {
      "parameters": {
        "n": "5",
        "q": "1",
        "z_over_pi": "1/2"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    }
  ],
  "checked": 12,
  "fourier_profiles": [
    [
      190,
      140
    ],
    [
      240,
      180
    ]
  ],
  "ode_profiles": [
    [
      160,
      12,
      140
    ],
    [
      190,
      16,
      170
    ]
  ],
  "rigour": "heuristic (agreement-checked)",
  "controls_passed": true
}