files / problems / simon-lieb-thirring / compute / q1 / paper_replay.json

1.4 KB · on GitHub

{
  "lemma11_first": {
    "C_1_float": 0.380086389507687,
    "C_1_plus_err": 0.3813773839564278,
    "a": 1.6666666666666647,
    "A_g": 0.2944136513366756,
    "mu": 0.7237858540470143,
    "c0": 5.0,
    "abs_err_est": 0.0012909944487408242,
    "extras": {
      "i0": 0.005090022642292609,
      "i1": 0.5837372800310585,
      "tail_bound": 0.002,
      "a_err": 4.6629367034256575e-15
    },
    "ratios_from_float": {
      "C_1": 0.380086389507687,
      "K_over_Kcl": 0.45577350222183016,
      "L_over_Lcl": 1.481240110258638
    },
    "ratios_from_plus_err": {
      "C_1": 0.3813773839564278,
      "K_over_Kcl": 0.4526930617317666,
      "L_over_Lcl": 1.4862712632080322
    }
  },
  "lemma11_second": {
    "C_1_float": 0.37171594648351386,
    "C_1_plus_err": 0.37355470355614917,
    "a": 3.381027568801949,
    "A_g": 0.20215609348314578,
    "mu": 10.057026534424942,
    "c0": 11.210403742361477,
    "abs_err_est": 0.001838757072635336,
    "extras": {
      "i0": 2.1274577791055967e-05,
      "i1": 0.4042909123885005,
      "tail_bound": 0.002,
      "a_err": 1.7497114868092467e-13
    },
    "ratios_from_float": {
      "C_1": 0.37171594648351386,
      "K_over_Kcl": 0.4765311817541288,
      "L_over_Lcl": 1.4486195369092494
    },
    "ratios_from_plus_err": {
      "C_1": 0.37355470355614917,
      "K_over_Kcl": 0.4718514465462208,
      "L_over_Lcl": 1.4557853834225565
    }
  }
}