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

PowerOfPower

Property

Summary

The one rule from PowerRules(AngouriMath.Entity) that carries a real
side condition, as data.

Remarks

The third set expressed here, and the one that exercises the last piece of the
design: a condition about the match as a whole rather than about one hole.
(a^b)^c = a^(b*c) is true for a positive base whatever the exponents, and for
any base when the outer exponent is whole — and false outside those two, which is
#752: applied
unconditionally it turned sqrt(x^2) into x, which at -0.63 is -0.63
where the expression is 0.63.
It is also the first rule here whose Soundness carries information
rather than repeating its neighbours'. The condition is what makes it
SoundUnderAssumptions, and a reader can see the condition
and the tier in one place — which is the whole argument for rules being data, since
in the switch the tier lives on the set and the condition lives forty lines
away from it.

AngouriMath

Table of contents

AngouriMath

PowerOfPower