Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Skill do pracy z pierścieniami w algebrze abstrakcyjnej. Zawiera narzędzia do weryfikacji aksjomatów pierścieni, badania właściwości (pierścienie przemienne, z jednością, dziedziny całkowitości), analizy ideałów i homomorfizmów pierścieni. Wykorzystuje Z3 do dowodów formalnych i SymPy do obliczeń symbolicznych. Idealny dla studentów i naukowców pracujących nad problemami z teorii pierścieni.
Jak używać
Zainstaluj skill w swoim środowisku Claude, dodając go do katalogu .claude/skills/math/abstract-algebra/rings. Upewnij się, że masz dostęp do narzędzi Bash i Read.
Przed rozpoczęciem pracy przejrzyj drzewo decyzyjne: najpierw ustal, czy struktura R spełnia aksjomaty pierścienia (grupa abelowa względem dodawania, mnożenie łączne, prawa rozdzielności).
Aby sprawdzić, czy R jest pierścieniem, użyj komendy Z3: uruchom z3_solve.py z argumentem prove "ring_axioms". Narzędzie zweryfikuje wszystkie wymagane warunki.
Jeśli chcesz zbadać właściwości pierścienia (przemienność, istnienie jedności, brak dzielników zera), zastosuj odpowiednie testy z sekcji Ring Properties, używając z3_solve.py prove "integral_domain" dla dziedzin całkowitości.
Do analizy ideałów i ich mnożenia użyj sympy_compute.py simplify "r*a", aby uprościć wyrażenia algebraiczne związane z ideałami głównymi i operacjami w pierścieniu.
Dla homomorfizmów pierścieni zweryfikuj ręcznie trzy warunki (addytywność, multiplikatywność, zachowanie jedności) lub użyj Z3 do formalnego dowodu, jeśli struktura jest wystarczająco sformalizowana.