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

1.2 KB · on GitHub

{
  "lemma5_samples": [
    {
      "n": 1,
      "m": 2,
      "X": "(x^1, 0)",
      "deg_Y": 3,
      "nm_plus_m_minus_1": 3
    },
    {
      "n": 2,
      "m": 2,
      "X": "(x^2, 0)",
      "deg_Y": 5,
      "nm_plus_m_minus_1": 5
    },
    {
      "n": 3,
      "m": 2,
      "X": "(x^3, 0)",
      "deg_Y": 7,
      "nm_plus_m_minus_1": 7
    },
    {
      "n": 3,
      "m": 3,
      "X": "(x^3, 0)",
      "deg_Y": 11,
      "nm_plus_m_minus_1": 11
    },
    {
      "n": 4,
      "m": 3,
      "X": "(x^4, 0)",
      "deg_Y": 14,
      "nm_plus_m_minus_1": 14
    },
    {
      "n": 5,
      "m": 2,
      "X": "(x^5, 0)",
      "deg_Y": 11,
      "nm_plus_m_minus_1": 11
    },
    {
      "n": 1,
      "m": 5,
      "X": "(x^1, 0)",
      "deg_Y": 9,
      "nm_plus_m_minus_1": 9
    },
    {
      "n": 6,
      "m": 2,
      "X": "(x^6, 0)",
      "deg_Y": 13,
      "nm_plus_m_minus_1": 13
    },
    {
      "n": 2,
      "m": 4,
      "X": "(x^2, 0)",
      "deg_Y": 11,
      "nm_plus_m_minus_1": 11
    },
    {
      "n": 3,
      "m": 3,
      "X": "(x^2 y, x^3)",
      "deg_Y": 11,
      "nm_plus_m_minus_1": 11
    },
    {
      "n": 4,
      "m": 2,
      "X": "(x^3 y, x^4)",
      "deg_Y": 9,
      "nm_plus_m_minus_1": 9
    }
  ]
}