Commit 2024-07-16 01:36 f1a20a0c
View on Github →feat(CstarRing): weaken the definition of CstarRing from an equality to an inequality (#14737)
This PR weakens the definition of CstarRing from ‖x⋆ * x‖ = ‖x‖ * ‖x‖ to ‖x‖ * ‖x‖ ≤ ‖x⋆ * x‖. The "weaker" condition is then shown to be equivalent to the original one.