Compute ineq_alg
  {|Fnum := 7205759403792794; Fexp := -56 |}
  {|Fnum := 1; Fexp := -1 |}.