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

2.5 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]
  }
}