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

RewriteRules

← Back to list of classes

Description

Summary

The rewrite rule sets this library ships, as data: named, described, attributed with
what they claim, and enumerable through All.

Remarks

Registration is explicit and static — there is no assembly scanning and no
Activator, so the registry survives trimming and NativeAOT, and
All is in a fixed order that does not depend on hashing, reflection or
which type happened to be loaded first.
 Every rule set the simplifier applies is registered here, and the simplifier reaches
them through this registry rather than through Patterns directly. That is what
lets an account of what the simplifier did to an expression be a complete one: a set
reachable only by its method has no name to report and nothing to attribute a step to,
so a derivation built while some sets were still unregistered would quietly omit
whatever they had done.
 Every entry is declared SoundUnderAssumptions. That is a claim
about what has been argued, not about what is true — nothing here checks a tier, so
the registry starts conservative and promoting an entry means making the case for it.

Members

























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