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

4.1 KB · on GitHub

{
  "deg_Y": 11,
  "deg_Yu": 11,
  "deg_Yv": 11,
  "deg_X": 3,
  "conjugacy": true,
  "H11_from_this_field": 9,
  "beats_HanLi_153": false,
  "nine_ovals": true,
  "T3_at_1": [
    1,
    1
  ],
  "T3_at_-1": [
    -1,
    1
  ],
  "T3_at_1/2": [
    -1,
    1
  ],
  "T3_at_-1/2": [
    1,
    1
  ],
  "L_Ch": {
    "11": 148,
    "13": 212,
    "14": 252,
    "15": 296,
    "17": 384,
    "19": 480,
    "20": 477,
    "21": 568,
    "23": 666,
    "24": 700,
    "25": 628,
    "26": 864,
    "27": 848,
    "29": 1080,
    "31": 1380,
    "35": 1536,
    "39": 2012,
    "43": 2272
  },
  "beats_four": [],
  "table1_L_Ch_match": true,
  "four": {
    "14": 252,
    "29": 1080,
    "31": 1380,
    "39": 2012
  },
  "Y_u_monomials": [
    {
      "u": 0,
      "v": 1,
      "num": 9,
      "den": 1
    },
    {
      "u": 1,
      "v": 0,
      "num": 9,
      "den": 4
    },
    {
      "u": 0,
      "v": 3,
      "num": -48,
      "den": 1
    },
    {
      "u": 1,
      "v": 2,
      "num": -90,
      "den": 1
    },
    {
      "u": 3,
      "v": 0,
      "num": -84,
      "den": 1
    },
    {
      "u": 0,
      "v": 5,
      "num": 48,
      "den": 1
    },
    {
      "u": 1,
      "v": 4,
      "num": 540,
      "den": 1
    },
    {
      "u": 3,
      "v": 2,
      "num": 444,
      "den": 1
    },
    {
      "u": 5,
      "v": 0,
      "num": 324,
      "den": 1
    },
    {
      "u": 1,
      "v": 6,
      "num": -1008,
      "den": 1
    },
    {
      "u": 3,
      "v": 4,
      "num": -720,
      "den": 1
    },
    {
      "u": 5,
      "v": 2,
      "num": -1296,
      "den": 1
    },
    {
      "u": 7,
      "v": 0,
      "num": -432,
      "den": 1
    },
    {
      "u": 1,
      "v": 8,
      "num": 576,
      "den": 1
    },
    {
      "u": 3,
      "v": 6,
      "num": 1344,
      "den": 1
    },
    {
      "u": 7,
      "v": 2,
      "num": 1728,
      "den": 1
    },
    {
      "u": 9,
      "v": 0,
      "num": 192,
      "den": 1
    },
    {
      "u": 3,
      "v": 8,
      "num": -768,
      "den": 1
    },
    {
      "u": 9,
      "v": 2,
      "num": -768,
      "den": 1
    }
  ],
  "Y_v_monomials": [
    {
      "u": 0,
      "v": 1,
      "num": 9,
      "den": 4
    },
    {
      "u": 1,
      "v": 0,
      "num": -9,
      "den": 1
    },
    {
      "u": 0,
      "v": 3,
      "num": -84,
      "den": 1
    },
    {
      "u": 2,
      "v": 1,
      "num": -90,
      "den": 1
    },
    {
      "u": 3,
      "v": 0,
      "num": 48,
      "den": 1
    },
    {
      "u": 0,
      "v": 5,
      "num": 324,
      "den": 1
    },
    {
      "u": 2,
      "v": 3,
      "num": 444,
      "den": 1
    },
    {
      "u": 4,
      "v": 1,
      "num": 540,
      "den": 1
    },
    {
      "u": 5,
      "v": 0,
      "num": -48,
      "den": 1
    },
    {
      "u": 0,
      "v": 7,
      "num": -432,
      "den": 1
    },
    {
      "u": 2,
      "v": 5,
      "num": -1296,
      "den": 1
    },
    {
      "u": 4,
      "v": 3,
      "num": -720,
      "den": 1
    },
    {
      "u": 6,
      "v": 1,
      "num": -1008,
      "den": 1
    },
    {
      "u": 0,
      "v": 9,
      "num": 192,
      "den": 1
    },
    {
      "u": 2,
      "v": 7,
      "num": 1728,
      "den": 1
    },
    {
      "u": 6,
      "v": 3,
      "num": 1344,
      "den": 1
    },
    {
      "u": 8,
      "v": 1,
      "num": 576,
      "den": 1
    },
    {
      "u": 2,
      "v": 9,
      "num": -768,
      "den": 1
    },
    {
      "u": 8,
      "v": 3,
      "num": -768,
      "den": 1
    }
  ],
  "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
    ],
    "6": [
      -1,
      0,
      18,
      0,
      -48,
      0,
      32
    ],
    "7": [
      0,
      -7,
      0,
      56,
      0,
      -112,
      0,
      64
    ],
    "8": [
      1,
      0,
      -32,
      0,
      160,
      0,
      -256,
      0,
      128
    ]
  }
}