files / problems / hilbert16-limit-cycles / compute / q3 / oo-five-zeros / certs / identities.json

2.3 KB · on GitHub

{
  "circles": {
    "Hnum": [
      {
        "coeff": "1",
        "y": 2
      },
      {
        "coeff": "1",
        "x": 2
      }
    ],
    "P": [
      {
        "coeff": "1",
        "y": 1
      }
    ],
    "Qfield": [
      {
        "coeff": "-1",
        "x": 1
      }
    ],
    "dHdt": [],
    "variables": [
      "x",
      "y"
    ]
  },
  "circles_forms": {
    "I_tilde": [
      {
        "alpha": 1,
        "coeff": "1",
        "h": 1
      },
      {
        "coeff": "-2",
        "h": 2
      }
    ],
    "Q": [
      {
        "alpha": 1,
        "coeff": "1",
        "y": 1
      },
      {
        "coeff": "-1",
        "y": 3
      },
      {
        "coeff": "-1",
        "x": 2,
        "y": 1
      }
    ],
    "Q_alpha1": [
      {
        "coeff": "1",
        "y": 1
      },
      {
        "coeff": "-1",
        "y": 3
      },
      {
        "coeff": "-1",
        "x": 2,
        "y": 1
      }
    ],
    "oval_residual": [],
    "variables_I": [
      "h",
      "alpha"
    ],
    "variables_Q": [
      "x",
      "y",
      "alpha"
    ],
    "variables_Q_alpha1": [
      "x",
      "y"
    ],
    "variables_oval": [
      "x",
      "y",
      "h",
      "alpha"
    ]
  },
  "cubic": {
    "H6": [
      {
        "coeff": "3",
        "y": 2
      },
      {
        "coeff": "-3",
        "x": 2
      },
      {
        "coeff": "2",
        "x": 3
      }
    ],
    "P": [
      {
        "coeff": "1",
        "y": 1
      }
    ],
    "Q": [
      {
        "coeff": "1",
        "x": 1
      },
      {
        "coeff": "-1",
        "x": 2
      }
    ],
    "dH6": [],
    "det": [
      {
        "coeff": "-1"
      },
      {
        "coeff": "2",
        "x": 1
      }
    ],
    "div": [],
    "pot_diff": [],
    "variables": [
      "x",
      "y"
    ]
  },
  "family": {
    "P_pert": [],
    "Q_pert": [
      {
        "coeff": "1",
        "mu": 1,
        "y": 1
      }
    ],
    "claimed": [
      {
        "coeff": "6",
        "mu": 1,
        "y": 2
      }
    ],
    "extra": [
      {
        "coeff": "6",
        "mu": 1,
        "y": 2
      }
    ],
    "trace": [
      {
        "coeff": "1",
        "mu": 1
      }
    ],
    "variables": [
      "x",
      "y",
      "mu"
    ]
  },
  "rectangles": {
    "area_den": 32,
    "area_num": -19
  },
  "schema": "hilbert16-oo-five-zeros-identities/v1"
}