Fungrim home page

Fungrim entry: f0639c

{φ ⁣(n) odd,n{1,2}φ ⁣(n) even,otherwise\begin{cases} \varphi\!\left(n\right) \text{ odd}, & n \in \left\{1, 2\right\}\\\varphi\!\left(n\right) \text{ even}, & \text{otherwise}\\ \end{cases}
Assumptions:nZn \in \mathbb{Z}
TeX:
\begin{cases} \varphi\!\left(n\right) \text{ odd}, & n \in \left\{1, 2\right\}\\\varphi\!\left(n\right) \text{ even}, & \text{otherwise}\\ \end{cases}

n \in \mathbb{Z}
Definitions:
Fungrim symbol Notation Short description
Totientφ ⁣(n)\varphi\!\left(n\right) Euler totient function
ZZZ\mathbb{Z} Integers
Source code for this entry:
Entry(ID("f0639c"),
    Formula(Cases(Tuple(Odd(Totient(n)), Element(n, Set(1, 2))), Tuple(Even(Totient(n)), Otherwise))),
    Variables(n),
    Assumptions(Element(n, ZZ)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-09-16 21:17:18.797188 UTC