# Commit 2021-10-01 20:36 e6f8ad79

View on Github →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`

.