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

Rules

Property

Summary

The individual rewrites this set is made of, in the order they are tried.

Remarks

Empty is not the same as "no rewrites". A set whose rewrites are written as a
switch over the expression has every arm listed here, whether the
switch is the rule method itself or sits inside a factory parameterised by
something else — the sorts are the latter, one switch read at three levels. A
set built without one — a polynomial division, a method with branches and locals, a
single is pattern that is one rule and has nothing to split — has none, because
there are no arms to generate from. Name and
ApplyOnce(AngouriMath.Entity) behave identically either way, so this is a statement
about how finely the set can be reported on and not about what it does.
First match wins, exactly as in the switch, so the order is part of the
meaning: where two rules can fire on one node, the earlier one does.

AngouriMath

Table of contents

AngouriMath

Rules