AngouriMath
PhiFunction
Property
Summary
PhiFunctionRules(AngouriMath.Entity), as data.
Remarks
One rule, and the first whose predicate on a hole is a mathematical property rather than a sign or a type: phi(p ^ k) = p ^ (k - 1) * (p - 1) holds for a
primep and for no other integer, so primality is the condition and the hole
carries it. The replacement is arithmetic on the bound prime, so it is code and the
rule does not reverse.
prime
carries it. The replacement is arithmetic on the bound prime, so it is code and the
rule does not reverse.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online