On 2/3/2020 6:21 PM, Chris Angelico wrote:
Hmm, true, although that's equivalent only in one specific situation. In mathematics, "congruent" means that two things are functionally equivalent (eg triangles with the same length sides; in programming terms we'd probably say that two such triangles would be "equal" but not identical), even if there's a specific context for such equivalence, such as stating that 12,345 is congruent to 11 modulo 7, because the remainders 12345%7 and 11%7 are both 4. So maybe "congruent" could be used for this concept?
Congruent is different objects with the same characteristics, whereas identical is far stronger: same objects.
But the reason <= and >= were invented was to avoid saying
a < b or a == b and a > b or a == b
It is just a shorthand.
So just invent is== as shorthand for a is b or a == b.