Super Calculator / Super Calculadora
Complete guide — special functions, number theory, modular arithmetic, combinatorics, geometry, algebra and more.
Quick Start
Welcome to the olympiad calculator
- 1 Open the side menu (☰) and select Special Functions for the classic calculator keypad (~40 functions).
- 2 Enter a number and press any function button.
- 3 If the function needs more values, a pending operation indicator appears on screen.
- 4 For exact olympiad tools (fractions, geometry, polynomials, …) open the menu → Olympiad Tools.
- 5 The side panel (tablet) or bottom panel (mobile) shows automatic analysis of every entered number.
Parameter System
High-Precision Mode
Optional toggle in Settings → "High precision mode" (with a 5–100 digit slider).
When ON, the transcendental/irrational functions — sin, cos, tan, asin, acos,
atan, ln, log, exp, √ and ∛ — are computed with CONSTRUCTIVE (computable) real
numbers: the value is exact internally and only rounded when displayed.
• No floating-point error. √2 (30 digits) = 1.41421356237309504880168872421
• sin(45°) (30 digits) = 0.707106781186547524400844362105
• Singularities are detected by construction: tan(90°) → "undefined"
(instead of a misleading 1.6×10¹⁶).
• All computation runs in a background isolate with a loader — the UI never
freezes. (Powers that would explode to billions of digits, e.g.
1.0006^99999999, are rejected instantly as "too large".)
Powered by a vendored copy of computable_reals (a Dart port of Hans Boehm's
constructive reals). See Settings → Open source licenses.Number Theory
φφ(n) — Euler's Totient Function1 param▼
- φ(1)=1
- φ(9)=6 → [1,2,4,5,7,8]
- φ(12)=4 → [1,5,7,11]
- φ(p)=p−1 for prime p
- Multiplicative: φ(mn)=φ(m)φ(n) if GCD(m,n)=1
- Euler's theorem: a^φ(n)≡1 (mod n) if GCD(a,n)=1
- Σ φ(d) for d|n = n
λλ(n) — Carmichael's λ Function1 param▼
- λ(8)=2
- λ(15)=lcm(2,4)=4
- λ(p)=p−1
- λ(n)|φ(n) always
- λ(n)=φ(n) iff n has a primitive root
μμ(n) — Möbius Function1 param▼
- μ(1)=1
- μ(6)=1
- μ(30)=−1
- μ(12)=0 (has 2²)
- Möbius inversion: if g(n)=Σf(d), then f(n)=Σμ(d)g(n/d)
- Σμ(d) for d|n = [n=1]
λLλL(n) — Liouville Function1 param▼
- λL(12)=(−1)³=−1 (Ω=3)
- λL(36)=(−1)⁴=1 (Ω=4)
- ΣλL(d) for d|n = 1 if n is a perfect square, 0 otherwise
ωω(n) — Distinct Prime Factors1 param▼
- ω(12)=2 → [2,3]
- ω(30)=3 → [2,3,5]
- ω(p^k)=1
ΩΩ(n) — Prime Factors with Multiplicity1 param▼
- Ω(12)=3 → 2×2×3
- Ω(72)=5 → 2³×3² → 3+2
- Ω(p)=1, Ω(p²)=2
σ₀σ₀(n) — Divisor Count1 param▼
- σ₀(12)=6 → [1,2,3,4,6,12]
- σ₀(p)=2
- σ₀(p²)=3
σσ(n) — Sum of Divisors1 param▼
- σ(6)=12 (perfect)
- σ(12)=28
- σ(p)=p+1
- n is perfect ⟺ σ(n)=2n
- n is abundant ⟺ σ(n)>2n
sopfrsopfr(n) — Sum of Primes with Repetition1 param▼
- sopfr(12)=2+2+3=7
- sopfr(60)=12
sopfsopf(n) — Sum of Distinct Primes1 param▼
- sopf(12)=2+3=5
- sopf(60)=10
radrad(n) — Radical1 param▼
- rad(72)=6
- rad(480)=30
- rad(p)=p
n#n# — Primorial1 param▼
- 5#=30
- 7#=210
- 11#=2310
π(n)π(n) — Prime Counting Function1 param▼
- π(10)=4
- π(100)=25
- π(1,000,000)=78,498
drdr(n) — Digital Root1 param▼
- dr(493)=7
- dr(999)=9
- dr(n)≡n (mod 9)
⌊⌉⌊x⌋ / ⌈x⌉ — Floor and Ceiling1 param▼
- ⌊3.7⌋=3, ⌈3.7⌉=4
- ⌊−2.3⌋=−3, ⌈−2.3⌉=−2
- ⌊5⌋=⌈5⌉=5
VₚVₚ(n) — p-adic Valuation2 params: n → Vₚ → p → =▼
- V₂(24)=3
- V₃(81)=4
- V₅(100)=2
- Legendre's formula: Vₚ(n!)=Σ⌊n/pⁱ⌋
- Vₚ(ab)=Vₚ(a)+Vₚ(b)
Modular Arithmetic
moda mod b — Division Remainder2 params: a → mod → b → =▼
- 17 mod 5=2
- 23 mod 7=2
- −8 mod 3=1
a%na^b mod n — Modular Exponentiation3 params: a → a%n → b → = → n → =▼
- 2¹⁰⁰ mod 7=2
- 3¹³ mod 11=5
- Fundamental in RSA
- Flow: enter a → a%n → enter b → = → enter n → =
a⁻¹a⁻¹ mod n — Modular Inverse2 params: a → a⁻¹ → n → =▼
- 3⁻¹ mod 7=5 → 3×5=15≡1
- 5⁻¹ mod 11=9
- Does not exist if GCD(a,n)≠1
ordord_n(a) — Multiplicative Order2 params: a → ord → n → =▼
- ord₇(2)=3
- ord₁₀(3)=4
- ord_n(a) always divides φ(n)
- a is a primitive root ⟺ ord_n(a)=φ(n)
(a/p)(a/p) — Legendre Symbol2 params: a → (a/p) → p → =▼
- (2/7)=1
- (3/7)=−1
- (5/5)=0
(a/n)ⱼ(a/n)ⱼ — Jacobi Symbol2 params: a → (a/n)ⱼ → n → =▼
- (2/15)=(2/3)(2/5)=(−1)(−1)=1
- (a/n)=−1 ⟹ a is NOT a QR
gg — Primitive Root1 param▼
- g(7)=3
- g(11)=2
- Exists only for n=1,2,4,p^k,2p^k
GCDGCD — Greatest Common DivisorN params (variable, min. 2)▼
- GCD(12,18)=6
- GCD(12,18,24)=6
- GCD(a,b)×LCM(a,b)=a×b
- Flow: 12→GCD→18→GCD (executes)
- For 3+: 12→GCD→18→=→24→GCD
LCMLCM — Least Common MultipleN params (variable, min. 2)▼
- LCM(4,6)=12
- LCM(3,5,7)=105
DiofDioph — Linear Diophantine Equation3 params: a → Dioph → b → = → c → =▼
- 3x+5y=1 → x=2+5t, y=−1−3t
- 4x+6y=3 → No solution
TCRCRT — Chinese Remainder TheoremVariable (pairs a,m)▼
- x≡2(mod 3), x≡3(mod 5) → x≡8(mod 15)
- x≡1(mod 4), x≡2(mod 3) → x≡5(mod 12)
- Flow: a₁→CRT→m₁→=→a₂→=→m₂→CRT
- Moduli must be compatible
Combinatorics
n!n! — Factorial1 param▼
- 5!=120
- 10!=3,628,800
- 20!=2,432,902,008,176,640,000
n!!n!! — Double Factorial1 param▼
- 7!!=105
- 8!!=384
- 0!!=1!!=1
C(n,k)C(n,k) — Combinations2 params: n → C(n,k) → k → =▼
- C(5,2)=10
- C(10,3)=120
- C(n,0)=C(n,n)=1
- Pascal's identity: C(n,k)=C(n−1,k−1)+C(n−1,k)
- C(n,k)=C(n,n−k)
V(n,k)V(n,k) — Variations2 params: n → V(n,k) → k → =▼
- V(5,2)=20
- V(10,3)=720
CatCat(n) — Catalan Numbers1 param▼
- C₀=1, C₁=1, C₂=2, C₃=5, C₄=14, C₅=42
D(n)D(n) — Derangements1 param▼
- D(3)=2
- D(4)=9
- D(n)/n! → 1/e ≈ 0.3679
BellB(n) — Bell Numbers1 param▼
- B(3)=5
- B(4)=15
- B(5)=52
p(n)p(n) — Integer Partitions1 param▼
- p(4)=5 → [4,3+1,2+2,2+1+1,1+1+1+1]
- p(10)=42
- p(100)=190,569,292
S₂S₂(n,k) — Stirling 2nd Kind2 params: n → S₂ → k → =▼
- S₂(4,2)=7
- S₂(5,3)=25
s₁s₁(n,k) — Stirling 1st Kind (unsigned)2 params: n → s₁ → k → =▼
- s₁(4,2)=11
- s₁(4,1)=6
F(n)F(n) — nth Fibonacci1 param▼
- F(10)=55
- F(50)=12,586,269,025
- F(100)=354,224,848,179,261,915,075
- F(n) mod m is periodic (Pisano period)
- GCD(F(m),F(n))=F(GCD(m,n))
ΣdigBΣdigB — Digit Sum in Base b2 params: n → ΣdigB → b → =▼
- ΣdigB(255,2)=8 → 11111111₂
- ΣdigB(100,10)=1
- ΣdigB(100,16)=10 → 64₁₆
Statistics
AMArithmetic MeanN params▼
- AM(3,7)=5
- AM(2,4,6)=4
- Flow: 3→Med A→7→Med A (executes)
GMGeometric MeanN params▼
- GM(2,8)=4
- GM(1,4,9)≈3.30
HMHarmonic MeanN params▼
- HM(2,8)=3.2
- HM(1,4,9)≈2.08
QMQuadratic Mean (RMS)N params▼
- QM(3,4)≈3.54
- QM(1,2,3)≈2.16
min/maxmin / max — Minimum and MaximumN params▼
- min(3,7,1)=1
- max(3,7,1)=7
Mean Inequality (AM-GM-HM)
For positive numbers it always holds that: HM ≤ GM ≤ AM ≤ QM Equality holds only when all values are equal. This inequality is fundamental in olympiads.
Olympiad Tools
A dedicated training section — open the side menu → Olympiad Tools. Each tool is a small form: fill the inputs, press Compute, and read the exact answer. Results use exact arithmetic (fractions, surds) wherever possible.
Fractions — Exact Rational Arithmetic
In olympiads, answers are exact: 22/7, not 3.14… The Fractions tool uses arbitrary-precision rationals p/q, always reduced to lowest terms with canonical sign.
Radicals — Exact Simplification
Simplifies radicals to the form coefficient·√radicand with no perfect-square factors inside the root.
Geometry
Geometry covers ~25% of IMO problems. Results are exact where possible: Heron area as a surd, circumradius R and inradius r as surds, shoelace areas as exact fractions.
Polynomials — Exact Analysis
Polynomials with rational coefficients. Accepts natural notation: x^2-5x+6, 3/2x-1, -x^3+x.
Analyze polynomial also plots y = p(x) marking rational roots and extrema. It works on a single variable x, already expanded — for several variables or parentheses use Algebra.
Algebra — Polynomials in Several Variables
Symbolic algebra with exact rational coefficients: expanding a product, collecting like terms and comparing two expressions are all the same operation here, so an identity is checked by expanding both sides.
Notation: variables are a letter with an optional subscript (a, x, x1); multiplication may be implicit (2ab, (a+b)(a−b), 3(x+1)); exponents accept ^ or superscripts ((a+b+c)²). Terms are printed in graded lexicographic order, the usual convention.
Division is allowed by a number or by a monomial that divides every term: (a²b+ab²)/(ab) → a + b. An expansion that would be too large to read (or to compute quickly) is refused with a message instead of freezing the app.
Advanced Number Theory
Tools for the harder number-theory problems that appear in national and international olympiads.
Step by Step — Worked Procedures
Shows the algorithm step by step, not just the answer. Essential for understanding and teaching the methods.
Complex Numbers & Sequences
Statistics — Exact Descriptive
Matrices — Exact Linear Algebra
Fraction-exact (no floating-point error). Rows separated by ";", entries by ","; two matrices separated by "|".
Calculus — Numerical
Numerical analysis of any function f(x) (e.g. x^2+sin(x), 1/x, exp(x)). Trigonometry in radians.
Practice Mode
Access via Olympiad Tools → Practice. The app presents a problem; type your answer — it tells you immediately if you are right and tracks your score for the session. Topics: φ(n) Euler's totient, GCD, n! factorial, C(n,k) combinations, σ₀(n) divisor count, digit sum, a mod b, F(n) Fibonacci. Tip: The checker tolerates leading zeros and extra spaces.
Numeric Analysis Panel
When any number is entered the right panel (tablet) or bottom panel
(mobile) automatically shows:
• Properties: digits, parity, sign
• Representations: binary, octal, hexadecimal
• Primality: Miller-Rabin (deterministic for n < 3.2×10¹⁸), factorization
• Neighboring primes: previous and next
• Divisors: complete list, sum, count
• Classifications: perfect square/cube, perfect power, Fibonacci,
triangular, palindrome
For numbers with ≤ 15 digits, it also shows:
• Arithmetic functions: φ, λ, μ, ω, Ω, sopfr, sopf, rad, dr
• Classifications: square-free, powerful, Harshad, semiprime,
abundant / deficient / perfect
Note: pressing CE (Clear Entry) clears the analysis panel immediately.Key Olympiad Formulas
Fundamental Identities
• Euler's theorem: a^φ(n) ≡ 1 (mod n) if GCD(a,n)=1 • Fermat's little: a^(p−1) ≡ 1 (mod p) if p prime • Wilson: (p−1)! ≡ −1 (mod p) ⟺ p is prime • Legendre's formula: Vₚ(n!) = Σᵢ ⌊n/pⁱ⌋ • Lucas: C(n,k) mod p = ∏ C(nᵢ,kᵢ) mod p • Σ φ(d) for d|n = n • Σ μ(d) for d|n = [n=1] • φ(mn) = φ(m)φ(n)·GCD(m,n)/φ(GCD(m,n)) • GCD(F(m),F(n)) = F(GCD(m,n)) • AM ≥ GM ≥ HM (mean inequality)
Quick Reference Table
n φ(n) λ(n) μ(n) σ(n) ω Ω 1 1 1 1 1 0 0 6 2 2 1 12 2 2 12 4 2 0 28 2 3 30 8 4 −1 72 3 3 60 16 4 0 168 3 4 100 40 20 0 217 2 4