AngouriMath
PerfectSquare
Property
Summary
Recognises a perfect square written out, so that factorisation has something to
gather.
gather.
Remarks
Run by the matcher rather than by the switch —
PerfectSquare, whose arm is the one that was
recorded as needing an alternation of node types the matcher does not have. It
needed a predicate on a hole, which it does.
PerfectSquare, whose arm is the one that was
recorded as needing an alternation of node types the matcher does not have. It
needed a predicate on a hole, which it does.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online