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

Description

Property

Summary

The identity this rule is, in the notation a mathematician would write it in — or
null where nobody has written one.

Remarks

Not the same thing as Name or as the rendered pattern.a / (b / c) = a * c / b is what this says; dividing-by-a-quotient-multiplies-by-its-reciprocal is what to call it, and Divf(var a, Divf(var b, var c)) is how the matcher spells
it. #746 tier 2 wants metadata "rich enough that v5.0 can render a step as a sentence",
and of those three only this one is the sentence.
It exists because the generator has one and this did not.RuleRegistryGenerator reads the comment written above a switch arm into
Description — 95 of the registry's 407 arms carry one
that way. A rule written as data has its identity in a comment too, and a comment is
not readable at run time, so until this parameter existed converting a set to data
lost the description rather than keeping it. That is what stands between the
registry and describing the rules it actually runs.

AngouriMath

Table of contents

AngouriMath

Description