This PR addresses issues in the MPFR/MPFI integration path: the documented precision flag name did not match the implemented CLI surface, and MPFR-complex ordering used non-strict component-wise comparison, diverging from existing complex ordering semantics.

• CLI surface consistency (--mpfrprecision)

  • Adds --mpfrprecision as the canonical option for MPFR/MPFI precision.
  • Keeps --mpfrprec as a compatibility alias.
  • Updates mode help text (--mode 6/7/8) to reference --mpfrprecision.

• Complex ordering correctness (MPFR complex mode)

  • Updates FGenMPFComplex::larger_than() to strict lexicographic ordering:
    • compare real parts first
    • if equal, compare imaginary parts
  • Removes incorrect component-wise >= behavior that could misorder values.

bool larger_than(const CMSat::Field& a, const CMSat::Field& b) const final {
  const auto& ad = static_cast<const MPFComplex&>(a);
  const auto& bd = static_cast<const MPFComplex&>(b);
  const int real_cmp = mpfr_cmp(ad.real, bd.real);
  if (real_cmp != 0) return real_cmp > 0;
  return mpfr_cmp(ad.imag, bd.imag) > 0;
}

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.