mathieu-checks.json

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

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

{
  "tid": "T438",
  "rows": [
    {
      "parameters": {
        "n": "1",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "1",
        "q": "1",
        "z": "1/2"
      },
      "written": "1.108009466037005171668883637723350942670449565835476519722068346018174983322197534318245264880339317",
      "ode_error_ulps": "0.083124753542320792117"
    },
    {
      "parameters": {
        "n": "2",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "2",
        "q": "1",
        "z": "1/2"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "3",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "3",
        "q": "1",
        "z": "1/2"
      },
      "written": "-0.9462397597698016326301759892761538795337435324460417876958263019513586850193138589675060576890870970",
      "ode_error_ulps": "0.40541825231588465704"
    },
    {
      "parameters": {
        "n": "4",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "4",
        "q": "1",
        "z": "1/2"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "5",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "5",
        "q": "1",
        "z": "1/2"
      },
      "written": "0.9796430728792083711989559625268215536033136521341894628530725758198548128876665930436491442109323503",
      "ode_error_ulps": "0.39127650821825623188"
    },
    {
      "parameters": {
        "n": "6",
        "q": "1",
        "z": "0"
      },
      "written": "0",
      "ode_error_ulps": "0.0"
    },
    {
      "parameters": {
        "n": "6",
        "q": "1",
        "z": "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
}