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):
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):
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: Dec 20 2023 at 11:08 UTC