linear_ordered_semiring

Stream: maths

[Scott Morrison]

linear_ordered_semiring does two things at once, relative to ordered_semiring: it says the ordering is linear (rather than partial), and it asserts 0 < 1.

[Scott Morrison]

What if I want just 0 < 1, without the linear ordering. (e.g. most of the orders on rings that I know about... :-)

[Scott Morrison]

What are even some examples of interesting ordered_semirings where we don't have 0 < 1??

[Patrick Massot]

The order hierarchy is a huge mess, because there are way too many classes including the relation instead of just properties. We simply need someone with a huge amount of time and energy to refactor everything there.

[Scott Morrison]

Okay. I'll take that as approval to try out any changes that I feel like. :-)

[Scott Morrison]

But the general trend should be towards splitting out "property only" classes as mixins rather than part of a hierarchy.

[Scott Morrison]

#4296

[Marceline]

I’ll also start cracking on this then, just graduated, got a while load of time now ha.