AngouriMath
PhiFunction
Property
Summary
Rules about Euler's totient function.
Remarks
Run by the matcher rather than by the switch —
PhiFunction, whose single rule carries primality
as a predicate on the hole it binds. See the note on
CollapseMultipleFractions for what that costs and why theswitch stays.
PhiFunction, whose single rule carries primality
as a predicate on the hole it binds. See the note on
CollapseMultipleFractions for what that costs and why the
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online