AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

InequalityEquality

Property

Summary

InequalityEqualityRules(AngouriMath.Entity), as data.

Remarks

Sixty-five arms, and the set where transcription found a wrong answer: four of
the eight or-with-equality arms carried their neighbour's comparison, so
(y < x) or (x = y) simplified to x <= y — the negation of itself
off the diagonal. Fixed on its own before this
(#1077), so what
is here agrees with a switch that is right.
Three things this set needs that a pattern alone does not say. The two De Morgan arms
are a fold over a chain of any length rather than a shape, so the rule matches
the chain and the fold stays in Patterns.EqualityInequality.cs where both forms
ask it. The excluded-middle pair reads two bound comparisons against each other
— same operands, opposite or exhaustive signs — which is a when over the
bindings rather than a shape. And the conditions those two attach are about where the
ordering is defined at all, since i < 0 is NaN rather than false.

AngouriMath

Table of contents

AngouriMath

InequalityEquality