files / problems / hilbert16-limit-cycles / compute / q2 / q-pt-darboux / certs / identities.json
{
"centers": {
"dets": [
44,
64,
64
],
"points": [
[
0,
0
],
[
1,
2
],
[
1,
-2
]
],
"traces": [
0,
0,
0
]
},
"claim": "unperturbed PT Darboux field of degree 4 with three linear centers and dH/dt = 0; quadratic line-restriction and Vandermonde identities; Shi has two real finite equilibria",
"cubic20": {
"H": [
{
"coeff": "2",
"y": 2
},
{
"coeff": "-1",
"y": 4
},
{
"coeff": "2",
"x": 2
},
{
"coeff": "-4",
"x": 3
},
{
"coeff": "-8",
"x": 4
}
],
"P": [
{
"coeff": "-1",
"y": 1
},
{
"coeff": "1",
"y": 3
}
],
"Q": [
{
"coeff": "1",
"x": 1
},
{
"coeff": "-3",
"x": 2
},
{
"coeff": "-8",
"x": 3
}
],
"collinear_equilibria": 3,
"dHdt": [],
"origin_det": 1,
"origin_trace": 0,
"variables": [
"x",
"y"
]
},
"darboux": {
"A": [
{
"coeff": "-2"
},
{
"coeff": "1",
"y": 2
},
{
"coeff": "-2",
"x": 1
},
{
"coeff": "-1",
"x": 2
},
{
"coeff": "2",
"x": 4
}
],
"B": [
{
"coeff": "-4"
},
{
"coeff": "-5",
"x": 1
},
{
"coeff": "5",
"x": 1,
"y": 2
},
{
"coeff": "-10",
"x": 2
},
{
"coeff": "-5",
"x": 3
},
{
"coeff": "8",
"x": 5
}
],
"P": [
{
"coeff": "4",
"y": 1
},
{
"coeff": "-3",
"x": 1,
"y": 1
},
{
"coeff": "-1",
"x": 1,
"y": 3
},
{
"coeff": "2",
"x": 2,
"y": 1
},
{
"coeff": "1",
"x": 3,
"y": 1
}
],
"P_raw": [
{
"coeff": "40",
"y": 1
},
{
"coeff": "-30",
"x": 1,
"y": 1
},
{
"coeff": "-10",
"x": 1,
"y": 3
},
{
"coeff": "20",
"x": 2,
"y": 1
},
{
"coeff": "10",
"x": 3,
"y": 1
}
],
"Q": [
{
"coeff": "6",
"y": 2
},
{
"coeff": "-2",
"y": 4
},
{
"coeff": "-11",
"x": 1
},
{
"coeff": "7",
"x": 1,
"y": 2
},
{
"coeff": "-15",
"x": 2
},
{
"coeff": "3",
"x": 2,
"y": 2
},
{
"coeff": "-21",
"x": 3
},
{
"coeff": "15",
"x": 4
}
],
"Q_raw": [
{
"coeff": "60",
"y": 2
},
{
"coeff": "-20",
"y": 4
},
{
"coeff": "-110",
"x": 1
},
{
"coeff": "70",
"x": 1,
"y": 2
},
{
"coeff": "-150",
"x": 2
},
{
"coeff": "30",
"x": 2,
"y": 2
},
{
"coeff": "-210",
"x": 3
},
{
"coeff": "150",
"x": 4
}
],
"content": 10,
"dHdt_numer": [],
"deg_P": 4,
"deg_Q": 4,
"inner": [
{
"coeff": "4"
},
{
"coeff": "-3",
"x": 1
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "2",
"x": 2
},
{
"coeff": "1",
"x": 3
}
],
"variables": [
"x",
"y"
]
},
"line": {
"P_on_y0": [
{
"a00": 1,
"coeff": "1"
},
{
"a10": 1,
"coeff": "1",
"t": 1
},
{
"a20": 1,
"coeff": "1",
"t": 2
}
],
"Q_on_y0": [
{
"b00": 1,
"coeff": "1"
},
{
"b10": 1,
"coeff": "1",
"t": 1
},
{
"b20": 1,
"coeff": "1",
"t": 2
}
],
"deg_P": 2,
"deg_Q": 2,
"variables": [
"t",
"a00",
"a10",
"a20",
"b00",
"b10",
"b20"
]
},
"resultant": {
"deg_x": 4,
"res_y": [
{
"a02": 2,
"b00": 2,
"coeff": "1"
},
{
"a01": 1,
"a02": 1,
"b00": 1,
"b01": 1,
"coeff": "-1"
},
{
"a01": 2,
"b00": 1,
"b02": 1,
"coeff": "1"
},
{
"a00": 1,
"a02": 1,
"b01": 2,
"coeff": "1"
},
{
"a00": 1,
"a02": 1,
"b00": 1,
"b02": 1,
"coeff": "-2"
},
{
"a00": 1,
"a01": 1,
"b01": 1,
"b02": 1,
"coeff": "-1"
},
{
"a00": 2,
"b02": 2,
"coeff": "1"
},
{
"a02": 2,
"b00": 1,
"b10": 1,
"coeff": "2",
"x": 1
},
{
"a02": 1,
"a11": 1,
"b00": 1,
"b01": 1,
"coeff": "-1",
"x": 1
},
{
"a01": 1,
"a02": 1,
"b01": 1,
"b10": 1,
"coeff": "-1",
"x": 1
},
{
"a01": 1,
"a02": 1,
"b00": 1,
"b11": 1,
"coeff": "-1",
"x": 1
},
{
"a01": 1,
"a11": 1,
"b00": 1,
"b02": 1,
"coeff": "2",
"x": 1
},
{
"a01": 2,
"b02": 1,
"b10": 1,
"coeff": "1",
"x": 1
},
{
"a02": 1,
"a10": 1,
"b01": 2,
"coeff": "1",
"x": 1
},
{
"a02": 1,
"a10": 1,
"b00": 1,
"b02": 1,
"coeff": "-2",
"x": 1
},
{
"a01": 1,
"a10": 1,
"b01": 1,
"b02": 1,
"coeff": "-1",
"x": 1
},
{
"a00": 1,
"a02": 1,
"b01": 1,
"b11": 1,
"coeff": "2",
"x": 1
},
{
"a00": 1,
"a02": 1,
"b02": 1,
"b10": 1,
"coeff": "-2",
"x": 1
},
{
"a00": 1,
"a11": 1,
"b01": 1,
"b02": 1,
"coeff": "-1",
"x": 1
},
{
"a00": 1,
"a01": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 1
},
{
"a00": 1,
"a10": 1,
"b02": 2,
"coeff": "2",
"x": 1
},
{
"a02": 2,
"b10": 2,
"coeff": "1",
"x": 2
},
{
"a02": 2,
"b00": 1,
"b20": 1,
"coeff": "2",
"x": 2
},
{
"a02": 1,
"a11": 1,
"b01": 1,
"b10": 1,
"coeff": "-1",
"x": 2
},
{
"a02": 1,
"a11": 1,
"b00": 1,
"b11": 1,
"coeff": "-1",
"x": 2
},
{
"a11": 2,
"b00": 1,
"b02": 1,
"coeff": "1",
"x": 2
},
{
"a02": 1,
"a20": 1,
"b01": 2,
"coeff": "1",
"x": 2
},
{
"a02": 1,
"a20": 1,
"b00": 1,
"b02": 1,
"coeff": "-2",
"x": 2
},
{
"a01": 1,
"a02": 1,
"b01": 1,
"b20": 1,
"coeff": "-1",
"x": 2
},
{
"a01": 1,
"a02": 1,
"b10": 1,
"b11": 1,
"coeff": "-1",
"x": 2
},
{
"a01": 1,
"a11": 1,
"b02": 1,
"b10": 1,
"coeff": "2",
"x": 2
},
{
"a01": 1,
"a20": 1,
"b01": 1,
"b02": 1,
"coeff": "-1",
"x": 2
},
{
"a01": 2,
"b02": 1,
"b20": 1,
"coeff": "1",
"x": 2
},
{
"a02": 1,
"a10": 1,
"b01": 1,
"b11": 1,
"coeff": "2",
"x": 2
},
{
"a02": 1,
"a10": 1,
"b02": 1,
"b10": 1,
"coeff": "-2",
"x": 2
},
{
"a10": 1,
"a11": 1,
"b01": 1,
"b02": 1,
"coeff": "-1",
"x": 2
},
{
"a01": 1,
"a10": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 2
},
{
"a10": 2,
"b02": 2,
"coeff": "1",
"x": 2
},
{
"a00": 1,
"a02": 1,
"b11": 2,
"coeff": "1",
"x": 2
},
{
"a00": 1,
"a02": 1,
"b02": 1,
"b20": 1,
"coeff": "-2",
"x": 2
},
{
"a00": 1,
"a11": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 2
},
{
"a00": 1,
"a20": 1,
"b02": 2,
"coeff": "2",
"x": 2
},
{
"a02": 2,
"b10": 1,
"b20": 1,
"coeff": "2",
"x": 3
},
{
"a02": 1,
"a11": 1,
"b01": 1,
"b20": 1,
"coeff": "-1",
"x": 3
},
{
"a02": 1,
"a11": 1,
"b10": 1,
"b11": 1,
"coeff": "-1",
"x": 3
},
{
"a11": 2,
"b02": 1,
"b10": 1,
"coeff": "1",
"x": 3
},
{
"a02": 1,
"a20": 1,
"b01": 1,
"b11": 1,
"coeff": "2",
"x": 3
},
{
"a02": 1,
"a20": 1,
"b02": 1,
"b10": 1,
"coeff": "-2",
"x": 3
},
{
"a11": 1,
"a20": 1,
"b01": 1,
"b02": 1,
"coeff": "-1",
"x": 3
},
{
"a01": 1,
"a02": 1,
"b11": 1,
"b20": 1,
"coeff": "-1",
"x": 3
},
{
"a01": 1,
"a11": 1,
"b02": 1,
"b20": 1,
"coeff": "2",
"x": 3
},
{
"a01": 1,
"a20": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 3
},
{
"a02": 1,
"a10": 1,
"b11": 2,
"coeff": "1",
"x": 3
},
{
"a02": 1,
"a10": 1,
"b02": 1,
"b20": 1,
"coeff": "-2",
"x": 3
},
{
"a10": 1,
"a11": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 3
},
{
"a10": 1,
"a20": 1,
"b02": 2,
"coeff": "2",
"x": 3
},
{
"a02": 2,
"b20": 2,
"coeff": "1",
"x": 4
},
{
"a02": 1,
"a11": 1,
"b11": 1,
"b20": 1,
"coeff": "-1",
"x": 4
},
{
"a11": 2,
"b02": 1,
"b20": 1,
"coeff": "1",
"x": 4
},
{
"a02": 1,
"a20": 1,
"b11": 2,
"coeff": "1",
"x": 4
},
{
"a02": 1,
"a20": 1,
"b02": 1,
"b20": 1,
"coeff": "-2",
"x": 4
},
{
"a11": 1,
"a20": 1,
"b02": 1,
"b11": 1,
"coeff": "-1",
"x": 4
},
{
"a20": 2,
"b02": 2,
"coeff": "1",
"x": 4
}
],
"variables": [
"x",
"a00",
"a10",
"a01",
"a20",
"a11",
"a02",
"b00",
"b10",
"b01",
"b20",
"b11",
"b02"
]
},
"schema": "hilbert16-q-pt-darboux/v1",
"shi": {
"P": [
{
"coeff": "-1",
"y": 1
},
{
"coeff": "1",
"y": 2
},
{
"coeff": "5",
"x": 1,
"y": 1
},
{
"coeff": "-10",
"x": 2
}
],
"Q": [
{
"coeff": "1",
"x": 1
},
{
"coeff": "-25",
"x": 1,
"y": 1
},
{
"coeff": "1",
"x": 2
}
],
"leftover_discriminant": -577500,
"real_equilibria": [
[
0,
0
],
[
0,
1
]
],
"res_y": [
{
"coeff": "-24",
"x": 2
},
{
"coeff": "102",
"x": 3
},
{
"coeff": "-6124",
"x": 4
}
],
"variables": [
"x",
"y"
]
},
"vandermonde": {
"claimed_det": [
{
"coeff": "1",
"t2": 1,
"t3": 2
},
{
"coeff": "-1",
"t2": 2,
"t3": 1
},
{
"coeff": "-1",
"t1": 1,
"t3": 2
},
{
"coeff": "1",
"t1": 1,
"t2": 2
},
{
"coeff": "1",
"t1": 2,
"t3": 1
},
{
"coeff": "-1",
"t1": 2,
"t2": 1
}
],
"det": [
{
"coeff": "1",
"t2": 1,
"t3": 2
},
{
"coeff": "-1",
"t2": 2,
"t3": 1
},
{
"coeff": "-1",
"t1": 1,
"t3": 2
},
{
"coeff": "1",
"t1": 1,
"t2": 2
},
{
"coeff": "1",
"t1": 2,
"t3": 1
},
{
"coeff": "-1",
"t1": 2,
"t2": 1
}
],
"variables": [
"t1",
"t2",
"t3"
]
}
}