AngouriMath

Navigation

← Back to list of members

ReplacementDropsHoles

 Field

Summary

The replacement does not mention every hole the pattern binds, so reading it backwards
would have to invent what the forward direction discarded. The Pythagorean identity is
the standing example: sin(x)^2 + cos(x)^2 -> 1 forgets the angle.

























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