Zulip Chat Archive

Stream: general

Topic: equivalent/incomparable els in a preorder


Violeta Hernández (Jul 07 2022 at 17:47):

Should we have special predicates for equivalent a ≤ b ∧ b ≤ a and incomparable ¬ a ≤ b ∧ ¬ b ≤ a elements in a preorder?

Violeta Hernández (Jul 07 2022 at 17:47):

I raise this because in a preorder, there's four ways that two things can compare as: less than, greater than, equivalent, or incomparable

Violeta Hernández (Jul 07 2022 at 17:48):

And these are mutually exclusive

Violeta Hernández (Jul 07 2022 at 17:48):

I'm coding a preorder analog for docs#cmp, which I'm planning to use throughout the game API, and I'm wondering if I should be writing these conditions in full

Yaël Dillies (Jul 07 2022 at 17:50):

docs#antisymm_rel

Yaël Dillies (Jul 07 2022 at 17:50):

I was thinking yesterday that I should rename this to order.indistinguishable.

Violeta Hernández (Jul 07 2022 at 17:52):

Oh nice, so I should use antisymm_rel (≤)?

Yaël Dillies (Jul 07 2022 at 17:53):

At least you can!

Violeta Hernández (Jul 07 2022 at 17:57):

Oh darn it, I actually can't

Violeta Hernández (Jul 07 2022 at 17:57):

Cyclic import

Violeta Hernández (Jul 07 2022 at 17:58):

I'm going to try something

Yaël Dillies (Jul 07 2022 at 18:03):

Feel free to move antisymm_rel earlier.

Violeta Hernández (Jul 07 2022 at 18:22):

#15168

Violeta Hernández (Jul 07 2022 at 18:23):

I moved antisymm_rel to a new file earlier in the import chain, and defined incomp_rel along with it


Last updated: Aug 03 2023 at 10:10 UTC