Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit e6f8ad7

Browse files
YaelDilliesYaelDillies
committed
refactor(analysis/convex/cone): generalize ℝ to an ordered semiring (#9481)
Currently, `convex_cone` is only defined in ℝ-modules. This generalizes ℝ to an arbitray ordered semiring. `convex_cone E` is now spelt `convex_cone 𝕜 E`. Similarly, `positive_cone E` becomes `positive_cone 𝕜 E`.
1 parent 05ee42c commit e6f8ad7

File tree

1 file changed

+191
-144
lines changed

1 file changed

+191
-144
lines changed

0 commit comments

Comments
 (0)