files / problems / simon-ionization-excess / compute / q13 / certs / aspect_identities.json

1.1 KB · on GitHub

{
  "status": "ok",
  "R_split": 10,
  "n": 37,
  "target": 0.9119,
  "Q_cut": "10/11",
  "Q_cut_value": "0.9090909090909090909090909090909090909091",
  "compact_gamma": "0.9086061090539742000000000000000000000000",
  "compact_inv": "1.100586921037966190260902819060420800080",
  "cut_exceeds_compact_gamma": true,
  "empty_D_interval_for_Q_le_cut": true,
  "algebra": "Mass-stationarity at inf=1 and sup=R gives M_{-1}=Q+(Q-1)D>0 and M_3=(Q-1)R^3+Q D R>0, hence R<Q/(1-Q) and Q>R/(R+1).",
  "beats_1.1010": true,
  "beats_1.1013": true,
  "beats_1.1017": true,
  "beats_1.1020": true,
  "beats_1.1021": true,
  "beats_1.1026": true,
  "beats_1.1035": true,
  "beats_1.1057": true,
  "beats_1.1118": true,
  "beats_1.108741": true,
  "faces": {
    "n": 37,
    "gamma_target": 0.9119,
    "n_faces": 137438953471,
    "gray_i": 137438953471,
    "interior_critical": 16990883,
    "singular_or_illconditioned": 0,
    "min_mMm": 0.0006294837356492559,
    "min_mMm_safe": 0.0006294836356492559,
    "min_phi": 0.9120852295539121,
    "min_phi_safe": 0.9120852294539121,
    "copositive": 1
  },
  "source": "certs/raise_R10_n37_t0p9119.json"
}