prime-numbers
Strategie rozwiązywania zadań z liczb pierwszych w teorii grafów i teorii liczb
Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Umiejętność Claude'a do pracy z problemami dotyczącymi liczb pierwszych w kontekście teorii grafów i teorii liczb. Zawiera gotowe strategie testowania pierwszości (trial division, Miller-Rabin, AKS), faktoryzacji (Pollard's rho, quadratic sieve), analizy rozkładu liczb pierwszych oraz zastosowania twierdzeń Fermata i Wilsona. Integruje się z narzędziami Sympy do obliczeń symbolicznych i Z3 do dowodów formalnych.
Jak używać
Zainstaluj umiejętność w swoim projekcie Claude'a, umieszczając katalog prime-numbers w ścieżce .claude/skills/math/graph-number-theory/.
Załaduj umiejętność w sesji Claude'a, odwołując się do niej w kontekście pracy nad problemami z liczb pierwszych w teorii grafów.
Dla testowania pierwszości liczby użyj odpowiedniej metody: trial division dla małych liczb (złożoność O(√n)), Miller-Rabin dla szybszego wyniku probabilistycznego, lub AKS dla deterministycznego wyniku wielomianowego.
Aby rozłożyć liczbę na czynniki pierwsze, uruchom polecenie: uv run python -m runtime.harness scripts/sympy_compute.py factor "n", gdzie n to liczba do faktoryzacji.
Do analizy rozkładu liczb pierwszych zastosuj twierdzenie o liczbach pierwszych (pi(x) ~ x/ln(x)) lub zbadaj luki między kolejnymi liczbami pierwszymi, używając polecenia sympy_compute.py do obliczeń granicznych.
Dla dowodów formalnych dotyczących pierwszości lub zastosowania twierdzenia Fermata (a^(p-1) ≡ 1 mod p) użyj narzędzia Z3 poprzez polecenie: uv run python -m runtime.harness scripts/z3_solve.py prove "fermat_little".