files / problems / hilbert16-limit-cycles / compute / q3 / kk-plus-one / certs / identities.json
{
"L": [
{
"coeff": "-15",
"y": 1
},
{
"coeff": "4",
"x": 1
}
],
"P": [
{
"coeff": "1",
"y": 1
},
{
"coeff": "1/4",
"x": 1
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 3
}
],
"P4t": [
{
"coeff": "-30"
},
{
"coeff": "4",
"y": 1
},
{
"coeff": "-47",
"x": 1
},
{
"coeff": "-8",
"y": 2
},
{
"coeff": "-24",
"x": 2
},
{
"coeff": "-4",
"x": 1,
"y": 2
},
{
"coeff": "-4",
"x": 3
}
],
"Pt": [
{
"coeff": "-15/2"
},
{
"coeff": "1",
"y": 1
},
{
"coeff": "-47/4",
"x": 1
},
{
"coeff": "-2",
"y": 2
},
{
"coeff": "-6",
"x": 2
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 3
}
],
"Q": [
{
"coeff": "1/4",
"y": 1
},
{
"coeff": "-1",
"x": 1
},
{
"coeff": "-1",
"y": 3
},
{
"coeff": "-1",
"x": 2,
"y": 1
}
],
"Q4t": [
{
"coeff": "-8"
},
{
"coeff": "-15",
"y": 1
},
{
"coeff": "-4",
"x": 1
},
{
"coeff": "-16",
"x": 1,
"y": 1
},
{
"coeff": "-4",
"y": 3
},
{
"coeff": "-4",
"x": 2,
"y": 1
}
],
"Qt": [
{
"coeff": "-2"
},
{
"coeff": "-15/4",
"y": 1
},
{
"coeff": "-1",
"x": 1
},
{
"coeff": "-4",
"x": 1,
"y": 1
},
{
"coeff": "-1",
"y": 3
},
{
"coeff": "-1",
"x": 2,
"y": 1
}
],
"R": [
{
"coeff": "225/2",
"y": 1
},
{
"coeff": "-30",
"x": 1
},
{
"coeff": "-15",
"y": 2
},
{
"coeff": "721/4",
"x": 1,
"y": 1
},
{
"coeff": "-47",
"x": 2
},
{
"coeff": "30",
"y": 3
},
{
"coeff": "-8",
"x": 1,
"y": 2
},
{
"coeff": "90",
"x": 2,
"y": 1
},
{
"coeff": "-24",
"x": 3
},
{
"coeff": "15",
"x": 1,
"y": 3
},
{
"coeff": "-4",
"x": 2,
"y": 2
},
{
"coeff": "15",
"x": 3,
"y": 1
},
{
"coeff": "-4",
"x": 4
}
],
"S": [
{
"coeff": "30",
"y": 1
},
{
"coeff": "-8",
"x": 1
},
{
"coeff": "225/4",
"y": 2
},
{
"coeff": "-4",
"x": 2
},
{
"coeff": "60",
"x": 1,
"y": 2
},
{
"coeff": "-16",
"x": 2,
"y": 1
},
{
"coeff": "15",
"y": 4
},
{
"coeff": "-4",
"x": 1,
"y": 3
},
{
"coeff": "15",
"x": 2,
"y": 2
},
{
"coeff": "-4",
"x": 3,
"y": 1
}
],
"gs_display": {
"ab": "-15",
"b2": "225/4",
"minus_a2": "-4",
"minus_ab": "15"
},
"jacobian_L": {
"dRdx": "-30",
"dRdy": "225/2",
"dSdx": "-8",
"dSdy": "30",
"det": "0",
"trace": "0"
},
"miss": {
"circle_line_a": 964,
"circle_line_b": 3600,
"circle_line_c": 3375,
"circle_line_disc": -54000,
"dist_den_sq": 241,
"dist_num": 8,
"miss_cleared": 15
},
"n2F": [
{
"coeff": "1",
"y": 3
},
{
"coeff": "1/4",
"x": 1,
"y": 2
},
{
"coeff": "1",
"x": 2,
"y": 1
},
{
"coeff": "1/4",
"x": 3
},
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 5
}
],
"n2G": [
{
"coeff": "1/4",
"y": 3
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "1/4",
"x": 2,
"y": 1
},
{
"coeff": "-1",
"x": 3
},
{
"coeff": "-1",
"y": 5
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "-1",
"x": 4,
"y": 1
}
],
"schema": "hilbert16-kk-plus-one-identities/v1",
"variables": [
"x",
"y"
]
}