AngouriMath
ExpressionsExplored
Property
Summary
Remarks
Here so that the path does not read as though it were the whole of what happened. On
x^(-1)/(y/z) the search produces eleven expressions, keeps four of them, and
fires 270 rewrites doing it; a four-step derivation presented on its own says none of
that.
fires 270 rewrites doing it; a four-step derivation presented on its own says none of
that.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online