files / problems / kissing-5d / compute / more_duals.json

1.9 KB · on GitHub

{
  "Q5_c0_to_c5_c9": {
    "name": "Q5_c0_to_c5_c9",
    "c": [
      "1",
      "163715/32409",
      "28/3",
      "323396/27423",
      "32/3",
      "1027600/466191",
      "0",
      "0",
      "0",
      "89600000/6060483"
    ],
    "f_on_T": {
      "-1": "-39102/3047",
      "-4/5": "0",
      "-1/2": "0",
      "-3/10": "0",
      "0": "0",
      "1/5": "0",
      "1/2": "0"
    },
    "f(1)": "167076/3047",
    "f0": "1",
    "bound": "167076/3047",
    "float_bound": 54.83295044305875,
    "c_k_nonneg": true,
    "f_le_0_on_T": true,
    "certified": true,
    "excludes": []
  },
  "L5_plus_1_5": {
    "name": "L5_plus_1_5",
    "c": [
      "1",
      "90923/48399",
      "28/3",
      "4102/40953",
      "32/3",
      "-10464272/696201",
      "0",
      "0",
      "0",
      "286720000/9050613"
    ],
    "f_on_T": {
      "-1": "32382/13651",
      "-3/4": "0",
      "-1/2": "0",
      "-1/4": "0",
      "0": "0",
      "1/5": "0",
      "1/2": "0"
    },
    "f(1)": "540960/13651",
    "f0": "1",
    "bound": "540960/13651",
    "float_bound": 39.62786609039631,
    "c_k_nonneg": false,
    "f_le_0_on_T": false,
    "certified": false,
    "excludes": []
  },
  "L5_plus_m4_5": {
    "name": "L5_plus_m4_5",
    "c": [
      "1",
      "109551061/24424218",
      "28/3",
      "133912682/10333323",
      "32/3",
      "4724944/809523",
      "0",
      "0",
      "0",
      "40960000/29657979"
    ],
    "f_on_T": {
      "-1": "-109221/29822",
      "-4/5": "0",
      "-3/4": "0",
      "-1/2": "0",
      "-1/4": "0",
      "0": "0",
      "1/2": "0"
    },
    "f(1)": "1361745/29822",
    "f0": "1",
    "bound": "1361745/29822",
    "float_bound": 45.662430420494935,
    "c_k_nonneg": true,
    "f_le_0_on_T": true,
    "certified": true,
    "excludes": []
  },
  "D5_plus_pm_1_4": {
    "name": "D5_plus_pm_1_4",
    "certified": false,
    "error": "singular"
  }
}