Issues

• document the ordering on R[i] (complex.lec and complexltc)

  math-comp/real-closed#75 · Filter by author t6s opened on May 22, 2025

• R[i] is now canonical to lmodType R by default

  math-comp/real-closed#57 · Filter by author Magikaaarp opened on Feb 27, 2024

• release/update for mathcomp 1.16

  math-comp/real-closed#53 · Filter by author clayrat opened on Feb 10, 2023
  1

• Ugly computations with complex numbers

  math-comp/real-closed#44 · Filter by author SnarkBoojum opened on May 17, 2022
  1

• More lemmas about complex numbers: Re and Im intertwining with * and ^*.

  math-comp/real-closed#43 · Filter by author SnarkBoojum opened on May 17, 2022

• Replacing (fun x => ...^~x) by the more readable [rel x y | ... y x] breaks real closed

  math-comp/real-closed#37 · Filter by author hivert opened on Oct 15, 2021
  2