AngouriMath

Navigation

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

Reversed

Property

Summary

The rules of this set that can be read backwards, read backwards — so that
ApplyHere(AngouriMath.Entity) on it answers what could this expression have come
from rather than what does it become.

Remarks

Smaller than the set it comes from whenever some of its rules are one-way, and
Reversal on each says which. A set none of whose rules
reverses has no rules here, which is the difference being reported rather than hidden.
Not a rule set to run. It is first-match-wins like any other, so applying it and
then the set it came from need not return what you started with — the two sets order
their rules independently. And every rule in it undoes one in the set it came from, so
composing the two does not terminate. What it is for is asking.

AngouriMath

Table of contents

AngouriMath

Reversed