files / problems / kissing-5d / compute / restricted_lp.json
{
"D5_inner_products": {
"T": [
"-1",
"-1/2",
"0",
"1/2"
],
"primal": {
"6": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.4,
"1/2": 12.799999999999999
},
"deg": 6
},
"10": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 10
},
"14": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 14
},
"18": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 18
}
},
"dual": {
"6": {
"success": true,
"deg": 6,
"bound": 42.0,
"c": [
1.0,
1.088888888888889,
9.333333333333332,
0.0,
10.666666666666666,
19.91111111111111,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -5.551115123125783e-17,
"0": 2.220446049250313e-16,
"1/2": 5.551115123125783e-17
}
},
"10": {
"success": true,
"deg": 10,
"bound": 42.0,
"c": [
1.0,
1.088888888888889,
9.333333333333332,
0.0,
10.666666666666666,
19.91111111111111,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -5.551115123125783e-17,
"0": 2.220446049250313e-16,
"1/2": 5.551115123125783e-17
}
},
"14": {
"success": true,
"deg": 14,
"bound": 42.0,
"c": [
1.0,
0.0,
9.333333333333332,
0.0,
10.666666666666666,
0.0,
0.0,
0.0,
0.0,
9.463375848159115,
0.0,
0.0,
0.0,
11.536624151840886,
0.0
],
"f_on_T": {
"-1": -1.7763568394002505e-15,
"-1/2": -7.689915666590254e-17,
"0": 2.220446049250313e-16,
"1/2": 7.689915666590254e-17
}
},
"18": {
"success": true,
"deg": 18,
"bound": 42.0,
"c": [
1.0,
0.0,
9.333333333333332,
0.0,
10.666666666666666,
0.0,
0.0,
2.597630439735703,
0.0,
0.0,
0.0,
18.402369560264297,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -2.7755575615628914e-17,
"0": 0.0,
"1/2": 2.7755575615628914e-17
}
}
},
"rational_dual": {
"certified": false,
"deg": 14,
"c": [
"1",
"0",
"9333/1000",
"0",
"10667/1000",
"0",
"0",
"0",
"0",
"9463/1000",
"0",
"0",
"0",
"11537/1000",
"0"
],
"f_on_T": {
"-1": "0",
"-1/2": "-831609/8388608000",
"0": "1/8000",
"1/2": "-348039/8388608000"
},
"f(1)/f0": "42",
"float_bound": 42.0,
"excludes": []
},
"rational_dual_coarse": {
"certified": false,
"deg": 10,
"c": [
"1",
"109/100",
"933/100",
"0",
"1067/100",
"1991/100",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "0",
"-1/2": "-33/25600",
"0": "1/800",
"1/2": "-3/25600"
},
"f(1)/f0": "42",
"float_bound": 42.0,
"excludes": []
}
},
"L5_inner_products": {
"T": [
"-1",
"-3/4",
"-1/2",
"-1/4",
"0",
"1/2"
],
"primal": {
"6": {
"success": true,
"N_bound": 45.9375,
"A": {
"-1": 0.0,
"-3/4": 6.000000000000003,
"-1/2": 0.8749999999999956,
"-1/4": 14.000000000000002,
"0": 9.187500000000002,
"1/2": 14.875000000000002
},
"deg": 6
},
"10": {
"success": true,
"N_bound": 43.97452346041057,
"A": {
"-1": 0.0,
"-3/4": 5.40175953079179,
"-1/2": 2.3332111436950163,
"-1/4": 11.008797653958942,
"0": 10.29050586510265,
"1/2": 13.940249266862173
},
"deg": 10
},
"14": {
"success": true,
"N_bound": 43.97452346041055,
"A": {
"-1": 0.0,
"-3/4": 5.40175953079179,
"-1/2": 2.333211143695009,
"-1/4": 11.008797653958945,
"0": 10.29050586510264,
"1/2": 13.940249266862168
},
"deg": 14
},
"18": {
"success": true,
"N_bound": 43.97452346041054,
"A": {
"-1": 0.0,
"-3/4": 5.401759530791786,
"-1/2": 2.3332111436950127,
"-1/4": 11.00879765395893,
"0": 10.290505865102643,
"1/2": 13.940249266862164
},
"deg": 18
}
},
"dual": {
"6": {
"success": true,
"deg": 6,
"bound": 45.9375,
"c": [
1.0,
4.604166666666667,
9.333333333333332,
13.545454545454547,
10.666666666666666,
6.787878787878789,
0.0
],
"f_on_T": {
"-1": -3.9375000000000044,
"-3/4": -6.930220286527344e-16,
"-1/2": 8.326672684688674e-17,
"-1/4": 1.8995222061946038e-16,
"0": 2.220446049250313e-16,
"1/2": 1.3877787807814457e-16
}
},
"10": {
"success": true,
"deg": 10,
"bound": 43.974523460410566,
"c": [
1.0,
3.7562256292095,
9.333333333333336,
9.36251920122888,
10.66666666666667,
0.0,
0.0,
0.0,
0.0,
9.855778629972177,
0.0
],
"f_on_T": {
"-1": -1.974523460410551,
"-3/4": 7.630253312763621e-16,
"-1/2": -2.7433025469314476e-16,
"-1/4": -2.6432303687736803e-16,
"0": -2.220446049250313e-16,
"1/2": -2.807812576194335e-16
}
},
"14": {
"success": true,
"deg": 14,
"bound": 43.974523460410566,
"c": [
1.0,
3.7562256292095,
9.333333333333336,
9.36251920122888,
10.66666666666667,
0.0,
0.0,
0.0,
0.0,
9.855778629972177,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -1.974523460410551,
"-3/4": 7.630253312763621e-16,
"-1/2": -2.7433025469314476e-16,
"-1/4": -2.6432303687736803e-16,
"0": -2.220446049250313e-16,
"1/2": -2.807812576194335e-16
}
},
"18": {
"success": true,
"deg": 18,
"bound": 43.974523460410566,
"c": [
1.0,
3.7562256292095,
9.333333333333336,
9.36251920122888,
10.66666666666667,
0.0,
0.0,
0.0,
0.0,
9.855778629972177,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -1.974523460410552,
"-3/4": 8.881784197001252e-16,
"-1/2": -2.220446049250313e-16,
"-1/4": 0.0,
"0": 0.0,
"1/2": -2.220446049250313e-16
}
}
},
"rational_dual": {
"certified": false,
"deg": 14,
"c": [
"1",
"939/250",
"9333/1000",
"9363/1000",
"10667/1000",
"0",
"0",
"0",
"0",
"1232/125",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "-79/40",
"-3/4": "-22609/262144000",
"-1/2": "13/102400",
"-1/4": "10177/52428800",
"0": "1/8000",
"1/2": "-137/512000"
},
"f(1)/f0": "1759/40",
"float_bound": 43.975,
"excludes": []
},
"rational_dual_coarse": {
"certified": false,
"deg": 10,
"c": [
"1",
"94/25",
"933/100",
"234/25",
"1067/100",
"0",
"0",
"0",
"0",
"493/50",
"0"
],
"f_on_T": {
"-1": "-99/50",
"-3/4": "-7031281/1677721600",
"-1/2": "-1839/655360",
"-1/4": "-1320987/1677721600",
"0": "1/800",
"1/2": "4587/3276800"
},
"f(1)/f0": "2199/50",
"float_bound": 43.98,
"excludes": []
}
},
"Q5_inner_products": {
"T": [
"-1",
"-4/5",
"-1/2",
"-3/10",
"0",
"1/5",
"1/2"
],
"primal": {
"6": {
"success": true,
"N_bound": 44.67272727272726,
"A": {
"-1": 0.0,
"-4/5": 3.9772727272727257,
"-1/2": 3.687272727272727,
"-3/10": 10.227272727272725,
"0": 11.593636363636362,
"1/5": 0.0,
"1/2": 14.187272727272724
},
"deg": 6
},
"10": {
"success": true,
"N_bound": 44.67272727272725,
"A": {
"-1": 0.0,
"-4/5": 3.977272727272727,
"-1/2": 3.6872727272727195,
"-3/10": 10.227272727272727,
"0": 11.593636363636358,
"1/5": 0.0,
"1/2": 14.18727272727272
},
"deg": 10
},
"14": {
"success": true,
"N_bound": 44.672727272727265,
"A": {
"-1": 0.0,
"-4/5": 3.9772727272727217,
"-1/2": 3.687272727272729,
"-3/10": 10.227272727272732,
"0": 11.593636363636357,
"1/5": 0.0,
"1/2": 14.18727272727273
},
"deg": 14
},
"18": {
"success": true,
"N_bound": 44.67272727272725,
"A": {
"-1": 0.0,
"-4/5": 3.977272727272722,
"-1/2": 3.6872727272727297,
"-3/10": 10.227272727272718,
"0": 11.593636363636358,
"1/5": 0.0,
"1/2": 14.187272727272719
},
"deg": 18
}
},
"dual": {
"6": {
"success": true,
"deg": 6,
"bound": 44.672727272727265,
"c": [
1.0,
4.424242424242424,
9.333333333333332,
13.077685950413223,
10.666666666666664,
6.170798898071626,
0.0
],
"f_on_T": {
"-1": -2.6727272727272764,
"-4/5": 4.3679797458835136e-16,
"-1/2": 2.949029909160572e-16,
"-3/10": -1.7815325890362903e-16,
"0": 0.0,
"1/5": -0.5345454545454545,
"1/2": -1.8388068845354155e-16
}
},
"10": {
"success": true,
"deg": 10,
"bound": 44.672727272727265,
"c": [
1.0,
4.424242424242424,
9.333333333333332,
13.077685950413223,
10.666666666666664,
6.170798898071626,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -2.6727272727272764,
"-4/5": 4.3679797458835136e-16,
"-1/2": 2.949029909160572e-16,
"-3/10": -1.7815325890362903e-16,
"0": 0.0,
"1/5": -0.5345454545454545,
"1/2": -1.8388068845354155e-16
}
},
"14": {
"success": true,
"deg": 14,
"bound": 44.672727272727265,
"c": [
1.0,
4.424242424242424,
9.333333333333332,
13.077685950413223,
10.666666666666664,
6.170798898071626,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -2.6727272727272764,
"-4/5": 4.3679797458835136e-16,
"-1/2": 2.949029909160572e-16,
"-3/10": -1.7815325890362903e-16,
"0": 0.0,
"1/5": -0.5345454545454545,
"1/2": -1.8388068845354155e-16
}
},
"18": {
"success": true,
"deg": 18,
"bound": 44.672727272727265,
"c": [
1.0,
4.424242424242424,
9.333333333333332,
13.077685950413223,
10.666666666666664,
6.170798898071626,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -2.6727272727272755,
"-4/5": 0.0,
"-1/2": 6.661338147750939e-16,
"-3/10": -3.3306690738754696e-16,
"0": 0.0,
"1/5": -0.5345454545454549,
"1/2": -2.220446049250313e-16
}
}
},
"rational_dual": {
"certified": false,
"deg": 14,
"c": [
"1",
"553/125",
"9333/1000",
"6539/500",
"10667/1000",
"6171/1000",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "-2673/1000",
"-4/5": "-1047/25000000",
"-1/2": "27/256000",
"-3/10": "121021/800000000",
"0": "1/8000",
"1/5": "-1670409/3125000",
"1/2": "-63/256000"
},
"f(1)/f0": "44673/1000",
"float_bound": 44.673,
"excludes": []
},
"rational_dual_coarse": {
"certified": false,
"deg": 10,
"c": [
"1",
"221/50",
"933/100",
"327/25",
"1067/100",
"617/100",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "-267/100",
"-4/5": "2721/2500000",
"-1/2": "9/5120",
"-3/10": "174547/80000000",
"0": "1/800",
"1/5": "-167163/312500",
"1/2": "-81/25600"
},
"f(1)/f0": "4467/100",
"float_bound": 44.67,
"excludes": []
}
},
"all_known_40_inner_products": {
"T": [
"-1",
"-4/5",
"-3/4",
"-1/2",
"-3/10",
"-1/4",
"0",
"1/5",
"1/2"
],
"primal": {
"6": {
"success": true,
"N_bound": 45.93749999999998,
"A": {
"-1": 0.0,
"-4/5": 0.0,
"-3/4": 5.999999999999996,
"-1/2": 0.8750000000000034,
"-3/10": 0.0,
"-1/4": 13.999999999999979,
"0": 9.187500000000005,
"1/5": 0.0,
"1/2": 14.874999999999993
},
"deg": 6
},
"10": {
"success": true,
"N_bound": 45.66243042049495,
"A": {
"-1": 0.0,
"-4/5": 1.1449782696681046,
"-3/4": 4.239554691167586,
"-1/2": 2.1272215143182933,
"-3/10": 0.0,
"-1/4": 12.818748818748812,
"0": 9.604033934679103,
"1/5": 0.0,
"1/2": 14.727893191913045
},
"deg": 10
},
"14": {
"success": true,
"N_bound": 45.66243042049496,
"A": {
"-1": 0.0,
"-4/5": 1.1449782696680944,
"-3/4": 4.239554691167599,
"-1/2": 2.1272215143182867,
"-3/10": 0.0,
"-1/4": 12.818748818748828,
"0": 9.604033934679098,
"1/5": 0.0,
"1/2": 14.727893191913049
},
"deg": 14
},
"18": {
"success": true,
"N_bound": 45.66243042049496,
"A": {
"-1": 0.0,
"-4/5": 1.1449782696680944,
"-3/4": 4.239554691167599,
"-1/2": 2.1272215143182867,
"-3/10": 0.0,
"-1/4": 12.818748818748828,
"0": 9.604033934679098,
"1/5": 0.0,
"1/2": 14.727893191913049
},
"deg": 18
}
},
"dual": {
"6": {
"success": true,
"deg": 6,
"bound": 45.9375,
"c": [
1.0,
4.604166666666667,
9.333333333333332,
13.545454545454547,
10.666666666666666,
6.787878787878789,
0.0
],
"f_on_T": {
"-1": -3.9375000000000044,
"-4/5": -0.24024000000000037,
"-3/4": -6.930220286527344e-16,
"-1/2": 8.326672684688674e-17,
"-3/10": -0.030239999999999975,
"-1/4": 1.8995222061946038e-16,
"0": 2.220446049250313e-16,
"1/5": -0.5027400000000001,
"1/2": 1.3877787807814457e-16
}
},
"10": {
"success": true,
"deg": 10,
"bound": 45.66243042049493,
"c": [
1.0,
4.485345692541721,
9.333333333333332,
12.959304765756379,
10.666666666666664,
5.836701366113128,
0.0,
0.0,
0.0,
1.3810785960837046,
0.0
],
"f_on_T": {
"-1": -3.6624304204949363,
"-4/5": 1.109434102272701e-16,
"-3/4": -4.74045721169793e-16,
"-1/2": 6.3101921691371965e-16,
"-3/10": -0.0039681845617325,
"-1/4": 6.03707089515758e-16,
"0": 0.0,
"1/5": -0.480822962913286,
"1/2": 1.4613690032388993e-16
}
},
"14": {
"success": true,
"deg": 14,
"bound": 45.66243042049493,
"c": [
1.0,
4.485345692541721,
9.333333333333332,
12.959304765756379,
10.666666666666664,
5.836701366113128,
0.0,
0.0,
0.0,
1.3810785960837046,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -3.6624304204949363,
"-4/5": 1.109434102272701e-16,
"-3/4": -4.74045721169793e-16,
"-1/2": 6.3101921691371965e-16,
"-3/10": -0.0039681845617325,
"-1/4": 6.03707089515758e-16,
"0": 0.0,
"1/5": -0.480822962913286,
"1/2": 1.4613690032388993e-16
}
},
"18": {
"success": true,
"deg": 18,
"bound": 45.66243042049493,
"c": [
1.0,
4.485345692541721,
9.333333333333332,
12.959304765756379,
10.666666666666664,
5.836701366113128,
0.0,
0.0,
0.0,
1.3810785960837046,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": -3.6624304204949354,
"-4/5": 0.0,
"-3/4": 0.0,
"-1/2": 2.220446049250313e-16,
"-3/10": -0.003968184561732646,
"-1/4": 4.440892098500626e-16,
"0": 0.0,
"1/5": -0.4808229629132863,
"1/2": 2.220446049250313e-16
}
}
},
"rational_dual": {
"certified": false,
"deg": 14,
"c": [
"1",
"897/200",
"9333/1000",
"12959/1000",
"10667/1000",
"5837/1000",
"0",
"0",
"0",
"1381/1000",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "-1831/500",
"-4/5": "14280041/62500000000",
"-3/4": "6576439/33554432000",
"-1/2": "3917/65536000",
"-3/10": "-499903541177/128000000000000",
"-1/4": "2517149/33554432000",
"0": "1/8000",
"1/5": "-469471451/976562500",
"1/2": "-13133/65536000"
},
"f(1)/f0": "22831/500",
"float_bound": 45.662,
"excludes": []
},
"rational_dual_coarse": {
"certified": false,
"deg": 10,
"c": [
"1",
"449/100",
"933/100",
"324/25",
"1067/100",
"146/25",
"0",
"0",
"0",
"69/50",
"0"
],
"f_on_T": {
"-1": "-367/100",
"-4/5": "-16557841/3125000000",
"-3/4": "-7928617/1677721600",
"-1/2": "-9427/3276800",
"-3/10": "-32896808473/6400000000000",
"-1/4": "-1179523/1677721600",
"0": "1/800",
"1/5": "-93525371/195312500",
"1/2": "4819/3276800"
},
"f(1)/f0": "4567/100",
"float_bound": 45.67,
"excludes": []
}
},
"three_distance_pm_half_zero": {
"T": [
"-1",
"-1/2",
"0",
"1/2"
],
"primal": {
"6": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.4,
"1/2": 12.799999999999999
},
"deg": 6
},
"10": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 10
},
"14": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 14
},
"18": {
"success": true,
"N_bound": 42.0,
"A": {
"-1": 1.0,
"-1/2": 12.8,
"0": 14.399999999999999,
"1/2": 12.8
},
"deg": 18
}
},
"dual": {
"6": {
"success": true,
"deg": 6,
"bound": 42.0,
"c": [
1.0,
1.088888888888889,
9.333333333333332,
0.0,
10.666666666666666,
19.91111111111111,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -5.551115123125783e-17,
"0": 2.220446049250313e-16,
"1/2": 5.551115123125783e-17
}
},
"10": {
"success": true,
"deg": 10,
"bound": 42.0,
"c": [
1.0,
1.088888888888889,
9.333333333333332,
0.0,
10.666666666666666,
19.91111111111111,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -5.551115123125783e-17,
"0": 2.220446049250313e-16,
"1/2": 5.551115123125783e-17
}
},
"14": {
"success": true,
"deg": 14,
"bound": 42.0,
"c": [
1.0,
0.0,
9.333333333333332,
0.0,
10.666666666666666,
0.0,
0.0,
0.0,
0.0,
9.463375848159115,
0.0,
0.0,
0.0,
11.536624151840886,
0.0
],
"f_on_T": {
"-1": -1.7763568394002505e-15,
"-1/2": -7.689915666590254e-17,
"0": 2.220446049250313e-16,
"1/2": 7.689915666590254e-17
}
},
"18": {
"success": true,
"deg": 18,
"bound": 42.0,
"c": [
1.0,
0.0,
9.333333333333332,
0.0,
10.666666666666666,
0.0,
0.0,
2.597630439735703,
0.0,
0.0,
0.0,
18.402369560264297,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"f_on_T": {
"-1": 0.0,
"-1/2": -2.7755575615628914e-17,
"0": 0.0,
"1/2": 2.7755575615628914e-17
}
}
},
"rational_dual": {
"certified": false,
"deg": 14,
"c": [
"1",
"0",
"9333/1000",
"0",
"10667/1000",
"0",
"0",
"0",
"0",
"9463/1000",
"0",
"0",
"0",
"11537/1000",
"0"
],
"f_on_T": {
"-1": "0",
"-1/2": "-831609/8388608000",
"0": "1/8000",
"1/2": "-348039/8388608000"
},
"f(1)/f0": "42",
"float_bound": 42.0,
"excludes": []
},
"rational_dual_coarse": {
"certified": false,
"deg": 10,
"c": [
"1",
"109/100",
"933/100",
"0",
"1067/100",
"1991/100",
"0",
"0",
"0",
"0",
"0"
],
"f_on_T": {
"-1": "0",
"-1/2": "-33/25600",
"0": "1/800",
"1/2": "-3/25600"
},
"f(1)/f0": "42",
"float_bound": 42.0,
"excludes": []
}
}
}