Re: table.sort gives wrong result on partially ordered set

[Egor Skriptunoff <egor.skriptunoff@...>]

On Mon, Jan 4, 2021 at 2:19 AM Andrew Gierth wrote:

The specific requirement that is violated is that the < relation used
for the sort must be a strict partial order with this additional
requirement: the relation (not (a < b or b < a)) must be an equivalence
relation.

Interesting.

But this condition is too complex to be included in the manual.

It would be more natural to simply replace "strict partial order" with "strict total order" :-)