files / problems / kissing-5d / compute / q1 / restricted_duals.json
{
"Q5_free_1_2_3_4_5_6": {
"name": "Q5_free_1_2_3_4_5_6",
"c": [
"1",
"459/113",
"10948/1243",
"71964/6215",
"19216/1469",
"10080/1243",
"89600/16159"
],
"f_on_T": {
"-1": "2646/565",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "29484/565",
"f0": "1",
"bound": "29484/565",
"float_bound": 52.184070796460176,
"c_k_nonneg": true,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
5,
6
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"Q5_free_1_2_3_4_5_8": {
"name": "Q5_free_1_2_3_4_5_8",
"c": [
"1",
"981563/223605",
"534072/64597",
"4668236/372675",
"442024/44721",
"388640/44721",
"0",
"0",
"-1792000/581373"
],
"f_on_T": {
"-1": "-1184722/124225",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "5177172/124225",
"f0": "1",
"bound": "5177172/124225",
"float_bound": 41.67576574763534,
"c_k_nonneg": false,
"f_le_0_on_T": true,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
5,
8
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"Q5_free_1_2_3_4_5_10": {
"name": "Q5_free_1_2_3_4_5_10",
"c": [
"1",
"38918165/9387327",
"683150468/84485943",
"185564964/15645545",
"13148227664/1436261031",
"75423712/9387327",
"0",
"0",
"0",
"0",
"1433600000/478753677"
],
"f_on_T": {
"-1": "-43903314/15645545",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "708366204/15645545",
"f0": "1",
"bound": "708366204/15645545",
"float_bound": 45.27590467446164,
"c_k_nonneg": true,
"f_le_0_on_T": true,
"certified": true,
"excludes": [],
"free": [
1,
2,
3,
4,
5,
10
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"Q5_free_2_3_4_5_6_9": {
"name": "Q5_free_2_3_4_5_6_9",
"c": [
"1",
"0",
"33138763/4983088",
"53326665/4983088",
"67698713/2944552",
"80597475/2491544",
"114600500/4048759",
"0",
"0",
"-18900000/311443"
],
"f_on_T": {
"-1": "190807029/2491544",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "25732161/622886",
"f0": "1",
"bound": "25732161/622886",
"float_bound": 41.31118856419955,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
2,
3,
4,
5,
6,
9
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"Q5_free_1_2_4_5_6_9": {
"name": "Q5_free_1_2_4_5_6_9",
"c": [
"1",
"-266633325/5382793",
"-89543104/4554671",
"0",
"774277592/5382793",
"2308357800/7039037",
"18110176000/59210723",
"0",
"0",
"-805996800000/1006582291"
],
"f_on_T": {
"-1": "4342273866/4554671",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "-415753884/4554671",
"f0": "1",
"bound": "-415753884/4554671",
"float_bound": -91.28077176156083,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
4,
5,
6,
9
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"Q5_minus_1_5": {
"name": "Q5_minus_1_5",
"c": [
"1",
"2549930/472199",
"28/3",
"1207256/108969",
"32/3",
"0",
"0",
"0",
"0",
"51200000/2226081"
],
"f_on_T": {
"-1": "-1054767/57079",
"-4/5": "0",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/2": "0"
},
"f(1)": "3452085/57079",
"f0": "1",
"bound": "3452085/57079",
"float_bound": 60.47907286392544,
"c_k_nonneg": true,
"f_le_0_on_T": true,
"certified": true,
"excludes": [],
"free": [
1,
2,
3,
4,
9
],
"T_zero": [
"-4/5",
"-1/2",
"-3/10",
"0",
"1/2"
]
},
"Q5_minus_m4_5": {
"name": "Q5_minus_m4_5",
"c": [
"1",
"2907755/710749",
"28/3",
"1471496/164019",
"32/3",
"0",
"0",
"0",
"0",
"358400000/23454717"
],
"f_on_T": {
"-1": "-4416174/601403",
"-1/2": "0",
"-3/10": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "29675100/601403",
"f0": "1",
"bound": "29675100/601403",
"float_bound": 49.343119339278324,
"c_k_nonneg": true,
"f_le_0_on_T": true,
"certified": true,
"excludes": [],
"free": [
1,
2,
3,
4,
9
],
"T_zero": [
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
]
},
"L5_free_1_2_3_4_6": {
"name": "L5_free_1_2_3_4_6",
"c": [
"1",
"225/19",
"2996/209",
"720/19",
"-160/13",
"0",
"-143360/2717"
],
"f_on_T": {
"-1": "-1890/19",
"-3/4": "0",
"-1/2": "0",
"-1/4": "0",
"0": "0",
"1/2": "0"
},
"f(1)": "0",
"f0": "1",
"bound": "0",
"float_bound": 0.0,
"c_k_nonneg": false,
"f_le_0_on_T": true,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
6
],
"T_zero": [
"-3/4",
"-1/2",
"-1/4",
"0",
"1/2"
]
},
"L5_free_1_2_3_4_8": {
"name": "L5_free_1_2_3_4_8",
"c": [
"1",
"1650/349",
"172348/13611",
"5280/349",
"4576/349",
"0",
"0",
"0",
"131072/13611"
],
"f_on_T": {
"-1": "5775/349",
"-3/4": "0",
"-1/2": "0",
"-1/4": "0",
"0": "0",
"1/2": "0"
},
"f(1)": "19635/349",
"f0": "1",
"bound": "19635/349",
"float_bound": 56.260744985673355,
"c_k_nonneg": true,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
8
],
"T_zero": [
"-3/4",
"-1/2",
"-1/4",
"0",
"1/2"
]
},
"L5_free_1_2_3_4_10": {
"name": "L5_free_1_2_3_4_10",
"c": [
"1",
"146575/33459",
"11514932/903393",
"469040/33459",
"11966240/808299",
"0",
"0",
"0",
"0",
"0",
"-41943040/5119227"
],
"f_on_T": {
"-1": "21840/11153",
"-3/4": "0",
"-1/2": "0",
"-1/4": "0",
"0": "0",
"1/2": "0"
},
"f(1)": "22750/587",
"f0": "1",
"bound": "22750/587",
"float_bound": 38.756388415672916,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
10
],
"T_zero": [
"-3/4",
"-1/2",
"-1/4",
"0",
"1/2"
]
},
"L5_free_1_2_3_5_9": {
"name": "L5_free_1_2_3_5_9",
"certified": false,
"error": "singular"
},
"L5_free_2_3_4_5_9": {
"name": "L5_free_2_3_4_5_9",
"c": [
"1",
"0",
"28/3",
"-1021594/111441",
"32/3",
"-1116976/37147",
"0",
"0",
"0",
"5963776/111441"
],
"f_on_T": {
"-1": "249669/37147",
"-3/4": "0",
"-1/2": "0",
"-1/4": "0",
"0": "0",
"1/2": "0"
},
"f(1)": "1310505/37147",
"f0": "1",
"bound": "1310505/37147",
"float_bound": 35.278891969741835,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
2,
3,
4,
5,
9
],
"T_zero": [
"-3/4",
"-1/2",
"-1/4",
"0",
"1/2"
]
},
"R5_c1_to_c7_c9": {
"name": "R5_c1_to_c7_c9",
"c": [
"1",
"32184637/7806799",
"68348/7799",
"96391244/7806799",
"122432/9217",
"14921536/1458413",
"609280/101387",
"33377280/21189883",
"0",
"-20480000/32748001"
],
"f_on_T": {
"-1": "10962/7799",
"-4/5": "0",
"-3/4": "0",
"-1/2": "0",
"-3/10": "0",
"-1/4": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "442260/7799",
"f0": "1",
"bound": "442260/7799",
"float_bound": 56.70727016284139,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
5,
6,
7,
9
],
"T_zero": [
"-4/5",
"-3/4",
"-1/2",
"-3/10",
"-1/4",
"0",
"1/5",
"1/2"
]
},
"R5_c1_to_c6_c8_c10": {
"name": "R5_c1_to_c6_c8_c10",
"c": [
"1",
"1656505851/436051793",
"11468975924/1308155379",
"4731418692/436051793",
"291840585872/22238641443",
"3253714464/436051793",
"49260915200/7412880481",
"0",
"23086080000/7412880481",
"0",
"18022400000/7412880481"
],
"f_on_T": {
"-1": "5655615966/436051793",
"-4/5": "0",
"-3/4": "0",
"-1/2": "0",
"-3/10": "0",
"-1/4": "0",
"0": "0",
"1/5": "0",
"1/2": "0"
},
"f(1)": "24938893980/436051793",
"f0": "1",
"bound": "24938893980/436051793",
"float_bound": 57.192504148240026,
"c_k_nonneg": true,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
1,
2,
3,
4,
5,
6,
8,
10
],
"T_zero": [
"-4/5",
"-3/4",
"-1/2",
"-3/10",
"-1/4",
"0",
"1/5",
"1/2"
]
},
"antipodal_D5_even": {
"name": "antipodal_D5_even",
"c": [
"1",
"0",
"91/960",
"0",
"-209/480",
"0",
"0"
],
"f_on_T": {
"-1": "211/320",
"-1/2": "4385/4096",
"0": "59/64",
"1/2": "4385/4096"
},
"f(1)": "211/320",
"f0": "1",
"bound": "211/320",
"float_bound": 0.659375,
"c_k_nonneg": false,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
2,
4,
6
],
"T_zero": [
"0",
"1/2"
]
},
"antipodal_L5_symmetrized": {
"name": "antipodal_L5_symmetrized",
"c": [
"1",
"0",
"5556/481",
"0",
"14432/481",
"0",
"286720/8177",
"0",
"131072/8177"
],
"f_on_T": {
"-1": "3465/37",
"-3/4": "0",
"-1/2": "0",
"-1/4": "0",
"0": "0",
"1/4": "0",
"1/2": "0",
"3/4": "0"
},
"f(1)": "3465/37",
"f0": "1",
"bound": "3465/37",
"float_bound": 93.64864864864865,
"c_k_nonneg": true,
"f_le_0_on_T": false,
"certified": false,
"excludes": [],
"free": [
2,
4,
6,
8
],
"T_zero": [
"0",
"1/4",
"1/2",
"3/4"
]
}
}