Commit 2025-08-21 11:59 3c157e79

View on Github →

refactor: make the cone explicit in ConvexCone.toPointedCone (#28139) Otherwise it is impossible to know which cone we are talking about from the infoview as proofs are elided. From Toric

Estimated changes