files / problems / hilbert16-limit-cycles / compute / q1 / c-chebyshev / certs / chebyshev.json

2.5 KB · on GitHub

{
  "named_T_m": {
    "0": [
      1
    ],
    "1": [
      0,
      1
    ],
    "2": [
      -1,
      0,
      2
    ],
    "3": [
      0,
      -3,
      0,
      4
    ],
    "4": [
      1,
      0,
      -8,
      0,
      8
    ],
    "5": [
      0,
      5,
      0,
      -20,
      0,
      16
    ]
  },
  "pell_identity_m": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16
  ],
  "T_pm_1": {
    "1": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "2": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "3": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "4": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "5": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "6": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "7": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "8": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "9": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "10": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "11": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "12": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "13": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "14": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    },
    "15": {
      "T_at_1": 1,
      "T_at_-1": -1,
      "expected_T_1": 1,
      "expected_T_-1": -1
    },
    "16": {
      "T_at_1": 1,
      "T_at_-1": 1,
      "expected_T_1": 1,
      "expected_T_-1": 1
    }
  },
  "Tprime_roots_in_(-1,1)": {
    "2": 1,
    "3": 2,
    "4": 3,
    "5": 4,
    "6": 5,
    "7": 6,
    "8": 7,
    "9": 8,
    "10": 9,
    "11": 10,
    "12": 11,
    "13": 12,
    "14": 13,
    "15": 14,
    "16": 15
  },
  "lemma3_checked_m": [
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16
  ]
}