AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

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

RuleReversal

← Back to list of classes

Description

Summary

Whether a MatchedRule can be read backwards, and where it cannot, what stops
it.

Remarks

Not every rewrite has an inverse worth having, and this says which do.x - x -> 0 is a rewrite nobody wants to read backwards and nobody could: from
0 there is no recovering which x was cancelled. That is
ReplacementDropsHoles, and it is a fact about the rule rather than a
judgement about it.

Members

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online