files / problems / hilbert16-limit-cycles / compute / q3 / tt-radial-factor / certs / identities.json
{
"claim": "polar identities for Y=(x^2+y^2)X; unique positive orbit r=rho; degree 5; line-multiplication degree 4",
"leading": {
"PY5": [
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 5
}
],
"QY5": [
{
"coeff": "-1",
"y": 5
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "-1",
"x": 4,
"y": 1
}
],
"claimed_P": [
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 5
}
],
"claimed_Q": [
{
"coeff": "-1",
"y": 5
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "-1",
"x": 4,
"y": 1
}
],
"variables": [
"x",
"y",
"rho"
]
},
"line_multiplication": {
"L": [
{
"coeff": "1",
"y": 1
},
{
"coeff": "1",
"x": 1
}
],
"PL": [
{
"coeff": "1",
"y": 2
},
{
"coeff": "1",
"x": 1,
"y": 1
},
{
"coeff": "1",
"rho": 2,
"x": 1,
"y": 1
},
{
"coeff": "-1",
"x": 1,
"y": 3
},
{
"coeff": "1",
"rho": 2,
"x": 2
},
{
"coeff": "-1",
"x": 2,
"y": 2
},
{
"coeff": "-1",
"x": 3,
"y": 1
},
{
"coeff": "-1",
"x": 4
}
],
"QL": [
{
"coeff": "1",
"rho": 2,
"y": 2
},
{
"coeff": "-1",
"y": 4
},
{
"coeff": "-1",
"x": 1,
"y": 1
},
{
"coeff": "1",
"rho": 2,
"x": 1,
"y": 1
},
{
"coeff": "-1",
"x": 1,
"y": 3
},
{
"coeff": "-1",
"x": 2
},
{
"coeff": "-1",
"x": 2,
"y": 2
},
{
"coeff": "-1",
"x": 3,
"y": 1
}
],
"angular_left": [
{
"coeff": "-1",
"y": 3
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 2,
"y": 1
},
{
"coeff": "-1",
"x": 3
}
],
"angular_right": [
{
"coeff": "-1",
"y": 3
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 2,
"y": 1
},
{
"coeff": "-1",
"x": 3
}
],
"radial_left": [
{
"coeff": "1",
"rho": 2,
"y": 3
},
{
"coeff": "-1",
"y": 5
},
{
"coeff": "1",
"rho": 2,
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "1",
"rho": 2,
"x": 2,
"y": 1
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "1",
"rho": 2,
"x": 3
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 4,
"y": 1
},
{
"coeff": "-1",
"x": 5
}
],
"radial_right": [
{
"coeff": "1",
"rho": 2,
"y": 3
},
{
"coeff": "-1",
"y": 5
},
{
"coeff": "1",
"rho": 2,
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "1",
"rho": 2,
"x": 2,
"y": 1
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "1",
"rho": 2,
"x": 3
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 4,
"y": 1
},
{
"coeff": "-1",
"x": 5
}
],
"variables": [
"x",
"y",
"rho"
]
},
"polar": {
"PX": [
{
"coeff": "1",
"y": 1
},
{
"coeff": "1",
"rho": 2,
"x": 1
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 3
}
],
"PY": [
{
"coeff": "1",
"y": 3
},
{
"coeff": "1",
"rho": 2,
"x": 1,
"y": 2
},
{
"coeff": "-1",
"x": 1,
"y": 4
},
{
"coeff": "1",
"x": 2,
"y": 1
},
{
"coeff": "1",
"rho": 2,
"x": 3
},
{
"coeff": "-2",
"x": 3,
"y": 2
},
{
"coeff": "-1",
"x": 5
}
],
"QX": [
{
"coeff": "1",
"rho": 2,
"y": 1
},
{
"coeff": "-1",
"y": 3
},
{
"coeff": "-1",
"x": 1
},
{
"coeff": "-1",
"x": 2,
"y": 1
}
],
"QY": [
{
"coeff": "1",
"rho": 2,
"y": 3
},
{
"coeff": "-1",
"y": 5
},
{
"coeff": "-1",
"x": 1,
"y": 2
},
{
"coeff": "1",
"rho": 2,
"x": 2,
"y": 1
},
{
"coeff": "-2",
"x": 2,
"y": 3
},
{
"coeff": "-1",
"x": 3
},
{
"coeff": "-1",
"x": 4,
"y": 1
}
],
"angular_left": [
{
"coeff": "-1",
"y": 4
},
{
"coeff": "-2",
"x": 2,
"y": 2
},
{
"coeff": "-1",
"x": 4
}
],
"angular_right": [
{
"coeff": "-1",
"y": 4
},
{
"coeff": "-2",
"x": 2,
"y": 2
},
{
"coeff": "-1",
"x": 4
}
],
"radial_left": [
{
"coeff": "1",
"rho": 2,
"y": 4
},
{
"coeff": "-1",
"y": 6
},
{
"coeff": "2",
"rho": 2,
"x": 2,
"y": 2
},
{
"coeff": "-3",
"x": 2,
"y": 4
},
{
"coeff": "1",
"rho": 2,
"x": 4
},
{
"coeff": "-3",
"x": 4,
"y": 2
},
{
"coeff": "-1",
"x": 6
}
],
"radial_right": [
{
"coeff": "1",
"rho": 2,
"y": 4
},
{
"coeff": "-1",
"y": 6
},
{
"coeff": "2",
"rho": 2,
"x": 2,
"y": 2
},
{
"coeff": "-3",
"x": 2,
"y": 4
},
{
"coeff": "1",
"rho": 2,
"x": 4
},
{
"coeff": "-3",
"x": 4,
"y": 2
},
{
"coeff": "-1",
"x": 6
}
],
"variables": [
"x",
"y",
"rho"
]
},
"radial_speed": {
"factored": [
{
"coeff": "1",
"r": 3,
"rho": 2
},
{
"coeff": "-1",
"r": 5
}
],
"rdot": [
{
"coeff": "1",
"r": 3,
"rho": 2
},
{
"coeff": "-1",
"r": 5
}
],
"variables": [
"r",
"rho"
]
},
"schema": "hilbert16-tt-radial-factor/v1",
"specialized": {
"PY": [
{
"coeff": "4",
"y": 3
},
{
"coeff": "1",
"x": 1,
"y": 2
},
{
"coeff": "-4",
"x": 1,
"y": 4
},
{
"coeff": "4",
"x": 2,
"y": 1
},
{
"coeff": "1",
"x": 3
},
{
"coeff": "-8",
"x": 3,
"y": 2
},
{
"coeff": "-4",
"x": 5
}
],
"QY": [
{
"coeff": "1",
"y": 3
},
{
"coeff": "-4",
"y": 5
},
{
"coeff": "-4",
"x": 1,
"y": 2
},
{
"coeff": "1",
"x": 2,
"y": 1
},
{
"coeff": "-8",
"x": 2,
"y": 3
},
{
"coeff": "-4",
"x": 3
},
{
"coeff": "-4",
"x": 4,
"y": 1
}
],
"angular_left": [
{
"coeff": "-4",
"y": 4
},
{
"coeff": "-8",
"x": 2,
"y": 2
},
{
"coeff": "-4",
"x": 4
}
],
"angular_right": [
{
"coeff": "-4",
"y": 4
},
{
"coeff": "-8",
"x": 2,
"y": 2
},
{
"coeff": "-4",
"x": 4
}
],
"radial_left": [
{
"coeff": "1",
"y": 4
},
{
"coeff": "-4",
"y": 6
},
{
"coeff": "2",
"x": 2,
"y": 2
},
{
"coeff": "-12",
"x": 2,
"y": 4
},
{
"coeff": "1",
"x": 4
},
{
"coeff": "-12",
"x": 4,
"y": 2
},
{
"coeff": "-4",
"x": 6
}
],
"radial_right": [
{
"coeff": "1",
"y": 4
},
{
"coeff": "-4",
"y": 6
},
{
"coeff": "2",
"x": 2,
"y": 2
},
{
"coeff": "-12",
"x": 2,
"y": 4
},
{
"coeff": "1",
"x": 4
},
{
"coeff": "-12",
"x": 4,
"y": 2
},
{
"coeff": "-4",
"x": 6
}
],
"rho2": "1/4",
"variables": [
"x",
"y"
]
},
"specialized_rdot": {
"factored": [
{
"coeff": "1",
"r": 3
},
{
"coeff": "-4",
"r": 5
}
],
"rdot": [
{
"coeff": "1",
"r": 3
},
{
"coeff": "-4",
"r": 5
}
],
"variables": [
"r"
]
}
}